Paulo Alexandre Carreira Mateus


AuthID: R-000-E8H

Publicações Confirmadas: 52



41
TÍTULO: Modal sequent calculi labelled with truth values: Cut elimination  Full Text
AUTORES: Paulo Mateus ; Joao Rasga ; Cristina Sernadas ;
PUBLICAÇÃO: 2005, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
42
TÍTULO: Modal sequent calculi labelled with truth values: Completeness, duality and analyticity  Full Text
AUTORES: Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ; Luca Vigano;
PUBLICAÇÃO: 2004, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 12, NÚMERO: 3
INDEXADO EM: WOS CrossRef
43
TÍTULO: Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory  Full Text
AUTORES: Hermida, C; Mateus, P ;
PUBLICAÇÃO: 2004, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 311, NÚMERO: 1-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
44
TÍTULO: Reasoning about quantum systems
AUTORES: Mateus, P ; Sernadas, A ;
PUBLICAÇÃO: 2004, FONTE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
45
TÍTULO: Categorical foundations for randomly timed automata  Full Text
AUTORES: Mateus, P ; Morais, M ; Nunes, C ; Pacheco, A ; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2003, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 308, NÚMERO: 1-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
46
TÍTULO: Composition of cryptographic protocols in a probabilistic polynomial-time process calculus
AUTORES: Mateus, P ; Mitchell, J; Scedrov, A;
PUBLICAÇÃO: 2003, FONTE: 14th International Conference on Concurrency Theory in CONCUR 2003 - CONCURRENCY THEORY, VOLUME: 2761
INDEXADO EM: Scopus WOS
NO MEU: ORCID
47
TÍTULO: Paracategories I: internal paracategories and saturated partial algebras  Full Text
AUTORES: Hermida, C; Mateus, P ;
PUBLICAÇÃO: 2003, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 309, NÚMERO: 1-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
48
TÍTULO: Combining logics: Parchments revisited
AUTORES: Caleiro, C ; Mateus, P ; Ramos, J; Sernadas, A;
PUBLICAÇÃO: 2002, FONTE: 15th International Workshop on Recent Trends in Algebraic Development Techniques, WADT 2001, Joint with the CoFI WG Meeting in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2267 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
49
TÍTULO: Combining logics: Parchments revisited
AUTORES: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLICAÇÃO: 2001, FONTE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXADO EM: WOS CrossRef: 7
NO MEU: ORCID
50
TÍTULO: Probabilistic situation calculus  Full Text
AUTORES: Mateus, P ; Pacheco, A ; Pinto, J; Sernadas, A ; Sernadas, C ;
PUBLICAÇÃO: 2001, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 32, NÚMERO: 1-4
INDEXADO EM: Scopus WOS CrossRef: 14
NO MEU: ORCID
Página 5 de 6. Total de resultados: 52.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service