We stand with Ukraine  

Christian Eisentraut

Affiliations:
  • Saarland University, Saarbrücken, Germany


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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
The quest for minimal quotients for probabilistic and Markov automata.
[BibTeX]
[DOI]
Christian Eisentraut
,
Holger Hermanns
,
Johann Schuster
,
Andrea Turrini
,
Lijun Zhang
Inf. Comput., 2018

Probabilistic bisimulation for realistic schedulers.
[BibTeX]
[DOI]
Lijun Zhang
,
Pengfei Yang
,
Lei Song
,
Holger Hermanns
,
Christian Eisentraut
,
David N. Jansen
,
Jens Chr. Godskesen
Acta Informatica, 2018

2017
Principles of Markov automata.
[BibTeX]
[DOI]
Christian Eisentraut
PhD thesis, 2017

2015
Probabilistic Bisimulation for Realistic Schedulers.
[BibTeX]
[DOI]
Christian Eisentraut
,
Jens Chr. Godskesen
,
Holger Hermanns
,
Lei Song
,
Lijun Zhang
Proceedings of the FM 2015: Formal Methods, 2015

2013
The Quest for Minimal Quotients for Probabilistic Automata.
[BibTeX]
[DOI]
Christian Eisentraut
,
Holger Hermanns
,
Johann Schuster
,
Andrea Turrini
,
Lijun Zhang
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Deciding Bisimilarities on Distributions.
[BibTeX]
[DOI]
Christian Eisentraut
,
Holger Hermanns
,
Julia Krämer
,
Andrea Turrini
,
Lijun Zhang
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

A Semantics for Every GSPN.
[BibTeX]
[DOI]
Christian Eisentraut
,
Holger Hermanns
,
Joost-Pieter Katoen
,
Lijun Zhang
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

2010
On Probabilistic Automata in Continuous Time.
[BibTeX]
[DOI]
Christian Eisentraut
,
Holger Hermanns
,
Lijun Zhang
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Concurrency and Composition in a Stochastic World.
[BibTeX]
[DOI]
Christian Eisentraut
,
Holger Hermanns
,
Lijun Zhang
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2008
Teaching Concurrency Concepts to Freshmen.
[BibTeX]
[DOI]
Christian Eisentraut
,
Holger Hermanns
Trans. Petri Nets Other Model. Concurr., 2008

Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis.
[BibTeX]
[DOI]
Christian Eisentraut
,
David Spieler
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008


  Loading...