Manuel António Gonçalves Martins
AuthID: R-000-A10
1
TITLE: Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
AUTHORS: José Proença; Raul Fervari; Manuel A Martins; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: SEFM, VOLUME: 15551
AUTHORS: José Proença; Raul Fervari; Manuel A Martins; Reinhard Kahle; Graham Pluck;
PUBLISHED: 2026, SOURCE: SEFM, VOLUME: 15551
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Labeled fuzzy reactive graphs Full Text
AUTHORS: Campos, Suene; Figueiredo, Daniel; Martins, Manuel A.; Santiago, Regivan;
PUBLISHED: 2025, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 510
AUTHORS: Campos, Suene; Figueiredo, Daniel; Martins, Manuel A.; Santiago, Regivan;
PUBLISHED: 2025, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 510
3
TITLE: The Institution of Many-Logics Modal Logic
AUTHORS: Freire, Alfredo R.; Martins, Manuel A.; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
AUTHORS: Freire, Alfredo R.; Martins, Manuel A.; Madeira, Alexandre;
PUBLISHED: 2025, SOURCE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
INDEXED IN: 
Scopus 
WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP4
TITLE: Graded Relation Updates in Modal Logic
AUTHORS: Raul Fervari; Daniel Figueiredo; Manuel A Martins;
PUBLISHED: 2025, SOURCE: 31st Workshop on Logic, Language, Information and Computation, WoLLIC 2025 in Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings, VOLUME: 15942
AUTHORS: Raul Fervari; Daniel Figueiredo; Manuel A Martins;
PUBLISHED: 2025, SOURCE: 31st Workshop on Logic, Language, Information and Computation, WoLLIC 2025 in Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings, VOLUME: 15942
5
TITLE: Propositional Type Theory of Indeterminacy Full Text
AUTHORS: Aranda, Victor; Martins, Manuel; Manzano, Maria;
PUBLISHED: 2024, SOURCE: STUDIA LOGICA, VOLUME: 112, ISSUE: 6
AUTHORS: Aranda, Victor; Martins, Manuel; Manzano, Maria;
PUBLISHED: 2024, SOURCE: STUDIA LOGICA, VOLUME: 112, ISSUE: 6
6
TITLE: Modality across different logics Full Text
AUTHORS: Freire, Alfredo Roque; Martins, Manuel A.;
PUBLISHED: 2024, SOURCE: LOGIC JOURNAL OF THE IGPL
AUTHORS: Freire, Alfredo Roque; Martins, Manuel A.;
PUBLISHED: 2024, SOURCE: LOGIC JOURNAL OF THE IGPL
7
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
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
DBLP IN MY: DBLP
DBLP8
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
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
9
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
AUTHORS: Costa, Diana; Figueiredo, Daniel; Martins, Manuel A.;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133
10
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
AUTHORS: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel; Aranda, Victor;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 90, ISSUE: 1
