Sciweavers

8337 search results - page 103 / 1668

» Reasoning With Characteristic Models

97

TARK
2007
Springer

105views Automated Reasoning» more TARK 2007»

A canonical model for interactive unawareness

15 years 10 months ago

A canonical model for interactive unawareness

Download www.bgse.uni-bonn.de

Aviad Heifetz, Martin Meier, Burkhard C. Schipper

claim paper

Read More »

118

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

15 years 10 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 »

91

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

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

15 years 10 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 »

93

Voted

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 10 months ago

Bounded Model Checking of Pointer Programs

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

88

LICS
2003
IEEE

75views Automated Reasoning» more LICS 2003»

Model Checking Guarded Protocols

15 years 9 months ago

Model Checking Guarded Protocols

Download userweb.cs.utexas.edu

E. Allen Emerson, Vineet Kahlon

claim paper

Read More »

« Prev « First page 103 / 1668 Last » Next »