Auto-generated website for commit d43741b

KWARC · Nov 18, 2024 · b40a61e · b40a61e
1 parent 63127b6
commit b40a61e
Show file tree

Hide file tree

Showing 8 changed files with 741 additions and 665 deletions.
diff --git a/akohlhase/index.html b/akohlhase/index.html
@@ -606,7 +606,10 @@ <h4 id="cproceedings">Conference Proceedings Edited</h4>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Intelligent computer mathematics</span>.
 </span>
-<span class="ltx_bibblock"><span class="ltx_text ltx_bib_series">LNAI</span>,  <span class="ltx_text ltx_bib_publisher">Springer</span>.
+<span class="ltx_bibblock"><span class="ltx_text ltx_bib_series">LNAI</span>, Vol. <span class="ltx_text ltx_bib_volume">14960</span>,  <span class="ltx_text ltx_bib_publisher">Springer</span>.
+</span>
+<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><span class="ltx_text isbn ltx_bib_external">ISBN 978-3-031-66996-5</span>,
+<a href="https://dx.doi.org/10.1007/978-3-031-66997-2" title="" class="ltx_ref doi ltx_bib_external" shape="rect">Document</a></span>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
 </span></li>

diff --git a/frabe/index.html b/frabe/index.html
diff --git a/index.html b/index.html
diff --git a/mkohlhase/index.html b/mkohlhase/index.html
diff --git a/voll-ki/index.html b/voll-ki/index.html
@@ -52,9 +52,6 @@ <h1>Project VoLL-KI at FAU
                 </li>
               </ol>
             </li>
-            <li>
-              <a href="#unpublished">Unpublished</a>
-            </li>
           </ol>
         </div>
       </div>
@@ -133,6 +130,20 @@ <h4 id="article">Articles in Journals</h4>
           </ol>
           <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
           <ol class="ltx_biblist">
+            <li id="bib.bib10" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[9]</span>
+<span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase and M. Schütz</span><span class="ltx_text ltx_bib_year"> (2024)</span>
+</span>
+<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Reusing learning objects via theory morphisms</span>.
+</span>
+<span class="ltx_bibblock">In <span class="ltx_text ltx_bib_inbook">Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2024</span>,  <span class="ltx_text ltx_bib_editor">A. Kohlhase and L. Kovacz (Eds.)</span>,
+</span>
+<span class="ltx_bibblock"><span class="ltx_text ltx_bib_series">LNAI</span>, Vol. <span class="ltx_text ltx_bib_volume">14960</span>, <span class="ltx_text ltx_bib_pages"> pp. 165–182</span>.
+</span>
+<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://dx.doi.org/10.1007/978-3-031-66997-2%5F10" title="" class="ltx_ref doi ltx_bib_external">Document</a>,
+<a href="https://url.mathhub.info/relocalization/" title="" class="ltx_ref ltx_bib_external">Link</a></span>
+</span>
+<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
+</span></li>
             <li id="bib.bib28" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Berges, J. Betzendahl, A. Chugh, M. Kohlhase, D. Lohr, and D. Müller</span><span class="ltx_text ltx_bib_year"> (2023)</span>
 </span>
