Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 95



21
TITLE: Introduction to reversal fuzzy switch graph  Full Text
AUTHORS: Campos, S; Santiago, R; Martins, MA ; Figueiredo, D;
PUBLISHED: 2022, SOURCE: 7th International Conference on Rigorous State-Based Methods (ABZ) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 216
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
22
TITLE: Preface
AUTHORS: Bolotov, A; Fang, J; Francez, N; Goranko, V; Grygiel, J; Kamide, N; Leitsch, A; Malinowski, J; Martins, MA ; Mundici, D; Odintsov, S; Ono, H; Orlandelli, E; Paoli, F; Pelletier, J; Pereira, LC; Poggiolesi, F; Ramanayake, R; Schmidt, R; Shramko, Y; Urchs, M; Tourlakis, G; Wansing, H; Zaitsev, D; Gruszczyński, R; Indrzejczak, A; Jarmużek, T; Kaczmarek, J; Klonowski, M; Mruczek Nasieniewska, K; Nasieniewski, M; Palczewski, R; Pietruszczak, A; Zawidzki, M; Berger, U; Conradie, W; Dalmonte, T; Dicher, B; Drobyshevich, S; Enqvist, S; Figueiredo, D; Fiorino, G; Grabarczyk, P; Greco, G; Huuskonen, T; Kubyshkina, E; Leszczyńska Jasion, D; Lopes, B; Łukowski, P; Madeira, A; Nowak, M; Petrolo, M; Płaczek, P; Tesi, M; Zhao, Z; ...More
PUBLISHED: 2022, SOURCE: 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 358
INDEXED IN: Scopus
23
TITLE: Relating Kleene Algebras with Pseudo Uninorms
AUTHORS: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2022, SOURCE: DaLí, VOLUME: 13780 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
24
TITLE: Adding Proof Calculi to Epistemic Logics with Structured Knowledge
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2021, SOURCE: FSEN, VOLUME: 12818 LNCS
INDEXED IN: Scopus DBLP CrossRef
25
TITLE: Introducing fuzzy reactive graphs: a simple application on biology  Full Text
AUTHORS: Santiago, R; Martins, MA ; Figueiredo, D;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID
26
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
27
TITLE: Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18"  Full Text
AUTHORS: Veloz, T; Chaves, M; Martins, M ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
28
TITLE: A Four-Valued Hybrid Logic with Non-dual Modal Operators
AUTHORS: Costa, D; Martins, MA ;
PUBLISHED: 2020, SOURCE: 2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, VOLUME: 12005
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
29
TITLE: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTHORS: Jain, M; Madeira, A ; Martins, MA ;
PUBLISHED: 2020, SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
INDEXED IN: Scopus WOS DBLP CrossRef: 17
IN MY: ORCID
30
TITLE: Boolean dynamics revisited through feedback interconnections  Full Text
AUTHORS: Chaves, M; Figueiredo, D; Martins, MA ;
PUBLISHED: 2020, SOURCE: 4th French Speaking Meeting on Interaction Networks - Foundations and Application to Biology in NATURAL COMPUTING, VOLUME: 19, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
Page 3 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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