publicações selecionadas
-
artigo académico
- The syntactic side of autonomous categories enriched over generalised metric spaces. Logical Methods in Computer Science. 2023
- Generating the algebraic theory of C(X): The case of partially ordered compact spaces. Theory and Applications of Categories. 2018
- Limits in categories of Vietoris coalgebras. Mathematical Structures in Computer Science. 2018
- An exercise on the generation of many-valued dynamic logics. Journal of Logical and Algebraic Methods in Programming. 2016
-
artigo de conferência
- A Complete V-Equational System for Graded lambda-Calculus 2023
- An Internal Language for Categories Enriched over Generalised Metric Spaces 2022
- Implementing Hybrid Semantics: From Functional to Imperative 2020
- An Adequate While-Language for Hybrid Computation 2019
- A semantics for hybrid iteration 2018
- Completeness and Decidability Results for Hybrid(ised) Logics 2017
- Asymmetric Combination of Logics is Functorial: A Survey 2016
- Hybrid Automata as Coalgebras. Computational Methods in Applied Sciences. 2016
- A Logic for Robotics?. AIP Conference Proceedings. 2015
- On a monadic encoding of continuous behaviour 2015
- A Dynamic Logic for Every Season. Computational Methods in Applied Sciences. 2014
- A Dynamic Logic for Every Season. Computational Methods in Applied Sciences. 2014
- Introducing hierarquical hybrid logic 2014
- Paradigm integration in a specification course 2014
- Giving Alloy a family 2013
- Hybridisation at Work. Computational Methods in Applied Sciences. 2013
- When Even the Interface Evolves... 2013
-
artigo de revista
- Languages and models for hybrid automata: A coalgebraic perspective. 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
- Continuity as a computational effect. Journal of Logical and Algebraic Methods in Programming. 2016
- Proof theory for hybrid(ised) logics. Computational Methods in Applied Sciences. 2016
-
capítulo de livro
- 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
-
documento
- Effectful Components and Program Equivalence 2020
- A type system for simple quantum processes 2020
- Compositional semantics for new paradigms: probabilistic, hybrid and beyond 2018
- Logics and Calculi for Cyber-Physical Components 2015
- Introducing Hierarchical Hybrid Logic 2014
- Integration of the hybridisation method into the tool set HETS (http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hets/docs/) 2013
- Lince - Lightweight protototyping of hybrid programs (software)
-
teses