EATCS Best Paper Award at ETAPS 2014

Prize: Publication/Conference prize

Recipients

Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)
Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)
Joachim Klein - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)
Steffen Märcker - , Chair of Algebraic and Logical Foundations of Computer Science (Laureat)

Awarded date	Apr 2014
Degree of recognition	International

Conference

Title	European Joint Conferences on Theory and Practice of Software 2014
Abbreviated title	ETAPS 2014
Conference number	17
Duration	5 - 13 April 2014
Website	https://etaps.org/2014
Degree of recognition	International event
Location	Grenoble World Trade Center
City	Grenoble
Country	France

Keywords

DFG Classification of Subject Areas according to Review Boards

Theoretical Computer Science

Subject groups, research areas, subject areas according to Destatis

Theoretical Computer Science

Computing Conditional Probabilities in Markovian Models Efficiently

Baier, C., Klein, J., Klüppelholz, S. & Märcker, S., 2014, Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Ábrahám, E. & Havelund, K. (eds.). Springer, Berlin [u. a.], p. 515-530 16 p. (Lecture Notes in Computer Science, Volume 8413).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (1)