Frederik Schaefer: Selected Publications

Please respect any copyrights when downloading
  1. Archival Literature
    1. Papers at International, Peer-Reviewed Conferences
  2. Theses
  3. Gray Literature
    1. Papers at Peer-Reviewed Workshops
  4. Unpublished

Archival Literature

Papers at International, Peer-Reviewed Conferences

  1. [1] M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020) Logic-independent proof search in logical frameworks (short paper). In 10th international joint conference on automated reasoning10th International Joint Conference on Automated Reasoning, N. Peltier and V. Sofronie-Stokkermans (Eds.), Cited by: p1.
  2. [2] J. F. Schaefer, K. Amann, and M. Kohlhase (2020) Prototyping controlled mathematical languages in jupyter notebooks. In Mathematical software – icms 2020. 7th international conferenceMathematical Software – ICMS 2020. 7th international conference, A. M. Bigatti, J. Carette, J. H. Davenport, M. Joswig, and T. de Wolff (Eds.), Lecture Notes in Computer Science, Vol. 12097. External Links: Link Cited by: p1.

Theses

  1. [1] J. F. Schaefer (2016) Declaration spotting in mathematical documents. B. Sc. Thesis, Jacobs University Bremen. External Links: Link Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

  1. [1] M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020) Logic-independent proof search in logical frameworks (short paper). In 10th international joint conference on automated reasoning10th International Joint Conference on Automated Reasoning, N. Peltier and V. Sofronie-Stokkermans (Eds.), Cited by: p1.
  2. [3] J. F. Schaefer, K. Amann, and M. Kohlhase (2020) Prototyping controlled mathematical languages in jupyter notebooks. In Mathematical software – icms 2020. 7th international conferenceMathematical Software – ICMS 2020. 7th international conference, A. M. Bigatti, J. Carette, J. H. Davenport, M. Joswig, and T. de Wolff (Eds.), Lecture Notes in Computer Science, Vol. 12097. External Links: Link Cited by: p1.
  3. [2] M. Kohlhase and J. F. Schaefer (2019) GF + MMT = GLF – from language to semantics through LF. In Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2019, D. Miller and I. Scagnetto (Eds.), Vol. 307, pp. 24–39. External Links: Document Cited by: p1.
  4. [4] J. F. Schaefer and M. Kohlhase (2018) Syntactic/semantic analysis for high-precision math linguistics. In Workshop papers at 11th conference on intelligent computer mathematics cicm 2018Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018, O. Hasan, A. Youssef, A. Naumowicz, W. Farmer, C. Kaliszyk, D. Gallois-Wong, F. Rabe, G. D. Reis, G. Passmore, J. Davenport, M. Pfeiffer, M. Kohlhase, S. Autexier, S. Tahar, T. Koprucki, U. Siddique, W. Neuper, W. Windsteiger, W. Schreiner, W. Sperber, and Z. Kovács (Eds.), Note: CICM Work in Progress Paper External Links: Link Cited by: p1.

Unpublished

  1. [1] M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020) Logic-independent proof search in logical frameworks (extended report). Note: extended report of conference submission External Links: Link Cited by: p1.
  2. [2] J. F. Schaefer and M. Kohlhase (2020) GLIF: a declarative framework for symbolic natural language understanding. Note: submitted External Links: Link Cited by: p1.