Manuel A. Martins
Manuel A. Martins
Departamento de Matemática, Universidade de Aveiro
E-mail confirmado em ua.pt - Página inicial
Título
Citado por
Citado por
Ano
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011
652011
Behavioural reasoning for conditional equations
MA Martins, D Pigozzi
Math. Struct. Comput. Sci. 17 (5), 1075-1113, 2007
292007
Hybrid specification of reactive systems: An institutional approach
A Madeira, JM Faria, MA Martins, LS Barbosa
International Conference on Software Engineering and Formal Methods, 269-285, 2011
262011
An exercise on the generation of many-valued dynamic logics
A Madeira, R Neves, MA Martins
Journal of Logical and Algebraic Methods in Programming 85 (5), 1011-1037, 2016
252016
Hybridisation at work
R Neves, A Madeira, MA Martins, LS Barbosa
International Conference on Algebra and Coalgebra in Computer Science, 340-345, 2013
172013
Proof theory for hybrid (ised) logics
R Neves, A Madeira, MA Martins, LS Barbosa
Science of Computer Programming 126, 73-93, 2016
162016
Refinement in hybridised institutions
A Madeira, MA Martins, LS Barbosa, R Hennicker
Formal Aspects of Computing 27 (2), 375-395, 2015
162015
Refinement by interpretation in a general setting
MA Martins, A Madeira, LS Barbosa
Electronic Notes in Theoretical Computer Science 259, 105-121, 2009
152009
Refinement via interpretation
MA Martins, A Madeira, LS Barbosa
Proc. Seventh IEEE International Conference on Software Engineering and …, 2009
152009
Closure properties for the class of behavioral models
MA Martins
Theoretical Computer Science 379 (1), 53-83, 2007
152007
Behavioral Institutions and Refinements in Generalized Hidden Logics.
MA Martins
J. UCS 12 (8), 1020-1049, 2006
152006
Paraconsistency in hybrid logic
D Costa, MA Martins
Journal of Logic and Computation, exw027, 2016
142016
A dynamic logic for every season
A Madeira, R Neves, MA Martins, LS Barbosa
Brazilian Symposium on Formal Methods, 130-145, 2014
142014
Behavioral algebraization of logics
C Caleiro, R Gonçalves, M Martins
Studia Logica 91 (1), 63-111, 2009
142009
Behavioral reasoning in generalized hidden logics
M Martins
University of Lisbon, 2004
142004
Continuity as a computational effect
R Neves, LS Barbosa, D Hofmann, MA Martins
Journal of Logical and Algebraic Methods in Programming 85 (5), 1057-1085, 2016
132016
A method for rigorous design of reconfigurable systems
A Madeira, R Neves, LS Barbosa, MA Martins
Science of Computer Programming 132, 50-76, 2016
102016
An institution for alloy and its translation to second-order logic
R Neves, A Madeira, M Martins, L Barbosa
Integration of Reusable Systems, 45-75, 2014
92014
A Hilbert-style axiomatisation for equational hybrid logic
LS Barbosa, MA Martins, M Carreteiro
Journal of Logic, Language and Information 23 (1), 31-52, 2014
82014
Refinement by interpretation in {\pi}-institutions
C Rodrigues, MA Martins, A Madeira, LS Barbosa
arXiv preprint arXiv:1106.4093, 2011
82011
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20