Search Sciweavers | Sciweavers

2026 search results - page 37 / 406

» Game Engines for Visualization

104

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

107

Voted

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

15 years 10 months ago

Download www.doc.ic.ac.uk

Mark Kattenbelt, Michael Huth

claim paper

Read More »

click to vote

FOSSACS
2007
Springer

83views Software Engineering» more FOSSACS 2007»

Generalized Parity Games

15 years 9 months ago

Download mtc.epfl.ch

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

claim paper

Read More »

click to vote

FSTTCS
2004
Springer

91views Software Engineering» more FSTTCS 2004»

Adjunct Elimination Through Games in Static Ambient Logic

15 years 8 months ago

Download www.cl.cam.ac.uk

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

claim paper

Read More »

click to vote

ICFEM
2004
Springer

88views Software Engineering» more ICFEM 2004»

CSP Representation of Game Semantics for Second-Order Idealized Algol

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers