 | Up a level |
Kohlhase, Andrea and Kohlhase, Michael (2023) More Interactions in ALeA – Towards New Added-Value Services based on Semantic Markup. In: MathUI’23: 14th MathUI Workshop 2023 at the Conference on Intelligent Computer Mathematics, September, Cambridge, UK. (CEUR Workshop Proceedings).
Kohlhase, Andrea and Kohlhase, Michael and Fürsich, Michael (2017) Visual Structure in Math Expressions. In: 10th Conference on Intelligent Computer Mathematics (CICM), July, 17-21, 2017, Edinburgh, Scotland.
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., eds. (2014) Joint Proceedings of the MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics 2014. Aachen: CEUR-WS. (CEUR Workshop Proceedings).
Kohlhase, Andrea and Kohlhase, Michael and Jucovschi, Constantin and Toader, Alexandru (2013) Full Semantic Transparency : Overcoming Boundaries of Applications. In: (Proceedings of the) 14th IFIP TC 14 International Conference on Human-Computer Interaction (INTERACT 2013), September 2-6, 2013, Cape Town, South Africa, pp. 406-423. (Lecture Notes in Computer Science; 8119-3). ISBN 9783642404771
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, 62. ISSN 1863-2122
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. (Lecture Notes in Computer Science; 7362). ISBN 9783642313738
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)., October 3 - 5, 2011, Pisa, Italy, pp. 167-174. ISBN 9781450309363
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. (Lecture Notes in Computer Science; 6644). ISBN 9783642210648
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. pp. 598-607. ISSN 1877-0509
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).., October 3 - 5, 2011, Pisa, Italy, pp. 181-188. ISBN 9781450309363
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 9783642141270
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 9781905404506
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 and the 5th International Conference on Pragmatic Web, September, 1-3, 2010, Graz, Austria. ISBN 9781450300148
Kohlhase, Andrea and Kohlhase, Michael (2009) What you get is what you understand: Assessment in SACHS. In: (Proceedings of the) GI-Workshop "Wissens- und Erfahrungsmanagement" (FGWM-09) located at LWA (Lernen, Wissensentdeckung und Adaptivität, 21.-23. September 2009, Darmstadt, Germany, pp. 22-29.
Kohlhase, Andrea and Kohlhase, Michael (2009) Compensating the Computational Bias of Spreadsheets with MKM Techniques. In: (Proceedings of the) 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009; "Intelligent Computer Mathematics", July 6-12, 2009, Grand Bend, Canada, pp. 357-372. ISBN 9783642026133
Kohlhase, Andrea and Kohlhase, Michael (2009) Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. In: (Proceedings of the)16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009 July 6-12, 2009, July 6-12, 2009, Grand Bend, Canada, pp. 341-356. (Lecture Notes in Computer Science; 5625). ISBN 9783642026133
Kohlhase, Andrea and Kohlhase, Michael (2009) Compensating the Computational Bias of Spread-sheets wit MKM-Techniques. In: Festschrift in honour of Bernd Krieg-Brückner’s 60th birthday / Hoffmann, Berthold u.a. (Ed.). Bremen: DFKI, pp. 184-200.
Kohlhase, Andrea and Kohlhase, Michael (2009) Modeling Task Experience in User Assistance Systems. In: (Proceedings of the) 27th ACM International Conference on Design of communication (SIGDOC'09), October, 5-7, 2009, Bloomington, IN, USA, pp. 135-142. ISBN 9781605585598
Kohlhase, Andrea and Kohlhase, Michael (2009) Semantic Transparency in User Assistance Systems. In: (Proceedings of the) 27th ACM International Conference on Design of communication (SIGDOC'09), October, 5-7, 2009, Bloomington, IN, USA, pp. 89-96.
Kohlhase, Andrea and Kohlhase, Michael (2008) Compensating the Semantic Bias of Spreadsheets. In: (Proceedings of the) LWA Conference / LWA 2008 Workshop-Woche: Lernen, Wissen & Adaptivität,, 6.-8. Oktober 2008, Würrzburg, Germany.
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. ISSN 1558-2256
Kohlhase, Andrea and Kohlhase, Michael (2007) Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch. In: (Proceedings of the) 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, June, 27-30, 2007, Hagenberg, Austria, pp. 313-326. (Lecture Notes in Computer Science; 4573). ISBN 9783540730835
Kohlhase, Andrea and Kohlhase, Michael (2006) An Exploration in the Space of Mathematical Knowledge. In: (Proceedings of the) 4th International Conference on Mathematical Knowledge Management (MKM), July 15-17, 2005, Bremen, Germany, pp. 17-32. (Lecture Notes in Computer Science; 3863). ISBN /ISSN 0302-9743
Kohlhase, Andrea and Kohlhase, Michael (2004) CPoint: Dissolving the Author’s Dilemma. In: (Proceedings of the) 3rd International Conference on Mathematical Knowledge Management (MKM), 19.-21. September 2004, Bialowieza, Poland, pp. 175-189. (Lecture Notes in Artificial Intelligence; 3119).
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: 2nd International Conference on MathML and Technologies for Math on the Web, June, 28-30, 2002, Chicago, USA.