Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 95



11
TÍTULO: Propositional Type Theory of Indeterminacy  Full Text
AUTORES: Aranda, Victor; Martins, Manuel ; Manzano, Maria;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA, VOLUME: 112, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
12
TÍTULO: Reactive Graphs in Action
AUTORES: Tinoco, David; Madeira, Alexandre; Martins, Manuel A. ; Proenca, Jose ;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
13
TÍTULO: Aggregation-based operations for reversal fuzzy switch graphs  Full Text
AUTORES: Campos, Suene; Santiago, Regivan; Martins, Manuel A. ; Figueiredo, Daniel;
PUBLICAÇÃO: 2023, FONTE: FUZZY SETS AND SYSTEMS, VOLUME: 466
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
14
TÍTULO: Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)
AUTORES: Manuel A Martins ; Igor Sedlár;
PUBLICAÇÃO: 2023, FONTE: J. Log. Comput., VOLUME: 33, NÚMERO: 6
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
15
TÍTULO: Preface
AUTORES: Alexandre Madeira; Manuel Martins ;
PUBLICAÇÃO: 2023, FONTE: 26th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13710 LNCS
INDEXADO EM: Scopus
16
17
18
TÍTULO: Relation-changing models meet paraconsistency
AUTORES: Costa, Diana; Figueiredo, Daniel; Martins, Manuel A. ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID
19
TÍTULO: Exorcising the phantom zone  Full Text
AUTORES: Blackburn, Patrick; Martins, Manuel ; Manzano, Maria; Huertas, Antonia;
PUBLICAÇÃO: 2022, FONTE: INFORMATION AND COMPUTATION, VOLUME: 287
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
20
TÍTULO: Graded epistemic logic with public announcement
AUTORES: Benevides, M; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
Página 2 de 10. Total de resultados: 95.

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

Links Úteis

Ajuda

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