From 17d292b8e33a8536cc3fa12dd08992f4242aa71d Mon Sep 17 00:00:00 2001 From: GitHub Action Date: Thu, 22 Aug 2024 14:37:50 +0000 Subject: [PATCH] Auto-generated website for commit c02f1b1 --- cjucovschi/index.html | 52 ++-- dmueller/index.html | 256 ++++++++++---------- frabe/index.html | 534 +++++++++++++++++++++--------------------- index.html | 73 +++--- mkohlhase/index.html | 29 +-- twiesing/index.html | 108 ++++----- voll-ki/index.html | 15 -- xml/kcr.bib.xml | 4 +- xml/kwarcpubs.bib.xml | 4 +- 9 files changed, 521 insertions(+), 554 deletions(-) diff --git a/cjucovschi/index.html b/cjucovschi/index.html index cc5a19ac..3cebf3a6 100644 --- a/cjucovschi/index.html +++ b/cjucovschi/index.html @@ -175,22 +175,22 @@

Papers at International, Peer-Reviewed Conferences

Theses

    -
  1. [1] +
  2. [1] C. Jucovschi (2010) Editing knowledge in large mathematical corpora. a case study with semantic (sTeX). M.Sc. Thesis, Jacobs University. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

    -
  1. [3] +
  2. [3] M. Iancu, C. Jucovschi, M. Kohlhase, and T. Wiesing (2014) System description: MathHub.info. @@ -199,11 +199,11 @@

    Papers at Peer-Reviewed Workshops

     LNCS, pp. 431–434. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    3. -
  3. [5] +
  4. [5] C. Jucovschi (2014) Towards an interaction-based integration of MKM services into end-user applications. @@ -212,22 +212,22 @@

    Papers at Peer-Reviewed Workshops

     LNCS, pp. 344–356. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    5. -
  5. [1] +
  6. [1] T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack (2013) Semantic support for engineering design processes. In Proc. 13th International Design Conference, DESIGN 2014, -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    7. -
  7. [4] +
  8. [4] C. Jucovschi (2012) Cost-effective integration of mkm semantic services into editing environments. @@ -236,52 +236,52 @@

    Papers at Peer-Reviewed Workshops

     LNAI, pp. 96–110. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    9. -
  9. [6] +
  10. [6] A. Kohlhase and C. Jucovschi (2011) planMP: collecting mathematical practices for mkm. In Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers, J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.), -Cited by: p1. +Cited by: p1.
    11. -
  11. [2] +
  12. [2] 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 +External Links: Link -Cited by: p1. +Cited by: p1.

Unpublished

    -
  1. [1] +
  2. [1] T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack (2013) Towards ontological support for principle solutions in mechanical engineering. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    3. -
  3. [2] +
  4. [2] M. Kohlhase, Ş. Anca, C. Jucovschi, A. González Palomo, and I. A. Şucan (2008) MathWebSearch 0.4, a semantic search engine for mathematics. Note: manuscript -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
diff --git a/dmueller/index.html b/dmueller/index.html index 65411815..5216b2db 100644 --- a/dmueller/index.html +++ b/dmueller/index.html @@ -63,43 +63,43 @@

Dennis Müller

Archival Literature

Articles in Journals

    -
  1. [3] +
  2. [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 +External Links: Link -Cited by: p1. +Cited by: p1.
    3. -
  3. [2] +
  4. [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 +External Links: Link -Cited by: p1. +Cited by: p1.
    5. -
  5. [1] +
  6. [1] T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2018) Model pathway diagrams for the representation of mathematical models. Journal of Optical and Quantum Electronics 50 (2), pp. 70. -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.

Papers at International, Peer-Reviewed Conferences

    -
  1. [1] +
  2. [1] M. Berges, J. Betzendahl, A. Chugh, M. Kohlhase, D. Lohr, and D. Müller (2023) Learning support systems based on mathematical knowledge managment. @@ -108,11 +108,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    3. -
  3. [10] +
  4. [10] T. Kruse, M. Berges, J. Betzendahl, M. Kohlhase, D. Lohr, and D. Müller (2023) Learning with alea: tailored experiences through annotated course material. @@ -121,34 +121,34 @@

    Papers at International, Peer-Reviewed Conferences

     Lecture Notes in Informatics. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    5. -
  5. [11] +
  6. [11] D. Lohr, M. Berges, M. Kohlhase, D. Müller, and M. Rapp (2023) The Y-Model – formalization of computer-science tasks in the context of adaptive learning systems. In 2023 IEEE German Education Conference (GeCon), -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    7. -
  7. [4] +
  8. [4] M. Herchenbach, D. Müller, S. Scheele, and U. Schmid (2022) Explaining image classifications with near misses, near hits and prototypes: supporting domain experts in understanding decision boundaries. In Pattern Recognition and Artificial Intelligence: Third International Conference, ICPRAI 2022, -External Links: Document, -Link +External Links: Document, +Link -Cited by: p1. +Cited by: p1.
    9. -
  9. [9] +
  10. [9] M. Kohlhase and D. Müller (2022) System description: sTeX3 – a -based ecosystem for semantic/active mathematical documents. @@ -157,11 +157,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, Vol. 13467, pp. 184–188. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    11. -
  11. [14] +
  12. [14] D. Müller and M. Kohlhase (2022) Injecting formal mathematics into latex. @@ -170,23 +170,23 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, Vol. 13467, pp. 168–183. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    13. -
  13. [15] +
  14. [15] D. Müller, M. März, S. Scheele, and U. Schmid (2022) An interactive explanatory ai system for industrial quality control. In IAAI 2022, -External Links: Document, -Link +External Links: Document, +Link -Cited by: p1. +Cited by: p1.
    15. -
  15. [5] +
  16. [5] M. Kohlhase, B. Bösl, R. Marcus, D. Müller, D. Rochau, N. Roux, J. Schihada, and M. Stamminger (2020) FrameIT: detangling knowledge management from game design in serious games. @@ -195,12 +195,12 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, Vol. 12236, pp. 173–189. -External Links: Document, -Link +External Links: Document, +Link -Cited by: p1. +Cited by: p1.
    17. -
  17. [17] +
  18. [17] D. Müller, F. Rabe, C. Rothgang, and M. Kohlhase (2020) Representing structural language features in formal meta-languages. @@ -209,11 +209,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, Vol. 12236, pp. 206–221. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    19. -
  19. [2] +
  20. [2] A. Condoluci, M. Kohlhase, D. Müller, F. Rabe, C. Sacerdoti Coen, and M. Wenzel (2019) Relational data across mathematical libraries. @@ -222,11 +222,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 61–76. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    21. -
  21. [18] +
  22. [18] D. Müller, F. Rabe, and C. Sacerdoti Coen (2019) The Coq Library as a Theory Graph. @@ -235,9 +235,9 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -Cited by: p1. +Cited by: p1.
    23. -
  23. [13] +
  24. [13] D. Müller, M. Kohlhase, and F. Rabe (2018) Automatically finding theory morphisms for knowledge management. @@ -246,22 +246,22 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    25. -
  25. [16] +
  26. [16] D. Müller, F. Rabe, and M. Kohlhase (2018) Theories as types. In 9th international joint conference on automated reasoning9th International Joint Conference on Automated Reasoning, D. Galmiche, S. Schulz, and R. Sebastiani (Eds.), -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    27. -
  27. [6] +
  28. [6] M. Kohlhase, T. Koprucki, D. Müller, and K. Tabelow (2017) Mathematical models as research data via flexiformal theory graphs. @@ -270,11 +270,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    29. -
  29. [7] +
  30. [7] M. Kohlhase, D. Müller, S. Owre, and F. Rabe (2017) Making PVS accessible to generic services by interpretation in a universal format. @@ -283,11 +283,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS, Vol. 10499. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    31. -
  31. [8] +
  32. [8] M. Kohlhase, D. Müller, M. Pfeiffer, F. Rabe, N. Thiéry, V. Vasilyev, and T. Wiesing (2017) Knowledge-based interoperability for mathematical software systems. @@ -296,11 +296,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS, pp. 195–210. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    33. -
  33. [12] +
  34. [12] D. Müller, T. Gauthier, C. Kaliszyk, M. Kohlhase, and F. Rabe (2017) Classification of alignments between concepts of formal mathematical systems. @@ -309,11 +309,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    35. -
  35. [3] +
  36. [3] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016) Interoperability in the OpenDreamKit project: the math-in-the-middle approach. @@ -322,41 +322,41 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

Conference Proceedings Edited

    -
  1. [1] +
  2. [1] J. Blanchette, J. Davenport, P. Koepke, A. Kohlhase, M. Kohlhase, A. Naumowicz, D. Müller, Y. Sharoda, and C. S. Coen (Eds.) (2021) Workshop papers at 14th conference on intelligent computer mathematics cicm 2021. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

Theses

    -
  1. [1] +
  2. [1] D. Müller (2019-12) Mathematical knowledge management across formal libraries. Ph.D. Thesis, Informatics, FAU Erlangen-Nürnberg. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

Gray Literature

Papers at Peer-Reviewed Workshops

    -
  1. [1] +
  2. [1] J. Betzendahl, M. Kohlhase, and D. Müller (2023) Guided tours in alea - assembling tailored educational dialogues from semantically annotated learning objects. @@ -365,12 +365,12 @@

    Papers at Peer-Reviewed Workshops

     Communications in Computer and Information Science, Vol. 1948, pp. 397–408. -External Links: Link, -Document +External Links: Link, +Document -Cited by: p1. +Cited by: p1.
    3. -
  3. [2] +
  4. [2] A. Chugh, M. Kohlhase, and D. Müller (2023) Presentation of active documents in ALeA. @@ -379,102 +379,102 @@

    Papers at Peer-Reviewed Workshops

     Note: submitted -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    5. -
  5. [4] +
  6. [4] D. Müller and C. Kaliszyk (2021) Disambiguating symbolic expressions in informal documents. In International Conference on Learning Representations, -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    7. -
  7. [6] +
  8. [6] D. Müller and F. Rabe (2019) Rapid prototyping formal systems in mmt: 5 case studies. In LFMTP 2019, -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    9. -
  9. [5] +
  10. [5] D. Müller, F. Rabe, and M. Kohlhase (2018) Theories as types. In 9th international joint conference on automated reasoning9th International Joint Conference on Automated Reasoning, D. Galmiche, S. Schulz, and R. Sebastiani (Eds.), -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    11. -
  11. [8] +
  12. [8] F. Rabe and D. Müller (2018) Structuring theories with implicit morphisms. In 24th International Workshop on Algebraic Development Techniques 2018, -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    13. -
  13. [7] +
  14. [7] D. Müller, C. Rothgang, Y. Liu, and F. Rabe (2017) Alignment-based translations across formal systems using interface theories. In Fifth Workshop on Proof eXchange for Theorem Proving - PxTP 2017, -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    15. -
  15. [10] +
  16. [10] M. Rupprecht, M. Kohlhase, and D. Müller (2017) A flexible, interactive theory-graph viewer. In MathUI 2017: the 12th workshop on mathematical user interfacesMathUI 2017: The 12th Workshop on Mathematical User Interfaces, A. Kohlhase and M. Pollanen (Eds.), -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    17. -
  17. [3] +
  18. [3] C. Kaliszyk, M. Kohlhase, D. Müller, and F. Rabe (2016) A standard for aligning mathematical concepts. In Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers, M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, and M. Suda (Eds.), -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    19. -
  19. [9] +
  20. [9] D. Rochau, M. Kohlhase, and D. Müller (2016) FrameIT reloaded: serious math games from modular math ontologies. In Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers, M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, and M. Suda (Eds.), -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

Technical Reports

    -
  1. [1] +
  2. [1] J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2018) Report on OpenDreamKit deliverable d6.5: gap/sage/lmfdb interface theories and alignment in omdoc/mmt for system interoperability. @@ -483,11 +483,11 @@

    Technical Reports

     Technical Report D6.5, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    3. -
  3. [2] +
  4. [2] J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2018) Report on OpenDreamKit deliverable d6.8: curated math-in-the-middle ontology and alignments for gap/sage/lmfdb. @@ -496,11 +496,11 @@

    Technical Reports

     Technical Report D6.8, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    5. -
  5. [5] +
  6. [5] M. Kohlhase, T. Koprucki, D. Müller, and K. Tabelow (2017) Mathematical models as research data via flexiformal theory graphs. @@ -509,11 +509,11 @@

    Technical Reports

     Technical Report 2385. -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.
    7. -
  7. [7] +
  8. [7] T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2017) Model pathway diagrams for the representation of mathematical models. @@ -522,11 +522,11 @@

    Technical Reports

     Technical Report 2431. -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.
    9. -
  9. [3] +
  10. [3] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016) Report on OpenDreamKit deliverable d6.3: design of triform (D/K/S) theories (specification/rnc schema/examples) and implementation of triform theories in the MMT API. @@ -535,11 +535,11 @@

    Technical Reports

     Technical Report D6.2, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    11. -
  11. [4] +
  12. [4] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016) Report on OpenDreamKit deliverables d6.2: initial D/K/S base design (including base survey and requirements workshop report) and d6.3: design of triform (D/K/S) theories (specification/RNC schema/examples) and implementation of triform theories in the mmt api. @@ -548,43 +548,43 @@

    Technical Reports

     Technical Report D6.2, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    13. -
  13. [6] +
  14. [6] M. Kohlhase and D. Müller The sTeX3 manual. Technical report -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

Unpublished

    -
  1. [1] +
  2. [1] J. Carette, W. M. Farmer, Y. Sharoda, K. Berčič, M. Kohlhase, D. Müller, and F. Rabe (2020) The space of mathematical software systems – a survey of paradigmatic systems. Note: preprint; http://arxiv.org/abs/2002.04955 -Cited by: p1. +Cited by: p1.
    3. -
  3. [2] +
  4. [2] F. Rabe and D. Müller (2018) Structuring theories with implicit morphisms. Extended Abstract. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
diff --git a/frabe/index.html b/frabe/index.html index 65606af1..8f444126 100644 --- a/frabe/index.html +++ b/frabe/index.html @@ -69,52 +69,52 @@

Florian Rabe

Archival Literature

Articles in Journals

    -
  1. [3] +
  2. [3] J. Carette, W. M. Farmer, M. Kohlhase, and F. Rabe (2021) Big math and the one-brain barrier – the tetrapod model of mathematical knowledge. Mathematical Intelligencer 43 (1). -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.
    3. -
  3. [11] +
  4. [11] M. Kohlhase and F. Rabe (2021) Experiences from exporting major proof assistant libraries. Journal of Automated Reasoning 65 (8), pp. 1265–1298. -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.
    5. -
  5. [2] +
  6. [2] K. Berčič, M. Kohlhase, and F. Rabe (2020) (Deep) fair mathematics. it – Information Technology 62 (1), pp. 7–17. -External Links: Document, -Link +External Links: Document, +Link -Cited by: p1. +Cited by: p1.
    7. -
  7. [12] +
  8. [12] T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2018) Model pathway diagrams for the representation of mathematical models. Journal of Optical and Quantum Electronics 50 (2), pp. 70. -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.
    9. -
  9. [4] +
  10. [4] G. Dowek, C. Dubois, B. Pientka, and F. Rabe (2017) Universality of Proofs (Dagstuhl Seminar 16421). @@ -123,47 +123,47 @@

    Articles in Journals

     Note: see http://drops.dagstuhl.de/opus/volltexte/2017/6951/ -Cited by: p1. +Cited by: p1.
    11. -
  11. [21] +
  12. [21] F. Rabe (2017) How to Identify, Translate, and Combine Logics?. Journal of Logic and Computation 27 (6), pp. 1753–1798. -Cited by: p1. +Cited by: p1.
    13. -
  13. [22] +
  14. [22] F. Rabe (2017) Morphism Axioms. Theoretical Computer Science 691, pp. 55–80. -Cited by: p1. +Cited by: p1.
    15. -
  15. [10] +
  16. [10] M. Kohlhase and F. Rabe (2016) QED reloaded: towards a pluralistic formal library of mathematical knowledge. Journal of Formalized Reasoning 9 (1), pp. 201–234. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    17. -
  17. [19] +
  18. [19] F. Rabe (2015) Lax Theory Morphisms. ACM Transactions on Computational Logic 17 (1). -Cited by: p1. +Cited by: p1.
    19. -
  19. [20] +
  20. [20] F. Rabe (2015) The Future of Logic: Foundation-Independence. @@ -172,137 +172,137 @@

    Articles in Journals

     Note: Winner of the Contest “The Future of Logic” at the World Congress on Universal Logic -External Links: Document, -Link +External Links: Document, +Link -Cited by: p1. +Cited by: p1.
    21. -
  21. [7] +
  22. [7] M. Iancu, M. Kohlhase, F. Rabe, and J. Urban (2013) The Mizar Mathematical Library in OMDoc: translation and applications. Journal of Automated Reasoning 50 (2), pp. 191–202. -External Links: Link, -Document +External Links: Link, +Document -Cited by: p1. +Cited by: p1.
    23. -
  23. [13] +
  24. [13] F. Rabe and M. Kohlhase (2013) A scalable module system. Information & Computation 0 (230), pp. 1–54. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    25. -
  25. [15] +
  26. [15] F. Rabe and K. Sojakova (2013) Logical Relations for a Logical Framework. ACM Transactions on Computational Logic. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    27. -
  27. [18] +
  28. [18] F. Rabe (2013) A Logical Framework Combining Model and Proof Theory. Mathematical Structures in Computer Science 23 (5), pp. 945–1001. -Cited by: p1. +Cited by: p1.
    29. -
  29. [9] +
  30. [9] M. Kohlhase and F. Rabe (2012) Semantics of OpenMath and MathML3. Mathematics in Computer Science 6 (3), pp. 235–260. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    31. -
  31. [17] +
  32. [17] F. Rabe (2012) A logical framework combining model and proof theory. Mathematical Structures in Computer Science. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    33. -
  33. [1] +
  34. [1] S. Awodey and F. Rabe (2011) Kripke Semantics for Martin-Löf’s Extensional Type Theory. Logical Methods in Computer Science 7 (3). -Cited by: p1. +Cited by: p1.
    35. -
  35. [6] +
  36. [6] F. Horozal and F. Rabe (2011) Representing Model Theory in a Type-Theoretical Logical Framework. Theoretical Computer Science 412 (37), pp. 4919–4945. -Cited by: p1. +Cited by: p1.
    37. -
  37. [8] +
  38. [8] M. Iancu and F. Rabe (2011) Formalizing Foundations of Mathematics. Mathematical Structures in Computer Science 21 (4), pp. 883–911. -External Links: Document, -Link +External Links: Document, +Link -Cited by: p1. +Cited by: p1.
    39. -
  39. [16] +
  40. [16] F. Rabe (2010) Review of “Reasoning in Simple Type Theory – Festschrift in Honor of Peter B. Andrews on his 70th Birthday”. Bulletin of Symbolic Logic 16 (3), pp. 409–411. -Cited by: p1. +Cited by: p1.
    41. -
  41. [5] +
  42. [5] J. Goguen, T. Mossakowski, V. de Paiva, F. Rabe, and L. Schröder (2008) An Institutional View on Categorical Logic. International Journal of Software and Informatics 1 (1), pp. 129–152. -Cited by: p1. +Cited by: p1.
    43. -
  43. [14] +
  44. [14] F. Rabe, P. Pudlák, G. Sutcliffe, and W. Shen (2007) Solving the $100 Modal Logic Challenge. Journal of Applied Logic 1 (1). -Cited by: p1. +Cited by: p1.

Papers at International, Peer-Reviewed Conferences

    -
  1. [25] +
  2. [25] D. Lohr, M. Berges, M. Kohlhase, and F. Rabe (2023) The potential of answer classes in large-scale written computer-science exams. @@ -313,11 +313,11 @@

    Papers at International, Peer-Reviewed Conferences

     Note: Accepted -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    3. -
  3. [4] +
  4. [4] K. Berčič, M. Kohlhase, and F. Rabe (2020) Towards a heterogeneous query language for mathematical knowledge. @@ -326,11 +326,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, Vol. 12236, pp. 39–54. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    5. -
  5. [22] +
  6. [22] M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020) Logic-independent proof search in logical frameworks (short paper). @@ -339,9 +339,9 @@

    Papers at International, Peer-Reviewed Conferences

     pp. 395–401. -Cited by: p1. +Cited by: p1.
    7. -
  7. [26] +
  8. [26] R. Marcus, M. Kohlhase, and F. Rabe (2020) TGView3D: a system for 3-dimensional visualization of theory graphs. @@ -350,11 +350,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, Vol. 12236, pp. 290–296. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    9. -
  9. [30] +
  10. [30] D. Müller, F. Rabe, C. Rothgang, and M. Kohlhase (2020) Representing structural language features in formal meta-languages. @@ -363,11 +363,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, Vol. 12236, pp. 206–221. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    11. -
  11. [1] +
  12. [1] K. Amann, M. Kohlhase, F. Rabe, and T. Wiesing (2019) Integrating semantic mathematical documents and dynamic notebooks. @@ -376,11 +376,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 275–290. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    13. -
  13. [3] +
  14. [3] K. Berčič, M. Kohlhase, and F. Rabe (2019) Towards a unified mathematical data infrastructure: database and interface generation. @@ -389,11 +389,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 28–43. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    15. -
  15. [7] +
  16. [7] A. Condoluci, M. Kohlhase, D. Müller, F. Rabe, C. Sacerdoti Coen, and M. Wenzel (2019) Relational data across mathematical libraries. @@ -402,11 +402,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 61–76. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    17. -
  17. [31] +
  18. [31] D. Müller, F. Rabe, and C. Sacerdoti Coen (2019) The Coq Library as a Theory Graph. @@ -415,9 +415,9 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -Cited by: p1. +Cited by: p1.
    19. -
  19. [32] +
  20. [32] F. Rabe and Y. Sharoda (2019) Diagram combinators in MMT. @@ -427,11 +427,11 @@

    Papers at International, Peer-Reviewed Conferences

    LNAI, Cham, pp. 211–226. External Links: ISBN 978-3-030-23250-4, -Link +Link     -Cited by: p1. +Cited by: p1.
    21. -
  21. [28] +
  22. [28] D. Müller, M. Kohlhase, and F. Rabe (2018) Automatically finding theory morphisms for knowledge management. @@ -440,22 +440,22 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    23. -
  23. [29] +
  24. [29] D. Müller, F. Rabe, and M. Kohlhase (2018) Theories as types. In 9th international joint conference on automated reasoning9th International Joint Conference on Automated Reasoning, D. Galmiche, S. Schulz, and R. Sebastiani (Eds.), -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    25. -
  25. [20] +
  26. [20] M. Kohlhase, D. Müller, S. Owre, and F. Rabe (2017) Making PVS accessible to generic services by interpretation in a universal format. @@ -464,11 +464,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS, Vol. 10499. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    27. -
  27. [21] +
  28. [21] M. Kohlhase, D. Müller, M. Pfeiffer, F. Rabe, N. Thiéry, V. Vasilyev, and T. Wiesing (2017) Knowledge-based interoperability for mathematical software systems. @@ -477,11 +477,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS, pp. 195–210. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    29. -
  29. [27] +
  30. [27] D. Müller, T. Gauthier, C. Kaliszyk, M. Kohlhase, and F. Rabe (2017) Classification of alignments between concepts of formal mathematical systems. @@ -490,11 +490,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    31. -
  31. [37] +
  32. [37] T. Wiesing, M. Kohlhase, and F. Rabe (2017) Virtual theories – a uniform interface to mathematical knowledge bases. @@ -503,11 +503,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS, pp. 243–257. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    33. -
  33. [10] +
  34. [10] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016) Interoperability in the OpenDreamKit project: the math-in-the-middle approach. @@ -516,11 +516,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    35. -
  35. [15] +
  36. [15] F. Horozal, M. Kohlhase, and F. Rabe (2014) Flexary operators for formalized mathematics. @@ -529,11 +529,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS, pp. 312–327. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    37. -
  37. [17] +
  38. [17] C. Kaliszyk and F. Rabe (2014) Towards knowledge management for HOL Light. @@ -542,11 +542,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS, pp. 357–372. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    39. -
  39. [18] +
  40. [18] M. Kohlhase, F. Mance, and F. Rabe (2013) A universal machine for biform theory graphs. @@ -555,11 +555,11 @@

    Papers at International, Peer-Reviewed Conferences

     Lecture Notes in Computer Science. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    41. -
  41. [35] +
  42. [35] F. Rabe (2013) The MMT API: A Generic MKM System. @@ -568,9 +568,9 @@

    Papers at International, Peer-Reviewed Conferences

     Lecture Notes in Computer Science, pp. 339–343. -Cited by: p1. +Cited by: p1.
    43. -
  43. [14] +
  44. [14] F. Horozal, M. Kohlhase, and F. Rabe (2012) Extending MKM formats at the statement level. @@ -579,11 +579,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 65–80. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    45. -
  45. [16] +
  46. [16] M. Iancu and F. Rabe (2012) Management of Change in Declarative Languages. @@ -592,9 +592,9 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 325–340. -Cited by: p1. +Cited by: p1.
    47. -
  47. [34] +
  48. [34] F. Rabe (2012) A Query Language for Formal Mathematical Libraries. @@ -605,9 +605,9 @@

    Papers at International, Peer-Reviewed Conferences

     External Links: 1204.4685 -Cited by: p1. +Cited by: p1.
    49. -
  49. [5] +
  50. [5] M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, and F. Rabe (2011) A Proof Theoretic Interpretation of Model Theoretic Hiding. @@ -616,9 +616,9 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS. -Cited by: p1. +Cited by: p1.
    51. -
  51. [6] +
  52. [6] M. Codescu, F. Horozal, M. Kohlhase, T. Mossakowski, F. Rabe, and K. Sojakova (2011) Towards Logical Frameworks in the Heterogeneous Tool Set Hets. @@ -627,9 +627,9 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS. -Cited by: p1. +Cited by: p1.
    53. -
  53. [12] +
  54. [12] F. Horozal, A. Iacob, C. Jucovschi, M. Kohlhase, and F. Rabe (2011) Combining source, content, presentation, narration, and relational representation. @@ -638,11 +638,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 212–227. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    55. -
  55. [13] +
  56. [13] F. Horozal, M. Kohlhase, and F. Rabe (2011) Extending OpenMath with Sequences. @@ -651,11 +651,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 58–72. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    57. -
  57. [23] +
  58. [23] M. Kohlhase, F. Rabe, and C. Sacerdoti Coen (2011) A foundational view on integration problems. @@ -666,11 +666,11 @@

    Papers at International, Peer-Reviewed Conferences

     Note: https://kwarc.info/kohlhase/papers/cicm11-integration.pdf -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    59. -
  59. [8] +
  60. [8] C. David, C. Lange, and F. Rabe (2010) Interactive Documents as Interfaces to Computer Algebra Systems: JOBAD and Wolfram—Alpha. @@ -679,9 +679,9 @@

    Papers at International, Peer-Reviewed Conferences

     Technical Reports of CEDRIC (CNAM/ENSIIE), pp. 13–30. -Cited by: p1. +Cited by: p1.
    61. -
  61. [9] +
  62. [9] C. David, M. Kohlhase, C. Lange, F. Rabe, N. Zhiltsov, and V. Zholudev (2010) Publishing math lecture notes as linked data. @@ -692,9 +692,9 @@

    Papers at International, Peer-Reviewed Conferences

     External Links: 1004.3390v1 -Cited by: p1. +Cited by: p1.
    63. -
  63. [24] +
  64. [24] M. Kohlhase, F. Rabe, and V. Zholudev (2010) Towards MKM in the large: modular representation and scalable software architecture. @@ -705,20 +705,20 @@

    Papers at International, Peer-Reviewed Conferences

     External Links: 1005.5232v2 -Cited by: p1. +Cited by: p1.
    65. -
  65. [38] +
  66. [38] V. Zholudev, M. Kohlhase, and F. Rabe (2010) A [insert xml format] database for [insert cool application]. In Proceedings of XML Prague 2010Proceedings of XML Prague 2010, -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    67. -
  67. [11] +
  68. [11] J. Gičeva, C. Lange, and F. Rabe (2009-07) Integrating web services into active mathematical documents. @@ -727,11 +727,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 279–293. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    69. -
  69. [2] +
  70. [2] S. Awodey and F. Rabe (2009) Kripke Semantics for Martin-Löf’s Extensional Type Theory. @@ -740,9 +740,9 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS, Vol. 5608, pp. 249–263. -Cited by: p1. +Cited by: p1.
    71. -
  71. [36] +
  72. [36] K. Sojakova and F. Rabe (2009) Translating Dependently-Typed Logic to First-Order Logic. @@ -751,9 +751,9 @@

    Papers at International, Peer-Reviewed Conferences

     LNCS, Vol. 5486, pp. 326–341. -Cited by: p1. +Cited by: p1.
    73. -
  73. [19] +
  74. [19] M. Kohlhase, C. Müller, and F. Rabe (2008) Notations for living mathematical documents. @@ -762,11 +762,11 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 504–519. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    75. -
  75. [33] +
  76. [33] F. Rabe (2006) First-Order Logic with Dependent Types. @@ -775,45 +775,45 @@

    Papers at International, Peer-Reviewed Conferences

     LNAI, pp. 377–391. -Cited by: p1. +Cited by: p1.

Conference Proceedings Edited

    -
  1. [2] +
  2. [2] 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.) (2018) Workshop papers at 11th conference on intelligent computer mathematics cicm 2018. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    3. -
  3. [4] +
  4. [4] F. Rabe, W. M. Farmer, G. O. Passmore, and A. Youssef (Eds.) (2018) Intelligent computer mathematics. LNAI, Springer. -External Links: Document, +External Links: Document, ISBN 978-3-319-96811-7 -Cited by: p1. +Cited by: p1.
    5. -
  5. [3] +
  6. [3] H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.) (2017) Intelligent computer mathematics. LNAI, Springer. -External Links: Document, +External Links: Document, ISBN 978-3-319-62074-9 -Cited by: p1. +Cited by: p1.
    7. -
  7. [1] +
  8. [1] J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.) (2011) Intelligent computer mathematics. @@ -822,21 +822,21 @@

    Conference Proceedings Edited

     External Links: ISBN 978-3-642-22672-4 -Cited by: p1. +Cited by: p1.

Theses

    -
  1. [1] +
  2. [1] F. Rabe (2008) Representing Logics and Logic Translations. Ph.D. Thesis, Jacobs University Bremen. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

Gray Literature

@@ -1534,7 +1534,7 @@

Papers at Peer-Reviewed Workshops

Technical Reports

    -
  1. [1] +
  2. [1] K. Amann, M. Kohlhase, and F. Rabe (2018) Notebook import into mathhub.info (interactive display). @@ -1543,11 +1543,11 @@

    Technical Reports

     Technical Report D4.11, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    3. -
  3. [2] +
  4. [2] J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2018) Report on OpenDreamKit deliverable d6.8: curated math-in-the-middle ontology and alignments for gap/sage/lmfdb. @@ -1556,11 +1556,11 @@

    Technical Reports

     Technical Report D6.8, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    5. -
  5. [10] +
  6. [10] T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe (2017) Model pathway diagrams for the representation of mathematical models. @@ -1569,11 +1569,11 @@

    Technical Reports

     Technical Report 2431. -External Links: Document +External Links: Document -Cited by: p1. +Cited by: p1.
    7. -
  7. [3] +
  8. [3] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016) Report on OpenDreamKit deliverable d6.3: design of triform (D/K/S) theories (specification/rnc schema/examples) and implementation of triform theories in the MMT API. @@ -1582,11 +1582,11 @@

    Technical Reports

     Technical Report D6.2, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    9. -
  9. [4] +
  10. [4] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016) Report on OpenDreamKit deliverables d6.2: initial D/K/S base design (including base survey and requirements workshop report) and d6.3: design of triform (D/K/S) theories (specification/RNC schema/examples) and implementation of triform theories in the mmt api. @@ -1595,20 +1595,20 @@

    Technical Reports

     Technical Report D6.2, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    11. -
  11. [11] +
  12. [11] F. Rabe and M. Kohlhase (2012) An XML-based syntax for MMT. Technical report -Cited by: p1. +Cited by: p1.
    13. -
  13. [5] +
  14. [5] M. Iancu, M. Kohlhase, and F. Rabe (2011) Translating the Mizar Mathematical Library into OMDoc format. @@ -1617,9 +1617,9 @@

    Technical Reports

     Technical Report KWARC Report-01/11, Jacobs University Bremen. -Cited by: p1. +Cited by: p1.
    15. -
  15. [6] +
  16. [6] M. Iancu, M. Kohlhase, and F. Rabe (2011) Translating the Mizar Mathematical Library into OMDoc format. @@ -1630,11 +1630,11 @@

    Technical Reports

     Note: http://uniformal.github.io/doc/applications/LATIN/docs/Mizar2OMDoc-Report.pdf -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    17. -
  17. [12] +
  18. [12] V. Zholudev, M. Kohlhase, and F. Rabe (2010) A [insert xml format] database for [insert cool application] (extended version). @@ -1645,11 +1645,11 @@

    Technical Reports

     Note: https://kwarc.info/vzholudev/pubs/XMLPrague_long.pdf -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    19. -
  19. [9] +
  20. [9] M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009-02) Notations for active mathematical documents. @@ -1660,11 +1660,11 @@

    Technical Reports

     Note: https://kwarc.info/publications/papers/KLMMR_NfAD.pdf -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    21. -
  21. [7] +
  22. [7] M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009) Notations for Active Mathematical Documents. @@ -1673,9 +1673,9 @@

    Technical Reports

     Technical Report 2009-1, Jacobs University Bremen. -Cited by: p1. +Cited by: p1.
    23. -
  23. [8] +
  24. [8] M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2008-04) Adaptation of notations in living mathematical documents. @@ -1684,25 +1684,25 @@

    Technical Reports

     Technical Report 2008-2, Jacobs University Bremen. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

