Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 76



41
TÍTULO: Reuse and Integration of Specification Logics: The Hybridisation Perspective
AUTORES: Luís Soares Barbosa ; Manuel A Martins ; Alexandre Madeira ; Renato Neves ;
PUBLICAÇÃO: 2016, FONTE: Theoretical Information Reuse and Integration, VOLUME: 446
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
42
TÍTULO: A Dynamic Logic for Every Season
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP
43
TÍTULO: A Fuzzy Neural Network for E-coli Metabolism
AUTORES: Daniel Figueiredo; Claudio Fuentes; Manuel A Martins ;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
44
TÍTULO: A logic for n-dimensional hierarchical refinement  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, NÚMERO: 209
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
45
TÍTULO: A Logic for Robotics?  Full Text
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
46
TÍTULO: Classical Principles in Molecular Logic
AUTORES: Diana Costa; Patricio Fuentes; Claudio Fuentes; Manuel A Martins ;
PUBLICAÇÃO: 2015, FONTE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
47
TÍTULO: Completeness and Decidability Results for Hybrid(ised) Logics
AUTORES: Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
48
TÍTULO: Refinement in hybridised institutions  Full Text
AUTORES: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ; Rolf Hennicker;
PUBLICAÇÃO: 2015, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | DBLP
49
TÍTULO: A Hilbert-Style Axiomatisation for Equational Hybrid Logic  Full Text
AUTORES: Luis S Barbosa ; Manuel A Martins ; Marta Carreteiro;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
50
TÍTULO: A semantics for equational hybrid propositional type theory
AUTORES: Manzano, M; Martins, MA ; Huertas, A;
PUBLICAÇÃO: 2014, FONTE: Bulletin of the Section of Logic, VOLUME: 43, NÚMERO: 3-4
INDEXADO EM: Scopus
NO MEU: ORCID
Página 5 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