BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Norway
1 × United Kingdom
Collaborated with:
H.Hermanns L.Zhang J.C.Godskesen L.Song J.Schuster A.Turrini
Talks about:
probabilist (3) automata (2) quotient (1) schedul (1) realist (1) continu (1) bisimul (1) quest (1) minim (1) time (1)

Person: Christian Eisentraut

DBLP DBLP: Eisentraut:Christian

Contributed to:

FM 20152015
TACAS 20132013
LICS 20102010

Wrote 3 papers:

FM-2015-EisentrautGHS0 #bisimulation #probability
Probabilistic Bisimulation for Realistic Schedulers (CE, JCG, HH, LS, LZ), pp. 248–264.
TACAS-2013-EisentrautHST0 #automaton #probability
The Quest for Minimal Quotients for Probabilistic Automata (CE, HH, JS, AT, LZ), pp. 16–31.
LICS-2010-EisentrautHZ #automaton #on the #probability
On Probabilistic Automata in Continuous Time (CE, HH, LZ), pp. 342–351.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.