Search Sciweavers | Sciweavers

2026 search results - page 37 / 406

» Game Engines for Visualization

148

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

150

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

16 years 1 months ago

Download www.doc.ic.ac.uk

Mark Kattenbelt, Michael Huth

claim paper

Read More »

123

Voted

FOSSACS
2007
Springer

83views Software Engineering» more FOSSACS 2007»

Generalized Parity Games

16 years 1 months ago

Download mtc.epfl.ch

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Pi...

claim paper

Read More »

119

Voted

FSTTCS
2004
Springer

91views Software Engineering» more FSTTCS 2004»

Adjunct Elimination Through Games in Static Ambient Logic

16 years 10 days ago

Download www.cl.cam.ac.uk

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

claim paper

Read More »

132

click to vote

ICFEM
2004
Springer

88views Software Engineering» more ICFEM 2004»

CSP Representation of Game Semantics for Second-Order Idealized Algol

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers