Publications of to appear

H.J. Sander Bruggink and Barbara König. Recognizable languages of arrows. Mathematical Structures in Computer Science, to appear.
Info
Paolo Baldan, Filippo Bonchi, Henning Kerstan, and Barbara König. Coalgebraic behavioral metrics. Logical Methods in Computer Science, to appear. Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015).
Info
Extended version
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, to appear.
Info
© University of Duisburg-Essen, Theoretical Computer Science group