EATCS Best Paper Award at ETAPS 2014

Auszeichnung: Preis › Publikations-/Konferenzpreis

Empfänger:innen

Christel Baier - , Professur für Algebraische und logische Grundlagen der Informatik (Preisträger:in)
Sascha Klüppelholz - , Professur für Algebraische und logische Grundlagen der Informatik (Preisträger:in)
Joachim Klein - , Professur für Algebraische und logische Grundlagen der Informatik (Preisträger:in)
Steffen Märcker - , Professur für Algebraische und logische Grundlagen der Informatik (Preisträger:in)

Datum der Verleihung	Apr. 2014
Bekanntheitsgrad	International

Konferenz

Titel	European Joint Conferences on Theory and Practice of Software 2014
Kurztitel	ETAPS 2014
Veranstaltungsnummer	17
Dauer	5 - 13 April 2014
Webseite	https://etaps.org/2014
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Grenoble World Trade Center
Stadt	Grenoble
Land	Frankreich

Schlagworte

DFG-Fachsystematik nach Fachkollegium

Theoretische Informatik

Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis

Theoretische Informatik

Verknüpfte Inhalte

Veröffentlichungen
Aktivitäten

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. (Hrsg.). Springer, Berlin [u. a.], S. 515-530 16 S. (Lecture Notes in Computer Science, Volume 8413).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)

Computing Conditional Probabilities in Markovian Models Efficiently

Klüppelholz, S. (Redner:in)

7 Apr. 2014 → 11 Apr. 2014

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Alle Aktivitäten ansehen (1)