Publications

Displaying results 1 to 10 of 23

In: 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 Pages 47-58 ISBN 978-1-9054045-1-3 Five Star Printing Ldt Claydon 2013.

To the publication

In: 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.

To the publication

In: Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics (CICM-11) July 18-23 Bertinoro, Forli Italy Pages 289-291 Lecture Notes in Computer Science (LNCS) 6824 Springer 2011.

To the publication

In: Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10) 20th July 1-4 Schloss Etelsen Germany Pages 118-138 Lecture Notes in Computer Science (LNCS) 7137 Springer 2012.

To the publication

In: Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer Mathematics (CICM-11) 10th International Conference on Mathematical Knowledge Management Conference on Intelligent Computer Mathematics July 18-23 Bertonori Italy Pages 164-179 LNAI 6824 Springer-Verlag Berlin Heidelberg 7/2011.

To the publication

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

To the publication

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.

To the publication

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

To the publication

In: Proceedings of the 27th annual ACM International Conference on Design of communication. ACM International Conference on Design of Communication (SIGDOC-09) October 5-7 Bloomington IN United States Pages 135-142 ACM Press 2009.

To the publication

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