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
[1]
Hilfe
Suche: Author="Olderog, Ernst-R{\"u}diger"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
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
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
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
Visibly rational expressions
Laura Bozzelli
,
César Sánchez
Acta Informatica
51
(1), 2014, pp. 25-49
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
On the incremental growth and shrinkage of LR goto-graphs
Walter Cazzola
,
Edoardo Vacchi
Acta Informatica
51
(7), 2014, pp. 419-447
Strategy synthesis for multi-dimensional quantitative objectives
Krishnendu Chatterjee
,
Mickael Randour
,
Jean-François Raskin
Acta Informatica
51
(3-4), 2014, pp. 129-163
Some kinds of primitive and non-primitive words
Cao Chunhua
,
Yang Shuang
,
Yang Di
Acta Informatica
51
(6), 2014, pp. 339-346
General quantitative specification theories with modal transition systems
Uli Fahrenberg
,
Axel Legay
Acta Informatica
51
(5), 2014, pp. 261-295
Distributed synthesis for regular and contextfree specifications
Wladimir Fridman
,
Bernd Puchala
Acta Informatica
51
(3-4), 2014, pp. 221-260
Forward and backward application of symbolic tree transducers
Zoltán Fülöp
,
Heiko Vogler
Acta Informatica
51
(5), 2014, pp. 297-325
Head and state hierarchies for unary multi-head finite automata
Martin Kutrib
,
Andreas Malcher
,
Matthias Wendlandt
Acta Informatica
51
(8), 2014, pp. 553-569
Termination of nondeterministic quantum programs
Yangjia Li
,
Nengkun Yu
,
Mingsheng Ying
Acta Informatica
51
(1), 2014, pp. 1-24
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
Controlled finite automata
Alexander Meduna
,
Petr Zemek
Acta Informatica
51
(5), 2014, pp. 327-337
An efficient simulation algorithm on Kripke
Francesco Ranzato
Acta Informatica
51
(2), 2014, pp. 107-125
Exploiting a hypergraph model for finding Golomb rulers
Manuel Sorge
,
Hannes Moser
,
Rolf Niedermeier
,
Mathias Weller
Acta Informatica
51
(7), 2014, pp. 449-471
Trace- and failure-based semantics for responsiveness
Walter Vogler
,
Christian Stahl
,
Richard Müller
Acta Informatica
51
(8), 2014, pp. 499-552
Conjunctive grammars and alternating pushdown automata
Tamar Aizikowitz
,
Michael Kaminski
Acta Informatica
50
(3), 2013, pp. 175-197
Accepting splicing systems with permitting and forbidding words
Fernando Arroyo
,
Juan Castellanos
,
Jürgen Dassow
,
Victor Mitrana
,
José Ramón Sánchez-Couso
Acta Informatica
50
(1), 2013, pp. 1-14
Compositional type checking of delta-oriented software product lines
Lorenzo Bettini
,
Ferruccio Damiani
,
Ina Schaefer
Acta Informatica
50
(2), 2013, pp. 77-122
Avoiding cross-bifix-free binary words
Stefano Bilotta
,
Elisabetta Grazzini
,
Elisa Pergola
,
Renzo Pinzani
Acta Informatica
50
(3), 2013, pp. 157-173
Query optimization in information integration
Dongfeng Chen
,
Rada Chirkova
,
Fereidoon Sadri
,
Tiia J. Salo
Acta Informatica
50
(4), 2013, pp. 257-287
Online multi-coloring on the path revisited
Marie G. Christ
,
Lene M. Favrholdt
,
Kim S. Larsen
Acta Informatica
50
(5-6), 2013, pp. 343-357
Seiten 1
2
3
4
5
6
>