Search Sciweavers | Sciweavers

8196 search results - page 87 / 1640

» Computational Modeling and Complexity Science

145

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

15 years 12 months ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

116

click to vote

ITICSE
2005
ACM

78views Theoretical Computer Science» more ITICSE 2005»

Teaching data modeling: process and patterns

15 years 12 months ago

Download www.cs.uwec.edu

Paul Wagner

claim paper

Read More »

105

click to vote

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

15 years 11 months ago

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

126

click to vote

ERSHOV
2003
Springer

98views Theoretical Computer Science» more ERSHOV 2003»

Polynomial Approximations for Model Checking

15 years 11 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Natalya Olegovna Garanina

claim paper

Read More »

116

click to vote

EDBT
2000
ACM

74views Computer Science» more EDBT 2000»

A Graph-Oriented Model for Articulation of Ontology Interdependencies

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers