Archival Literature

Articles in Journals

  1. [1] M. Kohlhase, J. Corneli, C. David, D. Ginev, C. Jucovschi, A. Kohlhase, C. Lange, B. Matican, S. Mirea, and V. Zholudev (2011) The planetary system: web 3.0 & active documents for STEM. Procedia Computer Science 4, pp. 598–607. Note: Finalist at the Executable Paper Grand Challenge External Links: Link, Document Cited by: p1.
  2. [2] H. Stamerjohanns, D. Ginev, C. David, D. Misev, V. Zamdzhiev, and M. Kohlhase (2010) Conversion d’articles en LaTeX vers XML avec MathML : une étude comparative. Cahiers GUTenberg 51, pp. 7–28. External Links: Link Cited by: p1.
  3. [3] H. Stamerjohanns, M. Kohlhase, D. Ginev, C. David, and B. Miller (2010) Transforming large collections of scientific publications to XML. Mathematics in Computer Science 3 (3), pp. 299–307. External Links: Link Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [2] C. David, C. Jucovschi, A. Kohlhase, and M. Kohlhase (2012) Semantic Alliance: a framework for semantic allies. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Jeuring, J. A. Campbell, J. Carette, G. Dos Reis, P. Sojka, M. Wenzel, and V. Sorge (Eds.), LNAI, pp. 49–64. External Links: Link Cited by: p1.
  2. [1] S. Autexier, C. David, D. Dietrich, M. Kohlhase, and V. Zholudev (2011) Workflows for the management of change in science, technologies, engineering and mathematics. In Intelligent computer mathematicsIntelligent Computer Mathematics, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), LNAI, pp. 164–179. External Links: Link Cited by: p1.
  3. [4] C. Lange, M. Kohlhase, C. David, D. Ginev, A. Kohlhase, B. Matican, S. Mirea, and V. Zholudev (2011) The planetary system: executable science, technology, engineering and math papers. In The semantic web: research and applications (part II)ESWC (Part II), G. Antoniou, M. Grobelnik, E. Paslaru Bontas Simperl, B. Parsia, D. Plexousakis, P. D. Leenheer, and J. Z. Pan (Eds.), LNCS, pp. 471–475. External Links: 1103.1482 Cited by: p1.
  4. [3] C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov, and V. Zholudev (2010) Publishing math lecture notes as linked data. In The semantic web: research and applications (part II)The Semantic Web: Research and Applications (Part II), L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, and T. Tudorache (Eds.), LNCS, pp. 370–375. External Links: 1004.3390v1 Cited by: p1.

Theses

  1. [1] C. David (2012) Semantic Alliance Framework: integrating documents and semantic services. M. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [3] C. David, D. Ginev, M. Kohlhase, B. Matican, and S. Mirea (2011) A framework for modular semantic publishing with separate compilation and dynamic linking. In Proceedings of the 1st workshop on semantic publication, Extended Semantic Web Conference1st Workshop on Semantic Publication (SePublica), A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.), CEUR Workshop Proceedings. Cited by: p1.
  2. [5] C. David, M. Kohlhase, C. Lange, F. Rabe, and V. Zholudev (2010-06) JOBAD/MMT – interactive mathematics. In AI Mashup ChallengeAI Mashup Challenge at ESWC, A. Giurca, B. Endres-Niggemeyer, C. Lange, L. Maicher, and P. Hitzler (Eds.), External Links: Link Cited by: p1.
  3. [2] C. David, D. Ginev, M. Kohlhase, and J. Corneli (2010) eMath 3.0: building blocks for a social and semantic web for online mathematics & ELearning. In 1st International Workshop on Mathematics and ICT: Education, Research and Applications1st International Workshop on Mathematics and ICT: Education, Research and Applications, I. Mierlus-Mazilu (Ed.), External Links: Link Cited by: p1.
  4. [4] C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov, and V. Zholudev (2010) Publishing math lecture notes as linked data. In The semantic web: research and applications (part II)The Semantic Web: Research and Applications (Part II), L. Aroyo, G. Antoniou, E. Hyvönen, A. ten Teije, H. Stuckenschmidt, L. Cabral, and T. Tudorache (Eds.), LNCS, pp. 370–375. External Links: 1004.3390v1 Cited by: p1.
  5. [6] C. David, C. Lange, and F. Rabe (2010) Interactive documents as interfaces to computer algebra systems: JOBAD and Wolfram—Alpha. In CALCULEMUS (emerging trends)CALCULEMUS (Emerging Trends), D. Delahaye and R. Rioboo (Eds.), pp. 13–30. External Links: Link Cited by: p1.
  6. [1] C. David, C. Brennan, O. Ormond, and M. Mullen (2009) Parallelised em wave propagation modelling for accurate network simulation. In 9th IT&T Conference, Dublin Institute of Technology, Cited by: p1.
  7. [7] D. Ginev, C. Jucovschi, S. Anca, M. Grigore, C. David, and M. Kohlhase (2009) An architecture for linguistic and semantic analysis on the arXMLiv corpus. In Applications of Semantic Technologies (AST) Workshop at Informatik 2009, External Links: Link Cited by: p1.
  8. [8] H. Stamerjohanns, D. Ginev, C. David, D. Misev, V. Zamdzhiev, and M. Kohlhase (2009) MathML-aware article conversion from LaTeX, a comparison study. In Towards digital mathematics library, dml 2009 workshopTowards Digital Mathematics Library, DML 2009 workshop, P. Sojka (Ed.), pp. 109–120. External Links: Link Cited by: p1.

Technical Reports

  1. [1] H. Stamerjohanns, D. Ginev, C. David, D. Misev, V. Zamdzhiev, and M. Kohlhase (2009) A comparison study of MathML-aware LaTeX converters. KWARC Report Jacobs University Bremen. Cited by: p1.

Unpublished

  1. [1] M. Kohlhase, C. David, D. Ginev, B. Matican, V. Merticariu, and S. Mirea (2012) A framework for semantic publishing of modular content objects. External Links: Link Cited by: p1.

Miscellaneous

  1. [1] C. David (2010) Interactive documents as interfaces to computer algebra systems: JOBAD and Wolfram—Alpha. B. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.