Andrea Kohlhase
Publications of Andrea Kohlhase
The Planetary System: Executable Science, Technology, Engineering and Math Papers
03/2011;
Executable scientific papers contain not just layouted text for reading. They contain, or link to, machine-comprehensible representations of the scientific findings or experiments they describe.
The Planetary System: Web 3.0 & Active Documents for STEM
Procedia Computer Science. 01/2011; 4:598-607.
The Planetary System: Executable Science, Technology, Engineering and Math Papers.
The Semanic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 - June 2, 2011, Proceedings, Part II; 01/2011
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. 01/2011;
What we understand is what we get: Assessment in Spreadsheets
09/2010;
In previous work we have studied how an explicit representation of background knowledge associated with a specific spreadsheet can be exploited to alleviate usability problems with spreadsheet-based
sTeX+ - a System for Flexible Formalization of Linked Data
06/2010;
We present the sTeX+ system, a user-driven advancement of sTeX - a semantic extension of LaTeX that allows for producing high-quality PDF documents for (proof)reading and printing, as well as
Dimensions of Formality: A Case Study for MKM in Software Engineering
04/2010;
We study the formalization of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection markup formats can cope with an
S
Proceedings the 6th International Conference on Semantic Systems, I-SEMANTICS 2010, Graz, Austria, September 1-3, 2010; 01/2010
Dimensions of Formality: A Case Study for MKM in Software Engineering.
Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings; 01/2010
Semantic Knowledge Management for Education
Proceedings of the IEEE; Special Issue on Educational Technology. 06/2008; 96(6):970-989.
net.researchgate.refind.jaxb.schema.dblp.I@67acc011
Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings; 01/2007
Are you Andrea Kohlhase?
Claim your profileCo-Authors of Andrea Kohlhase
Top Primary Authors
- Michael Kohlhase (3)
- Christoph Lange (2)
Top Secondary Authors
- Michael Kohlhase (5)
- Klaus Sutner (1)
- Joe Corneli (1)
- Michael Kohlhase (1)
- Joseph Corneli (1)
Top Senior Authors
Keywords of Andrea Kohlhase
