Skip to content

Commit

Permalink
Auto-generated website for commit c02f1b1
Browse files Browse the repository at this point in the history
  • Loading branch information
@kohlhase
kohlhase committed Aug 22, 2024
1 parent 0604041 commit 17d292b
Show file tree
Hide file tree
Showing 9 changed files with 521 additions and 554 deletions.
52 changes: 26 additions & 26 deletions cjucovschi/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -175,22 +175,22 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
</ol>
<h3 id="thesis">Theses</h3>
<ol class="ltx_biblist">
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib124" class="ltx_bibitem ltx_bib_thesis"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
<li id="bib.bib124" class="ltx_bibitem ltx_bib_thesis"><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">C. Jucovschi</span><span class="ltx_text ltx_bib_year"> (2010)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Editing knowledge in large mathematical corpora. a case study with semantic <span class="ltx_text ltx_LaTeX_logo" style="letter-spacing:-0.2em; margin-right:0.1em;">L<span class="ltx_text" style="position:relative; bottom:0.4ex;font-variant:small-caps;;">a</span>T<span class="ltx_text" style="position:relative; bottom:-0.2ex;font-variant:small-caps;font-size:120%;">e</span>X</span> (sTeX)</span>.
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_type">M.Sc. Thesis</span>, <span class="ltx_text ltx_bib_publisher">Jacobs University</span>.
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://gl.kwarc.info/supervision/MSc-archive/blob/master/2010/jucovschi_constantin.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://gl.kwarc.info/supervision/MSc-archive/blob/master/2010/jucovschi_constantin.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" shape="rect">p1</a>.
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
</span></li>
</ol>
<h3 id="gray">Gray Literature</h3>
<h4 id="workshop">Papers at Peer-Reviewed Workshops</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.bib1116" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
<li id="bib.bib1116" class="ltx_bibitem ltx_bib_inproceedings"><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_author">M. Iancu, C. Jucovschi, M. Kohlhase, and T. Wiesing</span><span class="ltx_text ltx_bib_year"> (2014)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">System description: MathHub.info</span>.
Expand All @@ -199,11 +199,11 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_series">LNCS</span>, <span class="ltx_text ltx_bib_pages"> pp. 431–434</span>.
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/papers/cicm14-mathhub.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/papers/cicm14-mathhub.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" shape="rect">p1</a>.
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1122" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[5]</span>
<li id="bib.bib1122" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[5]</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">C. Jucovschi</span><span class="ltx_text ltx_bib_year"> (2014)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Towards an interaction-based integration of MKM services into end-user applications</span>.
Expand All @@ -212,22 +212,22 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_series">LNCS</span>, <span class="ltx_text ltx_bib_pages"> pp. 344–356</span>.
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://arxiv.org/abs/1403.5058" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://arxiv.org/abs/1403.5058" 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" shape="rect">p1</a>.
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1102" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
<li id="bib.bib1102" 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">T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack</span><span class="ltx_text ltx_bib_year"> (2013)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Semantic support for engineering design processes</span>.
</span>
<span class="ltx_bibblock">In <span class="ltx_text ltx_bib_inbook">Proc. 13th International Design Conference, DESIGN 2014</span>,
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/papers/design14.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/papers/design14.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" shape="rect">p1</a>.
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1087" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[4]</span>
<li id="bib.bib1087" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[4]</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">C. Jucovschi</span><span class="ltx_text ltx_bib_year"> (2012)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Cost-effective integration of mkm semantic services into editing environments</span>.
Expand All @@ -236,52 +236,52 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_series">LNAI</span>, <span class="ltx_text ltx_bib_pages"> pp. 96–110</span>.
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://arxiv.org/pdf/1203.3316v2.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://arxiv.org/pdf/1203.3316v2.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" shape="rect">p1</a>.
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib435" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[6]</span>
<li id="bib.bib435" 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">A. Kohlhase and C. Jucovschi</span><span class="ltx_text ltx_bib_year"> (2011)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">planMP: collecting mathematical practices for mkm</span>.
</span>
<span class="ltx_bibblock">In <span class="ltx_text ltx_bib_inbook">Intelligent computer mathematics – work in progress papersIntelligent Computer Mathematics – Work in Progress Papers</span>, <span class="ltx_text ltx_bib_editor">J. Davenport, W. Farmer, F. Rabe, and J. Urban (Eds.)</span>,
</span>
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref" shape="rect">p1</a>.
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib481" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
<li id="bib.bib481" 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">D. Ginev, C. Jucovschi, S. Anca, M. Grigore, C. David, and M. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2009)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">An architecture for linguistic and semantic analysis on the arXMLiv corpus</span>.
</span>
<span class="ltx_bibblock">In <span class="ltx_text ltx_bib_inbook">Applications of Semantic Technologies (AST) Workshop at Informatik 2009</span>,
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://www.kwarc.info/lamapun/pubs/AST09_LaMaPUn+appendix.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://www.kwarc.info/lamapun/pubs/AST09_LaMaPUn+appendix.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" shape="rect">p1</a>.
<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 xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib1100" class="ltx_bibitem ltx_bib_unpublished"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
<li id="bib.bib1100" 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">T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack</span><span class="ltx_text ltx_bib_year"> (2013)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Towards ontological support for principle solutions in mechanical engineering</span>.
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/papers/fm13.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="https://kwarc.info/kohlhase/papers/fm13.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" shape="rect">p1</a>.
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
</span></li>
<li xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:pref="http://www.w3.org/2002/Math/preference" id="bib.bib576" class="ltx_bibitem ltx_bib_unpublished"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
<li id="bib.bib576" class="ltx_bibitem ltx_bib_unpublished"><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. Kohlhase, Ş. Anca, C. Jucovschi, A. González Palomo, and I. A. Şucan</span><span class="ltx_text ltx_bib_year"> (2008)</span>
</span>
<span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">MathWebSearch 0.4, a semantic search engine for mathematics</span>.
</span>
<span class="ltx_bibblock">Note: <span class="ltx_text ltx_bib_note">manuscript</span>
</span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://mathweb.org/mws/pubs/mkm08.pdf" title="" class="ltx_ref ltx_bib_external" shape="rect">Link</a></span>
<span class="ltx_bibblock">External Links: <span class="ltx_text ltx_bib_links"><a href="http://mathweb.org/mws/pubs/mkm08.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" shape="rect">p1</a>.
<span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
</span></li>
</ol>
</div>
Expand Down
Loading

0 comments on commit 17d292b

Please sign in to comment.