Andrea Kohlhase : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Articles in Journals
    2. Articles in Collections
    3. Papers at International, Peer-Reviewed Conferences
    4. Conference Proceedings Edited
  2. Theses
  3. Gray Literature
    1. Worskhop Proceedings Edited
    2. Papers at Peer-Reviewed Workshops
    3. Technical Reports
  4. Unpublished
  5. Miscellaneous

Archival Literature

Articles in Journals

  1. [2] A. Kohlhase and M. Kohlhase (2013) Spreadsheets with a semantic layer. Electronic Communications of the EASST: Specification, Transformation, Navigation – Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday 62, pp. 1–20. External Links: Link Cited by: p1.
  2. [5] M. Kohlhase, J. Corneli, C. David, D. Ginev, C. Jucovschi, A. Kohlhase, C. Lange, B. Matican, S. Mirea, and V. Zholudev (2011) The planetary system: web 3.0 & active documents for STEM. Procedia Computer Science 4, pp. 598–607. Note: Finalist at the Executable Paper Grand Challenge External Links: Link, Document Cited by: p1.
  3. [1] A. Kohlhase and M. Kohlhase (2008-06) Semantic knowledge management for education. Proceedings of the IEEE; Special Issue on Educational Technology 96 (6), pp. 970–989. External Links: Link Cited by: p1.
  4. [3] A. Kohlhase and M. Reichel (2008) Embodied conceptualizations: social tagging and e-learning. International Journal of Web-Based Learning and Teaching Technologies (1), pp. 58–67. Cited by: p1.
  5. [4] A. Kohlhase (2007) Learner and learning technology: the interaction process as a full partnership. ECTI Transactions Journal. External Links: Link Cited by: p1.

Articles in Collections

  1. [3] A. Kohlhase and M. Reichel (2010-01) Social tagging and learning: the fuzzy line between private and public space. In Novel Developments in Web-Based Learning Technologies: Tools for Modern Teaching, N. Karacapilidis (Ed.), Advances in Web-based Learning (AWBL). External Links: ISBN 978-1-60566-938-0 Cited by: p1.
  2. [1] A. Kohlhase and M. Kohlhase (2009) Compensating the computational bias of spreadsheets. In Festschrift in honour of Bernd Krieg-Brückner’s 60th birthdayFestschrift in Honour of Bernd Krieg-Brückner’s 60th Birthday, B. Hoffmann, B. Gersdorf, C. Lüth, T. Mossakowski, T. Röfer, L. Schröder, S. Hui, and M. Werner (Eds.), pp. 184–200. Cited by: p1.
  3. [2] A. Kohlhase and N. Müller (2008-04) Added-Value: Getting People into Semantic Work Environments. In Emerging technologies for semantic work environments: techniques, methods, and applicationsEmerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, J. Rech, B. Decker, and E. Ras (Eds.), pp. 185–205. Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [7] A. Kohlhase, M. Kohlhase, and T. Ouypornkochagorn (2018) Discourse phenomena in math documents. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2018, F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.), LNAI. External Links: Link Cited by: p1.
  2. [3] A. Kohlhase, M. Kohlhase, and M. Fürsich (2017) Visual structure in math expressions. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2017, H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.), LNAI. External Links: Link Cited by: p1.
  3. [2] D. Ginev, M. Iancu, C. Jucovshi, A. Kohlhase, M. Kohlhase, A. Oripov, J. Schefter, W. Sperber, O. Teschke, and T. Wiesing (2016) The SMGloM project and system. towards a terminology and ontology for mathematics. In Mathematical software - ICMS 2016 - 5th international congressMathematical Software - ICMS 2016 - 5th International Congress, G. Greuel, T. Koch, P. Paule, and A. Sommese (Eds.), LNCS, Vol. 9725. External Links: Link Cited by: p1.
  4. [31] A. Kohlhase (2014) Math web search interfaces and the generation gap of mathematicians. In Mathematical software - ICMS 2014 - 4th international congressMathematical Software - ICMS 2014 - 4th International Congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 586–593. External Links: Document Cited by: p1.
  5. [32] A. Kohlhase (2014) Search interfaces for mathematicians. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 153–168. External Links: Link Cited by: p1.
  6. [4] A. Kohlhase, M. Kohlhase, C. Jucovschi, and A. Toader (2013) Full semantic transparency: overcoming boundaries of applications. In Human-computer interaction – interact 2013Human-Computer Interaction – INTERACT 2013, P. Kotzé, G. Marsden, G. Lindgaard, J. Wesson, and M. Winckler (Eds.), LNCS, pp. 406–423. External Links: Link Cited by: p1.
  7. [30] A. Kohlhase (2013) Human-spreadsheet interaction. In Human-computer interaction – interact 2013Human-Computer Interaction – INTERACT 2013, P. Kotzé, G. Marsden, G. Lindgaard, J. Wesson, and M. Winckler (Eds.), LNCS, pp. 571–578. Cited by: p1.
  8. [1] C. David, C. Jucovschi, A. Kohlhase, and M. Kohlhase (2012) Semantic Alliance: a framework for semantic allies. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge (Eds.), LNAI, pp. 49–64. External Links: Link Cited by: p1.
  9. [17] A. Kohlhase and M. Kohlhase (2011) Maintaining islands of consistency via versioned links. In Proceedings of the 29th annual ACM international conference on design of communication (SIGDOC)Proceedings of the 29th annual ACM international conference on Design of communication (SIGDOC), pp. 167–174. External Links: Link Cited by: p1.
  10. [18] A. Kohlhase and M. Kohlhase (2011) Maintaining islands of consistency via versioned links. In Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), External Links: Link Cited by: p1.
  11. [19] A. Kohlhase and M. Kohlhase (2011) Towards a flexible notion of document context. In Proceedings of the 29th annual ACM international conference on design of communication (SIGDOC)Proceedings of the 29th annual ACM international conference on Design of communication (SIGDOC), pp. 181–188. External Links: Link Cited by: p1.
  12. [34] C. Lange, M. Kohlhase, C. David, D. Ginev, A. Kohlhase, B. Matican, S. Mirea, and V. Zholudev (2011) The planetary system: executable science, technology, engineering and math papers. In The semantic web: research and applications (part II)ESWC (Part II), G. Antoniou, M. Grobelnik, E. Paslaru Bontas Simperl, B. Parsia, D. Plexousakis, P. D. Leenheer, and J. Z. Pan (Eds.), LNCS, pp. 471–475. External Links: 1103.1482 Cited by: p1.
  13. [5] A. Kohlhase, M. Kohlhase, and C. Lange (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
  14. [6] A. Kohlhase, M. Kohlhase, and C. Lange (2010) sTeX – a system for flexible formalization of linked data. In 6th international conference on semantic systems (I-Semantics) and the 5th international conference on pragmatic webProceedings of the 6th International Conference on Semantic Systems (I-Semantics) and the 5th International Conference on Pragmatic Web, A. Paschke, N. Henze, T. Pellegrini, and H. Weigand (Eds.), External Links: 1006.4474v1, Document Cited by: p1.
  15. [16] A. Kohlhase and M. Kohlhase (2010) What we understand is what we get: assessment in spreadsheets. In Symp. of the european spreadsheet risks interest group (EuSpRIG 2010)Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG 2010), S. Thorne (Ed.), pp. 111–121. External Links: Link Cited by: p1.
  16. [29] A. Kohlhase (2010) Towards user assistance for documents via interactional semantic technology. In Proceedings of the 33.rd annual german conference on artificial intelligence ki’10KI 2010: Advances in Artificial Intelligence, R. Dillmann, J. Beyerer, U. D. Hanebeck, and T. Schultz (Eds.), LNAI, pp. 107–115. Cited by: p1.
  17. [12] A. Kohlhase and M. Kohlhase (2009-07) Compensating the computational bias of spreadsheets with MKM techniques. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI, pp. 357–372. External Links: Link Cited by: p1.
  18. [15] A. Kohlhase and M. Kohlhase (2009-07) Spreadsheet interaction with frames: exploring a mathematical practice. In MKM/Calculemus proceedingsMKM/Calculemus Proceedings, J. Carette, L. Dixon, C. Sacerdoti Coen, and S. M. Watt (Eds.), LNAI, pp. 341–356. External Links: Link Cited by: p1.
  19. [13] A. Kohlhase and M. Kohlhase (2009) Modeling task experience in user assistance systems. In Proceedings of the 27th annual ACM international conference on design of communication (SIGDOC)Proceedings of the 27th annual ACM international conference on Design of communication (SIGDOC), B. Mehlenbacher, A. Protopsaltis, A. Williams, and S. Slatterey (Eds.), pp. 135–142. External Links: Link Cited by: p1.
  20. [14] A. Kohlhase and M. Kohlhase (2009) Semantic transparency in user assistance systems. In Proceedings of the 27th annual ACM international conference on design of communication (SIGDOC)Proceedings of the 27th annual ACM international conference on Design of communication (SIGDOC), B. Mehlenbacher, A. Protopsaltis, A. Williams, and S. Slatterey (Eds.), pp. 89–96. External Links: Link Cited by: p1.
  21. [28] A. Kohlhase (2008-06) MS PowerPoint use from a micro-perspective. In Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2008 (ED-MEDIA’08)Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications 2008 (ED-MEDIA’08), pp. 1279–1286. External Links: Link Cited by: p1.
  22. [21] A. Kohlhase, H. Schelhowe, and M. Lund (2007-09) What can the hundred languages of children teach us?. In Mensch & Computer 2007: Interaktion im PluralInteraktion im Plural, T. Gross (Ed.), Konferenzreihe Mensch und Computer, pp. 189–198. Cited by: p1.
  23. [26] A. Kohlhase (2007-06) Semantic powerpoint: content and semantic technology for educational added-value services in MS PowerPoint. In Proceedings of the world conference on educational multimedia, hypermedia & telecommunications 2007 (ED-MEDIA’07)Proceedings of the World Conference on Educational Multimedia, Hypermedia & Telecommunications 2007 (ED-MEDIA’07), C. Montgomerie and J. Seale (Eds.), pp. 3576–3583. External Links: Link Cited by: p1.
  24. [11] A. Kohlhase and M. Kohlhase (2007) Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch. In MKM/CalculemusTowards Mechanized Mathematical Assistants. MKM/Calculemus, M. Kauers, M. Kerber, R. Miner, and W. Windsteiger (Eds.), LNAI, pp. 266–279. External Links: Link Cited by: p1.
  25. [25] A. Kohlhase (2007) Semantic Perspectives on Knowledge Management and E-Learning. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) conference proceedings, A. Hinneburg (Ed.), pp. 281–288. Cited by: p1.
  26. [27] A. Kohlhase (2007) The music is not in the piano: engaging vs. enabling MS PowerPoint. In Proceedings of Society for Information Technology and Teacher Education International Conference 2007 (SITE’07), R. Carlsen, K. McFerrin, J. Price, R. Weber, and D. A. Willis (Eds.), pp. 2026–2028. Note: St. Antonio, TX (USA), 2007-03-24/28 Cited by: p1.
  27. [23] A. Kohlhase (2006-03) Media or Medea Society? Learner and Learning Technology as Full Partners. In ICDML2006, B. Thipakorn (Ed.), Vol. 1, pp. 6–12. Note: Bangkok (Thailand), 2006-03-13/14 Cited by: p1.
  28. [9] A. Kohlhase and M. Kohlhase (2006) An exploration in the space of mathematical knowledge. In Mathematical knowledge management, MKM’05Mathematical Knowledge Management, MKM’05, M. Kohlhase (Ed.), LNAI, pp. 17–32. External Links: Link Cited by: p1.
  29. [10] A. Kohlhase and M. Kohlhase (2006) Communities of Practice in MKM: An Extensional Model. In MKM 2006Mathematical Knowledge Management (MKM), J. Borwein and W. M. Farmer (Eds.), LNAI, pp. 179–193. External Links: Link Cited by: p1.
  30. [20] A. Kohlhase and M. Reichel (2006) Embodied constructionist learning: social tagging and folksonomies in e-learning environments. In Current Developments in Technology-Assisted Education (mICTE06), Vol. 3, Badajoz, Spain. Cited by: p1.
  31. [24] A. Kohlhase (2006) What if PowerPoint became emPowerPoint (through CPoint)?. In Society for Information Technology and Teacher Education, 17th International Conference SITE 2006, C. M. Crawford (Ed.), pp. 2934–2939. Note: Orlando (USA), 2006-03-20/24 Cited by: p1.
  32. [22] A. Kohlhase (2005-11) Overcoming Proprietary Hurdles: CPoint as Invasive Editor. In Open source for education in europe: research and practiseOpen Source for Education in Europe: Research and Practise, F. de Vries, G. Attwell, R. Elferink, and A. Tödt (Eds.), pp. 51–56. Cited by: p1.
  33. [8] A. Kohlhase and M. Kohlhase (2004) CPoint: dissolving the author’s dilemma. In Mathematical knowledge management, MKM’04Mathematical Knowledge Management, MKM’04, A. Asperti, G. Bancerek, and A. Trybulec (Eds.), LNAI, pp. 175–189. External Links: Link Cited by: p1.
  34. [33] M. Kohlhase, K. Sutner, P. Jansen, A. Kohlhase, P. Lee, D. Scott, and M. Szudzik (2002) Acquisition of math content in an academic setting. In Second international conference on mathml and technologies for math on the webSecond International Conference on MathML and Technologies for Math on the Web, External Links: Link Cited by: p1.

