Search Sciweavers | Sciweavers

2026 search results - page 37 / 406

» Game Engines for Visualization

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

14 years 3 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

14 years 3 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

14 years 3 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

14 years 2 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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers