Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 95



41
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
42
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: 6
IN MY: ORCID
43
TITLE: A logic for the stepwise development of reactive systems  Full Text
AUTHORS: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID
44
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, VOLUME: 10865 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
45
TITLE: A short overview of hidden logic
AUTHORS: Ferreirim, I; Martins, MA ;
PUBLISHED: 2018, SOURCE: Outstanding Contributions to Logic, VOLUME: 16
INDEXED IN: Scopus
46
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
47
TITLE: Measuring inconsistent diagnoses
AUTHORS: Diana Costa; Manuel A Martins ;
PUBLISHED: 2018, SOURCE: HealthCom
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
48
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
49
TITLE: Paraconsistency in hybrid logic
AUTHORS: Costa, D; Martins, MA ;
PUBLISHED: 2017, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
50
TITLE: A method for rigorous design of reconfigurable systems  Full Text
AUTHORS: Madeira, A ; Neves, R ; Barbosa, LS ; Martins, MA ;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID
Page 5 of 10. Total results: 95.

footer slogan

Useful Links

Get Help

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