Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Comput. AND Volume=211
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Regular languages with variables on graphs
Simone Santini
Information and Computation
211
, 2012, pp. 1-28
The complexity of stochastic Müller games
Krishnendu Chatterjee
Information and Computation
211
, 2012, pp. 29-48
Control-flow analysis of function calls and returns by abstract interpretation
Jan Midtgaard
,
Thomas P. Jensen
Information and Computation
211
, 2012, pp. 49-76
A coalgebraic perspective on linear weighted automata
Filippo Bonchi
,
Marcello Bonsangue
,
Michele Boreale
,
Jan Rutten
,
Alexandra Silva
Information and Computation
211
, 2012, pp. 77-105
On the almighty wand
Rémi Brochenin
,
Stéphane Demri
,
Etienne Lozes
Information and Computation
211
, 2012, pp. 106-137
Low dimensional hybrid systems - decidable, undecidable, don't know
Eugene Asarin
,
Venkatesh P. Mysore
,
Amir Pnueli
,
Gerardo Schneider
Information and Computation
211
, 2012, pp. 138-159
How to build a probability-free casino
Adam Chalcraft
,
Randall Dougherty
,
Chris Freiling
,
Jason Teutsch
Information and Computation
211
, 2012, pp. 160-164