Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 96



41
TITLE: Rigid First-Order Hybrid Logic
AUTHORS: Patrick Blackburn; Manuel A Martins ; María Manzano; Antonia Huertas;
PUBLISHED: 2019, SOURCE: 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 in Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
INDEXED IN: Scopus DBLP
IN MY: DBLP
42
TITLE: rPrism - A Software for Reactive Weighted State Transition Models
AUTHORS: Figueiredo, D; Rocha, E; Martins, MA ; Chaves, M;
PUBLISHED: 2019, SOURCE: 6th International Workshop on Hybrid Systems Biology (HSB) in HYBRID SYSTEMS BIOLOGY (HSB 2019), VOLUME: 11705
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
IN MY: DBLP
43
TITLE: A Family of Graded Epistemic Logics
AUTHORS: Benevides, MRF; Madeira, A ; Martins, MA ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
44
TITLE: A logic for the stepwise development of reactive systems  Full Text
AUTHORS: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | DBLP
45
TITLE: A Note on Reactive Transitions and Reo Connectors
AUTHORS: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2018, SOURCE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
46
TITLE: A short overview of hidden logic
AUTHORS: Ferreirim, I; Martins, MA ;
PUBLISHED: 2018, SOURCE: Outstanding Contributions to Logic, VOLUME: 16
INDEXED IN: Scopus
47
TITLE: Hierarchical Hybrid Logic
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
48
TITLE: Measuring inconsistent diagnoses
AUTHORS: Diana Costa; Manuel A Martins ;
PUBLISHED: 2018, SOURCE: 20th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2018, Ostrava, Czech Republic, September 17-20, 2018
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
49
TITLE: Applying differential dynamic logic to reconfigurable biological networks  Full Text
AUTHORS: Daniel Figueiredo ; Manuel A Martins ; Madalena Chaves;
PUBLISHED: 2017, SOURCE: MATHEMATICAL BIOSCIENCES, VOLUME: 291
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID
50
TITLE: Paraconsistency in hybrid logic
AUTHORS: Diana Costa; Manuel A Martins ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
Page 5 of 10. Total results: 96.

footer slogan

Useful Links

Get Help

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