- D. Qiu, L. Li, P. Mateus, and J. Gruska.
Quantum finite automata.
In J. Wang, editor, Handbook on Finite State based Models and
Applications, pages 113--144. Chapman & Hall, 2012.
- A. Sernadas, C. Sernadas, J. Rasga, and
P. Mateus.
Non-deterministic combination of connectives.
In Jean-Yves Béziau and Marcelo Coniglio, editors, Logic without
Frontiers: Festschrift for Walter Alexandre Carnielli on the Occasion of his
60th Birthday, volume 17 of Tribute Series, pages 321--338. College
Publications, London, 2011.
Get a preprint: 11-SSRM-pcl03.pdf
- P. Mateus, J. Ramos, A. Sernadas, and
C. Sernadas.
Temporal logics for reasoning about quantum systems.
In I. Mackie and S. Gay, editors, Semantic Techniques in Quantum
Computation, pages 389--413. Cambridge University Press, 2010.
Get
a preprint: 08-MRSS-qsec11.pdf
- P. Baltazar and P. Mateus.
Temporalization of probabilistic propositional logic.
In S. Artemov and A. Nerode, editors, Logic Foundations of Computer Science
2009, volume 5407 of Lecture Notes in Computer Science, pages
46--60. Springer, 2009.
Get a preprint: 08-BM-qsec09s.pdf
- R. Chadha, P. Mateus, A. Sernadas,
and C. Sernadas.
Extending classical logic for reasoning about quantum systems.
In D. Gabbay K. Engesser and D. Lehmann, editors, Handbook of Quantum Logic
and Quantum Structures: Quantum Logic, pages 325--372. Elsevier,
2009.
Get a preprint: 05-CMSS-quantlog07.pdf
- P. Mateus and S. Vaudenay.
On tamper-resistance from a theoretical point of view - the power of seals.
In C. Clavier and K. Gaj, editors, Cryptographic Hardware and Embedded
Systems (CHES'09), volume 5747 of Lecture Notes in Computer
Science, pages 411--428. Springer, 2009.
Get a preprint: 07-MV-qsec05.pdf