Can American Checkers be Solved by Means of Symbolic Model Checking? - Michael Baldamus; Klaus Schneider 001; Michael Wenz; Roberto Ziller (FM-Everywhere@FORTE/PSTV, 2000)

A new method for compiling schizophrenic synchronous programs. - Klaus Schneider 001; Michael Wenz (CASES, 2001)

Digital On-Demand Computing Organism for Real-Time Systems. - Jürgen Becker 001; Kurt Brändle; Uwe Brinkschulte; Jörg Henkel; Wolfgang Karl; Thorsten Köster; Michael Wenz; Heinz Wörn (ARCS Workshops, 2006)

Automatic Configuration of the Dynamic Model for Common Industrial Robots. - Michael Wenz; Heinz Wörn (GI Jahrestagung (1), 2006)

Event-based Production Rules for Data Aggregation in Wireless Sensor Networks. - Michael Wenz; Heinz Wörn (MFI, 2006)

Solving the inverse kinematics problem symbolically by means of knowledge-based and linear algebra-based methods. - Michael Wenz; Heinz Wörn (ETFA, 2007)

Automatische Konfiguration der Bewegungssteuerung von Industrierobotern. - Michael Wenz (Logos, 2008)