Author: Kathrin Hoffmann

Publications

Co-authors

Tony Modica

1

Enrico Biermann

1

Hartmut Ehrig

1

Productive Colleagues

Claudia Ermel

3

Gabriele Taentzer

7

Paolo Bottoni

46

Publications

Bottoni, Paolo, Hoffmann, Kathrin, Parisi-Presicce, Francesco, Taentzer, Gabriele (2005): High-level replacement units and their termination properties. In J. Vis. Lang. Comput., 16 (6) pp. 485-507. https://dx.doi.org/10.1016/j.jvlc.2005.07.001

Ermel, Claudia, Modica, Tony, Biermann, Enrico, Ehrig, Hartmut, Hoffmann, Kathrin (2009): Modeling multicasting in communication spaces by reconfigurable high-level Petri nets. In: IEEE Symposium on Visual Languages and Human-Centric Computing - VL/HCC 2009 20-24 September, 2009, Corvallis, OR, USA. pp. 47-50. https://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295303