Conference Proceedings Edited

  1. [4] A. Kohlhase and L. Kovacz (Eds.) (2024) Intelligent computer mathematics. LNAI, Vol. 14960, Springer. External Links: ISBN 978-3-031-66996-5, Document Cited by: p1.
  2. [2] J. Blanchette, J. Davenport, P. Koepke, A. Kohlhase, M. Kohlhase, A. Naumowicz, D. Müller, Y. Sharoda, and C. S. Coen (Eds.) (2021) Workshop papers at 14th conference on intelligent computer mathematics cicm 2021. External Links: Link Cited by: p1.
  3. [3] C. Kaliszyck, E. Brady, A. Kohlhase, and C. Sacerdoti Coen (Eds.) (2019) Intelligent computer mathematics. LNAI, Springer. External Links: Document Cited by: p1.
  4. [1] O. Hasan, A. Youssef, A. Naumowicz, W. Farmer, C. Kaliszyk, D. Gallois-Wong, F. Rabe, G. D. Reis, G. Passmore, J. Davenport, M. Pfeiffer, M. Kohlhase, S. Autexier, S. Tahar, T. Koprucki, U. Siddique, W. Neuper, W. Windsteiger, W. Schreiner, W. Sperber, and Z. Kovács (Eds.) (2018) Workshop papers at 11th conference on intelligent computer mathematics cicm 2018. External Links: Link Cited by: p1.

