| Publication | Date of Publication | Type |
|---|
| A logic for paraconsistent transition systems | 2025-01-09 | Paper |
| Structured specification of paraconsistent transition systems | 2024-05-03 | Paper |
Paraconsistent Transition Systems
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Reactive models for biological regulatory networks
Molecular Logic and Computational Synthetic Biology | 2023-10-20 | Paper |
Weighted synchronous automata
Mathematical Structures in Computer Science | 2023-04-19 | Paper |
A semantics and a logic for \textit{Fuzzy Arden Syntax}
Soft Computing | 2022-11-21 | Paper |
A refinement relation for families of timed automata
Lecture Notes in Computer Science | 2022-11-04 | Paper |
On Kleene algebras for weighted computation
Lecture Notes in Computer Science | 2022-11-04 | Paper |
| scientific article; zbMATH DE number 7599995 (Why is no real title available?) | 2022-10-12 | Paper |
A tribute to José Manuel Valença
Journal of Logical and Algebraic Methods in Programming | 2022-08-26 | Paper |
Generalising KAT to Verify Weighted Computations
Scientific Annals of Computer Science | 2022-07-19 | Paper |
| A note on reactive transitions and Reo connectors | 2021-06-03 | Paper |
| Introducing synchrony in fuzzy automata | 2021-01-19 | Paper |
Asymmetric combination of logics is functorial: a survey
Recent Trends in Algebraic Development Techniques | 2020-01-16 | Paper |
| Hierarchical hybrid logic | 2019-11-12 | Paper |
| scientific article; zbMATH DE number 6979315 (Why is no real title available?) | 2018-11-14 | Paper |
A logic for the stepwise development of reactive systems
Theoretical Computer Science | 2018-09-24 | Paper |
Languages and models for hybrid automata: a coalgebraic perspective
Theoretical Computer Science | 2018-09-24 | Paper |
On the verification of architectural reconfigurations
Computer Languages, Systems & Structures | 2018-05-15 | Paper |
| Layered logics, coalgebraically | 2018-04-12 | Paper |
Dynamic logic with binders and its application to the development of reactive systems
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Hybrid automata as coalgebras
Theoretical Aspects of Computing – ICTAC 2016 | 2016-12-21 | Paper |
Continuity as a computational effect
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
A tribute to José Nuno Oliveira
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
Refinement by Interpretation in a General Setting
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
A single complete relational rule for coalgebraic refinement
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
A dynamic logic for every season
Lecture Notes in Computer Science | 2016-04-01 | Paper |
Completeness and decidability results for hybrid(ised) logics
Lecture Notes in Computer Science | 2016-04-01 | Paper |
Refinement in hybridised institutions
Formal Aspects of Computing | 2015-07-23 | Paper |
A Hilbert-style axiomatisation for equational hybrid logic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Boilerplates for reconfigurable systems: a language and its semantics
Programming Languages | 2014-04-16 | Paper |
An exercise on transition systems
Electronic Notes in Theoretical Computer Science | 2014-01-24 | Paper |
The role of logical interpretations in program development
Logical Methods in Computer Science | 2014-01-22 | Paper |
A coalgebraic perspective on logical interpretations
Studia Logica | 2013-09-23 | Paper |
| A coalgebraic semantic framework for component-based development in UML | 2013-09-20 | Paper |
Hybridisation at work
Algebra and Coalgebra in Computer Science | 2013-09-13 | Paper |
| State-based components made generic | 2013-08-23 | Paper |
Process Calculi à la Bird-Meertens
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
A calculus for generic, QoS-aware component composition
Mathematics in Computer Science | 2013-04-25 | Paper |
Hybrid specification of reactive systems: an institutional approach
Software Engineering and Formal Methods | 2011-10-28 | Paper |
Hybridization of institutions
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Slicing for architectural analysis
Science of Computer Programming | 2010-08-26 | Paper |
A Coordination Model for Interactive Components
Fundamentals of Software Engineering | 2010-01-28 | Paper |
A perspective on service orchestration
Science of Computer Programming | 2009-07-15 | Paper |
Calculating Invariants as Coreflexive Bisimulations
Algebraic Methodology and Software Technology | 2009-01-27 | Paper |
Transposing partial components--an exercise on coalgebraic refinement
Theoretical Computer Science | 2006-12-07 | Paper |
Formal Methods for Components and Objects
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Components as coalgebras: the refinement dimension
Theoretical Computer Science | 2006-04-06 | Paper |
Theoretical Aspects of Computing - ICTAC 2004
Lecture Notes in Computer Science | 2005-11-30 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
| scientific article; zbMATH DE number 1942459 (Why is no real title available?) | 2003-06-30 | Paper |
| scientific article; zbMATH DE number 1569136 (Why is no real title available?) | 2001-02-22 | Paper |
