Skip to content

Commit

Permalink
Auto-generated website for commit 184b660
Browse files Browse the repository at this point in the history
  • Loading branch information
@kohlhase
kohlhase committed Feb 4, 2024
1 parent 55245e9 commit cc5cb5a
Show file tree
Hide file tree
Showing 18 changed files with 7,558 additions and 7,279 deletions.
29 changes: 19 additions & 10 deletions akohlhase/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -610,7 +610,7 @@ <h4 id="cproceedings">Conference Proceedings Edited</h4>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1171" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1172" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">C. Kaliszyck, E. Brady, A. Kohlhase, and C. Sacerdoti Coen (Eds.)</span><span class="ltx_text ltx_bib_year"> (2019)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Intelligent computer mathematics</span>.
Expand Down Expand Up @@ -657,6 +657,13 @@ <h3 id="thesis">Theses</h3>
<h3 id="gray">Gray Literature</h3>
<h4 id="wproceedings">Worskhop Proceedings Edited</h4>
<ol class="ltx_biblist">
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1168" class="ltx_bibitem ltx_bib_proceedings"><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_editor">A. Kohlhase (Ed.)</span><span class="ltx_text ltx_bib_year"> (2023)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">MathUI 2023: the 14th workshop on mathematical user interfaces</span>.
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1167" class="ltx_bibitem ltx_bib_proceedings"><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_editor">A. Kohlhase (Ed.)</span><span class="ltx_text ltx_bib_year"> (2022)</span>
</span>
Expand Down Expand Up @@ -693,7 +700,7 @@ <h4 id="wproceedings">Worskhop Proceedings Edited</h4>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1168" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1169" class="ltx_bibitem ltx_bib_proceedings"><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_editor">M. Kohlhase, A. Kohlhase, P. Libbrecht, B. Miller, A. Naumowicz, W. Neuper, P. Quaresma, F. Tompa, and M. Suda (Eds.)</span><span class="ltx_text ltx_bib_year"> (2016)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Intelligent computer mathematics – work in progress papers</span>.
Expand All @@ -711,7 +718,7 @@ <h4 id="wproceedings">Worskhop Proceedings Edited</h4>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1197" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1198" class="ltx_bibitem ltx_bib_proceedings"><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_editor">M. England, J. H. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, W. Neuper, P. Quaresma, A. P. Sexton, P. Sojka, J. Urban, and S. M. Watt (Eds.)</span><span class="ltx_text ltx_bib_year"> (2014)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2014</span>.
Expand All @@ -723,25 +730,25 @@ <h4 id="wproceedings">Worskhop Proceedings Edited</h4>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1574" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1576" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">A. Henrich and H. Sperker (Eds.)</span><span class="ltx_text ltx_bib_year"> (2013-10)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings</span>.
</span>
<span class="ltx_bibblock"> <span class="ltx_text ltx_bib_publisher">Universität Bamberg</span>.
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#bib.bib1203" title="Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM" class="ltx_ref" shape="rect">8</a>.
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#bib.bib1204" title="Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM" class="ltx_ref" shape="rect">8</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1203" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[8]</span>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1204" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[8]</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">A. Kohlhase and B. Rieger (Eds.)</span><span class="ltx_text ltx_bib_year"> (2013-10)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Wissens- und erfahrungsmanagement (knowledge and experience management), FGWM</span>.
</span>
<span class="ltx_bibblock">Note: <span class="ltx_text ltx_bib_note">Workshop at LWA 2013, published as part of <cite class="ltx_cite ltx_citemacro_cite">[<a href="#bib.bib1574" title="Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings" class="ltx_ref" shape="rect">3</a>]</cite></span>
<span class="ltx_bibblock">Note: <span class="ltx_text ltx_bib_note">Workshop at LWA 2013, published as part of <cite class="ltx_cite ltx_citemacro_cite">[<a href="#bib.bib1576" title="Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings" class="ltx_ref" shape="rect">3</a>]</cite></span>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1196" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[10]</span>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1197" class="ltx_bibitem ltx_bib_proceedings"><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_editor">C. Lange, D. Aspinall, J. Carette, J. Davenport, A. Kohlhase, M. Kohlhase, P. Libbrecht, P. Quaresma, F. Rabe, P. Sojka, I. Whiteside, and W. Windsteiger (Eds.)</span><span class="ltx_text ltx_bib_year"> (2013)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Joint proceedings of the MathUI, OpenMath, PLMMS, and ThEdu workshops and work in progress at the conference on intelligent computer mathematics 2013</span>.
Expand All @@ -761,6 +768,8 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">More interactions in ALeA – towards new added-value services based on semantic markup</span>.
</span>
<span class="ltx_bibblock">In <span class="ltx_text ltx_bib_inbook">MathUI 2023: the 14th workshop on mathematical user interfacesMathUI 2023: The 14th Workshop on Mathematical User Interfaces</span>, <span class="ltx_text ltx_bib_editor">A. Kohlhase (Ed.)</span>,
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/submit/MathUI23-ALeA.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
Expand Down Expand Up @@ -916,7 +925,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1574" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1576" class="ltx_bibitem ltx_bib_proceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_editor">A. Henrich and H. Sperker (Eds.)</span><span class="ltx_text ltx_bib_year"> (2013-10)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Wissens- und erfahrungsmanagement LWA (lernen, wissensentdeckung und adaptivität) conference proceedings</span>.
Expand Down Expand Up @@ -997,7 +1006,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1572" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1574" class="ltx_bibitem ltx_bib_report"><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">M. Hartmann and F. Janssen</span><span class="ltx_text ltx_bib_year"> (2009-09)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">LWA 2009; Workshop-Woche: Lernen – Wissen – Adaptivität</span>.
Expand Down
Loading

0 comments on commit cc5cb5a

Please sign in to comment.