Franck Van Breugel

Available identifiers

zbMath Open van-breugel.franckMaRDI QIDQ456099

List of research outcomes

Publication	Date of Publication	Type
Explainability of probabilistic bisimilarity distances for labelled Markov chains	2023-11-24	Paper
Deciding probabilistic bisimilarity distance one for labelled Markov chains	2023-05-26	Paper
Three metric domains of processes for bisimulation	2023-04-28	Paper
Topological models for higher order control flow	2023-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5875370	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q5009421	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5858723	2021-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q5856412	2021-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q5111641	2020-05-27	Paper
Deciding probabilistic bisimilarity distance one for probabilistic automata	2020-03-26	Paper
Generalizing finiteness conditions of labelled transition systems	2019-04-29	Paper
Computing Probabilistic Bisimilarity Distances via Policy Iteration	2018-03-21	Paper
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata	2014-06-02	Paper
Addendum to ``Recursively defined metric spaces without contraction	2014-01-10	Paper
On behavioural pseudometrics and closure ordinals	2012-10-23	Paper
On the Complexity of Computing Probabilistic Bisimilarity	2012-06-22	Paper
A Progress Measure for Explicit-State Probabilistic Model-Checkers	2011-07-07	Paper
Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems	2008-08-07	Paper
Approximating a Behavioural Pseudometric Without Discount for Probabilistic Systems	2007-09-07	Paper
Recursively defined metric spaces without contraction	2007-07-16	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Approximating and computing behavioural distances in probabilistic transition systems	2006-09-14	Paper
Automata, Languages and Programming	2006-01-10	Paper
Domain theory, testing and simulation for labelled Markov processes	2005-04-06	Paper
A behavioural pseudometric for probabilistic transition systems	2005-04-06	Paper
De Bakker-Zucker processes revisited	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4737187	2004-08-11	Paper
Isometries between a metric space and its hyperspace, function space, and space of measures.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4417860	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4791270	2003-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4535035	2002-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2736353	2001-08-29	Paper
An introduction to metric semantics: Operational and denotational models for programming and specification languages	2001-08-20	Paper
A Note on Hyperspaces and Terminal Coalgebras	1999-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4222905	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4212171	1998-10-13	Paper
Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding	1998-08-13	Paper
Terminal metric spaces of finitely branching and image finite linear processes	1998-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4373412	1998-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4373413	1998-02-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Franck Van Breugel