|
|
2012
- Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova
Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
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), Vol. 7137, Springer, 2012.
- Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe
A Proof Theoretic Interpretation of Model Theoretic Hiding.
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, Pages 118-138, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.
2011
- Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics .
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 , located at Conference on Intelligent Computer Mathematics, July 18-23, Bertonori, Italy, Pages 164-179, LNAI, No. 6824, Springer-Verlag, Berlin Heidelberg, 7/2011.
- Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe
Project Abstract: Logic Atlas and Integrator (LATIN).
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, Pages 289-291, Lecture Notes in Computer Science (LNCS), Vol. 6824, Springer, 2011.
2010
- Andrea Kohlhase; Michael Kohlhase; Christoph Lange
Dimensions of Formality: A Case Study for MKM in Software Engineering.
In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), located at CICM, July 8-10, Paris, France, Lecture Notes on Artificial Intelligence (LNAI), Springer Verlag, 2010.
- Andrea Kohlhase; Michael Kohlhase; Christoph Lange
sTeX+ - A System for Flexible Formalization of Linked Data.
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.
- Andrea Kohlhase; Michael Kohlhase
What we understand is we get: Assessment in Spreadsheets.
In: Proceedings of the EuSpRIG-Conference 2010. European Spreadsheet Risks Interest Group (EuSpRIG-10), July 15-16, Greenwich, United Kingdom, EuSpRIG, 2010.
2009
- Andrea Kohlhase; Michael Kohlhase
What you get is what you understand: Assessment in SACHS.
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), located at LWA (Lernen, Wissensentdeckung und Adaptivität), September 21-23, Darmstadt, Germany, Pages 22-29, TU Darmstadt, 2009.
- Andrea Kohlhase; Michael Kohlhase
Semantic Transparency in User Assistance Systems.
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 89-96, ACM Press, 2009.
- Andrea Kohlhase; Michael Kohlhase
Modeling Task Experience in User Assistance Systems.
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.
- Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz
Formal Management of CAD/CAM Processes.
In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, Netherlands, Pages 223-238, Lecture Notes in Computer Science (LNCS), Vol. 5850, Springer, Berlin, 11/2009.
2007
2006
- Andreas Meier; Erica Melis
Impasse-Driven Reasoning in Proof Planning.
In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International Conference on Mathematical Knowledge Management (MKM), Bremen, Pages 143-158, LNAI, Vol. 3863, Springer Verlag, Berlin, Germany, 2006.
- S. Manzoor; Paul Libbrecht; Carsten Ullrich; Erica Melis
Authoring Presentation for OpenMath.
In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers. International Conference on Mathematical Knowledge Management (MKM), Heidelberg, Pages 33-48, LNCS, Vol. 3863, Springer, 2006.
- David Aspinall; Christoph Lüth; Burkhart Wolff
Assisted Proof Document Authoring.
In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2005), July 15-17, Bremen, Germany, Pages 65-80, Lecture Notes in Artificial Intelligence, Vol. 3863, ISBN 978-3-540-31430-1, Springer, Berlin, Heidelberg, 2006.
2000
1997
1995
|
|
