| 2008 |
|---|
| 7 | | Jörg Desel,
Christian Neumair:
Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen.
DDI 2008: 151-152 |
| 2004 |
|---|
| 6 | EE | Jörg Desel,
Gabriel Juhás,
Christian Neumair:
Finite Unfoldings of Unbounded Petri Nets.
ICATPN 2004: 157-176 |
| 5 | EE | Gabriel Juhás,
Robert Lorenz,
Christian Neumair:
Synthesis of Controlled Behavior with Modules of Signal Nets.
ICATPN 2004: 238-257 |
| 4 | EE | Jörg Desel,
Hans-Michael Hanisch,
Gabriel Juhás,
Robert Lorenz,
Christian Neumair:
A Guide to Modelling and Control with Modules of Signal Nets.
SoftSpez Final Report 2004: 270-300 |
| 2003 |
|---|
| 3 | EE | Jörg Desel,
Gabriel Juhás,
Robert Lorenz,
Christian Neumair:
Modelling and Validation with VipTool.
Business Process Management 2003: 380-389 |
| 2 | EE | Jörg Desel,
Vesna Milijic,
Christian Neumair:
Model Validation in Controller Design.
Lectures on Concurrency and Petri Nets 2003: 467-495 |
| 1 | EE | Gabriel Juhás,
Robert Lorenz,
Christian Neumair:
Modelling and Control with Modules of Signal Nets.
Lectures on Concurrency and Petri Nets 2003: 585-625 |
