Project sTeX : Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Articles in Journals
    2. Papers at International, Peer-Reviewed Conferences
    3. Monographs
  2. Theses
  3. Gray Literature
    1. Papers at Peer-Reviewed Workshops
    2. Technical Reports
  4. Unpublished
  5. Miscellaneous

Archival Literature

Articles in Journals

  1. [3] D. Müller (2023) An html/css schema for primitives – generating high-quality responsive html from generic . TeX users group conference (tug), pp. 275–286. External Links: Link Cited by: p1.
  2. [2] D. Müller and M. Kohlhase (2022) sTeX3 – a -based ecosystem for semantic/active mathematical documents. TeX users group conference (tug), pp. 197–201. External Links: Link Cited by: p1.
  3. [1] M. Kohlhase (2008) Using 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 -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. [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 /. 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.