Paulo Mateus

2009
28	EE	Pedro Baltazar, Paulo Mateus: Temporalization of Probabilistic Propositional Logic. LFCS 2009: 46-60
2007
27	EE	Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14
26	EE	Paulo Mateus, F. Moura, João Rasga: Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations. ICQNM 2007: 9
25	EE	Pedro Adão, Paulo Mateus: A Process Algebra for Reasoning About Quantum Security. Electr. Notes Theor. Comput. Sci. 170: 3-21 (2007)
24	EE	Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007)
23	EE	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	EE	Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About States of Probabilistic Sequential Programs. CSL 2006: 240-255
21	EE	Carlos Caleiro, Paulo Mateus, Amílcar Sernadas, Cristina Sernadas: Quantum Institutions. Essays Dedicated to Joseph A. Goguen 2006: 50-64
20	EE	Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Reasoning About Imperative Quantum Programs. Electr. Notes Theor. Comput. Sci. 158: 19-39 (2006)
19	EE	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	EE	Paulo Mateus, Amílcar Sernadas: Weakly complete axiomatization of exogenous quantum propositional logic. Inf. Comput. 204(5): 771-794 (2006)
2005
17	EE	Paulo Mateus, Amílcar Sernadas: Weakly complete axiomatization of exogenous quantum propositional logic CoRR abs/math/0503453: (2005)
16	EE	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	EE	Walter Alexandre Carnielli, Paulo Mateus: Editorial. Logic Journal of the IGPL 13(6): 611-614 (2005)
2004
14	EE	Paulo Mateus, Amílcar Sernadas: Reasoning About Quantum Systems. JELIA 2004: 239-251
13	EE	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	EE	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	EE	Paulo Mateus, John C. Mitchell, Andre Scedrov: Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. CONCUR 2003: 323-345
10	EE	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	EE	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	EE	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	EE	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	EE	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] [28]
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	Jaime Ramos	[6]
17	João Rasga	[16] [26]
18	Tiago Reis	[19]
19	Andre Scedrov	[11]
20	Lutz Schröder	[7]
21	Amílcar Sernadas	[1] [2] [3] [4] [5] [6] [10] [13] [14] [17] [18] [20] [21] [22] [23] [27]
22	Cristina Sernadas	[1] [2] [3] [4] [5] [10] [13] [16] [21]
23	Luca Viganò	[13] [19]

Colors in the list of coauthors