publicações selecionadas
-
artigo académico
- Generalising KAT to Verify Weighted Computations. Scientific Annals of Computer Science. 2019
-
artigo de conferência
- Stepwise Development of Paraconsistent Processes 2023
- Structured Specification of Paraconsistent Transition Systems} 2023
- Capturing Qubit Decoherence through Paraconsistent Transition Systems 2023
- A logic for paraconsistent transition system 2022
- Towards a specification theory for fuzzy modal logic 2021
- On Kleene Algebras for Weighted Computation. Computational Methods in Applied Sciences. 2017
- Asymmetric Combination of Logics is Functorial: A Survey 2016
- Dynamic Logic with Binders and Its Application to the Development of Reactive Systems. Computational Methods in Applied Sciences. 2016
- A Logic for Robotics?. AIP Conference Proceedings. 2015
- A Dynamic Logic for Every Season. Computational Methods in Applied Sciences. 2014
- Introducing hierarquical hybrid logic 2014
- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language. Computational Methods in Applied Sciences. 2014
- Paradigm integration in a specification course 2014
- Bisimilarity and refinement for hybrid(ised) logics. Electronic Proceedings in Theoretical Computer Science. 2013
- Boilerplates for reconfigurable systems: A language and its semantics. Computational Methods in Applied Sciences. 2013
- Hybridisation at Work. Computational Methods in Applied Sciences. 2013
- When Even the Interface Evolves... 2013
- Applying abstract algebraic logic to classical automata theory : an exercise 2010
-
artigo de revista
- A semantics and a logic for Fuzzy Arden Syntax. Soft Computing. 2021
- Introducing Synchrony in Fuzzy Automata. Electronic Notes in Theoretical Computer Science. 2020
- Generalising KAT to verify weighted computations. Scientific Annals of Computer Science. 2019
- A logic for the stepwise development of reactive systems. Theoretical Computer Science. 2018
- Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science. 2018
- A method for rigorous design of reconfigurable systems. Computational Methods in Applied Sciences. 2016
- Encoding hybridised institutions into first order logic. Mathematical Structures in Computer Science. 2016
- Proof theory for hybrid(ised) logics. Computational Methods in Applied Sciences. 2016
- On the verification of architectural reconfigurations. Computer Languages Systems & Structures. 2015
- Refinement in hybridised institutions. Formal Aspects of Computing. 2015
- The role of logical interpretations on program development. Logical Methods in Computer Science. 2014
-
capítulo de livro
- On the Generation of Equational Dynamic Logics for Weighted Imperative Programs. Computational Methods in Applied Sciences. 2019
- On infinitary equational hybrid logic 2017
- Reuse and Integration of Specification Logics: The Hybridisation Perspective. AI Communications. 2016
- An Institution for Alloy and Its Translation to Second-Order Logic. AI Communications. 2013
-
teses