Paulo Alexandre Carreira Mateus


AuthID: R-000-E8H

Confirmed Publications: 52



41
TITLE: Modal sequent calculi labelled with truth values: Cut elimination  Full Text
AUTHORS: Paulo Mateus ; Joao Rasga ; Cristina Sernadas ;
PUBLISHED: 2005, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 13, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
42
TITLE: Modal sequent calculi labelled with truth values: Completeness, duality and analyticity  Full Text
AUTHORS: Paulo Mateus ; Amilcar Sernadas ; Cristina Sernadas ; Luca Vigano;
PUBLISHED: 2004, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 12, ISSUE: 3
INDEXED IN: WOS CrossRef
43
TITLE: Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory  Full Text
AUTHORS: Hermida, C; Mateus, P ;
PUBLISHED: 2004, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 311, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
44
TITLE: Reasoning about quantum systems
AUTHORS: Mateus, P ; Sernadas, A ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence (JELIA 04) in LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3229
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
45
TITLE: Categorical foundations for randomly timed automata  Full Text
AUTHORS: Mateus, P ; Morais, M ; Nunes, C ; Pacheco, A ; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2003, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 308, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
46
TITLE: Composition of cryptographic protocols in a probabilistic polynomial-time process calculus
AUTHORS: Mateus, P ; Mitchell, J; Scedrov, A;
PUBLISHED: 2003, SOURCE: 14th International Conference on Concurrency Theory in CONCUR 2003 - CONCURRENCY THEORY, VOLUME: 2761
INDEXED IN: Scopus WOS
IN MY: ORCID
47
TITLE: Paracategories I: internal paracategories and saturated partial algebras  Full Text
AUTHORS: Hermida, C; Mateus, P ;
PUBLISHED: 2003, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 309, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
48
TITLE: Combining logics: Parchments revisited
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J; Sernadas, A;
PUBLISHED: 2002, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
49
TITLE: Combining logics: Parchments revisited
AUTHORS: Caleiro, C ; Mateus, P ; Ramos, J ; Sernadas, A ;
PUBLISHED: 2001, SOURCE: 15th International Workshop on Algebraic Development Techniques/General Workshop of the ESPRIT Working Group CoFI in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 2267
INDEXED IN: WOS CrossRef: 7
IN MY: ORCID
50
TITLE: Probabilistic situation calculus  Full Text
AUTHORS: Mateus, P ; Pacheco, A ; Pinto, J; Sernadas, A ; Sernadas, C ;
PUBLISHED: 2001, SOURCE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 32, ISSUE: 1-4
INDEXED IN: Scopus WOS CrossRef: 14
IN MY: ORCID
Page 5 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