Volume 56, Issue 6 | Acta Informatica

Search all Acta Informatica articles

Volume 56, Issue 6

September 2019

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

Identity-based signatures in standard model
Huiyan Chen
Chenchen Zhang
Original Article 11 May 2018 Pages: 471 - 486
The model checking fingerprints of CTL operators
Andreas Krebs
Arne Meier
Martin Mundhenk
Original Article 01 August 2018 Pages: 487 - 519
Parikh matrices for powers of words
Adrian Atanasiu
Ghajendran Poovanandran
Wen Chean Teh
Original Article 30 August 2018 Pages: 521 - 535
Structural liveness of Petri nets is ExpSpace-hard and decidable
Petr Jančar
David Purser
Original Article 08 July 2019 Pages: 537 - 552