Items where Author is "Kohlhase, Michael"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 25.

Article

Kohlhase, Andrea and Kohlhase, Michael (2013) “Spreadsheets with a Semantic Layer”. Electronic Communications of the EASST: Specification, Transformation, Navigation – Special Issue dedicated to Bernd Krieg-Bru ̈ckner on the Occasion of his 60th Birthday.

Kohlhase, Michael and Corneli, Joe and David, Catalin and Ginev, Deyan and Jucovschi, Constantin and Kohlhase, Andrea and Lange, Christoph and Matican, Bogdan and Mirea, Stefan and Zholudev, Vyacheslav (2011) “The Planetary System: Web 3.0 & Active Documents for STEM”. Procedia Computer Science: Special issue: Proceedings of the International Conference on Computational Science (ICCS). (4).

Kohlhase, Andrea and Kohlhase, Michael (2008) “Semantic Knowledge Management for Education”. Proceedings of the IEEE; Special Issue on Educational Technology 96.6. pp. 970-989.

Book

England, Matthew and Davenport, James H. and Kohlhase, Andrea and Kohlhase, Michael and Libbrecht, Paul and Neuper, Walther and Quaresma, Pedro and Sexton, Alan P. and Sojka, Petr and Urban, Josef and Watt, Stephen M. (2014) Joint Proceedings of the MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics 2014. CEUR Workshop Proceedings (1186). Hochschule Neu-Ulm, Aachen.

Conference or Workshop Item

Kohlhase, Andrea and Kohlhase, Michael and Fürsich, Michael (2017) Visual Structure in Math Expressions. In: CICM17.

Kohlhase, Andrea and Kohlhase, Michael and Jucovschi, Constantin and Toader, Alexandru (2013) “Full Semantic Transparency”. In: Proceedings of the 14th IFIP TC 14 International Conference on Human-Computer Interaction, Cape Town, South Africa.

David, Catalin and Jucovschi, Constantin and Kohlhase, Andrea and Kohlhase, Michael (2012) “Semantic Alliance: A Framework for Semantic Allies”. In: Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM), July 9–14, 2012, Bremen, Germany, pp. 49-64. ISBN 978-3-642-31373-8

Kohlhase, Andrea and Kohlhase, Michael (2011) “Maintaining Islands of Consistency via Versioned Links”. In: Proceedings of the 29th annual ACM international conference on Design of communication (SIGDOC). (Pisa, Italy). ACM Special Interest Group for Design of Communication. New York, NY, USA: ACM Press, 2011, pp. 167-174.

Kohlhase, Andrea and Kohlhase, Michael (2011) “Maintaining Islands of Consistency via Versioned Links”. In: Intelligent Computer Mathematics – Work in Progress Papers. Ed. by James Davenport, William Farmer, Florian Rabe, and Josef Urban.

Lange, Christoph and Kohlhase, Michael and David, Catalin and Ginev, Deyan and Kohlhase, Andrea and Matican, Bogdan and Mirea, Stefan and Zholudev, Vyacheslav (2011) “The Planetary System: Executable Science, Technology, Engineering and Math Papers”. In: (Proceedings of the) 8th Extended Semantic Web Conference (ESWC), May 29–June 2, 2011, Hersonissos, Crete, Greece, pp. 471-475. ISBN 978-3-642-21033-4

Kohlhase, Andrea and Kohlhase, Michael (2011) “Towards a Flexible Notion of Document Context”. In: Proceedings of the 29th annual ACM international conference on Design of communication (SIGDOC). (Pisa, Italy). ACM Special Interest Group for Design of Communication. New York, NY, USA: ACM Press, pp. 181-188.

Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph (2010) Dimensions of Formality: A Case Study for MKM in Software Engineering. In: (Proceedings of the) 10th ASIC and 9th MKM International conference, and 17th Calculemus conference on Intelligent computer mathematics, July, 5-7, 2010, Paris, France, pp. 355-369. ISBN 978-3-642-14127-0

