Publications of in 2020

Barbara König, Rainer Leisten, and Jan Stückrath. Permutation flow shop scheduling: Variability of completion time differences – NP-completeness. International Journal of Operational Research, 39(4), 2020.
Info
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition systems with upgrades. Science of Computer Programming, 186, 2020.
Info
Paolo Baldan, Barbara König, and Tommaso Padoan. Abstraction, up-to techniques and games for systems of fixpoint equations, 2020. arXiv:2003.08877.
Info
See arxiv.org ...
Conference version
Barbara König, Christina Mika-Michalski, and Lutz Schröder. Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas. In Proc. of CMCS '20, pages 133–154. Springer, 2020. LNCS 12094.
Info
Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow. Conditional bisimilarity for reactive systems. In Proc. of FSCD '20, volume 167 of LIPIcs, pages 10:1–10:19. Schloss Dagstuhl – Leibniz Center for Informatics, 2020.
Info
See drops.dagstuhl.de ...
Extended version
Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow. Conditional bisimilarity for reactive systems, 2020. arXiv:2004.11792.
Info
See arxiv.org ...
Conference version
H.J. Sander Bruggink, Barbara König, Marleen Matjeka, Dennis Nolte, and Lars Stoltenow. A flexible and easy-to-use library for the rapid development of graph tools in Java (tool presentation paper). In Proc. of ICGT '20, pages 297–306, 2020. LNCS 12150.
Info
Jean Goubault-Larrecq and Barbara König, editors. Foundations of Software Science and Computation Structures (FOSSACS 2020). Springer, 2020. LNCS/ARCoSS 12077.
Info
See link.springer.com ...
Paolo Baldan, Barbara König, and Tommaso Padoan. Abstraction, up-to techniques and games for systems of fixpoint equations. In Proc. of CONCUR '20, volume 171 of LIPIcs, pages 25:1–25:20. Schloss Dagstuhl – Leibniz Center for Informatics, 2020.
Info
See doi.org ...
Extended version
Filippo Bonchi and Barbara König, editors. Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Logical Methods in Computer Science, 2020. Special Issue.
Info
See lmcs.episciences.org ...
Rebecca Bernemann, Benjamin Cabrera, Reiko Heckel, and Barbara König. Uncertainty reasoning for probabilistic Petri nets via Bayesian networks. In Proc. of FSTTCS '20, volume 182 of LIPIcs, pages 38:1–38:17. Schloss Dagstuhl – Leibniz Center for Informatics, 2020.
Info
See doi.org ...
© University of Duisburg-Essen, Theoretical Computer Science group