1. Event algebra for transition systems composition application to timed automata

   • Elie Fares
   • Jean-Paul Bodeveix
   • Mamoun Filali

   Original Article 18 July 2017 Pages: 363 - 400

   

2. Parity game reductions

   • Sjoerd Cranen
   • Jeroen J. A. Keiren
   • Tim A. C. Willemse

   Original Article Open access 04 August 2017 Pages: 401 - 444

   

3. A first step in characterizing three-element codes

   • Cao Chunhua
   • Lu Qing
   • Yang Di

   Original Article 29 November 2017 Pages: 445 - 457