Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 95



41
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
42
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: 6
NO MEU: ORCID
43
TÍTULO: A logic for the stepwise development of reactive systems  Full Text
AUTORES: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID
44
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, VOLUME: 10865 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
45
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
46
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
47
TÍTULO: Measuring inconsistent diagnoses
AUTORES: Diana Costa; Manuel A Martins ;
PUBLICAÇÃO: 2018, FONTE: HealthCom
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
48
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
49
TÍTULO: Paraconsistency in hybrid logic
AUTORES: Costa, D; Martins, MA ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 27, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
50
TÍTULO: A method for rigorous design of reconfigurable systems  Full Text
AUTORES: Madeira, A ; Neves, R ; Barbosa, LS ; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID
Página 5 de 10. Total de resultados: 95.

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

Links Úteis

Ajuda

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