1. CHAP and rewrite components

   • Sándor Vágvölgyi

   Original Article 09 August 2011 Article: 317

2. Finite optimal control for time-bounded reachability in CTMDPs and continuous-time Markov games

   • Markus N. Rabe
   • Sven Schewe

   Original Article 30 July 2011 Article: 291

3. Multi-letter quantum finite automata: decidability of the equivalence and minimization of states

   • Daowen Qiu
   • Lvzhou Li
   • Jozef Gruska

   Original Article 02 August 2011 Article: 271