Unpublished

    -
  1. [13] +
  2. [13] F. Rabe and N. Roux (2021) Modular formalization of formal systems. Note: under review -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    3. -
  3. [21] +
  4. [21] N. Roux and F. Rabe (2021) Structure-Preserving Diagram Operators. @@ -1711,188 +1711,188 @@

    Unpublished

     Lecture Notes in Computer Science, Vol. 12669, pp. 142–163. -External Links: Link, +External Links: Link, ISBN 978-3-030-73785-6, -Document +Document -Cited by: 20. +Cited by: 20.
    5. -
  5. [2] +
  6. [2] J. Carette, W. M. Farmer, Y. Sharoda, K. Berčič, M. Kohlhase, D. Müller, and F. Rabe (2020) The space of mathematical software systems – a survey of paradigmatic systems. Note: preprint; http://arxiv.org/abs/2002.04955 -Cited by: p1. +Cited by: p1.
    7. -
  7. [7] +
  8. [7] 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 +External Links: Link -Cited by: p1. +Cited by: p1.
    9. -
  9. [8] +
  10. [8] M. Kohlhase, F. Rabe, and M. Wenzel (2020) Making Isabelle content accessible in knowledge representation formats. -External Links: Link, +External Links: Link, 2005.08884 -Cited by: p1. +Cited by: p1.
    11. -
  11. [9] +
  12. [9] M. Kohlhase and F. Rabe (2020) Experiences from exporting major proof assistant libraries. -External Links: Link, +External Links: Link, 2005.03089 -Cited by: p1. +Cited by: p1.
    13. -
  13. [19] +
  14. [19] N. Roux and F. Rabe (2020) Diagram Operators in a Logical Framework. Extended Abstract, Frontiers in Artificial Intelligence and Applications. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    15. -
  15. [20] +
  16. [20] N. Roux and F. Rabe (2020) Functorial Diagram Operators. Extended Abstract. -Note: Extended abstract accepted as [21] +Note: Extended abstract accepted as [21] -Cited by: p1. +Cited by: p1.
    17. -
  17. [12] +
  18. [12] F. Rabe and D. Müller (2018) Structuring theories with implicit morphisms. Extended Abstract. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    19. -
  19. [18] +
  20. [18] F. Rabe (2018) MMT: a foundation-independent logical framework. Online Documentation. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    21. -
  21. [4] +
  22. [4] M. Iancu, M. Kohlhase, F. Rabe, and H. Yuan (2016) Mixing surface languages for OMDoc. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    23. -
  23. [5] +
  24. [5] M. Iancu, M. Kohlhase, and F. Rabe (2016) Understanding the pragmatics of module systems for mathematics. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    25. -
  25. [17] +
  26. [17] F. Rabe (2012) A type theory based on reflection. Note: Manuscript -Cited by: p1. +Cited by: p1.
    27. -
  27. [3] +
  28. [3] F. Horozal, M. Kohlhase, F. Rabe, and K. Sojakova (2010) Towards an atlas of logics. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    29. -
  29. [11] +
  30. [11] F. Rabe and M. Iancu (2010) A Formalized Set-Theoretical Semantics of Isabelle/HOL. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    31. -
  31. [1] +
  32. [1] S. Awodey and F. Rabe (2009) Kripke Semantics for Martin-Löf’s Extensional Type Theory. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    33. -
  33. [6] +
  34. [6] M. Kohlhase, C. Lange, C. Müller, N. Müller, and F. Rabe (2009) Notations for Active Mathematical Documents. -Cited by: p1. +Cited by: p1.
    35. -
  35. [16] +
  36. [16] F. Rabe (2009) The MMT Language. -Cited by: p1. +Cited by: p1.
    37. -
  37. [15] +
  38. [15] F. Rabe (2008) Institutions with Proofs and their Representation in a Logical Framework. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    39. -
  39. [10] +
  40. [10] R. Marcus, M. Kohlhase, and F. Rabe TGView3D system description: 3-dimensional visualization of theory graphs. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    41. -
  41. [14] +
  42. [14] F. Rabe Theory expressions (a survey). -Cited by: p1. +Cited by: p1.

Miscellaneous

diff --git a/index.html b/index.html index e7e1a7d4..a3bfc367 100644 --- a/index.html +++ b/index.html @@ -8777,16 +8777,7 @@

Technical Reports

Unpublished

    -
  1. [21] -M. Kohlhase and M. Schütz (2024) - -Reusing learning objects via theory morphisms. - -External Links: Link - -Cited by: p1. -
    2. -
  2. [49] +
  3. [48] N. Roux (2022-07-21) A framework for defining structure-preserving diagram operators (slides). @@ -8797,7 +8788,7 @@

    Unpublished

     Cited by: p1.
    4. -
  4. [48] +
  5. [47] N. Roux (2021-03-22) A beginner’s guide to logical relations for a logical framework. @@ -8810,7 +8801,7 @@

    Unpublished

     Cited by: p1.
    6. -
  6. [47] +
  7. [46] N. Roux (2021-01-27) A beginner’s guide to logical relations for a logical framework (slides). @@ -8823,7 +8814,7 @@

    Unpublished

     Cited by: p1.
    8. -
  8. [36] +
  9. [35] F. Rabe and N. Roux (2021) Modular formalization of formal systems. @@ -8834,7 +8825,7 @@

    Unpublished

     Cited by: p1.
    10. -
  10. [45] +
  11. [44] N. Roux and F. Rabe (2021) Structure-Preserving Diagram Operators. @@ -8847,7 +8838,7 @@

    Unpublished

    ISBN 978-3-030-73785-6, Document     -Cited by: 44. +Cited by: 43.
  12. [3] J. Carette, W. M. Farmer, Y. Sharoda, K. Berčič, M. Kohlhase, D. Müller, and F. Rabe (2020) @@ -8905,7 +8896,7 @@

    Unpublished

     Cited by: p1.
    13. -
  13. [42] +
  14. [41] M. Rapp, A. Adrian, and M. Kohlhase (2020) Context graphs for legal reasoning and argumentation. @@ -8915,7 +8906,7 @@

    Unpublished

     Cited by: p1.
    15. -
  15. [43] +
  16. [42] N. Roux and F. Rabe (2020) Diagram Operators in a Logical Framework. @@ -8926,18 +8917,18 @@

    Unpublished

     Cited by: p1.
    17. -
  17. [44] +
  18. [43] N. Roux and F. Rabe (2020) Functorial Diagram Operators. Extended Abstract. -Note: Extended abstract accepted as [45] +Note: Extended abstract accepted as [44] Cited by: p1.
    19. -
  19. [46] +
  20. [45] N. Roux (2019-07-15) Refactoring of theory graphs in knowledge representation systems (slides). @@ -8948,7 +8939,7 @@

    Unpublished

     Cited by: p1.
    21. -
  21. [35] +
  22. [34] F. Rabe and D. Müller (2018) Structuring theories with implicit morphisms. @@ -8959,7 +8950,7 @@

    Unpublished

     Cited by: p1.
    23. -
  23. [41] +
  24. [40] F. Rabe (2018) MMT: a foundation-independent logical framework. @@ -8997,7 +8988,7 @@

    Unpublished

     Cited by: p1.
    25. -
  25. [30] +
  26. [29] M. Kohlhase (2016) An open markup format for mathematical documents OMDoc [version 1.3]. @@ -9008,7 +8999,7 @@

    Unpublished

     Cited by: p1.
    27. -
  27. [31] +
  28. [30] M. Kohlhase (2016) An open markup format for mathematical documents OMDoc [version 1.6 (pre-2.0)]. @@ -9019,7 +9010,7 @@

    Unpublished

     Cited by: p1.
    29. -
  29. [50] +
  30. [49] A. Toader, M. Kohlhase, and A. Kohlhase (2015) Assessment for spreadsheets via theory graphs. @@ -9048,7 +9039,7 @@

    Unpublished

     Cited by: p1.
    31. -
  31. [28] +
  32. [27] M. Kohlhase (2014) Content management in smglom. @@ -9059,7 +9050,7 @@

    Unpublished

     Cited by: p1.
    33. -
  33. [29] +
  34. [28] M. Kohlhase (2014) SMGloM primer. @@ -9088,7 +9079,7 @@

    Unpublished

     Cited by: p1.
    35. -
  35. [27] +
  36. [26] M. Kohlhase (2013) SMGloM: a semantic multilingual glossary system for mathematics. @@ -9130,7 +9121,7 @@

    Unpublished

     Cited by: p1.
    37. -
  37. [40] +
  38. [39] F. Rabe (2012) A type theory based on reflection. @@ -9148,7 +9139,7 @@

    Unpublished

     Cited by: p1.
    39. -
  39. [34] +
  40. [33] F. Rabe and M. Iancu (2010) A Formalized Set-Theoretical Semantics of Isabelle/HOL. @@ -9157,7 +9148,7 @@

    Unpublished

     Cited by: p1.
    41. -
  41. [51] +
  42. [50] V. Zholudev and C. Lange (2010) TNTBase – a versioned XML database. @@ -9166,7 +9157,7 @@

    Unpublished

     Cited by: p1.
    43. -
  43. [26] +
  44. [25] M. Kohlhase (2009-08) Towards bootstrapping the pragmatic to strict mapping in OMDoc. @@ -9191,7 +9182,7 @@

    Unpublished

     Cited by: p1.
    45. -
  45. [24] +
  46. [23] M. Kohlhase (2009) An OMDoc primer [version 1.6 (pre-2.0)]. @@ -9200,7 +9191,7 @@

    Unpublished

     Cited by: p1.
    47. -
  47. [25] +
  48. [24] M. Kohlhase (2009) OMDoc: an open markup format for mathematical documents; language specification, primer, projects, applications [version 1.6 (pre-2.0)]. @@ -9209,7 +9200,7 @@

    Unpublished

     Cited by: p1.
    49. -
  49. [33] +
  50. [32] N. Müller (2009) Change management on semi-structured documents. @@ -9220,7 +9211,7 @@

    Unpublished

     Cited by: p1.
    51. -
  51. [39] +
  52. [38] F. Rabe (2009) The MMT Language. @@ -9238,7 +9229,7 @@

    Unpublished

     Cited by: p1.
    53. -
  53. [38] +
  54. [37] F. Rabe (2008) Institutions with Proofs and their Representation in a Logical Framework. @@ -9247,7 +9238,7 @@

    Unpublished

     Cited by: p1.
    55. -
  55. [22] +
  56. [21] M. Kohlhase CodeML: an open markup format the content and presentatation of program code. @@ -9256,7 +9247,7 @@

    Unpublished

     Cited by: p1.
    57. -
  57. [23] +
  58. [22] M. Kohlhase The theorem prover museum – conserving the system heritage of automated reasoning. @@ -9265,7 +9256,7 @@

    Unpublished

     Cited by: p1.
    59. -
  59. [32] +
  60. [31] R. Marcus, M. Kohlhase, and F. Rabe TGView3D system description: 3-dimensional visualization of theory graphs. @@ -9274,7 +9265,7 @@

    Unpublished

     Cited by: p1.
    61. -
  61. [37] +
  62. [36] F. Rabe Theory expressions (a survey). diff --git a/mkohlhase/index.html b/mkohlhase/index.html index d2a2ebf9..0d78e02e 100644 --- a/mkohlhase/index.html +++ b/mkohlhase/index.html @@ -4702,15 +4702,6 @@

    Technical Reports

