Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 96



31
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 | DBLP
32
33
TÍTULO: Preface
AUTORES: Martins, MA ; Sedlár, I;
PUBLICAÇÃO: 2020, FONTE: 3rd International Workshop on Dynamic Logic, DaLí 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12569 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
34
TÍTULO: Reversal Fuzzy Switch Graphs
AUTORES: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLICAÇÃO: 2020, FONTE: 23rd Brazilian Symposium on Formal Methods, SBMF 2020 in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
35
TÍTULO: Completeness in Equational Hybrid Propositional Type Theory  Full Text
AUTORES: Manzano, M; Martins, M ; Huertas, A;
PUBLICAÇÃO: 2019, FONTE: STUDIA LOGICA, VOLUME: 107, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
36
TÍTULO: Epistemic Logics with Structured Knowledge
AUTORES: Alexandre Madeira ; Manuel A Martins ; Mario R F Benevides;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
37
38
TÍTULO: ON HERBRAND'S THEOREM FOR HYBRID LOGIC
AUTORES: Costa, D; Martins, MA ; Marcos, J;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, VOLUME: 6, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
39
TÍTULO: On interval dynamic logic: Introducing quasi-action lattices  Full Text
AUTORES: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | DBLP
40
TÍTULO: Preface
AUTORES: Chaves, M; Martins, MA ;
PUBLICAÇÃO: 2019, FONTE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11415 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
Página 4 de 10. Total de resultados: 96.

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

Links Úteis

Ajuda

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