Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 76



1
TÍTULO: Aggregation-based operations for reversal fuzzy switch graphs  Full Text
AUTORES: Campos, Suene; Santiago, Regivan; Martins, Manuel A. ; Figueiredo, Daniel ;
PUBLICAÇÃO: 2023, FONTE: FUZZY SETS AND SYSTEMS, VOLUME: 466
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
2
TÍTULO: Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)
AUTORES: Manuel A Martins ; Igor Sedlár;
PUBLICAÇÃO: 2023, FONTE: J. Log. Comput., VOLUME: 33, NÚMERO: 6
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
3
TÍTULO: Preface
AUTORES: Alexandre Madeira; Manuel Martins ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus
4
5
TÍTULO: Exorcising the phantom zone
AUTORES: Blackburn, Patrick; Martins, Manuel ; Manzano, Maria; Huertas, Antonia;
PUBLICAÇÃO: 2022, FONTE: INFORMATION AND COMPUTATION, VOLUME: 287
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
6
TÍTULO: Graded epistemic logic with public announcement
AUTORES: Benevides, M; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 125
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
7
TÍTULO: Introduction to reversal fuzzy switch graph
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: 1
NO MEU: ORCID | DBLP
8
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: 4th International Workshop on Dynamic Logic, DaLí 2022 in Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022, Revised Selected Papers, VOLUME: 13780
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
9
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: 9th International Conference on Fundamentals of Software Engineering, FSEN 2021 in Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers, VOLUME: 12818
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
10
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: 10
NO MEU: ORCID | DBLP
Página 1 de 8. Total de resultados: 76.

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

Links Úteis

Ajuda

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