Jérémy Dubut

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A categorical framework for program semantics and semantic abstraction	2026-04-02	Paper
Aczel-Mendler bisimulations in a regular category Logical Methods in Computer Science	2025-09-25	Paper
Formalizing results on directed sets in isabelle/HOL (proof pearl)	2024-11-26	Paper
Aczel-Mendler bisimulations in a regular category	2024-11-26	Paper
Moment propagation of polynomial systems through Carleman linearization for probabilistic safety analysis Automatica	2024-02-13	Paper
Weighted and branching bisimilarities from generalized open maps Lecture Notes in Computer Science	2023-11-24	Paper
scientific article; zbMATH DE number 7649979 (Why is no real title available?)	2023-02-03	Paper
Relational differential dynamic logic Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Bisimilarity of Diagrams Relational and Algebraic Methods in Computer Science	2022-08-30	Paper
scientific article; zbMATH DE number 7471719 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471719 (Why is no real title available?)	2022-02-09	Paper
Fibrational bisimulations and quantitative reasoning: extended version Journal Of Logic And Computation	2021-10-21	Paper
A coalgebraic view on reachability Commentationes Mathematicae Universitatis Carolinae	2020-03-06	Paper
Trees in partial higher dimensional automata (available as arXiv preprint)	2020-01-28	Paper
Path category for free. Open morphisms from coalgebras with non-deterministic branching (available as arXiv preprint)	2020-01-28	Paper
Relational differential dynamic logic Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
A Coalgebraic View on Reachability (available as arXiv preprint)	2019-01-30	Paper
Fibrational bisimulations and quantitative reasoning	2018-10-23	Paper
Bisimulations and unfolding in P-accessible categorical models	2018-03-21	Paper
Directed homology theories and Eilenberg-Steenrod axioms Applied Categorical Structures	2018-02-22	Paper
The directed homotopy hypothesis	2017-07-19	Paper
Natural Homology Automata, Languages, and Programming	2015-11-04	Paper
A Categorical Framework for Program Semantics and Semantic Abstraction (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Jérémy Dubut