Kohlhase, Andrea and Kohlhase, Michael (2010) What we understand is what we get: Assessment in Spreadsheets. In: (Proceedings of the ) European Spreadsheet Risks Interest Group (EuSpRIG), July, 15-16, 2010, Greenwich, United Kingdom, pp. 111-121. ISBN 978-1-905404-50-6

Kohlhase, Andrea and Kohlhase, Michael (2009) “What you get is what you understand: Assessment in SACHS”. In: Workshop at LWA 2009, pp. 22-29.

Kohlhase, Andrea and Kohlhase, Michael (2008) “Compensating the Semantic Bias of Spreadsheets”. In: Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings.

Kohlhase, Michael and Sutner, Klaus and Jansen, Peter and Kohlhase, Andrea and Lee, Peter and Scott, Dana and Szudzik, Matthew (2002) “Acquisition of Math Content in an Academic Setting”. In: Second International Conference on MathML and Technologies for Math on the Web, Chicago, USA.

Book Section

Kohlhase, Andrea and Kohlhase, Michael and Lange, Christoph (2010) “sTeX – A System for Flexible Formalization of Linked Data”. In: Proceedings of the 6th International Conference on Semantic Systems (I-Semantics) and the 5th International Conference on Pragmatic Web (eds. Adrian Paschke, Nicola Henze, Tassilo Pellegrini, and Hans Weigand). ACM. ISBN 978-1-4503-0014-8

Kohlhase, Andrea and Kohlhase, Michael (2009) “Compensating the Computational Bias of Spreadsheets with MKM Techniques”. In: MKM/Calculemus Proceedings (eds. Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt). Springer Verlag, pp. 357-372. ISBN 978-3-642-02613-3

Kohlhase, Andrea and Kohlhase, Michael (2009) “Spreadsheet Interaction with Frames: Exploring a Mathematical Practice”. In: MKM/Calculemus Proceedings (eds. Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt) (eds. Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt). Springer Verlag, pp. 341-356. ISBN 978-3-642-02613-3

Kohlhase, Andrea and Kohlhase, Michael (2009) “Compensating the Computational Bias of Spread- sheets”. In: Festschrift in Honour of Bernd Krieg-Brückner’s 60th Birthday (Ed. by Berthold Hoffmann, Bernd Gersdorf, Christoph Lüth, Till Mossakowski, Thomas Röfer, Lutz Schröder, Shi Hui, and Mattias Werner). DFKI, pp. 184-200.

Kohlhase, Andrea and Kohlhase, Michael (2009) “Modeling Task Experience in User Assistance Systems”. In: Proceedings of the 27th annual ACM international conference on Design of communication (SIGDOC). (Bloomington, Indiana, USA, 2009)(eds. Brad Mehlenbacher, Aristidis Protopsaltis, Ashley Williams, and Shaun Slatterey). ACM Press, New York, NY, USA, pp. 135-142.

Kohlhase, Andrea and Kohlhase, Michael (2009) “Semantic Transparency in User Assistance Systems”. In: Proceedings of the 27th annual ACM international conference on Design of communication (SIGDOC). (Bloomington, Indiana, USA, 2009)(eds. Brad Mehlenbacher, Aristidis Protopsaltis, Ashley Williams, and Shaun Slatterey). ACM Special Interest Group for Design of Communication, New York, NY, USA, pp. 89-96.

Kohlhase, Andrea and Kohlhase, Michael (2007) “Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch”. In: Towards Mechanized Mathematical Assistants. MKM/Calculemus (ed. by Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger). Springer Verlag, pp. 266-279. ISBN 978-3-540-73083-5

Kohlhase, Andrea and Kohlhase, Michael (2006) “An Exploration in the Space of Mathematical Knowledge”. In: Mathematical Knowledge Management, MKM’05 (ed. Michael Kohlhase). Springer Verlag, pp. 17-32.

Kohlhase, Andrea and Kohlhase, Michael (2004) “CPoint: Dissolving the Author’s Dilemma”. In: Mathematical Knowledge Management, MKM’04 (eds. Andrea Asperti, Grzegorz Bancerek, and Andrej Trybulec). Springer Verlag, pp. 175-189.