Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 95



61
TÍTULO: A Dynamic Logic for Every Season
AUTORES: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
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
62
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
63
TÍTULO: A logic for n-dimensional hierarchical refinement  Full Text
AUTORES: Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, NÚMERO: 209
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
64
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
65
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
66
TÍTULO: Completeness and Decidability Results for Hybrid(ised) Logics
AUTORES: Neves, R ; Martins, MA ; Barbosa, LS ;
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
67
TÍTULO: Refinement in hybridised institutions  Full Text
AUTORES: Madeira, A ; Martins, MA ; Barbosa, LS ; Hennicker, R;
PUBLICAÇÃO: 2015, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID
68
TÍTULO: A Hilbert-Style Axiomatisation for Equational Hybrid Logic  Full Text
AUTORES: Barbosa, LS ; Martins, MA ; Carreteiro, M;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC LANGUAGE AND INFORMATION, VOLUME: 23, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
69
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
70
TÍTULO: Deduction-detachment theorem in hidden k-logics
AUTORES: Sergey Babenyshev; Manuel A Martins ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP
Página 7 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