Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 96



31
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 | DBLP
32
33
TITLE: Preface
AUTHORS: Martins, MA ; Sedlár, I;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
34
TITLE: Reversal Fuzzy Switch Graphs
AUTHORS: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
35
TITLE: Completeness in Equational Hybrid Propositional Type Theory  Full Text
AUTHORS: Manzano, M; Martins, M ; Huertas, A;
PUBLISHED: 2019, SOURCE: STUDIA LOGICA, VOLUME: 107, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 4
36
TITLE: Epistemic Logics with Structured Knowledge
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Mario R F Benevides;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
37
38
TITLE: ON HERBRAND'S THEOREM FOR HYBRID LOGIC
AUTHORS: Costa, D; Martins, MA ; Marcos, J;
PUBLISHED: 2019, SOURCE: JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
39
TITLE: On interval dynamic logic: Introducing quasi-action lattices  Full Text
AUTHORS: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2019, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP
40
TITLE: Preface
AUTHORS: Chaves, M; Martins, MA ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
Page 4 of 10. Total results: 96.

footer slogan

Useful Links

Get Help

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