Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 95



11
TITLE: Propositional Type Theory of Indeterminacy  Full Text
AUTHORS: Aranda, Victor; Martins, Manuel ; Manzano, Maria;
PUBLISHED: 2024, SOURCE: STUDIA LOGICA, VOLUME: 112, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
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 DBLP CrossRef
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
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
IN MY: ORCID
15
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
16
17
18
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
19
TITLE: Exorcising the phantom zone  Full Text
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
20
TITLE: Graded epistemic logic with public announcement
AUTHORS: Benevides, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
Page 2 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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