Selected Publications

In Proceedings

2014

2013

2012

2011

2010

  • [DGK+10] 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. See 1st International Workshop on Mathematics and ICT: Education, Research and Applications, Mierlus-Mazilu, External Links: Link
  • [SGD+10a] 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. Vol. 51, pp. 7–28. External Links: Link
  • [SKG+10b] H. Stamerjohanns, M. Kohlhase, D. Ginev, C. David, and B. Miller (2010) Transforming large collections of scientific publications to XML. S. Autexier, P. Sojka, and M. Suzuki (Eds.), Vol. 3, pp. 299–307. External Links: Link

2009

  • [GJA+09] 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
  • [SGD+09] H. Stamerjohanns, D. Ginev, C. David, D. Misev, V. Zamdzhiev, and M. Kohlhase (2009) MathML-aware article conversion from LaTeX, a comparison study. See Towards digital mathematics library, dml 2009 workshop, Sojka, pp. 109–120. External Links: Link

Technical Reports

2009

  • [SGD+09] 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. External Links: Link

Theses

2011

  • [GIN11] D. Ginev (2011-08) The structure of mathematical expressions. Master’s Thesis, Jacobs University Bremen, Bremen, Germany. External Links: Link

2009

  • [GIN09] D. Ginev (2009) An architecture for recovering meaning in a LaTeX to OMDoc conversion. Bachelor’s Thesis, Jacobs University Bremen. External Links: Link

Referenced Proceeding Collections

2014

  • [WDS+14] S. Watt, J. Davenport, A. Sexton, P. Sojka, and J. Urban (Eds.) (2014) Intelligent computer mathematics. Lecture Notes in Computer Science, Springer. Cited by: GC14, GMO14.

2013

  • [CAL+13] J. Carette, D. Aspinall, C. Lange, P. Sojka, and W. Windsteiger (Eds.) (2013) Intelligent computer mathematics. Lecture Notes in Computer Science, Springer. External Links: Document, ISBN 978-3-642-39319-8 Cited by: GM13.
  • [LAC+13] C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside, and W. Windsteiger (Eds.) (2013) Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: GIN13.

2011

  • [AGP+11] G. Antoniou, M. Grobelnik, E. Paslaru Bontas Simperl, B. Parsia, D. Plexousakis, P. D. Leenheer, and J. Z. Pan (Eds.) (2011) The semantic web: research and applications (part ii). LNCS, Springer Verlag, Heidelberg. External Links: ISBN 978-3-642-21033-4 Cited by: LKD+11.
  • [DFR+11] J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011) Intelligent computer mathematics. LNAI, Springer Verlag. External Links: ISBN 978-3-642-22672-4 Cited by: GSK11.
  • [GLS+11a] A. García Castro, C. Lange, E. Sandhaus, and A. de Waard (Eds.) (2011) Proceedings of the 1st workshop on semantic publication, Extended Semantic Web Conference. CEUR Workshop Proceedings, Aachen. External Links: ISSN 1613-0073, Link Cited by: CGL11a, DGK+11, KDG+12.
  • [GFA11b] R. García Castro, D. Fensel, and G. Antoniou (Eds.) (2011) The semantic web: ESWC 2011 workshops. LNCS, Springer Verlag, Heidelberg. External Links: ISBN 978-3-642-25952-4 Cited by: CGL11b.

2010

  • [MIE10] I. Mierlus-Mazilu (Ed.) (2010) 1st International Workshop on Mathematics and ICT: Education, Research and Applications. External Links: Link Cited by: DGK+10.

2009

  • [SOJ09] P. Sojka (Ed.) (2009) Towards digital mathematics library, dml 2009 workshop. Masaryk University, Brno. Cited by: SGD+09.