PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Eisentraut, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
On Probabilistic Automata in Continuous Time.

, , and . LICS, page 342-351. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian León University of Stuttgart

Christian Hölzl University of Stuttgart

Christian Bartsch University of Stuttgart

Christian Semmler University of Stuttgart

Christian Hermann University of Stuttgart

 

Other publications of authors with the same name

Concurrency and Composition in a Stochastic World., , and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 21-39. Springer, (2010)On Probabilistic Automata in Continuous Time., , and . LICS, page 342-351. IEEE Computer Society, (2010)The Quest for Minimal Quotients for Probabilistic Automata., , , , and . TACAS, volume 7795 of Lecture Notes in Computer Science, page 16-31. Springer, (2013)Teaching Concurrency Concepts to Freshmen., and . Trans. Petri Nets and Other Models of Concurrency, (2008)The quest for minimal quotients for probabilistic and Markov automata., , , , and . Inf. Comput., 262 (Part): 162-186 (2018)Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis., and . WS-FM, volume 5387 of Lecture Notes in Computer Science, page 107-126. Springer, (2008)Probabilistic bisimulation for realistic schedulers., , , , , , and . Acta Inf., 55 (6): 461-488 (2018)Probabilistic Bisimulation for Realistic Schedulers., , , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 248-264. Springer, (2015)Deciding Bisimilarities on Distributions., , , , and . QEST, volume 8054 of Lecture Notes in Computer Science, page 72-88. Springer, (2013)A Semantics for Every GSPN., , , and . Petri Nets, volume 7927 of Lecture Notes in Computer Science, page 90-109. Springer, (2013)