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=Acta Inf. AND Volume=51
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Termination of nondeterministic quantum programs
Yangjia Li
,
Nengkun Yu
,
Mingsheng Ying
Acta Informatica
51
(1), 2014, pp. 1-24
Visibly rational expressions
Laura Bozzelli
,
César Sánchez
Acta Informatica
51
(1), 2014, pp. 25-49
Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks
Suo Ping Li
,
Yong Qiang Zhou
,
Yong Zhou
Acta Informatica
51
(1), 2014, pp. 51-60
On weighted first-order logics with discounting
Eleni Mandrali
,
George Rahonis
Acta Informatica
51
(2), 2014, pp. 61-106
An efficient simulation algorithm on Kripke
Francesco Ranzato
Acta Informatica
51
(2), 2014, pp. 107-125
Strategy synthesis for multi-dimensional quantitative objectives
Krishnendu Chatterjee
,
Mickael Randour
,
Jean-François Raskin
Acta Informatica
51
(3-4), 2014, pp. 129-163
Efficient controller synthesis for a fragment of TeX
Peter Bulychev
,
Alexandre David
,
Kim G. Larsen
,
Guangyuan Li
Acta Informatica
51
(3-4), 2014, pp. 165-192
Synthesizing robust systems
Roderick Bloem
,
Krishnendu Chatterjee
,
Karin Greimel
,
Thomas A. Henzinger
,
Georg Hofferek
,
Barbara Jobstmann
,
Bettina Könighofer
,
Robert Könighofer
Acta Informatica
51
(3-4), 2014, pp. 193-220
Distributed synthesis for regular and contextfree specifications
Wladimir Fridman
,
Bernd Puchala
Acta Informatica
51
(3-4), 2014, pp. 221-260
General quantitative specification theories with modal transition systems
Uli Fahrenberg
,
Axel Legay
Acta Informatica
51
(5), 2014, pp. 261-295
Forward and backward application of symbolic tree transducers
Zoltán Fülöp
,
Heiko Vogler
Acta Informatica
51
(5), 2014, pp. 297-325
Controlled finite automata
Alexander Meduna
,
Petr Zemek
Acta Informatica
51
(5), 2014, pp. 327-337
Some kinds of primitive and non-primitive words
Cao Chunhua
,
Yang Shuang
,
Yang Di
Acta Informatica
51
(6), 2014, pp. 339-346
Formal communication elimination and sequentialization equivalence proofs for distributed system models
Miquel Bertran
,
Francesc Babot
,
August Climent
Acta Informatica
51
(6), 2014, pp. 347-418
On the incremental growth and shrinkage of LR goto-graphs
Walter Cazzola
,
Edoardo Vacchi
Acta Informatica
51
(7), 2014, pp. 419-447
Exploiting a hypergraph model for finding Golomb rulers
Manuel Sorge
,
Hannes Moser
,
Rolf Niedermeier
,
Mathias Weller
Acta Informatica
51
(7), 2014, pp. 449-471
Parameterized complexity of three edge contraction problems with degree constraints
Rémy Belmonte
,
Petr A. Golovach
,
Pim van 't Hof
,
Daniël Paulusma
Acta Informatica
51
(7), 2014, pp. 473-497
Trace- and failure-based semantics for responsiveness
Walter Vogler
,
Christian Stahl
,
Richard Müller
Acta Informatica
51
(8), 2014, pp. 499-552
Head and state hierarchies for unary multi-head finite automata
Martin Kutrib
,
Andreas Malcher
,
Matthias Wendlandt
Acta Informatica
51
(8), 2014, pp. 553-569