Christian Eisentraut

According to our database1, Christian Eisentraut authored at least 10 papers between 2008 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
The quest for minimal quotients for probabilistic and Markov automata.
Inf. Comput., 2018

Probabilistic bisimulation for realistic schedulers.
Acta Inf., 2018

2015
Probabilistic Bisimulation for Realistic Schedulers.
Proceedings of the FM 2015: Formal Methods, 2015

2013
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

2010
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

2008
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


  Loading...