Michael Wenz

According to our database, Michael Wenz authored at least 6 papers between 2000 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Automatische Konfiguration der Bewegungssteuerung von Industrierobotern.

Michael Wenz

PhD thesis, 2008

2007

Solving the inverse kinematics problem symbolically by means of knowledge-based and linear algebra-based methods.

Michael Wenz, Heinz Wörn

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

2006

Event-based Production Rules for Data Aggregation in Wireless Sensor Networks.

Michael Wenz, Heinz Wörn

Proceedings of the 2006 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems, 2006

Automatic Configuration of the Dynamic Model for Common Industrial Robots.

Michael Wenz, Heinz Wörn

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Digital On-Demand Computing Organism for Real-Time Systems.

Jürgen Becker, Kurt Brändle, Uwe Brinkschulte, Jörg Henkel, Wolfgang Karl, Thorsten Köster, Michael Wenz, Heinz Wörn

Proceedings of the ARCS 2006, 2006

2000

Can American Checkers be Solved by Means of Symbolic Model Checking?

Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller

Proceedings of the Formal Methods Elsewhere, 2000