Theses

  1. [2] A. Kohlhase (2008-04) Semantic interaction design: composing knowledge with CPoint. Ph.D. Thesis, Computer Science, Universität Bremen. External Links: Link Cited by: p1.
  2. [1] A. Kohlhase (1990) The geometry of second order lagrangians in the plane. Master’s Thesis, TU Berlin. Cited by: p1.

Gray Literature

Worskhop Proceedings Edited

  1. [10] A. Kohlhase (Ed.) (2023) MathUI 2023: the 14th workshop on mathematical user interfaces. External Links: Link Cited by: p1.
  2. [9] A. Kohlhase (Ed.) (2022) MathUI 2021: the 13th workshop on mathematical user interfaces. External Links: Link Cited by: p1.
  3. [4] A. Kohlhase and E. Kübler (Eds.) (2017-10) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Note: Workshop at LWDA 2017 External Links: Link Cited by: p1.
  4. [7] A. Kohlhase and M. Pollanen (Eds.) (2017) MathUI 2017: the 12th workshop on mathematical user interfaces. External Links: Link Cited by: p1.
  5. [6] A. Kohlhase and P. Libbrecht (Eds.) (2016-07) Mathematical user interfaces workshop at CICM. External Links: Link Cited by: p1.
  6. [1] M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, and M. Suda (Eds.) (2016) Intelligent computer mathematics – work in progress papers. External Links: Link Cited by: p1.
  7. [5] A. Kohlhase and P. Libbrecht (Eds.) (2015-07) Mathematical user interfaces workshop at CICM. External Links: Link Cited by: p1.
  8. [2] M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.) (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, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.
  9. [3] A. Henrich and H. Sperker (Eds.) (2013-10) Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings. Universität Bamberg. Cited by: 8.
  10. [8] A. Kohlhase and B. Rieger (Eds.) (2013-10) Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM. Note: Workshop at LWA 2013, published as part of [3] Cited by: p1.
  11. [11] C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside, and W. Windsteiger (Eds.) (2013) Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: p1.

Papers at Peer-Reviewed Workshops

  1. [13] A. Kohlhase and M. Kohlhase (2024) Towards automated competency estimation for math education – an eye tracking and emotion analysis study. In MathUI 2024: the 15th workshop on mathematical user interfacesMathUI 2024: The 15th Workshop on Mathematical User Interfaces, K. Nakasho and J. F. Schaefer (Eds.), External Links: Link Cited by: p1.
  2. [12] A. Kohlhase and M. Kohlhase (2023) More interactions in ALeA – towards new added-value services based on semantic markup. In MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.), External Links: Link Cited by: p1.
  3. [1] M. K. Andrea Kohlhase (2022) A conceptual design for an eye-tracking experiment on formula linebreaking. In MathUI 2021: the 13th workshop on mathematical user interfacesMathUI 2021: The 13th Workshop on Mathematical User Interfaces, A. Kohlhase (Ed.), Cited by: p1.
  4. [27] A. Kohlhase (2018) Factors for reading mathematical expressions. In Proceedings of the conference ”lernen, wissen, daten, analysen”, LWDA, R. Gemulla, S. P. Ponzetto, C. Bizer, M. Keuper, and H. Stuckenschmidt (Eds.), CEUR Workshop Proceedings, Vol. 2191, pp. 195–202. External Links: Link Cited by: p1.
  5. [30] G. Ucar and A. Kohlhase (2017-10) Irreführende mentale modelle beim smart-tv (misleading mental models for smart-tvs). In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWMWissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM, A. Kohlhase and E. Kübler (Eds.), pp. 200–212. External Links: Link Cited by: p1.
  6. [26] A. Kohlhase (2017) Domain-dependant decoding of math expressions. In MathUI 2017: the 12th workshop on mathematical user interfacesMathUI 2017: The 12th Workshop on Mathematical User Interfaces, A. Kohlhase and M. Pollanen (Eds.), Cited by: p1.
  7. [4] A. Kohlhase and M. Fürsich (2016-07) Understanding mathematical expressions: an eye-tracking study. In Mathematical user interfaces workshop at CICMMathematical User Interfaces Workshop, A. Kohlhase and P. Libbrecht (Eds.), External Links: Link Cited by: p1.
  8. [25] A. Kohlhase (2016) Math web search interfaces and the generation gap of mathematicians. In Workshop Human-Computer Algebra Interaction, Kassel, Germany, External Links: Link Cited by: p1.
  9. [5] A. Kohlhase and A. Guseva (2015-07) Co-occurrences of context dimensions of spreadsheets. In Mathematical user interfaces workshop at CICMMathematical User Interfaces Workshop, A. Kohlhase and P. Libbrecht (Eds.), External Links: Link Cited by: p1.
  10. [7] A. Kohlhase, M. Kohlhase, and A. Guseva (2015) Context in spreadsheet comprehension. In Second workshop on software engineering methods in spreadsheetsSecond workshop on Software Engineering methods in Spreadsheets, External Links: Link Cited by: p1.
  11. [29] A. Toader, M. Kohlhase, and A. Kohlhase (2015) Assessment for spreadsheets. In Second workshop on software engineering methods in spreadsheetsSecond workshop on Software Engineering methods in Spreadsheets, External Links: Link Cited by: p1.
  12. [15] A. Kohlhase and A. Toader (2014) FEncy: spreadsheet formulae exploration. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
  13. [22] A. Kohlhase (2014) Design of search interfaces for mathematicians. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
  14. [23] A. Kohlhase (2014) Math web search interfaces and the generation gap of mathematicians. In Mathematical software - ICMS 2014 - 4th international congressMathematical Software - ICMS 2014 - 4th International Congress, H. Hong and C. Yap (Eds.), LNCS, Vol. 8592, pp. 586–593. External Links: Document Cited by: p1.
  15. [24] A. Kohlhase (2014) Search interfaces for mathematicians. In Intelligent computer mathematicsIntelligent Computer Mathematics 2014, S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.), LNCS, pp. 153–168. External Links: Link Cited by: p1.
  16. [3] A. Henrich and H. Sperker (Eds.) (2013-10) Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings. Universität Bamberg. Cited by: 14.
  17. [14] A. Kohlhase and A. Toader (2013-10) Exploration of spreadsheet formulae with fency. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWMWissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM, A. Kohlhase and B. Rieger (Eds.), External Links: Link Cited by: p1.
  18. [21] A. Kohlhase (2013) Spreadsheets: from data interfaces to knowledge interfaces. In Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013MathUI, OpenMath, PLMMS, and ThEdu Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics, C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside, and W. Windsteiger (Eds.), CEUR Workshop Proceedings. External Links: Link Cited by: p1.
  19. [20] A. Kohlhase (2012-06) Navigation in mathematical documents. In Mathematical user-interfaces workshop 2012 at CICMMathematical User Interfaces Workshop 2012, P. Libbrecht (Ed.), pp. 12–23. External Links: Link Cited by: p1.
  20. [6] A. Kohlhase and C. Jucovschi (2011) planMP: collecting mathematical practices for mkm. In Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), Cited by: p1.
  21. [11] A. Kohlhase and M. Kohlhase (2011) Towards a flexible notion of document context. In Proceedings of the 29th annual ACM international conference on design of communication (SIGDOC)Proceedings of the 29th annual ACM international conference on Design of communication (SIGDOC), pp. 181–188. External Links: Link Cited by: p1.
  22. [8] A. Kohlhase, M. Kohlhase, and C. Lange (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
  23. [2] M. Hartmann and F. Janssen (2009-09) LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität. Technical report Vol. TUD-KE-2009-04, Universität Darmstadt. Cited by: 10.
  24. [10] A. Kohlhase and M. Kohlhase (2009-09) What you get is what you understand: assessment in SACHS. In Wissens- und erfahrungsmanagement (knowledge and experience management), FGWMWissens- und Erfahrungsmanagement (Knowledge and Experience Management), FGWM, C. Lange and J. Reutelshöfer (Eds.), pp. 22–29. External Links: Link Cited by: p1.
  25. [9] A. Kohlhase and M. Kohlhase (2008-10) Compensating the semantic bias of spreadsheets. In Wissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference ProceedingsWissens- und Erfahrungsmanagement LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings, J. Baumeister and M. Atzmüller (Eds.), Vol. 448. External Links: Link Cited by: p1.
  26. [19] A. Kohlhase (2007) CPoint — ein invasiver, semantischer Editor für Content in MS PowerPoint. In EduMediaOffene Bildung im/mit dem Web 2.0!?!, V. Hornung-Prähauser (Ed.), pp. 116–118. Cited by: p1.
  27. [17] A. Kohlhase (2006) CPoint – ein invasiver, semantischer Editor für wiederverwendaren Content in MS PowerPoint. In Proceedings der Pre-Conference Workshops der 4.e-Learning Fachtagung Informatik DeLFI 2006Proceedings der Pre-Conference Workshops der 4.e-Learning Fachtagung Informatik DeLFI 2006, C. Rensing (Ed.), pp. 35–42. Cited by: p1.
  28. [18] A. Kohlhase (2006) The User as Prisoner: How the Dilemma Might Dissolve. In 2nd Workshop on Learner Oriented Knowledge Management & KM Oriented e-Learning2nd Workshop on Learner Oriented Knowledge Management & KM Oriented e-Learning, M. Memmel, E. Ras, and S. Weibelzahl (Eds.), pp. 26–31. External Links: Link Cited by: p1.
  29. [16] A. Kohlhase (2004) CPoint’s mathematical user interface. In Mathematical user interfaces workshop 2004Mathematical User Interfaces, P. Libbrecht (Ed.), External Links: Link Cited by: p1.
  30. [28] M. Kohlhase, K. Sutner, P. Jansen, A. Kohlhase, P. Lee, D. Scott, and M. Szudzik (2002) Acquisition of math content in an academic setting. In Second international conference on mathml and technologies for math on the webSecond International Conference on MathML and Technologies for Math on the Web, External Links: Link Cited by: p1.

Technical Reports

  1. [1] A. Kohlhase (2013-03) Framings of information: readers’ perception of information sources in spreadsheets. Technical report Technical Report 30, Jacobs University. External Links: Link Cited by: p1.

Unpublished

  1. [1] A. Kohlhase and M. Kohlhase (2020) Linebreaking formulae – an eye-tracking study. External Links: Link Cited by: p1.
  2. [2] A. Toader, M. Kohlhase, and A. Kohlhase (2015) Assessment for spreadsheets via theory graphs. External Links: Link Cited by: p1.

Miscellaneous

  1. [1] A. Kohlhase (2005) CPoint. External Links: Link Cited by: p1.