Paulo Mateus

	2009
30		Paulo Mateus, Serge Vaudenay: On Tamper-Resistance from a Theoretical Viewpoint. CHES 2009: 411-428
29		Pedro Baltazar, Paulo Mateus: Temporalization of Probabilistic Propositional Logic. LFCS 2009: 46-60
28		Daowen Qiu, Paulo Mateus, Xiangfu Zou, Amílcar Sernadas: One-way quantum finite automata together with classical states CoRR abs/0909.1428: (2009)
	2007
27		Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14
26		Paulo Mateus, F. Moura, João Rasga: Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations. ICQNM 2007: 9
25		Pedro Adão, Paulo Mateus: A Process Algebra for Reasoning About Quantum Security. Electr. Notes Theor. Comput. Sci. 170: 3-21 (2007)
24		Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007)
23		Rohit Chadha, Luís Cruz-Filipe, Paulo Mateus, Amílcar Sernadas: Reasoning about probabilistic sequential programs. Theor. Comput. Sci. 379(1-2): 142-165 (2007)
	2006
22		Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About States of Probabilistic Sequential Programs. CSL 2006: 240-255
21		Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Quantum Institutions. Essays Dedicated to Joseph A. Goguen 2006: 50-64
20		Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About Imperative Quantum Programs. Electr. Notes Theor. Comput. Sci. 158: 19-39 (2006)
19		Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò: Towards a Quantitative Analysis of Security Protocols. Electr. Notes Theor. Comput. Sci. 164(3): 3-25 (2006)
18		Paulo Mateus, Amílcar Sernadas: Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput. 204(5): 771-794 (2006)
	2005
17		Paulo Mateus, Amílcar Sernadas: Weakly complete axiomatization of exogenous quantum propositional logic CoRR abs/math/0503453: (2005)
16		Paulo Mateus, João Rasga, Cristina Sernadas: Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. Logic Journal of the IGPL 13(2): 173-199 (2005)
15		Walter Alexandre Carnielli, Paulo Mateus: Editorial. Logic Journal of the IGPL 13(6): 611-614 (2005)
	2004
14		Paulo Mateus, Amílcar Sernadas: Reasoning About Quantum Systems. JELIA 2004: 239-251
13		Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò: Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Logic Journal of the IGPL 12(3): 227-274 (2004)
12		Claudio Hermida, Paulo Mateus: Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. Theor. Comput. Sci. 311(1-3): 71-103 (2004)
	2003
11		Paulo Mateus, John C. Mitchell, Andre Scedrov: Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. CONCUR 2003: 323-345
10		Paulo Mateus, M. Morais, C. Nunes, António Pacheco, Amílcar Sernadas, Cristina Sernadas: Categorical foundations for randomly timed automata. Theor. Comput. Sci. 308(1-3): 393-427 (2003)
9		Claudio Hermida, Paulo Mateus: Paracategories I: internal paracategories and saturated partial algebras. Theor. Comput. Sci. 309(1-3): 125-156 (2003)
	2002
8		Paulo Mateus, António Pacheco, Javier Pinto: Observations and the Probabilistic Situation Calculus. KR 2002: 327-340
7		Lutz Schröder, Paulo Mateus: Universal Aspects of Probabilistic Automata. Mathematical Structures in Computer Science 12(4): 481-512 (2002)
	2001
6		Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas: Combining Logics: Parchments Revisited. WADT 2001: 48-70
5		Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas: Probabilistic Situation Calculus. Ann. Math. Artif. Intell. 32(1-4): 393-431 (2001)
	2000
4		Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus: Non-Determinism and Uncertainty in the Situation Calculus. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(2): 127-150 (2000)
	1999
3		Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus: Nondeterminism and Uncertainty in the Situation Calculus. FLAIRS Conference 1999: 454-460
2		Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Realization of Probabilistic Automata: Categorial Approach. WADT 1999: 237-251
1		Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Precategories for combining probabilistic automata. Electr. Notes Theor. Comput. Sci. 29: (1999)

Coauthor Index

1	Pedro Adão	[19] [25]
2	Pedro Baltazar	[24] [27] [29]
3	Carlos Caleiro	[6] [21]
4	Walter Alexandre Carnielli	[15]
5	Rohit Chadha	[20] [22] [23] [27]
6	Luís Cruz-Filipe	[23]
7	Claudio Hermida	[9] [12]
8	John C. Mitchell	[11]
9	M. Morais	[10]
10	F. Moura	[26]
11	Rajagopal Nagarajan	[24]
12	C. Nunes	[10]
13	António Pacheco	[5] [8] [10]
14	Nikolaos Papanikolaou (Nick Papanikolaou)	[24]
15	Javier Pinto	[3] [4] [5] [8]
16	Daowen Qiu	[28]
17	Jaime Ramos	[6]
18	João Rasga	[16] [26]
19	Tiago Reis	[19]
20	Andre Scedrov	[11]
21	Lutz Schröder	[7]
22	Amílcar Sernadas	[1] [2] [3] [4] [5] [6] [10] [13] [14] [17] [18] [20] [21] [22] [23] [27] [28]
23	Cristina Sernadas	[1] [2] [3] [4] [5] [10] [13] [16] [21]
24	Serge Vaudenay	[30]
25	Luca Viganò	[13] [19]
26	Xiangfu Zou	[28]

Colors in the list of coauthors