Следене
Manuel A. Martins
Manuel A. Martins
Departamento de Matemática, Universidade de Aveiro
Потвърден имейл адрес: ua.pt - Начална страница
Заглавие
Позовавания
Позовавания
Година
Hybridization of institutions
MA Martins, A Madeira, R Diaconescu, LS Barbosa
Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011
762011
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
352016
Behavioural reasoning for conditional equations
MA Martins, D Pigozzi
Mathematical Structures in Computer Science 17 (5), 1075-1113, 2007
302007
Hybrid specification of reactive systems: An institutional approach
A Madeira, JM Faria, MA Martins, LS Barbosa
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
272011
A fuzzy modal logic for fuzzy transition systems
M Jain, A Madeira, MA Martins
Electronic Notes in Theoretical Computer Science 348, 85-103, 2020
232020
A dynamic logic for every season
A Madeira, R Neves, MA Martins, LS Barbosa
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF …, 2015
202015
Proof theory for hybrid (ised) logics
R Neves, A Madeira, MA Martins, LS Barbosa
Science of Computer Programming 126, 73-93, 2016
192016
Hybridisation at work
R Neves, A Madeira, MA Martins, LS Barbosa
Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013
192013
Paraconsistency in hybrid logic
D Costa, MA Martins
Journal of Logic and Computation, exw027, 2016
182016
Refinement in hybridised institutions
A Madeira, MA Martins, LS Barbosa, R Hennicker
Formal Aspects of Computing 27 (2), 375-395, 2015
182015
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
162016
Behavioral algebraization of logics
C Caleiro, R Gonçalves, M Martins
Studia Logica 91, 63-111, 2009
162009
Closure properties for the class of behavioral models
MA Martins
Theoretical Computer Science 379 (1), 53-83, 2007
162007
Behavioral Institutions and Refinements in Generalized Hidden Logics.
MA Martins
J. UCS 12 (8), 1020-1049, 2006
162006
Refinement by interpretation in a general setting
MA Martins, A Madeira, LS Barbosa
Electronic Notes in Theoretical Computer Science 259, 105-121, 2009
152009
Behavioral reasoning in generalized hidden logics
M Martins
University of Lisbon, 2004
152004
Dynamic logic with binders and its application to the development of reactive systems
A Madeira, LS Barbosa, R Hennicker, MA Martins
Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016
132016
Refinement via interpretation
MA Martins, A Madeira, LS Barbosa
Proc. Seventh IEEE International Conference on Software Engineering and …, 2009
132009
A method for rigorous design of reconfigurable systems
A Madeira, R Neves, LS Barbosa, MA Martins
Science of Computer Programming 132, 50-76, 2016
122016
Introducing fuzzy reactive graphs: a simple application on biology
R Santiago, MA Martins, D Figueiredo
Soft Computing 25 (9), 6759-6774, 2021
92021
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20