Publikationen

In: Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of Computer Science (MFCS-2006) August 28-September 1 Stará Lesná Slovakia Seiten 447-458 Lecture Notes in Computer Science (LNCS) 4162 Springer; http://www.springer.de Berlin 2006.

In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2006) October 9-15 Bejing China 2006.

In: WSCG`2006 Posters Proceedings. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG-2006) 14th January 30-February 3 Plzen-Bory Czech Republic Seiten 41-42 ISBN 80-86943-04-6 2006.

In: Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science (LICS-06) August 12-15 Seattle Washington United States Seiten 231-240 IEEE 2006.

In: Foundations Of Software Science And Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2006) 9th International Conference, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 ETAPS 2006 March 25-31 Vienna Australia Seiten 157-171 Lecture Notes in Computer Science (LNCS) 3921 ISBN 3-540-33045-3 Springer; http://www.springer.de Berlin 2006.

In: Theoretical Computer Science 353 Seiten 1-25 2006.

In: Journal of Logic and Algebraic Programming (JLAP) 67 1-2 Seiten 114-145 2006.

In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06) ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA 2006 October 22-26 Portland OR United States ACM Press 2006.

In: Proceedings of Modelling and Designing User Assistance in Intelligent Environments. Modeling and Designing User Assistance in Intelligent Environments (MODIE) Seiten 13-17 Saarland University 2006.

In: ECAI 2006. European Conference on Artificial Intelligence (ECAI-2006) 17th August 29-September 1 Riva del Garda Italy Seiten 612-616 ISBN 978-1-58603-642-3 IOS Press Amsterdam 2006.