Optimal covers in the relational database model Xiaoning PengZhijun Xiao Original Article 05 October 2015 Pages: 459 - 468
Concurrent abstract state machines Egon BörgerKlaus-Dieter Schewe Original Article Open access 27 October 2015 Pages: 469 - 492
A linear-time algorithm for the orbit problem over cyclic groups Anthony W. LinSanming Zhou Original Article 19 November 2015 Pages: 493 - 508
On reversible Turing machines and their function universality Holger Bock AxelsenRobert Glück Original Article 27 January 2016 Pages: 509 - 543