Andrea Kohlhase

57 papers C 5Misc 3Journal 8Unranked 35

Year	Rank	Type	Title / Venue / Authors
2024	C	`ed.`	Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Montréal, QC, Canada, August 5-9, 2024, Proceedings CICM Andrea Kohlhase, Laura Kovács
2023	—	`ed.`	Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26 - 31, 2021. CICM Workshops Jasmin Blanchette, James H. Davenport, Peter Koepke, Michael Kohlhase, Andrea Kohlhase, Adam Naumowicz, Dennis Müller, Yasmine Sharoda, Claudio Sacerdoti Coen
2021	—	`conf`	A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking. CICM Workshops Andrea Kohlhase, Michael Kohlhase
2021	—	`conf`	MathUI Preface. CICM Workshops Andrea Kohlhase
2020	—	`ed.`	Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019), Prague, Czech Republic, July 8-12, 2019. CICM Workshops Edwin C. Brady, James H. Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pak, Claudio Sacerdoti Coen
2019	C	`ed.`	Intelligent Computer Mathematics - 12th International Conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings CICM Cezary Kaliszyk, Edwin C. Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
2018	C	`conf`	Discourse Phenomena in Mathematical Documents. CICM Andrea Kohlhase, Michael Kohlhase, Taweechai Ouypornkochagorn
2018	—	`conf`	Factors for Reading Mathematical Expressions. LWDA Andrea Kohlhase
2017	—	`conf`	Irreführende mentale Modelle beim Smart-TV(Misleading Mental Models for Smart-TVs). LWDA Gamze Ucar, Andrea Kohlhase
2017	—	`ed.`	Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016. FM4M/MathUI/ThEdu/DP/WIP@CIKM Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda
2017	C	`conf`	Visual Structure in Mathematical Expressions. CICM Andrea Kohlhase, Michael Kohlhase, Michael Fürsich
2016	—	`conf`	The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics. ICMS Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing
2016	—	`conf`	Understanding Mathematical Expressions: An Eye-Tracking Study. FM4M/MathUI/ThEdu/DP/WIP@CIKM Andrea Kohlhase, Michael Fürsich
2015	—	`conf`	Assessment for Spreadsheets. SEMS@ICSE Alexandru Toader, Andrea Kohlhase, Michael Kohlhase
2015	—	`conf`	Context in Spreadsheet Comprehension. SEMS@ICSE Andrea Kohlhase, Michael Kohlhase, Ana Guseva
2015	—	`conf`	The SMGloM Project and System. CICM (Work in Progress) Deyan Ginev, Mihnea Iancu, Constantin Jucovshi, Andrea Kohlhase, Michael Kohlhase, Jürgen Schefter, Wolfram Sperber
2014	—	`conf`	Design of Search Interfaces for Mathematicians. CICM Workshops Andrea Kohlhase
2014	—	`conf`	FEncy: Spreadsheet Formulae Exploration. CICM Workshops Andrea Kohlhase, Alexandru Toader
2014	—	`ed.`	Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CICM Workshops Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt
2014	—	`conf`	Math Web Search Interfaces and the Generation Gap of Mathematicians. ICMS Andrea Kohlhase
2014	C	`conf`	Search Interfaces for Mathematicians. CICM Andrea Kohlhase
2014	J	`jnl`	Search Interfaces for Mathematicians. CoRR Andrea Kohlhase
2013	—	`conf`	Exploration of Spreadsheet Formulae with Fency. LWA Andrea Kohlhase, Alexandru Toader
2013	—	`conf`	Full Semantic Transparency: Overcoming Boundaries of Applications. INTERACT (3) Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, Alexandru Toader
2013	—	`conf`	Human-Spreadsheet Interaction. INTERACT (4) Andrea Kohlhase
2013	—	`ed.`	Joint Proceedings of the MathUI, OpenMath, PLMMS and ThEdu Workshops and Work in Progress at CICM, Bath, UK CICM Workshops Christoph Lange, David Aspinall, Jacques Carette, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Pedro Quaresma, Florian Rabe, Petr Sojka, Iain Whiteside, Wolfgang Windsteiger
2013	J	`jnl`	Spreadsheets with a Semantic Layer. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andrea Kohlhase, Michael Kohlhase
2013	—	`conf`	Spreadsheets: from data interfaces to knowledge interfaces. CICM Workshops Andrea Kohlhase
2012	—	`conf`	Semantic Alliance: A Framework for Semantic Allies. AISC/MKM/Calculemus Catalin David, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase
2011	—	`conf`	Maintaining islands of consistency via versioned links. SIGDOC Andrea Kohlhase, Michael Kohlhase
2011	—	`conf`	PLANMP: Collecting Practices for a better Design of Knowledge Management Systems. LWA Andrea Kohlhase, Constantin Jucovschi
2011	J	`jnl`	The Planetary System: Executable Science, Technology, Engineering and Math Papers CoRR Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011	—	`conf`	The Planetary System: Executable Science, Technology, Engineering and Math Papers. ESWC (2) Christoph Lange, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011	Misc	`conf`	The Planetary System: Web 3.0 & Active Documents for STEM. ICCS Michael Kohlhase, Joseph Corneli, Catalin David, Deyan Ginev, Constantin Jucovschi, Andrea Kohlhase, Christoph Lange, Bogdan Matican, Stefan Mirea, Vyacheslav Zholudev
2011	—	`conf`	Towards a flexible notion of document context. SIGDOC Andrea Kohlhase, Michael Kohlhase
2010	J	`jnl`	Dimensions of Formality: A Case Study for MKM in Software Engineering CoRR Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2010	—	`conf`	Dimensions of Formality: A Case Study for MKM in Software Engineering. AISC/MKM/Calculemus Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2010	—	`conf`	S I-SEMANTICS Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2010	Misc	`conf`	Towards User Assistance for Documents via Interactional Semantic Technology. KI Andrea Kohlhase
2010	J	`jnl`	What we understand is what we get: Assessment in Spreadsheets CoRR Andrea Kohlhase, Michael Kohlhase
2010	J	`jnl`	sTeX+ - a System for Flexible Formalization of Linked Data CoRR Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2009	—	`conf`	Compensating the Computational Bias of Spreadsheets with MKM Techniques. Calculemus/MKM Andrea Kohlhase, Michael Kohlhase
2009	—	`conf`	Modeling task experience in user assistance systems. SIGDOC Andrea Kohlhase, Michael Kohlhase
2009	—	`conf`	Semantic transparency in user assistance systems. SIGDOC Andrea Kohlhase, Michael Kohlhase
2009	—	`conf`	Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. Calculemus/MKM Andrea Kohlhase, Michael Kohlhase
2009	—	`conf`	What you understand is what you get: Assessment in Spreadsheets. LWA Andrea Kohlhase, Michael Kohlhase
2008	—	`conf`	Compensating the Semantic Bias of Spreadsheets. LWA Andrea Kohlhase, Michael Kohlhase
2008	J	`jnl`	Embodied Conceptualizations: Social Tagging and E-Learning. Int. J. Web Based Learn. Teach. Technol. Milena Reichel, Andrea Kohlhase
2008	J	`jnl`	Semantic Knowledge Management for Education. Proc. IEEE Andrea Kohlhase, Michael Kohlhase
2008	—	`—`	Semantic interaction design: composing knowledge with CPoint. Andrea Kohlhase
2007	—	`conf`	Semantic Perspectives on Knowledge Management and E-Learning. LWA Andrea Kohlhase
2007	Misc	`conf`	What Can the Hundred Languages of Children Teach Us? MuC Andrea Kohlhase, Heidi Schelhowe, Michael Lund
2006	—	`conf`	CPoint - ein invasiver, semantischer Editor für wiederverwendbaren Content in MS PowerPoint. DeLFI Workshops Andrea Kohlhase
2006	—	`conf`	Communities of Practice in MKM: An Extensional Model. MKM Andrea Kohlhase, Michael Kohlhase
2006	—	`conf`	The User as Prisoner: How the Dilemma Might Dissolve. EC-TEL Workshops Andrea Kohlhase
2005	—	`conf`	An Exploration in the Space of Mathematical Knowledge. MKM Andrea Kohlhase, Michael Kohlhase
2004	—	`conf`	CPoint: Dissolving the Author's Dilemma. MKM Andrea Kohlhase, Michael Kohlhase