@@ -146,7 +157,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib22" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[9]</span>
+            <li id="bib.bib22" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[10]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">T. Kruse, M. Berges, J. Betzendahl, M. Kohlhase, D. Lohr, and D. Müller</span><span class="ltx_text ltx_bib_year"> (2023)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Learning with alea: tailored experiences through annotated course material</span>.
@@ -159,7 +170,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib27" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[10]</span>
+            <li id="bib.bib27" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[11]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">D. Lohr, M. Berges, M. Kohlhase, D. Müller, and M. Rapp</span><span class="ltx_text ltx_bib_year"> (2023)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">The Y-Model – formalization of computer-science tasks in the context of adaptive learning systems</span>.
@@ -170,7 +181,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib24" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[11]</span>
+            <li id="bib.bib24" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[12]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">D. Lohr, M. Berges, M. Kohlhase, and F. Rabe</span><span class="ltx_text ltx_bib_year"> (2023)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">The potential of answer classes in large-scale written computer-science exams</span>.
@@ -198,7 +209,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib48" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[13]</span>
+            <li id="bib.bib48" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[14]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">D. Müller and M. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2022)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Injecting formal mathematics into latex</span>.
@@ -225,7 +236,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib44" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[16]</span>
+            <li id="bib.bib44" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[17]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">P. Shah, M. Berges, and P. Hubwieser</span><span class="ltx_text ltx_bib_year"> (2017)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Qualitative content analysis of programming errors</span>.
@@ -272,7 +283,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib41" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[12]</span>
+            <li id="bib.bib41" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[13]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Margaritis, J. Magenheim, P. Hubwieser, M. Berges, L. Ohrndorf, and S. Schubert</span><span class="ltx_text ltx_bib_year"> (2015)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Development of a competency model for computer science teachers at secondary school level</span>.
@@ -285,7 +296,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib43" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[15]</span>
+            <li id="bib.bib43" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[16]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Ruf, M. Berges, and P. Hubwieser</span><span class="ltx_text ltx_bib_year"> (2015)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Classification of programming tasks according to required skills and knowledge representation</span>.
@@ -327,7 +338,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib42" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[14]</span>
+            <li id="bib.bib42" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[15]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">A. Ruf, M. Berges, and P. Hubwieser</span><span class="ltx_text ltx_bib_year"> (2013)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Types of assignments for novice programmers</span>.
@@ -397,6 +408,20 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 <span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/papers/mathui24-dbloom.pdf" title="" class="ltx_ref ltx_bib_external">Link</a></span>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
+</span></li>
+            <li id="bib.bib10" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[6]</span>
+<span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase and M. Schütz</span><span class="ltx_text ltx_bib_year"> (2024)</span>
+</span>
+<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Reusing learning objects via theory morphisms</span>.
+</span>
+<span class="ltx_bibblock">In <span class="ltx_text ltx_bib_inbook">Intelligent computer mathematicsIntelligent Computer Mathematics (CICM) 2024</span>,  <span class="ltx_text ltx_bib_editor">A. Kohlhase and L. Kovacz (Eds.)</span>,
+</span>
+<span class="ltx_bibblock"><span class="ltx_text ltx_bib_series">LNAI</span>, Vol. <span class="ltx_text ltx_bib_volume">14960</span>, <span class="ltx_text ltx_bib_pages"> pp. 165–182</span>.
+</span>
+<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://dx.doi.org/10.1007/978-3-031-66997-2%5F10" title="" class="ltx_ref doi ltx_bib_external">Document</a>,
+<a href="https://url.mathhub.info/relocalization/" title="" class="ltx_ref ltx_bib_external">Link</a></span>
+</span>
+<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
             <li id="bib.bib23" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">J. Betzendahl, M. Kohlhase, and D. Müller</span><span class="ltx_text ltx_bib_year"> (2023)</span>
@@ -449,18 +474,6 @@ <h4 id="report">Technical Reports</h4>
 <span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://github.com/slatex/sTeX/blob/main/doc/stex-manual.pdf" title="" class="ltx_ref ltx_bib_external">Link</a></span>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
-</span></li>
-          </ol>
-          <h3 id="unpublished">Unpublished</h3>
-          <ol class="ltx_biblist">
-            <li id="bib.bib10" class="ltx_bibitem ltx_bib_unpublished"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
-<span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase and M. Schütz</span><span class="ltx_text ltx_bib_year"> (2024)</span>
-</span>
-<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Reusing learning objects via theory morphisms</span>.
-</span>
-<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://url.mathhub.info/relocalization/" title="" class="ltx_ref ltx_bib_external">Link</a></span>
-</span>
-<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
           </ol>
         </div>

diff --git a/xml/kcr.bib.xml b/xml/kcr.bib.xml
@@ -215,7 +215,7 @@
       pubs = {jbetzendahl}}
 </bib-data>
       </bibentry>
-      <bibentry key="KohSch:rlotm24" type="unpublished" xml:id="bib.bib10">
+      <bibentry key="KohSch:rlotm24" type="inproceedings" xml:id="bib.bib10">
         <bib-title>Reusing learning objects via theory morphisms</bib-title>
         <bib-name role="author">
           <surname>Kohlhase</surname>
@@ -232,28 +232,39 @@
         </bib-name><bib-name role="editor">
           <surname>Kovacz</surname>
           <givenname>Laura</givenname>
