Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 76



21
TÍTULO: On interval dynamic logic: Introducing quasi-action lattices  Full Text
AUTORES: Regivan Santiago; Benjamin Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP
22
TÍTULO: Preface
AUTORES: Chaves, M; Martins, MA ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus
NO MEU: ORCID
23
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 Handle
NO MEU: DBLP
24
TÍTULO: A Family of Graded Epistemic Logics
AUTORES: Mario R F Benevides; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
25
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: 9
NO MEU: ORCID | DBLP
26
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: 3
NO MEU: ORCID | DBLP
27
TÍTULO: Hierarchical Hybrid Logic
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
28
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
NO MEU: ORCID | DBLP
29
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
30
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: 2
NO MEU: ORCID | DBLP
Página 3 de 8. Total de resultados: 76.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service