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