![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Acta Informatica, Volume 51
Volume 51, Number 1, February 2014
- Yangjia Li, Nengkun Yu
, Mingsheng Ying
:
Termination of nondeterministic quantum programs. 1-24 - Laura Bozzelli, César Sánchez
:
Visibly rational expressions. 25-49 - Suoping Li
, Yongqiang Zhou, Yong Zhou:
Delay and energy efficiency analysis of multicast cooperative ARQ over wireless networks. 51-60
Volume 51, Number 2, March 2014
- Eleni Mandrali, George Rahonis
:
On weighted first-order logics with discounting. 61-106 - Francesco Ranzato:
An efficient simulation algorithm on Kripke structures. 107-125
Volume 51, Numbers 3-4, June 2014
- Doron A. Peled, Sven Schewe
:
Editorial: special issue on synthesis. 127-128 - Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin:
Strategy synthesis for multi-dimensional quantitative objectives. 129-163 - Peter E. Bulychev, Alexandre David, Kim G. Larsen
, Guangyuan Li:
Efficient controller synthesis for a fragment of MTL0,∞. 165-192 - Roderick Bloem
, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer:
Synthesizing robust systems. 193-220 - Wladimir Fridman, Bernd Puchala:
Distributed synthesis for regular and contextfree specifications. 221-260
Volume 51, Number 5, August 2014
- Uli Fahrenberg, Axel Legay:
General quantitative specification theories with modal transition systems. 261-295 - Zoltán Fülöp, Heiko Vogler:
Forward and backward application of symbolic tree transducers. 297-325 - Alexander Meduna
, Petr Zemek:
Controlled finite automata. 327-337
Volume 51, Number 6, September 2014
- Chunhua Cao, Shuang Yang, Di Yang:
Some kinds of primitive and non-primitive words. 339-346 - Miquel Bertran, Francesc-Xavier Babot, August Climent:
Formal communication elimination and sequentialization equivalence proofs for distributed system models. 347-418
Volume 51, Number 7, October 2014
- Walter Cazzola
, Edoardo Vacchi
:
On the incremental growth and shrinkage of LR goto-graphs. 419-447 - Manuel Sorge, Hannes Moser, Rolf Niedermeier, Mathias Weller:
Exploiting a hypergraph model for finding Golomb rulers. 449-471 - Rémy Belmonte, Petr A. Golovach
, Pim van 't Hof
, Daniël Paulusma
:
Parameterized complexity of three edge contraction problems with degree constraints. 473-497
Volume 51, Number 8, November 2014
- Walter Vogler, Christian Stahl, Richard Müller:
Trace- and failure-based semantics for responsiveness. 499-552 - Martin Kutrib
, Andreas Malcher
, Matthias Wendlandt:
Head and state hierarchies for unary multi-head finite automata. 553-569
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.