Stop the war!
Остановите войну!
for scientists:
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
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.