Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 76



61
TÍTULO: Malinowski modalization, modalization through fibring and the Leibniz hierarchy  Full Text
AUTORES: Manuel Antonio Martins ; George Voutsadakis;
PUBLICAÇÃO: 2013, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 21, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
62
TÍTULO: On a coalgebraic view on Logic
AUTORES: Hofmann, D ; Martins, MA ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
63
TÍTULO: When even the interface evolves ...
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP
64
TÍTULO: Hybrid Specification of Reactive Systems: An Institutional Approach
AUTORES: Alexandre Madeira ; Jose M Faria; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 7041
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | ResearcherID | DBLP
65
TÍTULO: Hybridization of Institutions
AUTORES: Manuel A Martins ; Alexandre Madeira ; Razvan Diaconescu; Luís Soares Barbosa ;
PUBLICAÇÃO: 2011, FONTE: 4th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2011 in Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, VOLUME: 6859
INDEXADO EM: Scopus DBLP CrossRef: 31
NO MEU: ORCID | DBLP
66
TÍTULO: Refinement by interpretation in π-institutions  Full Text
AUTORES: César Jesus Rodrigues; Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2011, FONTE: 15th International Refinement Workshop, Refine 2011 in Proceedings 15th International Refinement Workshop, Refine 2011, Limerick, Ireland, 20th June 2011., VOLUME: 55
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
67
TÍTULO: Admissible equivalence systems
AUTORES: Babenyshev, S; Martins, MA ;
PUBLICAÇÃO: 2010, FONTE: Bulletin of the Section of Logic, VOLUME: 39, NÚMERO: 1-2
INDEXADO EM: Scopus
NO MEU: ORCID
68
TÍTULO: Behavioral Algebraization of Logics  Full Text
AUTORES: Carlos Caleiro ; Ricardo Gonçalves; Manuel A Martins ;
PUBLICAÇÃO: 2009, FONTE: Studia Logica, VOLUME: 91, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP
69
TÍTULO: Refinement by Interpretation in a General Setting
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2009, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 259, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
70
TÍTULO: Refinement via interpretation
AUTORES: Manuel A Martins ; Alexandre Madeira ; Barbosa, LS ;
PUBLICAÇÃO: 2009, FONTE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP
Página 7 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