General quantitative specification theories with modal transition systems Uli FahrenbergAxel Legay Original Article 13 March 2014 Pages: 261 - 295
Forward and backward application of symbolic tree transducers Zoltán FülöpHeiko Vogler Original Article 21 March 2014 Pages: 297 - 325
Controlled finite automata Alexander MedunaPetr Zemek Original Article 29 March 2014 Pages: 327 - 337