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. |
|
Harsh Beohar, Barbara König, Sebastian Küpper, and Alexandra Silva. Conditional transition systems with upgrades. Science of Computer Programming, 186, 2020. |
|
Paolo Baldan, Barbara König, and Tommaso Padoan. Abstraction, up-to techniques and games for systems of fixpoint equations, 2020. arXiv:2003.08877. |
|
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. |
|
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. |
|
Mathias Hülsbusch, Barbara König, Sebastian Küpper, and Lars Stoltenow. Conditional bisimilarity for reactive systems, 2020. arXiv:2004.11792. |
|
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. |
|
Jean Goubault-Larrecq and Barbara König, editors. Foundations of Software Science and Computation Structures (FOSSACS 2020). Springer, 2020. LNCS/ARCoSS 12077. |
|
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. |
|
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. |
|
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. |
|