Volume 211, February 2012
- Simone Santini:
Regular languages with variables on graphs.
1-28
- Krishnendu Chatterjee:
The complexity of stochastic Müller games.
29-48
- Jan Midtgaard, Thomas P. Jensen:
Control-flow analysis of function calls and returns by abstract interpretation.
49-76
- Filippo Bonchi, Marcello M. Bonsangue, Michele Boreale, Jan J. M. M. Rutten, Alexandra Silva:
A coalgebraic perspective on linear weighted automata.
77-105
- Rémi Brochenin, Stéphane Demri, Étienne Lozes:
On the almighty wand.
106-137
- Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider:
Low dimensional hybrid systems - decidable, undecidable, don't know.
138-159
- Adam Chalcraft, Randall Dougherty, Christopher F. Freiling, Jason Teutsch:
How to build a probability-free casino.
160-164
Last update Fri May 24 20:22:01 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
