Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 96



11
TÍTULO: Reactive Graphs in Action
AUTORES: David Tinoco; Alexandre Madeira; Manuel A Martins ; José Proença ;
PUBLICAÇÃO: 2024, FONTE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXADO EM: DBLP
NO MEU: DBLP
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 CrossRef: 4
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 | DBLP
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
15
TÍTULO: HYBRID PARTIAL TYPE THEORY
AUTORES: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel ; Aranda, Victor;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 90, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
16
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
17
18
19
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 | DBLP
20
TÍTULO: Exorcising the phantom zone
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 | DBLP
Página 2 de 10. Total de resultados: 96.

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