Search the dblp DataBase

Publications of Author

1. Andrea Kohlhase, Michael Kohlhase
   CPoint: Dissolving the Author's Dilemma. [Citation Graph (0, 0)][DBLP]
   MKM, 2004, pp:175-189 [Conf]
   
2. Andrea Kohlhase, Michael Kohlhase
   An Exploration in the Space of Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
   MKM, 2005, pp:17-32 [Conf]
   
3. Andrea Kohlhase, Michael Kohlhase
   Communities of Practice in MKM: An Extensional Model. [Citation Graph (0, 0)][DBLP]
   MKM, 2006, pp:179-193 [Conf]
   
4. Andrea Kohlhase
   Semantic Perspectives on Knowledge Management and E-Learning. [Citation Graph (0, 0)][DBLP]
   LWA, 2007, pp:281-288 [Conf]
   
5. Andrea Kohlhase, Heidi Schelhowe, Michael Lund
   What Can the Hundred Languages of Children Teach Us? [Citation Graph (0, 0)][DBLP]
   Mensch & Computer, 2007, pp:189-198 [Conf]
   
6. Andrea Kohlhase, Michael Kohlhase
   Re examining the MKM Value Proposition: From Math Web Search to Math Web Re Search. [Citation Graph (0, 0)][DBLP]
   Calculemus/MKM, 2007, pp:313-326 [Conf]
   
7. 
   Dimensions of Formality: A Case Study for MKM in Software Engineering. [Citation Graph (, )][DBLP]
   
   
8. 
   The User as Prisoner: How the Dilemma Might Dissolve. [Citation Graph (, )][DBLP]
   
   
9. 
   Towards User Assistance for Documents via Interactional Semantic Technology. [Citation Graph (, )][DBLP]
   
   
10. 
    Compensating the Semantic Bias of Spreadsheets. [Citation Graph (, )][DBLP]
    
    
11. 
    Spreadsheet Interaction with Frames: Exploring a Mathematical Practice. [Citation Graph (, )][DBLP]
    
    
12. 
    Compensating the Computational Bias of Spreadsheets with MKM Techniques. [Citation Graph (, )][DBLP]
    
    
13. 
    Semantic transparency in user assistance systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Modeling task experience in user assistance systems. [Citation Graph (, )][DBLP]
    
    
15. 
    S^TE^X+: a system for flexible formalization of linked data. [Citation Graph (, )][DBLP]
    
    
16. 
    Dimensions of Formality: A Case Study for MKM in Software Engineering [Citation Graph (, )][DBLP]
    
    
17. 
    sTeX+ - a System for Flexible Formalization of Linked Data [Citation Graph (, )][DBLP]