ETAPS Best Theory Paper Award 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)

Description

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science.

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
Duration	13 - 15 April 2014
Website	https://etaps.org/2014
Degree of recognition	International event
Location
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)

Computing Conditional Probabilities in Markovian Models Efficiently

Klüppelholz, S. (Speaker)

6 Apr 2014 → 12 Apr 2014

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (1)

Research Portal of the TU Dresden

ETAPS Best Theory Paper Award 2014

Recipients

Description

Conference

Keywords

DFG Classification of Subject Areas according to Review Boards

Subject groups, research areas, subject areas according to Destatis

Related content

Computing Conditional Probabilities in Markovian Models Efficiently

Computing Conditional Probabilities in Markovian Models Efficiently