Sciweavers

2162 search results - page 18 / 433

» Automated Reasoning on Feature Models

112

Voted

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

15 years 9 months ago

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

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

80

Voted

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

15 years 9 months ago

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

83

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 9 months ago

Bounded Model Checking of Pointer Programs

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

81

Voted

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

15 years 8 months ago

Model Checking Guarded Protocols

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

107

Voted

ECSQARU
2003
Springer

92views Automated Reasoning» more ECSQARU 2003»

A Random set Model for Fuzzy Labels

15 years 8 months ago

A Random set Model for Fuzzy Labels

Download www.enm.bris.ac.uk

Jonathan Lawry, Jordi Recasens

claim paper

Read More »

« Prev « First page 18 / 433 Last » Next »