Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 96



41
TÍTULO: Rigid First-Order Hybrid Logic
AUTORES: Patrick Blackburn; Manuel A Martins ; María Manzano; Antonia Huertas;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
42
TÍTULO: rPrism - A Software for Reactive Weighted State Transition Models
AUTORES: Figueiredo, D; Rocha, E; Martins, MA ; Chaves, M;
PUBLICAÇÃO: 2019, FONTE: 6th International Workshop on Hybrid Systems Biology (HSB) in HYBRID SYSTEMS BIOLOGY (HSB 2019), VOLUME: 11705
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
NO MEU: DBLP
43
TÍTULO: A Family of Graded Epistemic Logics
AUTORES: Benevides, MRF; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
44
TÍTULO: A logic for the stepwise development of reactive systems  Full Text
AUTORES: Alexandre Madeira ; Luis S Barbosa ; Rolf Hennicker; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | DBLP
45
TÍTULO: A Note on Reactive Transitions and Reo Connectors
AUTORES: Daniel Figueiredo; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2018, FONTE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
46
TÍTULO: A short overview of hidden logic
AUTORES: Ferreirim, I; Martins, MA ;
PUBLICAÇÃO: 2018, FONTE: Outstanding Contributions to Logic, VOLUME: 16
INDEXADO EM: Scopus
47
TÍTULO: Hierarchical Hybrid Logic
AUTORES: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
48
TÍTULO: Measuring inconsistent diagnoses
AUTORES: Diana Costa; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: 20th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2018, Ostrava, Czech Republic, September 17-20, 2018
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
49
TÍTULO: Applying differential dynamic logic to reconfigurable biological networks  Full Text
AUTORES: Daniel Figueiredo ; Manuel A Martins ; Madalena Chaves;
PUBLICAÇÃO: 2017, FONTE: MATHEMATICAL BIOSCIENCES, VOLUME: 291
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID
50
TÍTULO: Paraconsistency in hybrid logic
AUTORES: Diana Costa; Manuel A Martins ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
Página 5 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