A Survey of Context Adaptation in Autonomic Computing. - Cornel Klein; Reiner N. Schmid; Christian Leuxner; Wassiou Sitou; Bernd Spanfelner (ICAS, 2008)

Efficient Planning of Autonomous Robots using Hierarchical Decomposition. - Matthias Rungger; Olaf Stursberg; Bernd Spanfelner; Christian Leuxner; Wassiou Sitou (ICINCO-RA (1), 2008)

Formal specification of system functions. - Bernd Spanfelner; Christian Leuxner; Wassiou Sitou (MiSE@ICSE, 2009)

Formalizing the notion of adaptive system behavior. - Manfred Broy; Christian Leuxner; Wassiou Sitou; Bernd Spanfelner; Sebastian Winter (SAC, 2009)

Online Erfassung von intraoperativen Zuständen zur Analyse des chirurgischen Workflows. - Armin Schneider; Michael Kranzfelder; Loubna Bouarfa; Christian Leuxner; Helmut Friess; Hubertus Feußner (CURAC, 2010)

A Formal Model for Work Flows. - Christian Leuxner; Wassiou Sitou; Bernd Spanfelner (SEFM, 2010)