Volume 55, Issue 2 | Acta Informatica

Search all Acta Informatica articles

Volume 55, Issue 2

March 2018

Special issue: GandALF 2015

Issue Editors:

Javier Esparza,
Enrico Tronci

4 articles in this issue

Preface for the special issue GandALF 2015
Javier Esparza
Enrico Tronci
Editorial 01 February 2018 Pages: 89 - 90
Average-energy games
Patricia Bouyer
Nicolas Markey
Simon Laursen
Original Article 16 July 2016 Pages: 91 - 127
Parameterized linear temporal logics meet costs: still not costlier than LTL
Martin Zimmermann
Original Article 13 October 2016 Pages: 129 - 152
Reachability analysis of reversal-bounded automata on series–parallel graphs
Rayna Dimitrova
Rupak Majumdar
Original Article Open access 18 December 2016 Pages: 153 - 189