Archival Literature

Articles in Journals

  1. [1] M. Kohlhase (2008) Using LaTeX as a semantic markup format. Mathematics in Computer Science 2 (2), pp. 279–304. External Links: Link Cited by: p1.

Papers at International, Peer-Reviewed Conferences

  1. [1] C. Jucovschi and M. Kohlhase (2010) sTeXIDE: an integrated development environment for sTeX collections. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, and A. P. Sexton (Eds.), LNAI, pp. 336–344. External Links: Link Cited by: p1.
  2. [2] A. Kohlhase, M. Kohlhase, and C. Lange (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
  3. [3] A. Kohlhase, M. Kohlhase, and C. Lange (2010) sTeX – a system for flexible formalization of linked data. In 6th international conference on semantic systems (I-Semantics) and the 5th international conference on pragmatic webProceedings of the 6th International Conference on Semantic Systems (I-Semantics) and the 5th International Conference on Pragmatic Web, A. Paschke, N. Henze, T. Pellegrini, and H. Weigand (Eds.), External Links: 1006.4474v1, Document Cited by: p1.

Monographs

  1. [1] C. Lange (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. External Links: ISBN 978-1-60750-840-3, Link Cited by: p1.

Theses

  1. [1] C. Lange (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Ph.D. Thesis, Jacobs University Bremen. Note: Also available as a book [2] Cited by: p1.
  2. [2] C. Lange (2011) Enabling collaboration on semiformal mathematical knowledge by semantic web integration. Studies on the Semantic Web, AKA Verlag and IOS Press, Heidelberg and Amsterdam. External Links: ISBN 978-1-60750-840-3, Link Cited by: 1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [1] A. Kohlhase, M. Kohlhase, and C. Lange (2010) Dimensions of formality: a case study for MKM in software engineering. In Intelligent computer mathematicsIntelligent Computer Mathematics, S. Autexier, J. Calmet, D. Delahaye, P. D. F. Ion, L. Rideau, R. Rioboo, and A. P. Sexton (Eds.), LNAI, pp. 355–369. External Links: 1004.5071v1 Cited by: p1.
  2. [2] M. Kohlhase (2004) Semantic markup for TeX/LaTeX. In Mathematical user interfaces workshop 2004Mathematical User Interfaces, P. Libbrecht (Ed.), Cited by: p1.

Technical Reports

  1. [1] M. Kohlhase, D. Ginev, and R. Ambrus (2021) modules.sty: semantic macros and module scoping in sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  2. [2] M. Kohlhase and D. Ginev (2021) presentation.sty: an infrastructure for presenting semantic macros in sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  3. [3] M. Kohlhase and D. Ginev (2021) smultiling.sty: multilinguality support for sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  4. [4] M. Kohlhase (2021) cmath.sty: an infrastructure for building inline content math in sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  5. [5] M. Kohlhase (2021) cmathml.sty: a TeX/LaTeX-based syntax for content MathML. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  6. [6] M. Kohlhase (2021) CNXLaTeX: a LaTeX-based syntax for Connexions modules. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  7. [7] M. Kohlhase (2021) dcm.sty: an infrastructure for marking up Dublin Core metadata in LaTeX documents. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  8. [8] M. Kohlhase (2021) Editorial notes for LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  9. [9] M. Kohlhase (2021) hwexam.sty/cls: an infrastructure for formatting assignments and exams. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  10. [10] M. Kohlhase (2021) MathHub support for s\tex. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  11. [11] M. Kohlhase (2021) metakeys.sty: a generic framework for extensible metadata in LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  12. [12] M. Kohlhase (2021) omdoc.sty/cls: semantic markup for open mathematical documents in LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  13. [13] M. Kohlhase (2021) omtext: semantic markup for mathematical text fragments in LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  14. [14] M. Kohlhase (2021) owl2onto.cls: marking up OWL2 ontologies in sTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  15. [15] M. Kohlhase (2021) physml.sty: an infrastructure for marking up PhysML in TeX/LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  16. [16] M. Kohlhase (2021) Preparing dfg proposals and reports in LaTeX with dfgproposal.cls. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  17. [17] M. Kohlhase (2021) Preparing fp7 eu proposals and reports in LaTeX with euproposal.cls. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  18. [18] M. Kohlhase (2021) Preparing proposals in LaTeX with proposal.cls. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  19. [19] M. Kohlhase (2021) problem.sty: an infrastructure for formatting problems. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  20. [20] M. Kohlhase (2021) RDFa metadata in LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  21. [21] M. Kohlhase (2021) reqdoc.sty: semantic markup for requirements specification documents. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  22. [22] M. Kohlhase (2021) Slides and course notes. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  23. [23] M. Kohlhase (2021) sproof.sty: structural markup for proofs. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  24. [24] M. Kohlhase (2021) sref.sty: semantic crossreferencing in LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  25. [25] M. Kohlhase (2021) statements.sty: structural markup for mathematical statements. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  26. [26] M. Kohlhase (2021) sTeX: semantic markup in TeX/LaTeX. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  27. [27] M. Kohlhase (2021) structview.sty: structures and views in s\tex. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  28. [28] M. Kohlhase (2021) tikzinput: selective input of tikz diagrams. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  29. [29] M. Kohlhase (2021) workaddress.sty: an infrastructure for marking up Dublin Core metadata in LaTeX documents. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.
  30. [30] J. Zhang and M. Kohlhase (2021) pathsuris.sty: paths and uris for s\tex. Technical report Comprehensive TeX Archive Network (CTAN). External Links: Link Cited by: p1.

Unpublished

  1. [1] M. Iancu, M. Kohlhase, F. Rabe, and H. Yuan (2016) Mixing surface languages for OMDoc. External Links: Link Cited by: p1.

Miscellaneous

  1. [7] M. Kohlhase (2020) Logic-based natural language processing. External Links: Link Cited by: p1.
  2. [1] M. Kohlhase (2011) General Computer Science; 320101: GenCS I Lecture Notes. External Links: Link Cited by: p1.
  3. [2] M. Kohlhase (2011) General Computer Science; Problems and Solutions for 320101 GenCS I. External Links: Link Cited by: p1.
  4. [3] M. Kohlhase (2011) General Computer Science; Problems for 320101 GenCS I. External Links: Link Cited by: p1.
  5. [4] M. Kohlhase (2011) General Computer Science: 320201 GenCS II Lecture Notes. External Links: Link Cited by: p1.
  6. [5] M. Kohlhase (2011) General Computer Science: Problems and Solutions for 320201 GenCS II. External Links: Link Cited by: p1.
  7. [6] M. Kohlhase (2011) General Computer Science: Problems for 320201 GenCS II. External Links: Link Cited by: p1.