Manuel António Gonçalves Martins
AuthID: R-000-A10
1
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
2
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
3
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
4
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
DBLP5
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
6
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
7
TITLE: HYBRID PARTIAL TYPE THEORY
AUTHORS: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel; Aranda, Victor;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC LOGIC
AUTHORS: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel; Aranda, Victor;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYMBOLIC LOGIC
8
TITLE: Recent Trends in Algebraic Development Techniques. 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
AUTHORS: Alexandre Madeira; Manuel A Martins;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science
AUTHORS: Alexandre Madeira; Manuel A Martins;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science
9
TITLE: Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18"
AUTHORS: Veloz, T; Chaves, M; Martins, M;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
AUTHORS: Veloz, T; Chaves, M; Martins, M;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
10
TITLE: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTHORS: Costa, D; Martins, MA;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
AUTHORS: Costa, D; Martins, MA;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
