Jérémy Dubut

Available identifiers

Publication	Date of Publication	Type
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	2024-02-13	Paper
Weighted and branching bisimilarities from generalized open maps	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5875442	2023-02-03	Paper
Relational differential dynamic logic	2022-10-13	Paper
Bisimilarity of Diagrams	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5028488	2022-02-09	Paper
Fibrational bisimulations and quantitative reasoning: extended version	2021-10-21	Paper
A coalgebraic view on reachability	2020-03-06	Paper
Trees in partial higher dimensional automata	2020-01-28	Paper
Path category for free. Open morphisms from coalgebras with non-deterministic branching	2020-01-28	Paper
Relational differential dynamic logic	2019-10-22	Paper
A Coalgebraic View on Reachability	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	2018-02-22	Paper
The directed homotopy hypothesis	2017-07-19	Paper
Natural Homology	2015-11-04	Paper
A Categorical Framework for Program Semantics and Semantic Abstraction	N/A	Paper

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