selected publications

• academic article

  • Towards MKM in the large: modular representation and scalable software architecture.  arXiv (Cornell University).  370-384. 2010

• chapter

  • Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach.  Lecture Notes in Computer Science. 117-131. 2016
  • Towards MKM in the Large: Modular Representation and Scalable Software Architecture.  Springer eBooks. 370-384. 2010
  • Compensating the Computational Bias of Spreadsheets with MKM Techniques.  Lecture Notes in Computer Science. 357-372. 2009
  • Towards Collaborative Content Management and Version Control for Structured Mathematical Knowledge.  Springer eBooks. 147-161. 2003