Paulo Alexandre Carreira Mateus


AuthID: R-000-E8H

Confirmed Publications: 52



31
TITLE: A Process Algebra for Reasoning About Quantum Security
AUTHORS: Pedro Adão ; Paulo Mateus ;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 170
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
32
TITLE: Exogenous Probabilistic Computation Tree Logic
AUTHORS: Baltazar, P; Mateus, P ; Nagarajan, R; Papanikolaou, N;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 190, ISSUE: 3
INDEXED IN: Scopus CrossRef
IN MY: ORCID
33
TITLE: Reasoning about probabilistic sequential programs  Full Text
AUTHORS: Chadha, R; Cruz Filipe, L; Mateus, P ; Sernadas, A ;
PUBLISHED: 2007, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 379, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
34
TITLE: Towards model-checking quantum security protocols
AUTHORS: Baltazar, P; Chadha, R; Mateus, P ; Sernadas, A ;
PUBLISHED: 2007, SOURCE: First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007 in First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007
INDEXED IN: Scopus CrossRef
IN MY: ORCID
35
TITLE: Transferring proofs of zero-knowledge systems with quantum correlations
AUTHORS: Mateus, P ; Moura, F; Rasga, J ;
PUBLISHED: 2007, SOURCE: First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007 in First International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2007
INDEXED IN: Scopus CrossRef
IN MY: ORCID
36
TITLE: Quantum institutions
AUTHORS: Caleiro, C ; Mateus, P ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2006, SOURCE: Symposium on Algebra, Meaning and Computation in honor of Joseph Goguen on his 65th Birthday in ALGEBRA, MEANING, AND COMPUTATION: ESSAYS DEDICATED TO JOSEPH A. GOGUEN ON THE OCCASION OF HIS 65TH BIRTHDAY, VOLUME: 4060
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID
37
TITLE: Reasoning About Imperative Quantum Programs
AUTHORS: Chadha, R; Mateus, P ; Sernadas, A ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 158, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
38
TITLE: Reasoning about states of probabilistic sequential programs
AUTHORS: Chadha, R; Mateus, P ; Sernadas, A ;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
INDEXED IN: Scopus WOS CrossRef: 3
IN MY: ORCID
39
TITLE: Towards a Quantitative Analysis of Security Protocols
AUTHORS: Pedro Adão ; Paulo Mateus ; Tiago Reis; Luca Viganò;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 164, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
40
TITLE: Weakly complete axiomatization of exogenous quantum propositional logic  Full Text
AUTHORS: Mateus, P ; Sernadas, A ;
PUBLISHED: 2006, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 204, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 4 of 6. Total results: 52.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service