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. [4] M. Kohlhase and D. Müller (2022) System description: stex3 – a LaTeX-based ecosystem for semantic/active mathematical documents. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2022, K. Buzzard and T. Kutsia (Eds.), LNAI, Vol. 13467, pp. 184–188. External Links: Link Cited by: p1.
  2. [5] D. Müller and M. Kohlhase (2022) Injecting formal mathematics into latex. In Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2022, K. Buzzard and T. Kutsia (Eds.), LNAI, Vol. 13467, pp. 168–183. External Links: Link Cited by: p1.
  3. [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.
  4. [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.
  5. [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. [3] D. Müller and M. Kohlhase (2022) STeX3 – a LaTeX-based ecosystem for semantic/active mathemapubtical documents. In TeX users group conference (tug)TUGboat, Vol. , pp. . External Links: Link Cited by: p1.
  2. [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.
  3. [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 and D. Müller The sTeX3 manual. Technical report 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.