Andrea Kohlhase

发表

Modeling task experience in user assistance systems

Michael Kohlhase, Andrea Kohlhase, 2009, SIGDOC '09.

Design of Search Interfaces for Mathematicians

Andrea Kohlhase, 2014, CICM Workshops.

Assessment for Spreadsheets

Michael Kohlhase, Andrea Kohlhase, Alexandru Toader, 2015, SEMS@ICSE.

Towards a flexible notion of document context

Michael Kohlhase, Andrea Kohlhase, 2011, SIGDOC '11.

Full Semantic Transparency: Overcoming Boundaries of Applications

Michael Kohlhase, Andrea Kohlhase, Alexandru Toader, 2013, INTERACT.

What we understand is what we get: Assessment in Spreadsheets pdf

Michael Kohlhase, Andrea Kohlhase, 2010, ArXiv.

Semantic Alliance: A Framework for Semantic Allies

Michael Kohlhase, Andrea Kohlhase, Catalin David, 2012, AISC/MKM/Calculemus.

Compensating the Semantic Bias of Spreadsheets

Michael Kohlhase, Andrea Kohlhase, 2008, LWA.

“Added-Value: Getting People into Semantic Work Environments”

Andrea Kohlhase, Normen Müller, 2008 .

Spreadsheets: from data interfaces to knowledge interfaces

Andrea Kohlhase, 2013, CICM Workshops.

Context in Spreadsheet Comprehension

Michael Kohlhase, Andrea Kohlhase, Ana Guseva, 2015, SEMS@ICSE.

Mathematical User Interfaces Workshop at CICM

Paul Libbrecht, Andrea Kohlhase, 2015 .

The Planetary System: Web 3.0 & Active Documents for STEM

Christoph Lange, Joseph Corneli, Michael Kohlhase, 2011, ICCS.

MS PowerPoint Use from a Micro-Perspective

Andrea Kohlhase, 2008 .

CPoint - ein invasiver, semantischer Editor für wiederverwendbaren Content in MS PowerPoint

Andrea Kohlhase, 2006, DeLFI Workshops.

Full Semantic Transparency

Michael Kohlhase, Andrea Kohlhase, Alexandru Toader, 2013 .

FEncy: Spreadsheet Formulae Exploration

Andrea Kohlhase, Alexandru Toader, 2014, CICM Workshops.

Semantic transparency in user assistance systems

Michael Kohlhase, Andrea Kohlhase, 2009, SIGDOC '09.

What Can the Hundred Languages of Children Teach Us?

Heidi Schelhowe, Michael Lund, Andrea Kohlhase, 2007, Mensch & Computer.

“CPoint’s Mathematical User Interface”

Andrea Kohlhase, 2004 .

Compensating the Computational Bias of Spreadsheets with MKM Techniques

Michael Kohlhase, Andrea Kohlhase, 2009, Calculemus/MKM.

The Planetary System: Executable Science, Technology, Engineering and Math Papers

Christoph Lange, Michael Kohlhase, Andrea Kohlhase, 2011, ESWC.

The User as Prisoner: How the Dilemma Might Dissolve

Andrea Kohlhase, 2006, EC-TEL Workshops.

Intelligent Computer Mathematics

Cezary Kaliszyk, Claudio Sacerdoti Coen, Andrea Kohlhase, 2019, Lecture Notes in Computer Science.

Discourse Phenomena in Mathematical Documents

Michael Kohlhase, Andrea Kohlhase, Taweechai Ouypornkochagorn, 2018, CICM.

“Compensating the Computational Bias of Spread- sheets”

Michael Kohlhase, Andrea Kohlhase, 2009 .

Communities of Practice in MKM: An Extensional Model

Michael Kohlhase, Andrea Kohlhase, 2006, MKM.

Irreführende mentale Modelle beim Smart-TV(Misleading Mental Models for Smart-TVs)

Andrea Kohlhase, Gamze Ucar, 2017, LWDA.

What you understand is what you get: Assessment in Spreadsheets

Michael Kohlhase, Andrea Kohlhase, 2009, LWA.

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

Paul Libbrecht, Michael Kohlhase, Andrea Kohlhase, 2017, FM4M/MathUI/ThEdu/DP/WIP@CIKM.

Search Interfaces for Mathematicians

Andrea Kohlhase, A. Kohlhase, 2014, CICM.

Human-Spreadsheet Interaction

Andrea Kohlhase, 2013, INTERACT.

