دنبال کردن
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‏
International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011‏
862011
Romão, CC, Santos, AM, Santos, TM, and Valente, AA‏
P Ferreira, IS Gonçalves, FE Kühn, AD Lopes, MA Martins, M Pillinger, ...‏
Eur. J. Inorg. Chem 2263, 2000‏
442000
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‏
412016
A fuzzy modal logic for fuzzy transition systems‏
M Jain, A Madeira, MA Martins‏
Electronic Notes in Theoretical Computer Science 348, 85-103, 2020‏
312020
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‏
302011
Behavioural reasoning for conditional equations‏
MA Martins, D Pigozzi‏
Mathematical Structures in Computer Science 17 (5), 1075-1113, 2007‏
302007
Paraconsistency in hybrid logic‏
D Costa, MA Martins‏
Journal of Logic and Computation, exw027, 2016‏
222016
Proof theory for hybrid (ised) logics‏
R Neves, A Madeira, MA Martins, LS Barbosa‏
Science of Computer Programming 126, 73-93, 2016‏
202016
Hybridisation at work‏
R Neves, A Madeira, MA Martins, LS Barbosa‏
Algebra and Coalgebra in Computer Science: 5th International Conference …, 2013‏
202013
Refinement in hybridised institutions‏
A Madeira, MA Martins, LS Barbosa, R Hennicker‏
Formal Aspects of Computing 27 (2), 375-395, 2015‏
192015
A dynamic logic for every season‏
A Madeira, R Neves, MA Martins, LS Barbosa‏
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF …, 2015‏
182015
Behavioral algebraization of logics‏
C Caleiro, R Gonçalves, M Martins‏
Studia Logica 91, 63-111, 2009‏
172009
A method for rigorous design of reconfigurable systems‏
A Madeira, R Neves, LS Barbosa, MA Martins‏
Science of Computer Programming 132, 50-76, 2016‏
162016
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
Closure properties for the class of behavioral models‏
MA Martins‏
Theoretical Computer Science 379 (1), 53-83, 2007‏
162007
A logic for the stepwise development of reactive systems‏
A Madeira, LS Barbosa, R Hennicker, MA Martins‏
Theoretical Computer Science 744, 78-96, 2018‏
152018
Behavioral Institutions and Refinements in Generalized Hidden Logics.‏
MA Martins‏
J. UCS 12 (8), 1020-1049, 2006‏
152006
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‏
International Colloquium on Theoretical Aspects of Computing, 422-440, 2016‏
142016
Refinement by interpretation in a general setting‏
MA Martins, A Madeira, LS Barbosa‏
Electronic Notes in Theoretical Computer Science 259, 105-121, 2009‏
142009
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20