Publications of to appear

H.J. Sander Bruggink and Barbara König. Recognizable languages of arrows. Mathematical Structures in Computer Science, to appear.
Info
Barbara König and Sebastian Küpper. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Computing, to appear.
Info
See link.springer.com ...
Barbara König, Dennis Nolte, Julia Padberg, and Arend Rensink. A tutorial on graph transformation. In Festschrift in Memory of Hartmut Ehrig. Springer, to appear.
Info
© University of Duisburg-Essen, Theoretical Computer Science group