Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 96



11
TITLE: Reactive Graphs in Action
AUTHORS: David Tinoco; Alexandre Madeira; Manuel A Martins ; José Proença ;
PUBLISHED: 2024, SOURCE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXED IN: DBLP
IN MY: DBLP
12
TITLE: Reactive Graphs in Action
AUTHORS: Tinoco, David; Madeira, Alexandre; Martins, Manuel A. ; Proenca, Jose;
PUBLISHED: 2024, SOURCE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
13
TITLE: Aggregation-based operations for reversal fuzzy switch graphs  Full Text
AUTHORS: Campos, Suene; Santiago, Regivan; Martins, Manuel A. ; Figueiredo, Daniel;
PUBLISHED: 2023, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 466
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
14
TITLE: Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)
AUTHORS: Manuel A Martins ; Igor Sedlár;
PUBLISHED: 2023, SOURCE: J. Log. Comput., VOLUME: 33, ISSUE: 6
INDEXED IN: Scopus DBLP CrossRef
15
TITLE: HYBRID PARTIAL TYPE THEORY
AUTHORS: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel ; Aranda, Victor;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 90, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2
16
TITLE: Preface
AUTHORS: Alexandre Madeira; Manuel Martins ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus
17
18
19
TITLE: Relation-changing models meet paraconsistency
AUTHORS: Costa, Diana; Figueiredo, Daniel; Martins, Manuel A. ;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
20
TITLE: Exorcising the phantom zone
AUTHORS: Blackburn, Patrick; Martins, Manuel ; Manzano, Maria; Huertas, Antonia;
PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 287
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 2 of 10. Total results: 96.

footer slogan

Useful Links

Get Help

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