Unpublished

    -
  1. [15] -M. Kohlhase and M. Schütz (2024) - -Reusing learning objects via theory morphisms. - -External Links: Link - -Cited by: p1. -
  2. [2] J. Carette, W. M. Farmer, Y. Sharoda, K. Berčič, M. Kohlhase, D. Müller, and F. Rabe (2020) @@ -4767,7 +4758,7 @@

    Unpublished

    Cited by: p1.
    3. -
  3. [24] +
  4. [23] M. Rapp, A. Adrian, and M. Kohlhase (2020) Context graphs for legal reasoning and argumentation. @@ -4804,7 +4795,7 @@

    Unpublished

     Cited by: p1.
    5. -
  5. [21] +
  6. [20] M. Kohlhase (2016) An open markup format for mathematical documents OMDoc [version 1.3]. @@ -4815,7 +4806,7 @@

    Unpublished

     Cited by: p1.
    7. -
  7. [22] +
  8. [21] M. Kohlhase (2016) An open markup format for mathematical documents OMDoc [version 1.6 (pre-2.0)]. @@ -4826,7 +4817,7 @@

    Unpublished

     Cited by: p1.
    9. -
  9. [25] +
  10. [24] A. Toader, M. Kohlhase, and A. Kohlhase (2015) Assessment for spreadsheets via theory graphs. @@ -4844,7 +4835,7 @@

    Unpublished

     Cited by: p1.
    11. -
  11. [20] +
  12. [19] M. Kohlhase (2014) SMGloM primer. @@ -4891,7 +4882,7 @@

    Unpublished

     Cited by: p1.
    13. -
  13. [18] +
  14. [17] M. Kohlhase (2009) An OMDoc primer [version 1.6 (pre-2.0)]. @@ -4900,7 +4891,7 @@

    Unpublished

     Cited by: p1.
    15. -
  15. [19] +
  16. [18] M. Kohlhase (2009) OMDoc: an open markup format for mathematical documents; language specification, primer, projects, applications [version 1.6 (pre-2.0)]. @@ -4909,7 +4900,7 @@

    Unpublished

     Cited by: p1.
    17. -
  17. [16] +
  18. [15] M. Kohlhase CodeML: an open markup format the content and presentatation of program code. @@ -4918,7 +4909,7 @@

    Unpublished

     Cited by: p1.
    19. -
  19. [17] +
  20. [16] M. Kohlhase The theorem prover museum – conserving the system heritage of automated reasoning. @@ -4927,7 +4918,7 @@

    Unpublished

     Cited by: p1.
    21. -
  21. [23] +
  22. [22] R. Marcus, M. Kohlhase, and F. Rabe TGView3D system description: 3-dimensional visualization of theory graphs. diff --git a/twiesing/index.html b/twiesing/index.html index 82df322c..ee9dfd0d 100644 --- a/twiesing/index.html +++ b/twiesing/index.html @@ -60,7 +60,7 @@

    Tom Wiesing

    Archival Literature

    Papers at International, Peer-Reviewed Conferences

      -
    1. [1] +
    2. [1] K. Amann, M. Kohlhase, F. Rabe, and T. Wiesing (2019) Integrating semantic mathematical documents and dynamic notebooks. @@ -69,11 +69,11 @@

      Papers at International, Peer-Reviewed Conferences

       LNAI, pp. 275–290. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      3. -
    3. [5] +
    4. [5] M. Kohlhase, D. Müller, M. Pfeiffer, F. Rabe, N. Thiéry, V. Vasilyev, and T. Wiesing (2017) Knowledge-based interoperability for mathematical software systems. @@ -82,11 +82,11 @@

      Papers at International, Peer-Reviewed Conferences

       LNCS, pp. 195–210. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      5. -
    5. [6] +
    6. [6] T. Wiesing, M. Kohlhase, and F. Rabe (2017) Virtual theories – a uniform interface to mathematical knowledge bases. @@ -95,11 +95,11 @@

      Papers at International, Peer-Reviewed Conferences

       LNCS, pp. 243–257. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      7. -
    7. [2] +
    8. [2] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016) Interoperability in the OpenDreamKit project: the math-in-the-middle approach. @@ -108,11 +108,11 @@

      Papers at International, Peer-Reviewed Conferences

       LNAI. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      9. -
    9. [3] +
    10. [3] D. Ginev, M. Iancu, C. Jucovshi, A. Kohlhase, M. Kohlhase, A. Oripov, J. Schefter, W. Sperber, O. Teschke, and T. Wiesing (2016) The SMGloM project and system. towards a terminology and ontology for mathematics. @@ -121,11 +121,11 @@

      Papers at International, Peer-Reviewed Conferences

       LNCS, Vol. 9725. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      11. -
    11. [4] +
    12. [4] M. Iancu, C. Jucovschi, M. Kohlhase, and T. Wiesing (2014) System description: MathHub.info. @@ -134,51 +134,51 @@

      Papers at International, Peer-Reviewed Conferences

       LNCS, pp. 431–434. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

    Theses

      -
    1. [2] +
    2. [2] T. Wiesing (2017-08) Enabling cross-system communication using virtual theories and QMT. Master’s Thesis, Jacobs University Bremen, Bremen, Germany. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      3. -
    3. [1] +
    4. [1] T. Wiesing (2015) Semantic search for quantity expressions. B. Sc. Thesis, Jacobs University Bremen. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

    Gray Literature

    Papers at Peer-Reviewed Workshops

      -
    1. [1] +
    2. [1] D. Ginev, S. Lal, M. Kohlhase, and T. Wiesing (2015-07) KAT: an annotation tool for STEM documents. In Mathematical user interfaces workshop at CICMMathematical User Interfaces Workshop, A. Kohlhase and P. Libbrecht (Eds.), -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      3. -
    3. [2] +
    4. [2] M. Iancu, C. Jucovschi, M. Kohlhase, and T. Wiesing (2014) System description: MathHub.info. @@ -187,14 +187,14 @@

      Papers at Peer-Reviewed Workshops

       LNCS, pp. 431–434. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

    Technical Reports

      -
    1. [1] +
    2. [1] J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2018) Report on OpenDreamKit deliverable d6.5: gap/sage/lmfdb interface theories and alignment in omdoc/mmt for system interoperability. @@ -203,11 +203,11 @@

      Technical Reports

       Technical Report D6.5, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      3. -
    3. [2] +
    4. [2] J. Cremona, D. Müller, M. Kohlhase, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2018) Report on OpenDreamKit deliverable d6.8: curated math-in-the-middle ontology and alignments for gap/sage/lmfdb. @@ -216,11 +216,11 @@

      Technical Reports

       Technical Report D6.8, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      5. -
    5. [5] +
    6. [5] M. Kohlhase and T. Wiesing (2017) In-place computation in active documents (context/computation). @@ -229,11 +229,11 @@

      Technical Reports

       Technical Report D4.9, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      7. -
    7. [6] +
    8. [6] S. L. Luca De Feo and T. Wiesing (2017) Support for the scscp interface protocol in all relevant components (sage, gap etc.) distribution. @@ -242,11 +242,11 @@

      Technical Reports

       Technical Report D3.3, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      9. -
    9. [3] +
    10. [3] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016) Report on OpenDreamKit deliverable d6.3: design of triform (D/K/S) theories (specification/rnc schema/examples) and implementation of triform theories in the MMT API. @@ -255,11 +255,11 @@

      Technical Reports

       Technical Report D6.2, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
      11. -
    11. [4] +
    12. [4] P. Dehaye, M. Iancu, M. Kohlhase, A. Konovalov, S. Lelièvre, D. Müller, M. Pfeiffer, F. Rabe, N. M. Thiéry, and T. Wiesing (2016) Report on OpenDreamKit deliverables d6.2: initial D/K/S base design (including base survey and requirements workshop report) and d6.3: design of triform (D/K/S) theories (specification/RNC schema/examples) and implementation of triform theories in the mmt api. @@ -268,33 +268,33 @@

      Technical Reports

       Technical Report D6.2, OpenDreamKit. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

    Unpublished

      -
    1. [1] +
    2. [1] M. A. Dumitru, D. Ginev, M. Kohlhase, V. Merticariu, S. Mirea, and T. Wiesing (2014) System description: KAT an annotation tool for STEM documents. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.

    Miscellaneous

      -
    1. [1] +
    2. [1] A. Dumitru, D. Ginev, M. Kohlhase, V. Merticariu, S. Mirea, and T. Wiesing (2014) KAT: an annotation tool for STEM documents; manual. -External Links: Link +External Links: Link -Cited by: p1. +Cited by: p1.
    diff --git a/voll-ki/index.html b/voll-ki/index.html index 8d391876..1ef1f98b 100644 --- a/voll-ki/index.html +++ b/voll-ki/index.html @@ -52,9 +52,6 @@

    Project VoLL-KI at FAU