STEX+: a system for flexible formalization of linked data pdf

Christoph Lange, Michael Kohlhase, Andrea Kohlhase, 2010, I-SEMANTICS '10.

CPoint: Dissolving the Author's Dilemma

Michael Kohlhase, Andrea Kohlhase, 2004, MKM.

What if PowerPoint became emPowerPoint (through CPoint)

Andrea Kohlhase, 2006 .

Spreadsheets with a Semantic Layer

Michael Kohlhase, Andrea Kohlhase, 2013 .

The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics

Olaf Teschke, Michael Kohlhase, Andrea Kohlhase, 2016, ICMS.

Semantic Knowledge Management for Education Semantic knowledge, to help users understand relationships and dependencies betweenfacts,canbeincorporatedintolearningsystemstomakethemmoreeffective.

Michael Kohlhase, Andrea Kohlhase, 2008 .

“Learner and Learning Technology: The Interaction Process as a Full Partnership”

Andrea Kohlhase, 2007 .

Semantic interaction design: composing knowledge with CPoint

Andrea Kohlhase, A. Kohlhase, 2008 .

Understanding Mathematical Expressions: An Eye-Tracking Study

Andrea Kohlhase, Michael Fürsich, 2016, FM4M/MathUI/ThEdu/DP/WIP@CIKM.

Semantic PowerPoint: Content and Semantic Technology for Educational Added-Value Services in MS PowerPoint

Andrea Kohlhase, 2007 .

Factors for Reading Mathematical Expressions

Andrea Kohlhase, 2018, LWDA.

Spreadsheets with a Semantic Layer

Michael Kohlhase, Andrea Kohlhase, 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

“Overcoming Proprietary Hurdles: CPoint as Invasive Editor”

Andrea Kohlhase, 2005 .

PLANMP: Collecting Practices for a better Design of Knowledge Management Systems

Andrea Kohlhase, Constantin Jucovschi, 2011, LWA.

Semantic Perspectives on Knowledge Management and E-Learning

Andrea Kohlhase, A. Kohlhase, 2007, LWA.

Semantic Knowledge Management for Education

Michael Kohlhase, Andrea Kohlhase, M. Kohlhase, 2008, Proceedings of the IEEE.

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

Stephen M. Watt, Petr Sojka, Josef Urban, 2014, CICM Workshops.

Spreadsheet Interaction with Frames: Exploring a Mathematical Practice

Michael Kohlhase, Andrea Kohlhase, M. Kohlhase, 2009, Calculemus/MKM.

Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search

Michael Kohlhase, Andrea Kohlhase, M. Kohlhase, 2007, Calculemus/MKM.

Towards User Assistance for Documents via Interactional Semantic Technology

Andrea Kohlhase, 2010, KI.

Math Web Search Interfaces and the Generation Gap of Mathematicians

Andrea Kohlhase, 2014, ICMS.

MathUI 2017: The 12th Workshop on Mathematical User Interfaces

Andrea Kohlhase, Marco Pollanen, 2017 .

An Exploration in the Space of Mathematical Knowledge

Michael Kohlhase, Andrea Kohlhase, 2005, MKM.

Navigation in Mathematical Documents

Andrea Kohlhase, 2012 .

Exploration of Spreadsheet Formulae with Fency

Andrea Kohlhase, Alexandru Toader, 2013, LWA.

Maintaining islands of consistency via versioned links

Michael Kohlhase, Andrea Kohlhase, 2011, SIGDOC '11.

Dimensions of formality: a case study for MKM in software engineering

Christoph Lange, Michael Kohlhase, Andrea Kohlhase, 2010, AISC'10/MKM'10/Calculemus'10.

Embodied Conceptualizations: Social Tagging and E-Learning

Andrea Kohlhase, Milena Reichel, 2008, Int. J. Web Based Learn. Teach. Technol..

Visual Structure in Mathematical Expressions

Michael Kohlhase, Andrea Kohlhase, Michael Fürsich, 2017, CICM.

Domain Dependant Decoding in Math Expressions

Andrea Kohlhase, 2017 .

Versioned Links

Michael Kohlhase, Andrea Kohlhase, 2011 .

Visual Structure in Math Expressions

Michael Kohlhase, Andrea Kohlhase, Michael Fürsich, 2017 .

Acquisition of Math Content in an Academic Setting

Klaus Sutner, Michael Kohlhase, Andrea Kohlhase, 2002 .