-        </bib-name><bib-title>Intelligent computer mathematics</bib-title><bib-publisher>Springer</bib-publisher><bib-part role="series">LNAI</bib-part><bib-data role="soonvolume"/><bib-date role="publication">2024</bib-date><bib-data role="soonisbn">978-3-031-16680-8</bib-data><bib-extract role="keywords">conference</bib-extract><bib-data role="pubs">akohlhase</bib-data><bib-data role="self" type="BibTeX">@proceedings{CICM24,
+        </bib-name><bib-title>Intelligent computer mathematics</bib-title><bib-publisher>Springer</bib-publisher><bib-part role="series">LNAI</bib-part><bib-part role="volume">14960</bib-part><bib-date role="publication">2024</bib-date><bib-identifier id="978-3-031-66996-5" scheme="isbn">ISBN 978-3-031-66996-5</bib-identifier><bib-identifier href="https://dx.doi.org/10.1007/978-3-031-66997-2" id="10.1007/978-3-031-66997-2" scheme="doi">Document</bib-identifier><bib-extract role="keywords">conference</bib-extract><bib-data role="pubs">akohlhase</bib-data><bib-data role="self" type="BibTeX">@proceedings{CICM24,
      label = {CICM},
     editor = {Andrea Kohlhase and Laura Kovacz},
      title = {Intelligent Computer Mathematics},
  booktitle = {Intelligent Computer Mathematics ({CICM}) 2024},
  publisher = {Springer},
     series = {LNAI},
- soonvolume = {},
+    volume = {14960},
       year = {2024},
-  soonisbn = {978-3-031-16680-8},
+      isbn = {978-3-031-66996-5},
+       doi = {10.1007/978-3-031-66997-2},
   keywords = {conference},
       pubs = {akohlhase}}
 </bib-data></bib-related>
+        <bib-part role="pages">165–182</bib-part>
+        <bib-identifier href="https://dx.doi.org/10.1007/978-3-031-66997-2%5F10" id="10.1007/978-3-031-66997-2_10" scheme="doi">Document</bib-identifier>
         <bib-url href="https://url.mathhub.info/relocalization/">Link</bib-url>
         <bib-data role="pubs">mkohlhase,mschuetz,voll-ki</bib-data>
-        <bib-data role="self" type="BibTeX">@unpublished{KohSch:rlotm24,
+        <bib-related role="host" type="proceedings">
+          <bib-title>Intelligent Computer Mathematics (CICM) 2024</bib-title>
+          <bib-publisher>Springer</bib-publisher>
+        </bib-related>
+        <bib-data role="self" type="BibTeX">@inproceedings{KohSch:rlotm24,
      title = {Reusing Learning Objects via Theory Morphisms},
     author = {Michael Kohlhase and Marcel Sch{\"u}tz},
       year = {2024},
   crossref = {CICM24},
+     pages = {165–182},
+       doi = {10.1007/978-3-031-66997-2_10},
        url = {https://url.mathhub.info/relocalization/},
-      pubs = {mkohlhase,mschuetz,voll-ki}}
+      pubs = {mkohlhase,mschuetz,voll-ki},
+ booktitle = {Intelligent Computer Mathematics ({CICM}) 2024},
+ publisher = {Springer}}
 </bib-data>
       </bibentry>
       <bibentry key="Adrian:BATSAW24" type="masterthesis" xml:id="bib.bib11">
@@ -36510,9 +36521,10 @@ D6.3:  Design of Triform ({D/K/S}) Theories (Specification/{RNC} Schema/Examples
         <bib-title>Intelligent computer mathematics</bib-title>
         <bib-publisher>Springer</bib-publisher>
         <bib-part role="series">LNAI</bib-part>
-        <bib-data role="soonvolume"/>
+        <bib-part role="volume">14960</bib-part>
         <bib-date role="publication">2024</bib-date>
-        <bib-data role="soonisbn">978-3-031-16680-8</bib-data>
+        <bib-identifier id="978-3-031-66996-5" scheme="isbn">ISBN 978-3-031-66996-5</bib-identifier>
+        <bib-identifier href="https://dx.doi.org/10.1007/978-3-031-66997-2" id="10.1007/978-3-031-66997-2" scheme="doi">Document</bib-identifier>
         <bib-extract role="keywords">conference</bib-extract>
         <bib-data role="pubs">akohlhase</bib-data>
         <bib-data role="self" type="BibTeX">@proceedings{CICM24,
@@ -36522,9 +36534,10 @@ D6.3:  Design of Triform ({D/K/S}) Theories (Specification/{RNC} Schema/Examples
  booktitle = {Intelligent Computer Mathematics ({CICM}) 2024},
  publisher = {Springer},
     series = {LNAI},
- soonvolume = {},
+    volume = {14960},
       year = {2024},
-  soonisbn = {978-3-031-16680-8},
+      isbn = {978-3-031-66996-5},
+       doi = {10.1007/978-3-031-66997-2},
   keywords = {conference},
       pubs = {akohlhase}}
 </bib-data>

diff --git a/xml/kwarccrossrefs.bib.xml b/xml/kwarccrossrefs.bib.xml
@@ -20,9 +20,10 @@
         <bib-title>Intelligent computer mathematics</bib-title>
         <bib-publisher>Springer</bib-publisher>
         <bib-part role="series">LNAI</bib-part>
-        <bib-data role="soonvolume"></bib-data>
+        <bib-part role="volume">14960</bib-part>
         <bib-date role="publication">2024</bib-date>
-        <bib-data role="soonisbn">978-3-031-16680-8</bib-data>
+        <bib-identifier id="978-3-031-66996-5" scheme="isbn">ISBN 978-3-031-66996-5</bib-identifier>
+        <bib-identifier href="https://dx.doi.org/10.1007/978-3-031-66997-2" id="10.1007/978-3-031-66997-2" scheme="doi">Document</bib-identifier>
         <bib-extract role="keywords">conference</bib-extract>
         <bib-data role="pubs">akohlhase</bib-data>
         <bib-data role="self" type="BibTeX">@proceedings{CICM24,
@@ -32,9 +33,10 @@
  booktitle = {Intelligent Computer Mathematics ({CICM}) 2024},
  publisher = {Springer},
     series = {LNAI},
- soonvolume = {},
+    volume = {14960},
       year = {2024},
-  soonisbn = {978-3-031-16680-8},
+      isbn = {978-3-031-66996-5},
+       doi = {10.1007/978-3-031-66997-2},
   keywords = {conference},
       pubs = {akohlhase}}
 </bib-data>