Event algebra for transition systems composition application to timed automata Elie FaresJean-Paul BodeveixMamoun Filali Original Article 18 July 2017 Pages: 363 - 400
Parity game reductions Sjoerd CranenJeroen J. A. KeirenTim A. C. Willemse Original Article Open access 04 August 2017 Pages: 401 - 444
A first step in characterizing three-element codes Cao ChunhuaLu QingYang Di Original Article 29 November 2017 Pages: 445 - 457