Andrea Kohlhase

Affiliations:
  • Neu-Ulm University of Applied Sciences, Germany


According to our database1, Andrea Kohlhase authored at least 48 papers between 2004 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking.
Proceedings of the 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, 2021

MathUI Preface.
Proceedings of the 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, 2021

2018
Discourse Phenomena in Mathematical Documents.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

Factors for Reading Mathematical Expressions.
Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", 2018

2017
Visual Structure in Mathematical Expressions.
Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Irreführende mentale Modelle beim Smart-TV(Misleading Mental Models for Smart-TVs).
Proceedings of the Lernen, 2017

2016
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics.
Proceedings of the Mathematical Software - ICMS 2016, 2016

Understanding Mathematical Expressions: An Eye-Tracking Study.
Proceedings of the Joint Proceedings of the FM4M, 2016

2015
The SMGloM Project and System.
Proceedings of the CICM 2015, 2015

Assessment for Spreadsheets.
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

Context in Spreadsheet Comprehension.
Proceedings of the Second Workshop on Software Engineering Methods in Spreadsheets co-located with the 37th International Conference on Software Engineering (ICSE 2015) , 2015

2014
FEncy: Spreadsheet Formulae Exploration.
Proceedings of the Joint Proceedings of the MathUI, 2014

Design of Search Interfaces for Mathematicians.
Proceedings of the Joint Proceedings of the MathUI, 2014

Search Interfaces for Mathematicians.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Math Web Search Interfaces and the Generation Gap of Mathematicians.
Proceedings of the Mathematical Software - ICMS 2014, 2014

2013
Spreadsheets with a Semantic Layer.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Spreadsheets: from data interfaces to knowledge interfaces.
Proceedings of the Joint Proceedings of the MathUI, 2013

Exploration of Spreadsheet Formulae with Fency.
Proceedings of the LWA 2013. Lernen, 2013

Full Semantic Transparency: Overcoming Boundaries of Applications.
Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013

Human-Spreadsheet Interaction.
Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013

2012
Semantic Alliance: A Framework for Semantic Allies.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011
The Planetary System: Web 3.0 & Active Documents for STEM.
Proceedings of the International Conference on Computational Science, 2011

Towards a flexible notion of document context.
Proceedings of the 29th ACM international conference on Design of communication, 2011

Maintaining islands of consistency via versioned links.
Proceedings of the 29th ACM international conference on Design of communication, 2011

PLANMP: Collecting Practices for a better Design of Knowledge Management Systems.
Proceedings of the Report of the symposium "Lernen, 2011

The Planetary System: Executable Science, Technology, Engineering and Math Papers.
Proceedings of the Semanic Web: Research and Applications, 2011

2010
What we understand is what we get: Assessment in Spreadsheets
CoRR, 2010

sTeX+ - a System for Flexible Formalization of Linked Data
CoRR, 2010

Towards User Assistance for Documents via Interactional Semantic Technology.
Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

S<sup>T</sup>E<sup>X</sup>+: a system for flexible formalization of linked data.
Proceedings of the Proceedings the 6th International Conference on Semantic Systems, 2010

Dimensions of Formality: A Case Study for MKM in Software Engineering.
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009
Modeling task experience in user assistance systems.
Proceedings of the 27th Annual International Conference on Design of Communication, 2009

Semantic transparency in user assistance systems.
Proceedings of the 27th Annual International Conference on Design of Communication, 2009

Compensating the Computational Bias of Spreadsheets with MKM Techniques.
Proceedings of the Intelligent Computer Mathematics, 2009

Spreadsheet Interaction with Frames: Exploring a Mathematical Practice.
Proceedings of the Intelligent Computer Mathematics, 2009

What you understand is what you get: Assessment in Spreadsheets.
Proceedings of the LWA 2009: Workshop-Woche: Lernen, 2009

2008
Semantic interaction design: composing knowledge with CPoint.
PhD thesis, 2008

Semantic Knowledge Management for Education.
Proc. IEEE, 2008

Embodied Conceptualizations: Social Tagging and E-Learning.
Int. J. Web Based Learn. Teach. Technol., 2008

Compensating the Semantic Bias of Spreadsheets.
Proceedings of the LWA 2008, 2008

2007
<i>Re</i> examining the MKM Value Proposition: From Math Web Search to Math Web <i>Re</i> Search.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

What Can the Hundred Languages of Children Teach Us?
Proceedings of the Mensch & Computer 2007: Interaktion im Plural, 2007

Semantic Perspectives on Knowledge Management and E-Learning.
Proceedings of the LWA 2007: Lernen - Wissen, 2007

2006
Communities of Practice in MKM: An Extensional Model.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

The User as Prisoner: How the Dilemma Might Dissolve.
Proceedings of the EC-TEL06 Workshops, Crete, Greece , October 1-2, 2006, 2006

CPoint - ein invasiver, semantischer Editor für wiederverwendbaren Content in MS PowerPoint.
Proceedings of the Proceedings der Pre-Conference Workshops der 4. e-Learning Fachtagung Informatik DeLFI 2006, 2006

2005
An Exploration in the Space of Mathematical Knowledge.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

2004
CPoint: Dissolving the Author's Dilemma.
Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004


  Loading...