I. Banerjee, and P. Walter. Dataset, (2022)Related to: Banerjee, I., Walter, P., Guthke, A., Mumford, K.G. & Nowak, W. (2022). The Method of Forced Probabilities: A Computation Trick for Bayesian Model Evidence. Computational Geosciences. Accepted for publication.
V. Diekert, A. Myasnikov, and A. Weiß. ISSAC'15 : proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, page 141-148. New York, NY, ACM, (2015)
V. Diekert, F. Martin, G. Sénizergues, and P. Silva. Computer science - theory and applications : 10th International Computer Science Symposium, 9139, page 173-188. Cham, Springer, (2015)
L. Fleischer, and M. Kufleitner. 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015), 45, page 112-124. Wadern, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, (2015)
L. Ciobanu, V. Diekert, and M. Elder. Automata, Languages, and Programming : 42nd International Colloquium, ICALP 2015 : proceedings, volume 2 of Lecture notes in computer science, page 134-145. Berlin, Springer, (2015)
