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