Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis. - Christian Eisentraut; David Spieler (WS-FM, 2008)

Teaching Concurrency Concepts to Freshmen. - Christian Eisentraut; Holger Hermanns (Trans. Petri Nets Other Model. Concurr., 2008)

Concurrency and Composition in a Stochastic World. - Christian Eisentraut; Holger Hermanns; Lijun Zhang 001 (CONCUR, 2010)

On Probabilistic Automata in Continuous Time. - Christian Eisentraut; Holger Hermanns; Lijun Zhang 001 (LICS, 2010)

A Semantics for Every GSPN. - Christian Eisentraut; Holger Hermanns; Joost-Pieter Katoen; Lijun Zhang 001 (Petri Nets, 2013)

Deciding Bisimilarities on Distributions. - Christian Eisentraut; Holger Hermanns; Julia Krämer; Andrea Turrini; Lijun Zhang 001 (QEST, 2013)

The Quest for Minimal Quotients for Probabilistic Automata. - Christian Eisentraut; Holger Hermanns; Johann Schuster; Andrea Turrini; Lijun Zhang 001 (TACAS, 2013)

Probabilistic Bisimulation for Realistic Schedulers. - Christian Eisentraut; Jens Chr. Godskesen; Holger Hermanns; Lei Song 001; Lijun Zhang 001 (FM, 2015)

Principles of Markov automata. - Christian Eisentraut (2017)

Probabilistic bisimulation for realistic schedulers. - Lijun Zhang 001; Pengfei Yang 002; Lei Song 001; Holger Hermanns; Christian Eisentraut; David N. Jansen; Jens Chr. Godskesen (Acta Informatica, 2018)

The quest for minimal quotients for probabilistic and Markov automata. - Christian Eisentraut; Holger Hermanns; Johann Schuster; Andrea Turrini; Lijun Zhang 001 (Inf. Comput., 2018)