According to our database1, Christian Eisentraut authored at least 10 papers between 2008 and 2018.
Legend:Book In proceedings Article PhD thesis Other
The quest for minimal quotients for probabilistic and Markov automata.
Inf. Comput., 2018
Probabilistic bisimulation for realistic schedulers.
Acta Inf., 2018
Probabilistic Bisimulation for Realistic Schedulers.
Proceedings of the FM 2015: Formal Methods, 2015
The Quest for Minimal Quotients for Probabilistic Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Deciding Bisimilarities on Distributions.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
A Semantics for Every GSPN.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
On Probabilistic Automata in Continuous Time.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Concurrency and Composition in a Stochastic World.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Teaching Concurrency Concepts to Freshmen.
Trans. Petri Nets and Other Models of Concurrency, 2008
Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis.
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008