Six papers from UnRAVeL-members have been accepted


SIX papers from UnRAVeL-members have been accepted in the last days:


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