Manuel António Gonçalves Martins


AuthID: R-000-A10

Confirmed Publications: 76



21
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: 7
IN MY: ORCID | DBLP
22
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
23
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
IN MY: DBLP
24
TITLE: A Family of Graded Epistemic Logics
AUTHORS: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
25
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: 9
IN MY: ORCID | DBLP
26
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: 2
IN MY: ORCID | DBLP
27
TITLE: Hierarchical Hybrid Logic
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
28
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
IN MY: DBLP
29
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: 4
IN MY: ORCID
30
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: 2
IN MY: ORCID | DBLP
Page 3 of 8. Total results: 76.

A place for researchers and their institutions

Useful Links

Get Help

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