Publikationen

In: Simon Thorne, Grenville Croll (Hrsg.). Prodeedings of the EuSpRIG 2013 Conference "Spreadsheet Risk Management". European Spreadsheet Risks Interest Group (EuSpRIG-2013) Spreadsheet Risk Management July 4-5 London United Kingdom Seiten 47-58 ISBN 978-1-9054045-1-3 Five Star Printing Ldt Claydon 2013.

Zur Publikation

In: Hans-Jörg Kreowski, Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) 20th July 1-4 Schloss Etelsen Germany Lecture Notes in Computer Science (LNCS) 7137 Springer 2012.

Zur Publikation

In: Hans-Jörg Kreowski, Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) 20th July 1-4 Schloss Etelsen Germany Seiten 118-138 Lecture Notes in Computer Science (LNCS) 7137 Springer 2012.

Zur Publikation

In: James H. Davenport, William Farmer, Florian Rabe, Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management befindet sich Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Seiten 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

Zur Publikation

In: James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (Hrsg.). Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics (CICM-11) July 18-23 Bertinoro, Forli Italy Seiten 289-291 Lecture Notes in Computer Science (LNCS) 6824 Springer 2011.

Zur Publikation

In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10) befindet sich CICM July 8-10 Paris France Lecture Notes on Artificial Intelligence (LNAI) Springer Verlag 2010.

Zur Publikation

In: Proceedings the 6the International Conference on Semantic Systems. International Conference on Semantic Systems (I-Semantics-10) September 1-3 Graz Austria arXiv.org 2010.

Zur Publikation

In: Proceedings of the EuSpRIG-Conference 2010. European Spreadsheet Risks Interest Group (EuSpRIG-10) July 15-16 Greenwich United Kingdom EuSpRIG 2010.

Zur Publikation

In: Ana Cavalcanti, Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09) 16th November 2-6 Eindhoven Netherlands Seiten 223-238 Lecture Notes in Computer Science (LNCS) 5850 Springer Berlin 11/2009.

Zur Publikation

In: Christoph Lange, Jochen Reutelshöfer (Hrsg.). Wissens- und Erfahrungsmanagement: LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings. GI-Workshop "Wissens- und Erfahrungsmanagement" (FGWM-09) befindet sich LWA (Lernen, Wissensentdeckung und Adaptivität) September 21-23 Darmstadt Germany Seiten 22-29 TU Darmstadt 2009.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence