1. Identity-based signatures in standard model

   • Huiyan Chen
   • Chenchen Zhang

   Original Article 11 May 2018 Pages: 471 - 486

2. The model checking fingerprints of CTL operators

   • Andreas Krebs
   • Arne Meier
   • Martin Mundhenk

   Original Article 01 August 2018 Pages: 487 - 519

   

3. Parikh matrices for powers of words

   • Adrian Atanasiu
   • Ghajendran Poovanandran
   • Wen Chean Teh

   Original Article 30 August 2018 Pages: 521 - 535

   

4. Structural liveness of Petri nets is ExpSpace-hard and decidable

   • Petr Jančar
   • David Purser

   Original Article 08 July 2019 Pages: 537 - 552