Andrea Kohlhase

Identifiers

• name variant Andrea Kohlhase 0.60 · backfill

Papers (5)

1. Search Interfaces for Mathematicians cs.HC · 2014 · author #1
2. The Planetary System: Executable Science, Technology, Engineering and Math Papers cs.DL · 2011 · author #5
3. What we understand is what we get: Assessment in Spreadsheets cs.SE · 2010 · author #1
4. sTeX+ - a System for Flexible Formalization of Linked Data cs.SE · 2010 · author #1
5. Dimensions of Formality: A Case Study for MKM in Software Engineering cs.DL · 2010 · author #1

Mentions

• 1405.3758 #1 · backfill · confidence 0.70 Andrea Kohlhase
• 1103.1482 #5 · backfill · confidence 0.70 Andrea Kohlhase
• 1009.2797 #1 · backfill · confidence 0.70 Andrea Kohlhase
• 1006.4474 #1 · backfill · confidence 0.70 Andrea Kohlhase
• 1004.5071 #1 · backfill · confidence 0.70 Andrea Kohlhase

Frequent Coauthors

• Michael Kohlhase 4 shared papers
• Christoph Lange 3 shared papers
• Bogdan Matican 1 shared papers
• Catalin David 1 shared papers
• Deyan Ginev 1 shared papers
• Stefan Mirea 1 shared papers
• Vyacheslav Zholudev 1 shared papers