In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), October 15-18, Amirandes, Heraclion, Crete, Greece, Pages 238-252, Lecture Notes in Computer Science (LNCS), Vol. 7609, Springer, 10/2012.
Joint International Symposium on System-Integrated Intelligence (SysInt-2012), New Challenges for Product and Production Engineering, June 27-29, Hannover, Germany, 2012.
Smart Systems Integration - European Conference and Exhibition on Integration Issues of Miniaturized Systems (SSI-2012), March 21-22, Zürich, Switzerland, Mesago, Messe Frankfurt, 2012.
In: Florian Daniel; Kamel Barkaoui; Schahram Dustdar; Wil Aalst; John Mylopoulos; Michael Rosemann; Michael J. Shaw; Clemens Szyperski (Hrsg.). Business Process Management Workshops. Pages 344-355, Lecture Notes in Business Information Processing, Vol. 100, ISBN 978-3-642-28115-0, Springer Berlin Heidelberg, 2012.
Hubert Osterle; Jörg Becker; Ulrich Frank; Thomas Hess; Dimitris Karagiannis; Helmut Krcmar; Peter Loos; Peter Mertens; Andreas Oberweis; Elmar J Sinz
In: European Journal of Information Systems (EJIS), Vol. 20, No. 1, Pages 7-10, Palgrave Macmillan, Houndmills, Basingstoke, Hants, UK, 2010.
Hubert Österle; Jörg Becker; Ulrich Frank; Thomas Hess; Dimitris Karagiannis; Helmut Krcmar; Peter Loos; Peter Mertens; Andreas Oberweis; Elmar J. Sinz
In: Núria Bel; Maria Gavrilidou; Monica Monachini; Valeria Quochi; Laura Rimell (Hrsg.). Proceeding of the LREC 2012 Workshop on Language Resource Merging. International Conference on Language Resources and Evaluation (LREC-12), 8th, located at LREC, May 22, Istanbul, Turkey, ELRA, Paris, 5/2012.
In: Proceedings of the 7th German Conference on Robotics. German Conference on Robotics (ROBOTIK-12), May 21-22, Munich, Germany, Pages 446-451, ISBN 978-3-8007-3418-4, VDE Verlag, 5/2012.
Institut für Wirtschaftsinformatik (IWi) im Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI), Veröffentlichungen des Instituts für Wirtschaftsinformatik (IWi) im Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) (IWi-Heft), Vol. 194, 5/2012.