Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 95



21
TÍTULO: Introduction to reversal fuzzy switch graph  Full Text
AUTORES: Campos, S; Santiago, R; Martins, MA ; Figueiredo, D;
PUBLICAÇÃO: 2022, FONTE: 7th International Conference on Rigorous State-Based Methods (ABZ) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 216
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
22
TÍTULO: Preface
AUTORES: 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; ...Mais
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 358
INDEXADO EM: Scopus
23
TÍTULO: Relating Kleene Algebras with Pseudo Uninorms
AUTORES: Benjamín R C Bedregal; Regivan H N Santiago; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2022, FONTE: DaLí, VOLUME: 13780 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
24
TÍTULO: Adding Proof Calculi to Epistemic Logics with Structured Knowledge
AUTORES: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2021, FONTE: FSEN, VOLUME: 12818 LNCS
INDEXADO EM: Scopus DBLP CrossRef
25
TÍTULO: Introducing fuzzy reactive graphs: a simple application on biology  Full Text
AUTORES: Santiago, R; Martins, MA ; Figueiredo, D;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID
26
TÍTULO: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTORES: Costa, D; Martins, MA ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
27
TÍTULO: Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18"  Full Text
AUTORES: Veloz, T; Chaves, M; Martins, M ;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
28
TÍTULO: A Four-Valued Hybrid Logic with Non-dual Modal Operators
AUTORES: Costa, D; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
29
TÍTULO: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTORES: Jain, M; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID
30
TÍTULO: Boolean dynamics revisited through feedback interconnections  Full Text
AUTORES: Chaves, M; Figueiredo, D; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 4th French Speaking Meeting on Interaction Networks - Foundations and Application to Biology in NATURAL COMPUTING, VOLUME: 19, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
Página 3 de 10. Total de resultados: 95.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service