Search Sciweavers | Sciweavers

8196 search results - page 87 / 1640

» Computational Modeling and Complexity Science

169

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

16 years 25 days ago

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

131

click to vote

ITICSE
2005
ACM

78views Theoretical Computer Science» more ITICSE 2005»

Teaching data modeling: process and patterns

16 years 25 days ago

Download www.cs.uwec.edu

Paul Wagner

claim paper

Read More »

127

click to vote

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

16 years 16 days ago

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

148

click to vote

ERSHOV
2003
Springer

98views Theoretical Computer Science» more ERSHOV 2003»

Polynomial Approximations for Model Checking

16 years 14 days ago

Download www.iis.nsk.su

Nikolay V. Shilov, Natalya Olegovna Garanina

claim paper

Read More »

137

click to vote

EDBT
2000
ACM

74views Computer Science» more EDBT 2000»

A Graph-Oriented Model for Articulation of Ontology Interdependencies

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers