The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paulo Mateus: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Paulo Mateus, Amílcar Sernadas
    Reasoning About Quantum Systems. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:239-251 [Conf]
  6. Paulo Mateus, António Pacheco, Javier Pinto
    Observations and the Probabilistic Situation Calculus. [Citation Graph (0, 0)][DBLP]
    KR, 2002, pp:327-340 [Conf]
  7. Paulo Mateus, Amílcar Sernadas, Cristina Sernadas
    Realization of Probabilistic Automata: Categorial Approach. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:237-251 [Conf]
  8. Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas
    Combining Logics: Parchments Revisited. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:48-70 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]

  26. On Tamper-Resistance from a Theoretical Viewpoint. [Citation Graph (, )][DBLP]


  27. Temporalization of Probabilistic Propositional Logic. [Citation Graph (, )][DBLP]


  28. Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations. [Citation Graph (, )][DBLP]


  29. Towards Model-Checking Quantum Security Protocols. [Citation Graph (, )][DBLP]


  30. One-way quantum finite automata together with classical states [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002