22k citations
- University of KaiserslauternDE125 papers
- Saarland UniversityDE41 papers
- Rheinland-Pfälzische Technische Universität Kaiserslautern-LandauDE25 papers
- University of Koblenz and LandauDE25 papers
- Technische Universität BerlinDE24 papers
- University of BremenDE23 papers
- Center for Scalable Data Analytics and Artificial IntelligenceDE16 papers
- Technische Universität DarmstadtDE11 papers
- Hamm-Lippstadt University of Applied SciencesDE9 papers
- Ludwig-Maximilians-Universität MünchenDE9 papers
- Technical University of MunichDE9 papers
- ETH ZurichCH8 papers
Showing 2010Show all
2 papers · 1 filter
cs.SE2010★ 2 cited
What we understand is what we get: Assessment in Spreadsheets
Andrea Kohlhase, Michael Kohlhase
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…
cs.SE2010★ 1 cited
sTeX+ - a System for Flexible Formalization of Linked Data
Andrea Kohlhase, Michael Kohlhase, Christoph Lange
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,…