Search Sciweavers | Sciweavers

11561 search results - page 42 / 2313

» A Language for Biochemical Systems

105

click to vote

ICALP
1987
Springer

98views Programming Languages» more ICALP 1987»

A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems

15 years 8 months ago

Download www.lsv.ens-cachan.fr

Alain Finkel

claim paper

Read More »

111

click to vote

IR
2007

122views Natural Language Processing» more IR 2007»

Introduction to special issue on contextual information retrieval systems

15 years 4 months ago

Download doc.rero.ch

Fabio Crestani, Ian Ruthven

claim paper

Read More »

133

click to vote

APLAS
2010
ACM

101views Programming Languages» more APLAS 2010»

From a Verified Kernel towards Verified Systems

15 years 3 months ago

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

104

click to vote

PPDP
2010
Springer

111views Programming Languages» more PPDP 2010»

Two notions of sub-behaviour for session-based client/server systems

15 years 2 months ago

Download www.di.unito.it

Franco Barbanera, Ugo de'Liguoro

claim paper

Read More »

109

click to vote

IFIP
2010
Springer

116views Programming Languages» more IFIP 2010»

A Mediation Information System to Help to Coordinate the Response to a Crisis

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers