Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="van Breugel, Franck"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Addendum to ``Recursively defined metric spaces without contraction''
Franck van Breugel
,
Claudio Hermida
,
Michael Makkai
,
James Worrell
Theoretical Computer Science
492
, 2013, pp. 117-122
On behavioural pseudometrics and closure ordinals
Franck van Breugel
Information Processing Letters
112
(19), 2012, pp. 715-718
A progress measure for explicit-state probabilistic model-checkers
Xin Zhang
,
Franck van Breugel
Lecture Notes in Computer Science
6756
, 2011, pp. 283-294
Recursively defined metric spaces without contraction
Franck van Breugel
,
Claudio Hermida
,
Michael Makkai
,
James Worrell
Theoretical Computer Science
380
(1-2), 2007, pp. 143-163
Approximating and computing behavioural distances in probabilistic transition systems
Franck van Breugel
,
James Worrell
Theoretical Computer Science
360
(1-3), 2006, pp. 373-385
An accessible approach to behavioural pseudometrics
Franck van Breugel
,
Claudio Hermida
,
Michael Makkai
,
James Worrell
Lecture Notes in Computer Science
3580
, 2005, pp. 1018-1030
Domain theory, testing and simulation for labelled Markov processes
Franck van Breugel
,
Michael Mislove
,
Joël Ouaknine
,
James Worrell
Theoretical Computer Science
333
(1-2), 2005, pp. 171-197
A behavioural pseudometric for probabilistic transition systems
Franck van Breugel
,
James Worrell
Theoretical Computer Science
331
(1), 2005, pp. 115-142
De Bakker-Zucker processes revisited
Franck van Breugel
Information and Computation
188
(1), 2004, pp. 68-76
Testing labelled Markov processes
Franck van Breugel
,
Steven Shalit
,
James Worrell
Lecture Notes in Computer Science
2380
, 2002, pp. 537-548
Towards quantitative verification of probabilistic transition systems
Franck van Breugel
,
James Worrell
Lecture Notes in Computer Science
2076
, 2001, pp. 421-432
An introduction to metric semantics: Operational and denotational models for programming and specification languages
Franck van Breugel
Theoretical Computer Science
258
(1-2), 2001, pp. 1-98
Terminal metric spaces of finitely branching and image finite linear processes
Franck van Breugel
Theoretical Computer Science
202
(1-2), 1998, pp. 223-230
Generalizing finiteness conditions of labelled transition systems
Franck van Breugel
Lecture Notes in Computer Science
820
, 1994, pp. 376-387