-
  • - Unpublished -
    • @@ -449,18 +446,6 @@

    Technical Reports

    External Links: Link Cited by: p1. - - -

    Unpublished

    -
      -
    1. [1] -M. Kohlhase and M. Schütz (2024) - -Reusing learning objects via theory morphisms. - -External Links: Link - -Cited by: p1.
    diff --git a/xml/kcr.bib.xml b/xml/kcr.bib.xml index 901acd7a..b6dfd8d7 100644 --- a/xml/kcr.bib.xml +++ b/xml/kcr.bib.xml @@ -165,14 +165,14 @@ pubs = {akohlhase}} Link - mkohlhase,mschuetz,voll-ki + pubs @unpublished{KohSch:rlotm24, title = {Reusing Learning Objects via Theory Morphisms}, author = {Michael Kohlhase and Marcel Sch{\"u}tz}, year = {2024}, crossref = {CICM24}, url = {https://url.mathhub.info/relocalization/}, - pubs = {mkohlhase,mschuetz,voll-ki}} + p = {pubs}} diff --git a/xml/kwarcpubs.bib.xml b/xml/kwarcpubs.bib.xml index 91305614..ed13857d 100644 --- a/xml/kwarcpubs.bib.xml +++ b/xml/kwarcpubs.bib.xml @@ -112,14 +112,14 @@ 2024 Link - mkohlhase,mschuetz,voll-ki + pubs @unpublished{KohSch:rlotm24, title = {Reusing Learning Objects via Theory Morphisms}, author = {Michael Kohlhase and Marcel Sch{\"u}tz}, year = {2024}, crossref = {CICM24}, url = {https://url.mathhub.info/relocalization/}, - pubs = {mkohlhase,mschuetz,voll-ki}} + p = {pubs}}