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
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002