Identity-based signatures in standard model Huiyan ChenChenchen Zhang Original Article 11 May 2018 Pages: 471 - 486
The model checking fingerprints of CTL operators Andreas KrebsArne MeierMartin Mundhenk Original Article 01 August 2018 Pages: 487 - 519
Parikh matrices for powers of words Adrian AtanasiuGhajendran PoovanandranWen Chean Teh Original Article 30 August 2018 Pages: 521 - 535
Structural liveness of Petri nets is ExpSpace-hard and decidable Petr JanĨarDavid Purser Original Article 08 July 2019 Pages: 537 - 552