Christian Neumair

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Jörg Desel, Christian Neumair
Entwicklung und Bewertung einer Unterrichtssequenz zur ablauforientierten Sichtweise von Algorithmen. DDI (2008)
Gabriel Juhás, Robert Lorenz, Christian Neumair
Synthesis of Controlled Behavior with Modules of Signal Nets. ICATPN (2004)
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)
Jörg Desel, Gabriel Juhás, Christian Neumair
Finite Unfoldings of Unbounded Petri Nets. ICATPN (2004)
Gabriel Juhás, Robert Lorenz, Christian Neumair
Modelling and Control with Modules of Signal Nets. Lectures on Concurrency and Petri Nets (2003)
Jörg Desel, Gabriel Juhás, Robert Lorenz, Christian Neumair
Modelling and Validation with VipTool. Business Process Management (2003)
Jörg Desel, Vesna Milijic, Christian Neumair
Model Validation in Controller Design. Lectures on Concurrency and Petri Nets (2003)