Sechs Papers von UnRAVeL Mitglieder akzeptiert


Sechs Papers von UnRAVeL Mitglieder akzeptiert


Climbing up the elementary complexity classes with theories of automatic structures

Computer Science Logic 2018 (CSL '18), Birmingham, UK; 04.-07.09.18
Faried Abu Zaid, Dietrich Kuske, Peter Lindner

Rule-based Conditioning of Probabilistic Data Integration and NLP Results.

12th International Conference on Scalable Uncertainty Mangaement (SUM 2018). 3.-5.10.18
Benjamin Kaminski, Christoph Matheja, Maurice van Keulen, and Joost-Pieter Katoen

On the hardness of analyzing probabilistic programs

Acta Informatica (Journal, online 15.05.18)
Benjamin Kaminski, Joost-Pieter Katoen, and Christoph Matheja

How long, O Bayesian network, will I sample thee? - A program analysis perspective on expected sampling times

27th European Symposium on Programming (ESOP 2018). 14.-20.04.2018
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

The impact of buffer time distributions on the nominal capacity of railway lines

16th International Conference on Railway Engineering Design & Operation, 02.-04.07.18
Stephan Zieger, Norman Weik, Nils Nießen

On finitely ambiguous Büchi automata

Developments in Language Theory 2018 (DLT 2018), 10.-14.09.18
Christof Löding, Anton Pirogov