user- chapter 1, page 1--28. I-Tech Education and Publishing, Vienna, Austria, (2007)
- University of Kassel, Germany, (December 2008)
- Microsoft Technical Summit, Microsoft Academic Days 2008 (November 2008)
- Sixth IEEE International Conference on Software Engineering and Formal Methods SEFM 2008 (2008)
- IAS-10, page 211--220. IAS Society, Proceedings of the 10th International Conference on Intelligent Autonomous Systems, (2008)
- The Third International Conference on Systems and Networks Communications, The Third International Conference on Systems and Networks Communications, (2008)To appear .
- International Workshop on Robot Vision, VISAPP 2007, (2007)accepted .
- Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, page 43--52. IEEE, IEEE, (March 2007)
