From 8f0adf9dd2769ca8208a23834796581de3b1a1ea Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Thu, 5 Apr 2018 10:57:30 +0200
Subject: [PATCH] git subrepo pull kbibs
subrepo:
subdir: "kbibs"
merged: "3abd672"
upstream:
origin: "git@github.com:KWARC/bibs.git"
branch: "master"
commit: "3abd672"
git-subrepo:
version: "0.3.1"
origin: "git@github.com:ingydotnet/git-subrepo.git"
commit: "ea9af4f"
---
kbibs/.gitrepo | 4 +-
kbibs/Makefile | 18 +-
kbibs/README.md | 40 +++-
kbibs/extcrossrefs.bib | 9 +-
kbibs/extpubs.bib | 109 +++++++++--
kbibs/kwarc.bib | 374 ++++++++++++++++++++++++++-----------
kbibs/kwarcpubs.bib | 256 ++++++++++++++++---------
kbibs/src/pubs/publist.xsl | 103 +++++++++-
8 files changed, 670 insertions(+), 243 deletions(-)
diff --git a/kbibs/.gitrepo b/kbibs/.gitrepo
index db67e8b..7cc0c0c 100644
--- a/kbibs/.gitrepo
+++ b/kbibs/.gitrepo
@@ -6,6 +6,6 @@
[subrepo]
remote = git@github.com:KWARC/bibs.git
branch = master
- commit = ab88a3c08877492d040dc5fd7be290dfc6519324
- parent = cee8033eacc9305b5daa08d591cf0d866333374a
+ commit = 3abd6721c55db998663c793b3e82fdc3b0fd5860
+ parent = a7ef0732b99cb0d3717f0f04138d05d0a3413c93
cmdver = 0.3.1
diff --git a/kbibs/Makefile b/kbibs/Makefile
index 34a73e0..9192f4b 100644
--- a/kbibs/Makefile
+++ b/kbibs/Makefile
@@ -7,8 +7,10 @@ bib.kcr = kwarcpubs.bib $(bib.cr)
bib.ext = extpubs.bib $(bib.kcr)
bib.all = preamble.bib $(bib.ext)
bib.people = mkohlhase akohlhase miancu dginev cjucovschi twiesing dmueller frabe cprodescu clange cdavid vzholudev cmueller nmueller fhorozal
-bib.systems = sissi tetrapod TNTBase arXMLiv cpoint jomdoc kat krextor llamapun mathhub mmt mws omdoc openmathmap sTeX sally smglom swim
+bib.systems = sissi tetrapod TNTBase arXMLiv cpoint jomdoc kat krextor llamapun mathhub mmt mws omdoc openmathmap sTeX sally smglom swim kat
bib.projects = FormalCAD jem latin logosphere mathsearch oaf odk odkWP6 omoc once-cs openmath-tn MaMoReD
+bib.theses = phdthesis mscthesis bscthesis theses
+bib.do = $(bib.people) $(bib.projects) $(bib.systems) $(bib.theses)
# Sources
src = src/
@@ -80,7 +82,7 @@ $(kcr.ltxml.out): $(kcr.ltxml.in)
# *.html --> custom script (xsltproc + latexml)
html: setup-html $(kcr.ltxml.out)
- $(SHELL) $(html.script) $(src) $(dist) "$(bib.people) $(bib.projects) $(bib.systems)"
+ $(SHELL) $(html.script) $(src) $(dist) "$(bib.do)"
setup-html:
mkdir -p $(html.dist)
mkdir -p ${tex.dist}
@@ -90,7 +92,7 @@ clean-html:
-rm -r ${tex.dist}
# pubs --> xsltproc
-pubs: setup-pubs html $(bib.people) $(bib.projects) $(bib.systems) $(pubs.dist)/index.html
+pubs: setup-pubs html $(bib.do) $(pubs.dist)/index.html
$(pubs.dist)/index.html: setup-pubs html
xsltproc --path $(html.dist) -o $(pubs.dist)/index.html $(PLXSLA) $(PLXSLA)
setup-pubs:
@@ -98,15 +100,7 @@ setup-pubs:
clean-pubs:
-rm -r $(pubs.dist)
-$(bib.people): %: $(PLXSL)
- mkdir -p $(pubs.dist)$@
- xsltproc --path $(html.dist) --stringparam id $@ -o $(pubs.dist)$@/index.html $(PLXSL) $(PLXSL)
-
-$(bib.projects): %: $(PLXSL)
- mkdir -p $(pubs.dist)$@
- xsltproc --path $(html.dist) --stringparam id $@ -o $(pubs.dist)$@/index.html $(PLXSL) $(PLXSL)
-
-$(bib.systems): %: $(PLXSL)
+$(bib.do): %: $(PLXSL)
mkdir -p $(pubs.dist)$@
xsltproc --path $(html.dist) --stringparam id $@ -o $(pubs.dist)$@/index.html $(PLXSL) $(PLXSL)
diff --git a/kbibs/README.md b/kbibs/README.md
index 3e7e246..926fa74 100644
--- a/kbibs/README.md
+++ b/kbibs/README.md
@@ -3,9 +3,9 @@
The repository contains the bib resources of the KWARC group, most notably the
citation database ```kwarc.bib```. It is generated automatically by concatenating
several source files via a [Travis CI](https://travis-ci.org/) build job.
-We additionally use the Travis job to generate a
-[publication website](https://kwarc.github.io/bibs/) with the help of
-[LaTeXML](http://dlmf.nist.gov/LaTeXML/).
+We additionally use the Travis job to generate
+[publication websites](https://kwarc.github.io/bibs/) with the help of
+[LaTeXML](http://dlmf.nist.gov/LaTeXML/) - see (far below).
## Using the KWARC bibs
@@ -62,7 +62,7 @@ The source files do not have any particular order.
Do not use any graphical frontend for editing, but use a text
editor, as the latter makes sure that changes are easy to spot
-when using Subversion's diff.
+when using Git/Subversion's diff.
Do not touch anything that you don't understand.
@@ -84,8 +84,35 @@ The naming scheme is:
online citations
* ```@misc{entry:web}``` -- plain BibTeX entry
* ```@misc{entry:base}``` -- crossref'd by the others above, contains
- common fields, not suitable for citation
-
+common fields, not suitable for citation
+
+# Publication Pages
+
+We use the Travis job to generate
+[publication websites](https://kwarc.github.io/bibs/) with the help of
+[LaTeXML](http://dlmf.nist.gov/LaTeXML/). Additionally, we generate
+specific publication pages for [KWARC members](http://kwarc.info/people/),
+[KWARC projects](http://kwarc.info/projects/), and theses. This behavior is triggered by
+the `pubs` key in the bibTeX entries: an entry with `pubs = {foo,bar}` will be listed in
+the publication pages http://kwarc.github.io/foo and http://kwarc.github.io/bar.
+
+## The Build Process
+In a nutshell, the build process transforms `kwarcpubs.bib` and `kwarccrossrefs.bib` to LTXML format via
+[LaTeXML](http://dlmf.nist.gov/LaTeXML/). Then we run the script `src/pubs/publist.xsl`
+over it for all the values from the `pubs=` field in the bibTeX entries that are registered
+in the `bibs.do` variable in the `Makefile`. `publist.xsl`
+selects the respective items and makes a html file from that. The results are committed to
+[the `gh-pages` branch](https://github.com/KWARC/bibs/tree/gh-pages) and are then hosted by GitHub.
+
+For details see the top-level `Makefile`.
+
+## Adding a Person or Project Page to the Publication Pages (Generation)
+To add a person to the publication pages
+1. update the `bib.people` variable in the top-level `Makefile` and add the username of the person to add
+2. update the `<xsl:choose>` statement in `src/pubs/publist.xsl` to set the real name of the person to be added.
+Travis will re-build the web page (takes about 30 min), but you should probably test by
+building locally first.
+
## Building locally
The website and concatenated files are generated and pushed automatically via
TRAVIS. For building locally we use a ```Makefile```. It has the following
@@ -102,7 +129,6 @@ targets:
The ```xml``` and ```html``` targets depend on a working latexml installation. The ```html``` and ```pubs``` targets also need ```xsltproc```.
-
# Using this repo in a paper repository
We write most of our papers in ```git``` repositories, there it is usually a good idea to
make this repository into an external sub-repository that can be updated as necessary. In
diff --git a/kbibs/extcrossrefs.bib b/kbibs/extcrossrefs.bib
index bfbd5b5..e5095d4 100644
--- a/kbibs/extcrossrefs.bib
+++ b/kbibs/extcrossrefs.bib
@@ -30,7 +30,7 @@
@book{KosBuc:rtul15,
title = {The Road to Universal Logic, Festschrift for the 50th Birthday of {Jean-Yves B{\'e}ziau}},
- volume = 2,
+ volume = {2},
editor = {Koslow, Arnold and Buchsbaum, Arthur},
publisher = {Springer Verlag},
year = 2015}
@@ -1121,11 +1121,11 @@ and Linking of Structured Knowledge ({CK})},
title = {MACIS 2017},
year = 2017,
editor = {Johannes Bl{\"o}mer and Temur Kutsia and Dimitris Simos},
- SOONnumber = {9582},
+ number = {10693},
series = {LNCS},
publisher = {Springer Verlag},
booktitle = {MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences},
- keywords = {conference}}
+ Keywords = {conference}}
@PROCEEDINGS{MKM07,
title = {{MKM/Calculemus}},
@@ -2162,8 +2162,7 @@ and Linking of Structured Knowledge ({CK})},
key = {KI1994}}
@proceedings{ki11,
- editor = {Joscha Bach and
- Stefan Edelkamp},
+ editor = {Joscha Bach and Stefan Edelkamp},
title = {Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11)},
booktitle = {Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11)},
publisher = {Springer},
diff --git a/kbibs/extpubs.bib b/kbibs/extpubs.bib
index a17b831..2b253cd 100644
--- a/kbibs/extpubs.bib
+++ b/kbibs/extpubs.bib
@@ -7,6 +7,26 @@
@STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
+@online{wikipedia:matroid,
+ label = {MWP},
+ title = {Matroid --- Wikipedia{,} The Free Encyclopedia},
+ urldate = {2018-04-4},
+ url = {https://en.wikipedia.org/w/index.php?title=Matroid}}
+
+@article{spitters_classes,
+ author = {Bas Spitters and
+ Eelis van der Weegen},
+ title = {Type Classes for Mathematics in Type Theory},
+ journal = {CoRR},
+ volume = {abs/1102.1323},
+ year = {2011},
+ url = {http://arxiv.org/abs/1102.1323},
+ archivePrefix = {arXiv},
+ eprint = {1102.1323},
+ timestamp = {Wed, 07 Jun 2017 14:40:27 +0200},
+ biburl = {http://dblp.org/rec/bib/journals/corr/abs-1102-1323},
+ bibsource = {dblp computer science bibliography, http://dblp.org}
+}
@article{Cichy_ImageryAndPerception_2012,
author = {Cichy, Radoslaw M. and Heinzle, Jakob and Haynes, John-Dylan},
@@ -30,6 +50,28 @@ year = {2012}
url = "https://en.wikipedia.org/w/index.php?title=Wolfram_Language",
urldate = {2017-10-09}
}
+
+@online{idris:doc,
+ title = "Documentation for the Idris Language",
+ url = "http://docs.idris-lang.org/en/latest/",
+ urldate = {2018-02-04}
+}
+
+@InProceedings{luo:manifestfields,
+author="Luo, Zhaohui",
+editor="Berardi, Stefano
+and Damiani, Ferruccio
+and de'Liguoro, Ugo",
+title="Manifest Fields and Module Mechanisms in Intensional Type Theory",
+booktitle="Types for Proofs and Programs",
+year="2009",
+publisher="Springer Berlin Heidelberg",
+address="Berlin, Heidelberg",
+pages="237--255",
+abstract="Manifest fields in a type of modules are shown to be expressible in intensional type theory without strong extensional equality rules. These intensional manifest fields are made available with the help of coercive subtyping. It is shown that, for both $\Sigma$-types and dependent record types, the with-clause for expressing manifest fields can be introduced by means of the intensional manifest fields. This provides not only a higher-order module mechanism with ML-style sharing, but a powerful modelling mechanism in formalisation and verification of OO-style program modules.",
+isbn="978-3-642-02444-3"
+}
+
@online{gloin:on,crossref={gloin:base},
label = {GLO},
@@ -439,16 +481,9 @@ number = {1},
pages = {1-4},
year = {2014},
doi = {10.1080/19462166.2013.869764},
+url = {http://dx.doi.org/10.1080/19462166.2013.869764},
+eprint = {http://dx.doi.org/10.1080/19462166.2013.869764}}
-URL = {
- http://dx.doi.org/10.1080/19462166.2013.869764
-
-},
-eprint = {
- http://dx.doi.org/10.1080/19462166.2013.869764
-
-}
-}
@book{Blackburn:ModalLogic2001,
author = {Blackburn, Patrick and de Rijke, Maarten and Venema, Yde},
@@ -1763,9 +1798,10 @@ year = {1999}}
@inproceedings{hoffmann:ki-11,
author = {J{\"o}rg Hoffmann},
- title = {Everything You Always Wanted to Know about Planning (But
+ title = {Every806thing You Always Wanted to Know about Planning (But
Were Afraid to Ask)},
crossref = "ki11",
+ url = {http://fai.cs.uni-saarland.de/hoffmann/papers/ki11.pdf},
pages = {1-13},
}
@@ -9002,6 +9038,17 @@ PAGES = {259--286}}
year = {2006}}
+@Article{LehChaBun:hoaoep13,
+ author="Lehmann, Jos and Chan, Michael and Bundy, Alan",
+ title="A Higher Order Approach to Ontology Evolution in Physics",
+ journal="Journal on Data Semantics",
+ nyear="2013",
+ volume="2",
+ number="4",
+ pages="163--187",
+ doi="10.1007/s13740-012-0016-7"}
+
+
@InProceedings{NCLM:FrameOntoEvoCollEnv06,
author = {Natalya F. Noy and Abhita Chugh and William Liu and Mark A. Musen},
@@ -27391,7 +27438,7 @@ howpublished = {online at \url{http://nvie.com/posts/a-successful-git-branching-
title = {Universal {Grammar}},
booktitle = {Formal Philosophy: Selected Papers of Richard Montague},
publisher = {Yale University Press},
- year = {1970},
+ year = {1970},
editor = {R. H. Thomason}}
@BOOK{mont:form74,
@@ -41836,4 +41883,44 @@ year = 2014,
Zbl = {0277.02008}
}
+@InProceedings{BerChattsfts17,
+ author = "Bernardy, Jean-Philippe
+ and Chatzikyriakidis, Stergios",
+ title = "A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq",
+ booktitle = "IWCS 2017 - 12th International Conference on Computational Semantics - Long papers",
+ year = "2017",
+ url = "http://aclweb.org/anthology/W17-6801"
+}
+
+@book{EijUng:csfp10,
+ title = {Computational Semantics with Functional Programming},
+ authors = {Jan van Eijck and Christina Unger},
+ publisher = {Cambridge University Press},
+ year = {2010}}
+
+@article{CooBooGen:ppbe2011,
+ title = {Physical Properties of Biological Entities: An Introduction to the Ontology of Physics for Biology},
+ author = {Daniel L. Cook and Fred L. Bookstein and John H. Gennari},
+ journal = {PLOS One},
+ year = {2011},
+ volume = {6},
+ doi = {10.1371/journal.pone.0028708}}
+
+@article{Paleo:ppt12,
+ author = {Woltzenlogel Paleo, Bruno},
+ title = {Physics and proof theory},
+ journal = {Applied Mathematics and Computation},
+ year = {2012},
+ volume = {219},
+ number = {1},
+ pages = {45--53},
+ doi = {10.1016/j.amc.2011.06.058}
+ }
+
+@InProceedings{KalUrbSid:fpapfi15,
+author={Kaliszyk, Cezary and Urban, Josef and Siddique, Umair and Khan-Afshar, Sanaz and Dunchev, Cvetan and Tahar, Sofi{\`e}ne},
+crossref = {CICM15},
+title = {Formalizing Physics: Automation, Presentation and Foundation Issues},
+pages="288--295"}
+
diff --git a/kbibs/kwarc.bib b/kbibs/kwarc.bib
index d05ec75..30f3b35 100644
--- a/kbibs/kwarc.bib
+++ b/kbibs/kwarc.bib
@@ -60,6 +60,26 @@
@STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
+@online{wikipedia:matroid,
+ label = {MWP},
+ title = {Matroid --- Wikipedia{,} The Free Encyclopedia},
+ urldate = {2018-04-4},
+ url = {https://en.wikipedia.org/w/index.php?title=Matroid}}
+
+@article{spitters_classes,
+ author = {Bas Spitters and
+ Eelis van der Weegen},
+ title = {Type Classes for Mathematics in Type Theory},
+ journal = {CoRR},
+ volume = {abs/1102.1323},
+ year = {2011},
+ url = {http://arxiv.org/abs/1102.1323},
+ archivePrefix = {arXiv},
+ eprint = {1102.1323},
+ timestamp = {Wed, 07 Jun 2017 14:40:27 +0200},
+ biburl = {http://dblp.org/rec/bib/journals/corr/abs-1102-1323},
+ bibsource = {dblp computer science bibliography, http://dblp.org}
+}
@article{Cichy_ImageryAndPerception_2012,
author = {Cichy, Radoslaw M. and Heinzle, Jakob and Haynes, John-Dylan},
@@ -83,6 +103,28 @@ year = {2012}
url = "https://en.wikipedia.org/w/index.php?title=Wolfram_Language",
urldate = {2017-10-09}
}
+
+@online{idris:doc,
+ title = "Documentation for the Idris Language",
+ url = "http://docs.idris-lang.org/en/latest/",
+ urldate = {2018-02-04}
+}
+
+@InProceedings{luo:manifestfields,
+author="Luo, Zhaohui",
+editor="Berardi, Stefano
+and Damiani, Ferruccio
+and de'Liguoro, Ugo",
+title="Manifest Fields and Module Mechanisms in Intensional Type Theory",
+booktitle="Types for Proofs and Programs",
+year="2009",
+publisher="Springer Berlin Heidelberg",
+address="Berlin, Heidelberg",
+pages="237--255",
+abstract="Manifest fields in a type of modules are shown to be expressible in intensional type theory without strong extensional equality rules. These intensional manifest fields are made available with the help of coercive subtyping. It is shown that, for both $\Sigma$-types and dependent record types, the with-clause for expressing manifest fields can be introduced by means of the intensional manifest fields. This provides not only a higher-order module mechanism with ML-style sharing, but a powerful modelling mechanism in formalisation and verification of OO-style program modules.",
+isbn="978-3-642-02444-3"
+}
+
@online{gloin:on,crossref={gloin:base},
label = {GLO},
@@ -492,16 +534,9 @@ number = {1},
pages = {1-4},
year = {2014},
doi = {10.1080/19462166.2013.869764},
+url = {http://dx.doi.org/10.1080/19462166.2013.869764},
+eprint = {http://dx.doi.org/10.1080/19462166.2013.869764}}
-URL = {
- http://dx.doi.org/10.1080/19462166.2013.869764
-
-},
-eprint = {
- http://dx.doi.org/10.1080/19462166.2013.869764
-
-}
-}
@book{Blackburn:ModalLogic2001,
author = {Blackburn, Patrick and de Rijke, Maarten and Venema, Yde},
@@ -1816,9 +1851,10 @@ year = {1999}}
@inproceedings{hoffmann:ki-11,
author = {J{\"o}rg Hoffmann},
- title = {Everything You Always Wanted to Know about Planning (But
+ title = {Every806thing You Always Wanted to Know about Planning (But
Were Afraid to Ask)},
crossref = "ki11",
+ url = {http://fai.cs.uni-saarland.de/hoffmann/papers/ki11.pdf},
pages = {1-13},
}
@@ -9055,6 +9091,17 @@ PAGES = {259--286}}
year = {2006}}
+@Article{LehChaBun:hoaoep13,
+ author="Lehmann, Jos and Chan, Michael and Bundy, Alan",
+ title="A Higher Order Approach to Ontology Evolution in Physics",
+ journal="Journal on Data Semantics",
+ nyear="2013",
+ volume="2",
+ number="4",
+ pages="163--187",
+ doi="10.1007/s13740-012-0016-7"}
+
+
@InProceedings{NCLM:FrameOntoEvoCollEnv06,
author = {Natalya F. Noy and Abhita Chugh and William Liu and Mark A. Musen},
@@ -27444,7 +27491,7 @@ howpublished = {online at \url{http://nvie.com/posts/a-successful-git-branching-
title = {Universal {Grammar}},
booktitle = {Formal Philosophy: Selected Papers of Richard Montague},
publisher = {Yale University Press},
- year = {1970},
+ year = {1970},
editor = {R. H. Thomason}}
@BOOK{mont:form74,
@@ -41889,12 +41936,57 @@ year = 2014,
Zbl = {0277.02008}
}
+@InProceedings{BerChattsfts17,
+ author = "Bernardy, Jean-Philippe
+ and Chatzikyriakidis, Stergios",
+ title = "A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq",
+ booktitle = "IWCS 2017 - 12th International Conference on Computational Semantics - Long papers",
+ year = "2017",
+ url = "http://aclweb.org/anthology/W17-6801"
+}
+
+@book{EijUng:csfp10,
+ title = {Computational Semantics with Functional Programming},
+ authors = {Jan van Eijck and Christina Unger},
+ publisher = {Cambridge University Press},
+ year = {2010}}
+
+@article{CooBooGen:ppbe2011,
+ title = {Physical Properties of Biological Entities: An Introduction to the Ontology of Physics for Biology},
+ author = {Daniel L. Cook and Fred L. Bookstein and John H. Gennari},
+ journal = {PLOS One},
+ year = {2011},
+ volume = {6},
+ doi = {10.1371/journal.pone.0028708}}
+
+@article{Paleo:ppt12,
+ author = {Woltzenlogel Paleo, Bruno},
+ title = {Physics and proof theory},
+ journal = {Applied Mathematics and Computation},
+ year = {2012},
+ volume = {219},
+ number = {1},
+ pages = {45--53},
+ doi = {10.1016/j.amc.2011.06.058}
+ }
+
+@InProceedings{KalUrbSid:fpapfi15,
+author={Kaliszyk, Cezary and Urban, Josef and Siddique, Umair and Khan-Afshar, Sanaz and Dunchev, Cvetan and Tahar, Sofi{\`e}ne},
+crossref = {CICM15},
+title = {Formalizing Physics: Automation, Presentation and Foundation Issues},
+pages="288--295"}
+
@string{kpmessage = "READ the README please!!!!!!!!!!!!!!"}
@STRING{stexyear = 2017}
@STRING{testing = 16}
+@online{MueRabKoh:tatreport18,
+ author = {Dennis M{\"u}ller and Florian Rabe and Michael Kohlhase},
+ title = {Theories as Types},
+ url = {http://kwarc.info/kohlhase/submit/tatreport.pdf}}
+
@inproceedings{UcaKoh:immstmms17,
author = {Gamze Ucar and Andrea Kohlhase},
title = {Irref{\"{u}}hrende mentale Modelle beim Smart-TV (Misleading Mental
@@ -41909,7 +42001,7 @@ year = 2014,
label = {OMT},
author = {Michael Kohlhase and Dennis M{\"u}ller},
title = {{OMDoc/MMT} Tutorial for Mathematicians},
- url = {https://gl.mathhub.info/Teaching/KRMT/blob/master/source/tutorial/mmt-math-tutorial.pdf},
+ url = {https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf},
pubs = {mkohlhase,dmueller,mmt,odk},
urldate = {2017-10-07}}
@@ -41917,12 +42009,15 @@ year = 2014,
title = {Model pathway diagrams for the representation of mathematical models},
author = {Thomas Koprucki and Michael Kohlhase and Karsten Tabelow and Dennis M{\"u}ller and
Florian Rabe},
- note = {in Press},
+ volume = {50},
+ number = {2},
+ pages = {70},
year = {2018},
journal = {Journal of Optical and Quantum Electronics},
publisher = {Springer Verlag},
- pubs = {mkohlhase,dmueller,odk,frabe,MaMoReD}
-}
+ url = {https://doi.org/10.1007/s11082-018-1321-7},
+ doi = {10.1007/s11082-018-1321-7},
+ pubs = {mkohlhase,dmueller,odk,frabe,MaMoReD}}
@techreport{WIAS2431,
title = {Model pathway diagrams for the representation of mathematical models},
@@ -41944,18 +42039,20 @@ year = 2014,
@inproceedings{WieKohRab:vtuimkb17,
title = {Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases},
author = {Tom Wiesing and Michael Kohlhase and Florian Rabe},
+ pages = {243--257},
crossref = {MACIS17},
pubs = {twiesing,mkohlhase,frabe,odk,odkWP6},
- url = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-vt/crc.pdf},
- note = {in press}}
+ keywords = {conference},
+ url = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-vt/crc.pdf}}
@inproceedings{KohMuePfe:kbimss17,
title = {Knowledge-Based Interoperability for Mathematical Software Systems},
author = {Michael Kohlhase and Dennis M{\"u}ller and Markus Pfeiffer and Florian Rabe and Nicolas Thi{\'e}ry and Victor Vasilyev and Tom Wiesing},
url = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-interop/crc.pdf},
+ pages = {195--210},
crossref = {MACIS17},
- pubs = {twiesing,mkohlhase,frabe,dmueller,odk,odkWP6},
- note = {in press}}
+ keywords = {conference},
+ pubs = {twiesing,mkohlhase,frabe,dmueller,odk,odkWP6}}
@online{mitm:groups:on,
title = {{MitM}/groups},
@@ -41964,6 +42061,13 @@ year = 2014,
type = {Math Archive},
pubs = {odk,odkWP6}}
+@online{mitm:smglom:on,
+ title = {{MitM}/smglom},
+ url = {https://gl.mathhub.info/MitM/smglom},
+ urldate = {2018-02-01},
+ type = {Math Archive},
+ pubs = {odk,odkWP6}}
+
@online{mitm:foundation:on,
title = {{MitM/Foundation}},
url = {https://gl.mathhub.info/MitM/Foundation},
@@ -41976,6 +42080,7 @@ year = 2014,
author = {Andrea Kohlhase},
url = {http://kwarc.info/kohlhase/papers/cicm17-eyetracking.pdf},
pubs = {akohlhase},
+ keywords = {conference},
crossref = {MathUI17}}
@inproceedings{Kohlhase:moitrdm17,
@@ -42053,6 +42158,7 @@ url = {http://uniformal.github.io/doc/applications/jedit.html}}
crossref = {ITP17},
year = {2017},
url = {http://kwarc.info/kohlhase/submit/itp17-pvs.pdf},
+ keywords = {conference},
pubs = {mkohlhase,dmueller,frabe,oaf}}
@techreport{WIAS2385,
@@ -42069,6 +42175,7 @@ url = {http://uniformal.github.io/doc/applications/jedit.html}}
title = {Mathematical models as research data via flexiformal theory graphs},
url = {http://kwarc.info/kohlhase/papers/cicm17-models.pdf},
pubs = {mkohlhase,dmueller,odk,odkWP6,MaMoReD},
+ keywords = {conference},
crossref = {CICM17}}
@inproceedings{MueGauKal:cacfms17,
@@ -42076,12 +42183,14 @@ url = {http://uniformal.github.io/doc/applications/jedit.html}}
author = {Dennis M{\"u}ller and Thibault Gauthier and Cezary Kaliszyk and Michael Kohlhase and Florian Rabe},
url = {http://kwarc.info/kohlhase/papers/cicm17-alignments.pdf},
pubs = {mkohlhase,dmueller,frabe,oaf,odk,odkWP6},
+ keywords = {conference},
crossref = {CICM17}}
@inproceedings{SperKoh:scsb17,
title = {Software Citations, Information Systems, and Beyond},
author = {Wolfram Sperber and Michael Kohlhase},
url = {http://kwarc.info/kohlhase/papers/cicm17-softwarecitations.pdf},
+ keywords = {conference},
pubs = {mkohlhase},
crossref = {CICM17}}
@@ -42089,6 +42198,7 @@ url = {http://uniformal.github.io/doc/applications/jedit.html}}
title = {Visual Structure in Math Expressions},
author = {Andrea Kohlhase and Michael Kohlhase and Michael F{\"u}rsich},
url = {http://kwarc.info/kohlhase/papers/cicm17-eyetracking.pdf},
+ keywords = {conference},
pubs = {mkohlhase,akohlhase},
crossref = {CICM17}}
@@ -42179,8 +42289,9 @@ urldate = {2017-02-05}}
title = {Towards Flexiformal Mathematics},
school = {Jacobs University},
year = 2017,
- address = "Bremen, Germany"}
-
+ address = "Bremen, Germany",
+ url = {https://opus.jacobs-university.de/frontdoor/index/index/docId/721},
+ pubs={phdthesis}}
@misc{uniformal:URL,crossref={uniformal:base},
key = {MMT},
@@ -42205,7 +42316,9 @@ urldate = {2017-02-05}}
title = {{FrameIT} Reloaded: Serious Math Games from Logic},
school = {Jacobs University Bremen},
year = 2016,
- type = {B.Sc. Thesis}}
+ type = {B.Sc. Thesis},
+ url = {https://gl.kwarc.info/supervision/BSc-archive/blob/master/2016/rochau_denis.pdf},
+ pubs={bscthesis}}
@mastersthesis{Luzhnica:bsc16,
author = {Enxhell Luzhnica},
@@ -42213,7 +42326,8 @@ urldate = {2017-02-05}}
school = {Jacobs University Bremen},
url = {https://github.com/eluzhnica/OEIS/doc/Enxhell_Luzhnica_BSC.pdf},
year = 2016,
- type = {B.\,Sc.\ Thesis}}
+ type = {B.\,Sc.\ Thesis},
+ pubs={bscthesis}}
@mastersthesis{twiesing:bsc15,
author = {Tom Wiesing},
@@ -42222,7 +42336,7 @@ urldate = {2017-02-05}}
url = {https://github.com/tkw1536/BachelorThesis/blob/master/thesis/thesis.pdf},
year = 2015,
type = {B.\,Sc.\ Thesis},
- pubs = {twiesing,mws,odk,odkWP6}
+ pubs = {twiesing,mws,odk,odkWP6,bscthesis}
}
@inproceedings{LuzKoh:fsarfo16,
@@ -42248,14 +42362,18 @@ urldate = {2017-02-05}}
title = {Declaration Spotting in Mathematical Documents},
school = {Jacobs University Bremen},
year = 2016,
- type = {B.\,Sc.\ Thesis}}
+ type = {B.\,Sc.\ Thesis},
+ url = {https://gl.kwarc.info/supervision/BSc-archive/blob/master/2016/schaefer-frederick.pdf},
+ pubs={bscthesis}}
-@mastersthesis{Ion:bsc16,
+@masterThesis{Ion:bsc16,
author = {Ion Toloaca},
title = {{MathSemantifier} -- A Notation-Based Semantification Study},
school = {Jacobs University Bremen},
year = 2016,
- type = {B.\,Sc.\ Thesis}}
+ type = {B.\,Sc.\ Thesis},
+ url = {https://gl.kwarc.info/supervision/BSc-archive/blob/master/2016/toloaca-ion.pdf},
+ pubs={bscthesis}}
@inproceedings{TolKoh:nbs16,
title = {Notation-based Semantification},
@@ -42312,7 +42430,7 @@ urldate = {2017-02-05}}
title = {Mixing Surface Languages for {OMDoc}},
author = {Mihnea Iancu and Michael Kohlhase and Florian Rabe and Hang Yuan},
url = {http://kwarc.info/kohlhase/submit/mmt-stex16.pdf},
- pubs = {mkohlhase,miancu,frabe,omdoc,mmt}}
+ pubs = {mkohlhase,miancu,frabe,omdoc,mmt,sTeX}}
@online{MMTsurface:on,
@@ -42341,7 +42459,7 @@ urldate = {2017-02-05}}
title = {{KAT}: an Annotation Tool for {STEM} Documents},
crossref = {MathUI15},
url = {http://www.cermat.org/events/MathUI/15/proceedings/Lal-Kohlhase-Ginev_KAT_annotations_MathUI_15.pdf},
- pubs = {mkohlhase,dginev,twiesing,llamapun}}
+ pubs = {mkohlhase,dginev,twiesing,llamapun,kat}}
@inproceedings{PenKoh:rpscsmc15,
author = {Naomi Pentrel and Michael Kohlhase},
@@ -42519,7 +42637,7 @@ urldate = {2017-02-05}}
@article{Kohlhase:mkmtobbtg14,
title={Mathematical Knowledge Management: Transcending the One-Brain-Barrier with Theory Graphs},
author = {Michael Kohlhase},
- url = {http://www.ems-ph.org/journals/newsletter/pdf/2014-06-92.pdf},
+ url = {https://kwarc.info/people/mkohlhase/papers/ems13.pdf},
pages = {22--27},
journal = {EMS Newsletter},
month = jun,
@@ -42529,7 +42647,7 @@ urldate = {2017-02-05}}
@article{KohIan:crsmmd14,
author = {Michael Kohlhase and Mihnea Iancu},
title = {Co-Representing Structure and Meaning of Mathematical Documents},
- url = {http://kwarc.info/kohlhase/papers/omdoc-semantics.pdf},
+ url = {Http://kwarc.info/kohlhase/papers/omdoc-semantics.pdf},
journal = {Sprache und Datenverarbeitung, International Journal for
Language Data Processing},
note = {Special Issue ``The language of mathematics -- computational, linguistic and logical aspects''},
@@ -42751,8 +42869,8 @@ crossref = {CICM-WS-WiP2013},
school = {Jacobs University Bremen},
year = 2012,
type = {M.\,Sc.\ Thesis},
- url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/msc-2012/cdavid.pdf},
- pubs = {cdavid,mscthesis,sissi}}
+ url = {http://gl.kwarc.info/supervision/MSc-archive/2012/david_catalin/project/thesis/thesis.pdf},
+ pubs = {cdavid,mscthesis,sissi,mscthesis}}
@mastersthesis{cprodescu:mscthesis,
author = {Corneliu C. Prodescu},
@@ -42760,7 +42878,8 @@ crossref = {CICM-WS-WiP2013},
school = {Jacobs University Bremen},
year = 2014,
type = {M.\,Sc.\ Thesis},
- Pubs = {crpodescu,mscthesis,mws}}
+ Pubs = {crpodescu,mscthesis,mws},
+ pubs={mscthesis}}
@inproceedings{KKLMN:BabelSemWebInteroperability12,
title = {The {Babel} of the Semantic Web Tongues -- In Search of the {Rosetta} Stone of Interoperability},
@@ -43097,7 +43216,8 @@ Digital Math Libraries want to be Semantic --- Position paper for WDML 2012},
school = {Jacobs University},
year = 2008,
url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/phd-2008/normann.pdf},
- address = "Bremen, Germany"}
+ address = "Bremen, Germany",
+ pubs={phdthesis}}
@INPROCEEDINGS{Normann:etrpti06,
author = {Immanuel Normann},
@@ -43128,7 +43248,7 @@ Digital Math Libraries want to be Semantic --- Position paper for WDML 2012},
year = 2010,
type = {B.\,Sc.\ Thesis},
url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/bsc-2010/cdavid.pdf},
- pubs = {cdavid,bscthesis,mathhub}}
+ pubs = {cdavid,bscthesis,mathhub,jobad}}
@misc{doerrie:oamim13,
author = {Jan Wilken Doerrie},
@@ -43265,6 +43385,8 @@ Digital Math Libraries want to be Semantic --- Position paper for WDML 2012},
@online{mmtlfx:git,
title = {MathHub {MMT/LFX} Git Repository},
url={http://gl.mathhub.info/MMT/LFX},
+ label="LFX",
+ key="LFX",
urldate = {2015-05-15}}
@online{mmtpvsprelude:git,
@@ -43694,7 +43816,8 @@ Rudnicki and Josef Urban},
school = {Jacobs University Bremen},
year = 2012,
type = {B.Sc. Thesis},
- title = {Modeling Semantic Similarity between Scientific Documents}
+ title = {Modeling Semantic Similarity between Scientific Documents},
+ pubs={bscthesis}
}
@InProceedings{GinMilOpr:latexml:14,
@@ -43851,7 +43974,7 @@ Rudnicki and Josef Urban},
eprintclass = {cs.SE},
doi = {10.1145/1839707.1839712},
keywords = {conference},
- pubs = {mkohlhase,akohlhase,clange,docOnto,ikyda2012}}
+ pubs = {mkohlhase,akohlhase,clange,docOnto,ikyda2012,sTeX}}
@inproceedings{VLHBD:SemGovStatData10,
author = {Denny Vrande{\v c}i{\'c} and Christoph Lange and Michael Hausenblas and Jie Bao and Li Ding},
@@ -43883,6 +44006,12 @@ Rudnicki and Josef Urban},
note = {Book edition of thesis \cite{Lange:PhD}},
pubs = {clange,docOnto,krextor,omdoc,jobad,swim,sTeX}}
+@phdthesis{Lange:PhD:plain,
+ author = {Christoph Lange},
+ title = {Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration},
+ school = {Jacobs University Bremen},
+ year = 2011
+}
@phdthesis{Lange:PhD,
author = {Christoph Lange},
title = {Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration},
@@ -43890,7 +44019,7 @@ Rudnicki and Josef Urban},
school = {Jacobs University Bremen},
url = {https://svn.kwarc.info/repos/swim/doc/phd/phd.pdf},
note = {Also available as a book \cite{Lange:PhD:book}},
- pubs = {clange,docOnto,krextor,omdoc,jobad,swim,sTeX,ikyda2012}}
+ pubs = {clange,docOnto,krextor,omdoc,jobad,swim,sTeX,ikyda2012,phdthesis}}
@online{ZhoKohRab:tntbasef10long:online,crossref={ZhoKohRab:tntbasef10long},urldate={2009-12-21}}
@techreport{ZhoKohRab:tntbasef10long,
@@ -44052,7 +44181,7 @@ Rudnicki and Josef Urban},
url = {http://kwarc.info/people/dginev/publications/DeyanGinev_Mastersthesis.pdf},
howpublished = {\url{http://kwarc.info/people/dginev/publications/DeyanGinev_MScThesis.pdf}},
pubs = {dginev,omdoc,openmath},
- keywords = {lamapunbibs},
+ keywords = {lamapunbibs,mscthesis},
year = {2011}}
@MastersThesis{Iacob-11,
@@ -44063,7 +44192,7 @@ Rudnicki and Josef Urban},
type = {Master's Thesis},
month = aug,
url = {http://kwarc.info/people/aiacob/publications/MasterThesis.pdf},
- pubs = {aiacob,mmt},
+ pubs = {aiacob,mmt,mscthesis},
year = {2011}}
@inproceedings{StaGinDav:maacl09,
@@ -44491,7 +44620,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
url = {http://kwarc.info/ako/pubs/AKo_Promo.pdf},
year = 2008,
month = apr,
- pubs = {akohlhase,cpoint}}
+ pubs = {akohlhase,cpoint,phdthesis}}
@phdthesis{Horozal:afddl14,
author = {Fulya Horozal},
@@ -44500,7 +44629,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
year = {2014},
month = nov,
url = {https://svn.kwarc.info/repos/fhorozal/pubs/phd-thesis.pdf},
- pubs = {fhorozal,mmt,omdoc,latin}}
+ pubs = {fhorozal,mmt,omdoc,latin,phdthesis}}
@TechReport{TR:MK:CoPiMeL,
author = {Christine M{\"u}ller and Michael Kohlhase},
@@ -44718,7 +44847,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
type = {Bachelor's thesis},
school = {Jacobs University Bremen},
year = 2008,
- pubs = {omdoc}}
+ pubs = {omdoc,mscthesis}}
@misc{URL:omdocspec,
label = {OMDoc},
@@ -44865,7 +44994,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
url = {http://kwarc.info/nmueller/papers/dt.pdf},
howpublished = {http://kwarc.info/nmueller/papers/dt.pdf},
school = {Programmiermethodik, Technische Universit{\"a}t Darmstadt},
- pubs={nmueller,omdoc}}
+ pubs={nmueller,omdoc,mscthesis}}
@INCOLLECTION{MK:Proofs:omdoc2vf06,
chapter = {17},
@@ -44947,11 +45076,12 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
year = 2008}
-@MISC{AA:BTIPR08,
+@mastersthesis{AA:BTIPR08,
key = {AA:BTIPR08},
author = {Andrei Aiordachioaie},
title = {{Improving Panta Rhei}},
- url = {http://kwarc.info/panta-rhei/papers/thesis_aiordachioaie_andrei.pdf}}
+ url = {http://kwarc.info/panta-rhei/papers/thesis_aiordachioaie_andrei.pdf},
+ pubs={mscthesis}}
@MISC{Panta:cs:precourse:on,
crossref={Panta:cs:precourse:base},
@@ -45148,7 +45278,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
school = {Computer Science, Jacobs University, Bremen},
type = {Bachelor's Thesis},
year = 2007,
- pubs = {omdoc}}
+ pubs = {omdoc,bscthesis}}
@misc{Misev:sumo2omdoc,
author = {Dimitar Misev},
@@ -45156,7 +45286,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
school = {Computer Science, Jacobs University, Bremen},
type = {Bachelor's Thesis},
year = 2010,
- pubs = {omdoc,krextor}}
+ pubs = {omdoc,krextor,bscthesis}}
@misc{Acevedo:OMMI,
author = {Carmela Acevedo},
@@ -45164,14 +45294,16 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
type = {Bachelor's Thesis},
year = {2014},
title = {{OpenMathMap}: Interaction},
- url = {http://map.mathweb.org/media/openmathmap-interaction.pdf}}
+ url = {http://map.mathweb.org/media/openmathmap-interaction.pdf},
+ pubs={bscthesis}}
@misc{Hasegan:sum14,
author = {Daniel Hasegan},
school = {Computer Science, Jacobs University, Bremen},
type = {Bachelor's Thesis},
year = {2014},
- title = {Sorted Unification in {MathWebSearch}}}
+ title = {Sorted Unification in {MathWebSearch}},
+ pubs={bscthesis}}
@inproceedings{AceKoh:OMMI14,
author = {Carmela Acevedo and Michael Kohlhase},
@@ -45252,64 +45384,73 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
pubs = {fhorozal,frabe,latin,mmt},
}
-@misc{zamdzhiev:bsc:cs,
- author = "V. Zamdzhiev",
- title = "{Universal {OpenMath} Machine}",
- year = "2011",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
-}
+@misc{vzamdzhiev:bscthesis,
+ author = {Vladimir Zamdzhiev},
+ title = {Universal {OpenMath} Machine},
+ school = {Jacobs University Bremen},
+ year = 2011,
+ type = {B.\,Sc.\ Thesis},
+ pubs = {vzamdzhiev,bscthesis,mmt,omdoc,openmath}}
+
@mastersthesis{dumbrava:msc,
author = "Stefania Dumbrava",
title = "{A Type Theory based on Reflection}",
year = "2012",
- school = "Jacobs University Bremen"
+ type = {Master's Thesis},
+ school = "Jacobs University Bremen",
+ pubs={mscthesis}
}
@misc{alecu:bsc,
author = "Maria Alecu",
title = "{Generic unification for type theories}",
year = "2012",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
+ note = "Bachelor's thesis",
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@mastersthesis{iancu:msc,
author = "Mihnea Iancu",
title = "{Management of Change in Declarative Languages}",
year = "2012",
- school = "Jacobs University Bremen"
+ school = "Jacobs University Bremen",
+ pubs={mscthesis}
}
@mastersthesis{horozal:msc,
author = "Figen F{\"u}sun Horozal",
title = "{Management of Change in the Web Ontology Language}",
year = "2012",
- school = "Jacobs University Bremen"
+ school = "Jacobs University Bremen",
+ pubs={mscthesis}
}
@misc{ignatov:bsc,
author = "Iulia Ignatov",
title = "{Modular Encoding of Type Theory}",
year = "2012",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
+ note = "Bachelor's thesis",
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@misc{zamdzhiev:bsc:math,
author = "Vladimir Zamdzhiev",
title = "{Formalizing Syntactical Objects within Formalized Set Theory}",
year = "2011",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
+ note = "Bachelor's thesis",
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@mastersthesis{iacob:msc,
author = "Alin Iacob",
title = "{Towards Project-Based Workflows in Twelf}",
year = "2011",
- school = "Jacobs University Bremen"
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@inproceedings{HKR:sequences:11,
@@ -45378,7 +45519,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
title = {Management of Change in Declarative Languages},
school = {Jacobs University Bremen},
year = 2012,
- pubs={miancu,omdoc,omdoc,mmt,latin}}
+ pubs={miancu,omdoc,omdoc,mmt,latin,mscthesis}}
@techreport{IKR:mizar:11,
author = "M. Iancu and M. Kohlhase and F. Rabe",
@@ -45420,15 +45561,17 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
author = "Felix Mance",
title = "{A Practical {OpenMath} Machine}",
year = "2013",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
+ note = "Bachelor's thesis",
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@mastersthesis{Kohlhase:tgsolp90,
author = {Andrea Kohlhase},
title = {The Geometry of Second Order Lagrangians in the Plane},
year = {1990},
- school = {TU Berlin}}
+ school = {TU Berlin},
+ pubs={akohlhase}}
@article{rabe:combining:10:biblatex,
author = "Florian Rabe",
@@ -45486,7 +45629,9 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
author = "Kristina Sojakova",
title = "{Mechanically Verifying Logic Translations}",
year = "2010",
- note = "Master's thesis, Jacobs University Bremen"
+ note = "Master's thesis",
+ school = "Jacobs University Bremen",
+ pubs={mscthesis}
}
@inproceedings{DKLRZ:PubMathLectNotLinkedData10,
@@ -45655,7 +45800,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
year = 2008,
school = "Jacobs University Bremen",
url = {http://kwarc.info/frabe/Research/phdthesis.pdf},
- pubs = {frabe,omdoc,mmt}}
+ pubs = {frabe,omdoc,mmt,phdthesis}}
@article{RPSS:moloss:07,
author = {Florian Rabe and P. Pudl{\'a}k and G. Sutcliffe and W. Shen},
@@ -45725,7 +45870,7 @@ pubs={frabe}}
year = 2010,
school = {Jacobs University Bremen},
url = {http://kwarc.info/cmueller/papers/thesis.pdf},
- pubs = {cmueller,omdoc}}
+ pubs = {cmueller,omdoc,phdthesis}}
@INPROCEEDINGS{BenBroKoh:csil06,
author = {Christoph E. Benzm{\"u}ller and Chad E. Brown and Michael Kohlhase},
@@ -46444,7 +46589,7 @@ pubs = {mkohlhase}}
month = aug,
keywords = {clange-phd},
url = {http://kwarc.info/swim/pubs/swim-thesis-final.pdf},
- pubs={clange,swim,omdoc}}
+ pubs={clange,swim,omdoc,mscthesis}}
@INPROCEEDINGS{LanKoh:swmkm06,
author = {Christoph Lange and Michael Kohlhase},
@@ -46707,7 +46852,8 @@ pubs = {mkohlhase,omdoc}}
url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/msc-2007/blaubner.pdf},
year = 2007,
address = {Bremen},
- month = aug}
+ month = aug,
+ pubs={bscthesis}}
@MISC{w3c:web:mathml,crossref={CarIon:MathML03},date={2003-10-21}}
@TECHREPORT{W3C:MathML2:biblatex,crossref={CarIon:MathML03},date={2003-10-21}}
@@ -47552,7 +47698,7 @@ pubs = {mkohlhase}}
school = {Universit{\"a}t des Saarlandes},
year = {1994},
url = {http://kwarc.info/kohlhase/papers/diss.pdf},
- pubs = {mkohlhase}}
+ pubs = {mkohlhase,phdthesis}}
@TECHREPORT{Kohlhase:hoosr94,
author = {Michael Kohlhase},
@@ -47588,7 +47734,7 @@ pubs = {mkohlhase}}
school = {Universit{\"a}t Bonn},
year = 1989,
url = {http://kwarc.info/kohlhase/papers/master.pdf},
-pubs = {mkohlhase}}
+ pubs = {mkohlhase,mscthesis}}
@article{Kohlhase:ulsmf08,
author = {Michael Kohlhase},
@@ -47771,7 +47917,7 @@ pubs = {mkohlhase}}
school = {Computer Science, Jacobs University, Bremen},
year = 2009,
url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/bsc-2009/jgiceva.pdf},
- pubs = {jgiceva,omdoc},
+ pubs = {jgiceva,omdoc,bscthesis},
type = {Bachelor's Thesis}}
@TECHREPORT{JG:CRAiMDuOaS,
@@ -47791,7 +47937,8 @@ pubs = {mkohlhase}}
year = 2007,
url = {http://www.eecs.jacobs-university.de/archive/bsc-2007/broecheler.pdf},
pubs = {mbroecheler,omdoc},
- type = {Bachelor's Thesis}}
+ type = {Bachelor's Thesis},
+ pubs={bscthesis}}
@INPROCEEDINGS{LOUI98-UITP,
author = {J{\"o}rg Siekmann and Stephan Hess and Christoph BenzM{\"u}ller and Lassaad
@@ -48327,13 +48474,6 @@ pubs = {mkohlhase}}
month = jan,
year = 2013}
-@phdthesis{Lange:PhD:plain,
- author = {Christoph Lange},
- title = {Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration},
- school = {Jacobs University Bremen},
- year = 2011,
-}
-
@book{Lange:PhD:book:plain,
author = {Christoph Lange},
title = {Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration},
@@ -48401,8 +48541,16 @@ pubs = {mkohlhase}}
title = {Change Management on Semi-Structured Documents},
year = 2010,
school = {Jacobs University Bremen},
- url = {http://kwarc.info/nmueller/papers/nrmphd.pdf}}
+ url = {http://kwarc.info/nmueller/papers/nrmphd.pdf},
+ pubs={phdthesis}}
+@phdthesis{Zholudev:PhD,
+ author = {Vyacheslav Zholudev},
+ title = {Enhancing XML Preservation and Workflows},
+ year = 2012,
+ school = {Jacobs University Bremen},
+ url = {http://gl.kwarc.info/supervision/PhD-archive/zholudev_vyacheslav/thesis.pdf},
+ pubs={phdthesis}}
@InProceedings{Kohlhase:InvasiverEditor,
author = {Andrea Kohlhase},
@@ -48577,7 +48725,8 @@ pubs = {mkohlhase}}
pubs = {sanca,llamapun,mws},
type = {Master's Thesis},
keywords = {lamapunbibs},
- url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/msc-2009/aanca.pdf}
+ url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/msc-2009/aanca.pdf},
+ pubs={mscthesis}
}
@misc{Anca:matesearch07,
@@ -48587,7 +48736,8 @@ pubs = {mkohlhase}}
year = 2007,
type = {Bachelor's Thesis},
pubs = {sanca,mws},
- url = {http://www.eecs.jacobs-university.de/archive/bsc-2007/anca.pdf}}
+ url = {http://www.eecs.jacobs-university.de/archive/bsc-2007/anca.pdf},
+ pubs={bscthesis}}
@MastersThesis{Horozal07,
author = {Feryal Fulya Horozal},
@@ -48749,13 +48899,6 @@ pubs = {mkohlhase}}
pages = {1--20},
pubs = {akohlhase,mkohlhase,sissi}}
-@misc{vzamdzhiev:bscthesis,
- author = {Vladimir Zamdzhiev},
- title = {Universal {OpenMath} Machine},
- school = {Jacobs University Bremen},
- year = 2011,
- type = {B.\,Sc.\ Thesis},
- pubs = {vzamdzhiev,bscthesis,mmt,omdoc,openmath}}
@misc{mcirlanaru:bscthesis,
author = {Mihai C{\^i}rl{\u a}naru},
@@ -49075,7 +49218,7 @@ Sandro Wartzack},
and Stefan Mirea and Tom Wiesing},
year = "2014",
url = {http://kwarc.info/kohlhase/submit/cicm14-kat.pdf},
- pubs = {mkohlhase,dginev,twiesing,llamapun}}
+ pubs = {mkohlhase,dginev,twiesing,llamapun,kat}}
@inproceedings{IanJucKoh:sdm14,
title = {System Description: {MathHub.info}},
@@ -49091,7 +49234,7 @@ Sandro Wartzack},
and Vlad Merticariu and Stefan Mirea and Tom Wiesing},
url = {https://github.com/KWARC/KAT/blob/master/doc/manual/katmanual.pdf},
year = {2014},
- pubs = {mkohlhase,dginev,twiesing,llamapun}}
+ pubs = {mkohlhase,dginev,twiesing,llamapun,kat}}
@inproceedings{CarFarKoh:rsckmt14,
author = {Jacques Carette and William Farmer and Michael Kohlhase},
@@ -49335,13 +49478,31 @@ D6.3: Design of Triform ({D/K/S}) Theories (Specification/{RNC} Schema/Examples
@MastersThesis{twiesing:msc17,
author = {Tom Wiesing},
- title = {{Enabling Cross-System Communication Using Virtual Theories and QMT}},
+ title = {Enabling Cross-System Communication Using Virtual Theories and {QMT}},
school = {Jacobs University Bremen},
address = {Bremen, Germany},
type = {Master's Thesis},
month = aug,
url = {https://github.com/tkw1536/MasterThesis/raw/master/thesis.pdf},
- pubs = {twiesing,odk},
+ pubs = {twiesing,odk,mscthesis},
+ year = {2017}}
+
+@MastersThesis{Pollinger:msc17,
+ author = {Theresa Pollinger},
+ title = {Knowledge Representation for Modeling and Simulation – Bridging the Gap Between Informal {PDE} Theory and Simulations Practice},
+ school = {Informatik, FAU Erlangen-N\"urnberg},
+ type = {Master's Thesis},
+ url = {https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/tpollinger/thesis.pdf},
+ pubs = {tpollinger,odk,MaMoReD,mscthesis},
+ year = {2017}}
+
+@MastersThesis{Rabenstein:msc17,
+ author = {Ullrich Rabenstein},
+ title = {Meaning Extraction and Semantic Services in {STEM}-Documents -- A case study on Quantity Expressions and Units},
+ school = {Informatik, FAU Erlangen-N\"urnberg},
+ type = {Master's Thesis},
+ url = {https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/urabenstein/Rabenstein.pdf},
+ pubs = {urabenstein,mscthesis},
year = {2017}}
@STRING{krcmessage = "READ the README please!!!!!!!!!!!!!!"}
@@ -49906,7 +50067,7 @@ eventdate = {2014-05-25},
@book{KosBuc:rtul15,
title = {The Road to Universal Logic, Festschrift for the 50th Birthday of {Jean-Yves B{\'e}ziau}},
- volume = 2,
+ volume = {2},
editor = {Koslow, Arnold and Buchsbaum, Arthur},
publisher = {Springer Verlag},
year = 2015}
@@ -50997,11 +51158,11 @@ and Linking of Structured Knowledge ({CK})},
title = {MACIS 2017},
year = 2017,
editor = {Johannes Bl{\"o}mer and Temur Kutsia and Dimitris Simos},
- SOONnumber = {9582},
+ number = {10693},
series = {LNCS},
publisher = {Springer Verlag},
booktitle = {MACIS 2017: Seventh International Conference on Mathematical Aspects of Computer and Information Sciences},
- keywords = {conference}}
+ Keywords = {conference}}
@PROCEEDINGS{MKM07,
title = {{MKM/Calculemus}},
@@ -52038,8 +52199,7 @@ and Linking of Structured Knowledge ({CK})},
key = {KI1994}}
@proceedings{ki11,
- editor = {Joscha Bach and
- Stefan Edelkamp},
+ editor = {Joscha Bach and Stefan Edelkamp},
title = {Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11)},
booktitle = {Proceedings of the 34th Annual German Conference on Artificial Intelligence (KI'11)},
publisher = {Springer},
diff --git a/kbibs/kwarcpubs.bib b/kbibs/kwarcpubs.bib
index 1825038..689d78b 100644
--- a/kbibs/kwarcpubs.bib
+++ b/kbibs/kwarcpubs.bib
@@ -2,6 +2,11 @@
@STRING{stexyear = 2017}
@STRING{testing = 16}
+@online{MueRabKoh:tatreport18,
+ author = {Dennis M{\"u}ller and Florian Rabe and Michael Kohlhase},
+ title = {Theories as Types},
+ url = {http://kwarc.info/kohlhase/submit/tatreport.pdf}}
+
@inproceedings{UcaKoh:immstmms17,
author = {Gamze Ucar and Andrea Kohlhase},
title = {Irref{\"{u}}hrende mentale Modelle beim Smart-TV (Misleading Mental
@@ -16,7 +21,7 @@
label = {OMT},
author = {Michael Kohlhase and Dennis M{\"u}ller},
title = {{OMDoc/MMT} Tutorial for Mathematicians},
- url = {https://gl.mathhub.info/Teaching/KRMT/blob/master/source/tutorial/mmt-math-tutorial.pdf},
+ url = {https://gl.mathhub.info/Tutorials/Mathematicians/blob/master/tutorial/mmt-math-tutorial.pdf},
pubs = {mkohlhase,dmueller,mmt,odk},
urldate = {2017-10-07}}
@@ -24,12 +29,15 @@
title = {Model pathway diagrams for the representation of mathematical models},
author = {Thomas Koprucki and Michael Kohlhase and Karsten Tabelow and Dennis M{\"u}ller and
Florian Rabe},
- note = {in Press},
+ volume = {50},
+ number = {2},
+ pages = {70},
year = {2018},
journal = {Journal of Optical and Quantum Electronics},
publisher = {Springer Verlag},
- pubs = {mkohlhase,dmueller,odk,frabe,MaMoReD}
-}
+ url = {https://doi.org/10.1007/s11082-018-1321-7},
+ doi = {10.1007/s11082-018-1321-7},
+ pubs = {mkohlhase,dmueller,odk,frabe,MaMoReD}}
@techreport{WIAS2431,
title = {Model pathway diagrams for the representation of mathematical models},
@@ -51,18 +59,20 @@
@inproceedings{WieKohRab:vtuimkb17,
title = {Virtual Theories -- A Uniform Interface to Mathematical Knowledge Bases},
author = {Tom Wiesing and Michael Kohlhase and Florian Rabe},
+ pages = {243--257},
crossref = {MACIS17},
pubs = {twiesing,mkohlhase,frabe,odk,odkWP6},
- url = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-vt/crc.pdf},
- note = {in press}}
+ keywords = {conference},
+ url = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-vt/crc.pdf}}
@inproceedings{KohMuePfe:kbimss17,
title = {Knowledge-Based Interoperability for Mathematical Software Systems},
author = {Michael Kohlhase and Dennis M{\"u}ller and Markus Pfeiffer and Florian Rabe and Nicolas Thi{\'e}ry and Victor Vasilyev and Tom Wiesing},
url = {https://github.com/OpenDreamKit/OpenDreamKit/blob/master/WP6/MACIS17-interop/crc.pdf},
+ pages = {195--210},
crossref = {MACIS17},
- pubs = {twiesing,mkohlhase,frabe,dmueller,odk,odkWP6},
- note = {in press}}
+ keywords = {conference},
+ pubs = {twiesing,mkohlhase,frabe,dmueller,odk,odkWP6}}
@online{mitm:groups:on,
title = {{MitM}/groups},
@@ -71,6 +81,13 @@
type = {Math Archive},
pubs = {odk,odkWP6}}
+@online{mitm:smglom:on,
+ title = {{MitM}/smglom},
+ url = {https://gl.mathhub.info/MitM/smglom},
+ urldate = {2018-02-01},
+ type = {Math Archive},
+ pubs = {odk,odkWP6}}
+
@online{mitm:foundation:on,
title = {{MitM/Foundation}},
url = {https://gl.mathhub.info/MitM/Foundation},
@@ -83,6 +100,7 @@
author = {Andrea Kohlhase},
url = {http://kwarc.info/kohlhase/papers/cicm17-eyetracking.pdf},
pubs = {akohlhase},
+ keywords = {conference},
crossref = {MathUI17}}
@inproceedings{Kohlhase:moitrdm17,
@@ -160,6 +178,7 @@ url = {http://uniformal.github.io/doc/applications/jedit.html}}
crossref = {ITP17},
year = {2017},
url = {http://kwarc.info/kohlhase/submit/itp17-pvs.pdf},
+ keywords = {conference},
pubs = {mkohlhase,dmueller,frabe,oaf}}
@techreport{WIAS2385,
@@ -176,6 +195,7 @@ url = {http://uniformal.github.io/doc/applications/jedit.html}}
title = {Mathematical models as research data via flexiformal theory graphs},
url = {http://kwarc.info/kohlhase/papers/cicm17-models.pdf},
pubs = {mkohlhase,dmueller,odk,odkWP6,MaMoReD},
+ keywords = {conference},
crossref = {CICM17}}
@inproceedings{MueGauKal:cacfms17,
@@ -183,12 +203,14 @@ url = {http://uniformal.github.io/doc/applications/jedit.html}}
author = {Dennis M{\"u}ller and Thibault Gauthier and Cezary Kaliszyk and Michael Kohlhase and Florian Rabe},
url = {http://kwarc.info/kohlhase/papers/cicm17-alignments.pdf},
pubs = {mkohlhase,dmueller,frabe,oaf,odk,odkWP6},
+ keywords = {conference},
crossref = {CICM17}}
@inproceedings{SperKoh:scsb17,
title = {Software Citations, Information Systems, and Beyond},
author = {Wolfram Sperber and Michael Kohlhase},
url = {http://kwarc.info/kohlhase/papers/cicm17-softwarecitations.pdf},
+ keywords = {conference},
pubs = {mkohlhase},
crossref = {CICM17}}
@@ -196,6 +218,7 @@ url = {http://uniformal.github.io/doc/applications/jedit.html}}
title = {Visual Structure in Math Expressions},
author = {Andrea Kohlhase and Michael Kohlhase and Michael F{\"u}rsich},
url = {http://kwarc.info/kohlhase/papers/cicm17-eyetracking.pdf},
+ keywords = {conference},
pubs = {mkohlhase,akohlhase},
crossref = {CICM17}}
@@ -286,8 +309,9 @@ urldate = {2017-02-05}}
title = {Towards Flexiformal Mathematics},
school = {Jacobs University},
year = 2017,
- address = "Bremen, Germany"}
-
+ address = "Bremen, Germany",
+ url = {https://opus.jacobs-university.de/frontdoor/index/index/docId/721},
+ pubs={phdthesis}}
@misc{uniformal:URL,crossref={uniformal:base},
key = {MMT},
@@ -312,7 +336,9 @@ urldate = {2017-02-05}}
title = {{FrameIT} Reloaded: Serious Math Games from Logic},
school = {Jacobs University Bremen},
year = 2016,
- type = {B.Sc. Thesis}}
+ type = {B.Sc. Thesis},
+ url = {https://gl.kwarc.info/supervision/BSc-archive/blob/master/2016/rochau_denis.pdf},
+ pubs={bscthesis}}
@mastersthesis{Luzhnica:bsc16,
author = {Enxhell Luzhnica},
@@ -320,7 +346,8 @@ urldate = {2017-02-05}}
school = {Jacobs University Bremen},
url = {https://github.com/eluzhnica/OEIS/doc/Enxhell_Luzhnica_BSC.pdf},
year = 2016,
- type = {B.\,Sc.\ Thesis}}
+ type = {B.\,Sc.\ Thesis},
+ pubs={bscthesis}}
@mastersthesis{twiesing:bsc15,
author = {Tom Wiesing},
@@ -329,7 +356,7 @@ urldate = {2017-02-05}}
url = {https://github.com/tkw1536/BachelorThesis/blob/master/thesis/thesis.pdf},
year = 2015,
type = {B.\,Sc.\ Thesis},
- pubs = {twiesing,mws,odk,odkWP6}
+ pubs = {twiesing,mws,odk,odkWP6,bscthesis}
}
@inproceedings{LuzKoh:fsarfo16,
@@ -355,14 +382,18 @@ urldate = {2017-02-05}}
title = {Declaration Spotting in Mathematical Documents},
school = {Jacobs University Bremen},
year = 2016,
- type = {B.\,Sc.\ Thesis}}
+ type = {B.\,Sc.\ Thesis},
+ url = {https://gl.kwarc.info/supervision/BSc-archive/blob/master/2016/schaefer-frederick.pdf},
+ pubs={bscthesis}}
-@mastersthesis{Ion:bsc16,
+@masterThesis{Ion:bsc16,
author = {Ion Toloaca},
title = {{MathSemantifier} -- A Notation-Based Semantification Study},
school = {Jacobs University Bremen},
year = 2016,
- type = {B.\,Sc.\ Thesis}}
+ type = {B.\,Sc.\ Thesis},
+ url = {https://gl.kwarc.info/supervision/BSc-archive/blob/master/2016/toloaca-ion.pdf},
+ pubs={bscthesis}}
@inproceedings{TolKoh:nbs16,
title = {Notation-based Semantification},
@@ -419,7 +450,7 @@ urldate = {2017-02-05}}
title = {Mixing Surface Languages for {OMDoc}},
author = {Mihnea Iancu and Michael Kohlhase and Florian Rabe and Hang Yuan},
url = {http://kwarc.info/kohlhase/submit/mmt-stex16.pdf},
- pubs = {mkohlhase,miancu,frabe,omdoc,mmt}}
+ pubs = {mkohlhase,miancu,frabe,omdoc,mmt,sTeX}}
@online{MMTsurface:on,
@@ -448,7 +479,7 @@ urldate = {2017-02-05}}
title = {{KAT}: an Annotation Tool for {STEM} Documents},
crossref = {MathUI15},
url = {http://www.cermat.org/events/MathUI/15/proceedings/Lal-Kohlhase-Ginev_KAT_annotations_MathUI_15.pdf},
- pubs = {mkohlhase,dginev,twiesing,llamapun}}
+ pubs = {mkohlhase,dginev,twiesing,llamapun,kat}}
@inproceedings{PenKoh:rpscsmc15,
author = {Naomi Pentrel and Michael Kohlhase},
@@ -626,7 +657,7 @@ urldate = {2017-02-05}}
@article{Kohlhase:mkmtobbtg14,
title={Mathematical Knowledge Management: Transcending the One-Brain-Barrier with Theory Graphs},
author = {Michael Kohlhase},
- url = {http://www.ems-ph.org/journals/newsletter/pdf/2014-06-92.pdf},
+ url = {https://kwarc.info/people/mkohlhase/papers/ems13.pdf},
pages = {22--27},
journal = {EMS Newsletter},
month = jun,
@@ -636,7 +667,7 @@ urldate = {2017-02-05}}
@article{KohIan:crsmmd14,
author = {Michael Kohlhase and Mihnea Iancu},
title = {Co-Representing Structure and Meaning of Mathematical Documents},
- url = {http://kwarc.info/kohlhase/papers/omdoc-semantics.pdf},
+ url = {Http://kwarc.info/kohlhase/papers/omdoc-semantics.pdf},
journal = {Sprache und Datenverarbeitung, International Journal for
Language Data Processing},
note = {Special Issue ``The language of mathematics -- computational, linguistic and logical aspects''},
@@ -858,8 +889,8 @@ crossref = {CICM-WS-WiP2013},
school = {Jacobs University Bremen},
year = 2012,
type = {M.\,Sc.\ Thesis},
- url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/msc-2012/cdavid.pdf},
- pubs = {cdavid,mscthesis,sissi}}
+ url = {http://gl.kwarc.info/supervision/MSc-archive/2012/david_catalin/project/thesis/thesis.pdf},
+ pubs = {cdavid,mscthesis,sissi,mscthesis}}
@mastersthesis{cprodescu:mscthesis,
author = {Corneliu C. Prodescu},
@@ -867,7 +898,8 @@ crossref = {CICM-WS-WiP2013},
school = {Jacobs University Bremen},
year = 2014,
type = {M.\,Sc.\ Thesis},
- Pubs = {crpodescu,mscthesis,mws}}
+ Pubs = {crpodescu,mscthesis,mws},
+ pubs={mscthesis}}
@inproceedings{KKLMN:BabelSemWebInteroperability12,
title = {The {Babel} of the Semantic Web Tongues -- In Search of the {Rosetta} Stone of Interoperability},
@@ -1204,7 +1236,8 @@ Digital Math Libraries want to be Semantic --- Position paper for WDML 2012},
school = {Jacobs University},
year = 2008,
url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/phd-2008/normann.pdf},
- address = "Bremen, Germany"}
+ address = "Bremen, Germany",
+ pubs={phdthesis}}
@INPROCEEDINGS{Normann:etrpti06,
author = {Immanuel Normann},
@@ -1235,7 +1268,7 @@ Digital Math Libraries want to be Semantic --- Position paper for WDML 2012},
year = 2010,
type = {B.\,Sc.\ Thesis},
url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/bsc-2010/cdavid.pdf},
- pubs = {cdavid,bscthesis,mathhub}}
+ pubs = {cdavid,bscthesis,mathhub,jobad}}
@misc{doerrie:oamim13,
author = {Jan Wilken Doerrie},
@@ -1372,6 +1405,8 @@ Digital Math Libraries want to be Semantic --- Position paper for WDML 2012},
@online{mmtlfx:git,
title = {MathHub {MMT/LFX} Git Repository},
url={http://gl.mathhub.info/MMT/LFX},
+ label="LFX",
+ key="LFX",
urldate = {2015-05-15}}
@online{mmtpvsprelude:git,
@@ -1801,7 +1836,8 @@ Rudnicki and Josef Urban},
school = {Jacobs University Bremen},
year = 2012,
type = {B.Sc. Thesis},
- title = {Modeling Semantic Similarity between Scientific Documents}
+ title = {Modeling Semantic Similarity between Scientific Documents},
+ pubs={bscthesis}
}
@InProceedings{GinMilOpr:latexml:14,
@@ -1958,7 +1994,7 @@ Rudnicki and Josef Urban},
eprintclass = {cs.SE},
doi = {10.1145/1839707.1839712},
keywords = {conference},
- pubs = {mkohlhase,akohlhase,clange,docOnto,ikyda2012}}
+ pubs = {mkohlhase,akohlhase,clange,docOnto,ikyda2012,sTeX}}
@inproceedings{VLHBD:SemGovStatData10,
author = {Denny Vrande{\v c}i{\'c} and Christoph Lange and Michael Hausenblas and Jie Bao and Li Ding},
@@ -1990,6 +2026,12 @@ Rudnicki and Josef Urban},
note = {Book edition of thesis \cite{Lange:PhD}},
pubs = {clange,docOnto,krextor,omdoc,jobad,swim,sTeX}}
+@phdthesis{Lange:PhD:plain,
+ author = {Christoph Lange},
+ title = {Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration},
+ school = {Jacobs University Bremen},
+ year = 2011
+}
@phdthesis{Lange:PhD,
author = {Christoph Lange},
title = {Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration},
@@ -1997,7 +2039,7 @@ Rudnicki and Josef Urban},
school = {Jacobs University Bremen},
url = {https://svn.kwarc.info/repos/swim/doc/phd/phd.pdf},
note = {Also available as a book \cite{Lange:PhD:book}},
- pubs = {clange,docOnto,krextor,omdoc,jobad,swim,sTeX,ikyda2012}}
+ pubs = {clange,docOnto,krextor,omdoc,jobad,swim,sTeX,ikyda2012,phdthesis}}
@online{ZhoKohRab:tntbasef10long:online,crossref={ZhoKohRab:tntbasef10long},urldate={2009-12-21}}
@techreport{ZhoKohRab:tntbasef10long,
@@ -2159,7 +2201,7 @@ Rudnicki and Josef Urban},
url = {http://kwarc.info/people/dginev/publications/DeyanGinev_Mastersthesis.pdf},
howpublished = {\url{http://kwarc.info/people/dginev/publications/DeyanGinev_MScThesis.pdf}},
pubs = {dginev,omdoc,openmath},
- keywords = {lamapunbibs},
+ keywords = {lamapunbibs,mscthesis},
year = {2011}}
@MastersThesis{Iacob-11,
@@ -2170,7 +2212,7 @@ Rudnicki and Josef Urban},
type = {Master's Thesis},
month = aug,
url = {http://kwarc.info/people/aiacob/publications/MasterThesis.pdf},
- pubs = {aiacob,mmt},
+ pubs = {aiacob,mmt,mscthesis},
year = {2011}}
@inproceedings{StaGinDav:maacl09,
@@ -2598,7 +2640,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
url = {http://kwarc.info/ako/pubs/AKo_Promo.pdf},
year = 2008,
month = apr,
- pubs = {akohlhase,cpoint}}
+ pubs = {akohlhase,cpoint,phdthesis}}
@phdthesis{Horozal:afddl14,
author = {Fulya Horozal},
@@ -2607,7 +2649,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
year = {2014},
month = nov,
url = {https://svn.kwarc.info/repos/fhorozal/pubs/phd-thesis.pdf},
- pubs = {fhorozal,mmt,omdoc,latin}}
+ pubs = {fhorozal,mmt,omdoc,latin,phdthesis}}
@TechReport{TR:MK:CoPiMeL,
author = {Christine M{\"u}ller and Michael Kohlhase},
@@ -2825,7 +2867,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
type = {Bachelor's thesis},
school = {Jacobs University Bremen},
year = 2008,
- pubs = {omdoc}}
+ pubs = {omdoc,mscthesis}}
@misc{URL:omdocspec,
label = {OMDoc},
@@ -2972,7 +3014,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
url = {http://kwarc.info/nmueller/papers/dt.pdf},
howpublished = {http://kwarc.info/nmueller/papers/dt.pdf},
school = {Programmiermethodik, Technische Universit{\"a}t Darmstadt},
- pubs={nmueller,omdoc}}
+ pubs={nmueller,omdoc,mscthesis}}
@INCOLLECTION{MK:Proofs:omdoc2vf06,
chapter = {17},
@@ -3054,11 +3096,12 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
year = 2008}
-@MISC{AA:BTIPR08,
+@mastersthesis{AA:BTIPR08,
key = {AA:BTIPR08},
author = {Andrei Aiordachioaie},
title = {{Improving Panta Rhei}},
- url = {http://kwarc.info/panta-rhei/papers/thesis_aiordachioaie_andrei.pdf}}
+ url = {http://kwarc.info/panta-rhei/papers/thesis_aiordachioaie_andrei.pdf},
+ pubs={mscthesis}}
@MISC{Panta:cs:precourse:on,
crossref={Panta:cs:precourse:base},
@@ -3255,7 +3298,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
school = {Computer Science, Jacobs University, Bremen},
type = {Bachelor's Thesis},
year = 2007,
- pubs = {omdoc}}
+ pubs = {omdoc,bscthesis}}
@misc{Misev:sumo2omdoc,
author = {Dimitar Misev},
@@ -3263,7 +3306,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
school = {Computer Science, Jacobs University, Bremen},
type = {Bachelor's Thesis},
year = 2010,
- pubs = {omdoc,krextor}}
+ pubs = {omdoc,krextor,bscthesis}}
@misc{Acevedo:OMMI,
author = {Carmela Acevedo},
@@ -3271,14 +3314,16 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
type = {Bachelor's Thesis},
year = {2014},
title = {{OpenMathMap}: Interaction},
- url = {http://map.mathweb.org/media/openmathmap-interaction.pdf}}
+ url = {http://map.mathweb.org/media/openmathmap-interaction.pdf},
+ pubs={bscthesis}}
@misc{Hasegan:sum14,
author = {Daniel Hasegan},
school = {Computer Science, Jacobs University, Bremen},
type = {Bachelor's Thesis},
year = {2014},
- title = {Sorted Unification in {MathWebSearch}}}
+ title = {Sorted Unification in {MathWebSearch}},
+ pubs={bscthesis}}
@inproceedings{AceKoh:OMMI14,
author = {Carmela Acevedo and Michael Kohlhase},
@@ -3359,64 +3404,73 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
pubs = {fhorozal,frabe,latin,mmt},
}
-@misc{zamdzhiev:bsc:cs,
- author = "V. Zamdzhiev",
- title = "{Universal {OpenMath} Machine}",
- year = "2011",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
-}
+@misc{vzamdzhiev:bscthesis,
+ author = {Vladimir Zamdzhiev},
+ title = {Universal {OpenMath} Machine},
+ school = {Jacobs University Bremen},
+ year = 2011,
+ type = {B.\,Sc.\ Thesis},
+ pubs = {vzamdzhiev,bscthesis,mmt,omdoc,openmath}}
+
@mastersthesis{dumbrava:msc,
author = "Stefania Dumbrava",
title = "{A Type Theory based on Reflection}",
year = "2012",
- school = "Jacobs University Bremen"
+ type = {Master's Thesis},
+ school = "Jacobs University Bremen",
+ pubs={mscthesis}
}
@misc{alecu:bsc,
author = "Maria Alecu",
title = "{Generic unification for type theories}",
year = "2012",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
+ note = "Bachelor's thesis",
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@mastersthesis{iancu:msc,
author = "Mihnea Iancu",
title = "{Management of Change in Declarative Languages}",
year = "2012",
- school = "Jacobs University Bremen"
+ school = "Jacobs University Bremen",
+ pubs={mscthesis}
}
@mastersthesis{horozal:msc,
author = "Figen F{\"u}sun Horozal",
title = "{Management of Change in the Web Ontology Language}",
year = "2012",
- school = "Jacobs University Bremen"
+ school = "Jacobs University Bremen",
+ pubs={mscthesis}
}
@misc{ignatov:bsc,
author = "Iulia Ignatov",
title = "{Modular Encoding of Type Theory}",
year = "2012",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
+ note = "Bachelor's thesis",
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@misc{zamdzhiev:bsc:math,
author = "Vladimir Zamdzhiev",
title = "{Formalizing Syntactical Objects within Formalized Set Theory}",
year = "2011",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
+ note = "Bachelor's thesis",
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@mastersthesis{iacob:msc,
author = "Alin Iacob",
title = "{Towards Project-Based Workflows in Twelf}",
year = "2011",
- school = "Jacobs University Bremen"
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@inproceedings{HKR:sequences:11,
@@ -3485,7 +3539,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
title = {Management of Change in Declarative Languages},
school = {Jacobs University Bremen},
year = 2012,
- pubs={miancu,omdoc,omdoc,mmt,latin}}
+ pubs={miancu,omdoc,omdoc,mmt,latin,mscthesis}}
@techreport{IKR:mizar:11,
author = "M. Iancu and M. Kohlhase and F. Rabe",
@@ -3527,15 +3581,17 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
author = "Felix Mance",
title = "{A Practical {OpenMath} Machine}",
year = "2013",
- note = "Bachelor's thesis, Jacobs University Bremen",
- school = "Jacobs University Bremen"
+ note = "Bachelor's thesis",
+ school = "Jacobs University Bremen",
+ pubs={bscthesis}
}
@mastersthesis{Kohlhase:tgsolp90,
author = {Andrea Kohlhase},
title = {The Geometry of Second Order Lagrangians in the Plane},
year = {1990},
- school = {TU Berlin}}
+ school = {TU Berlin},
+ pubs={akohlhase}}
@article{rabe:combining:10:biblatex,
author = "Florian Rabe",
@@ -3593,7 +3649,9 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
author = "Kristina Sojakova",
title = "{Mechanically Verifying Logic Translations}",
year = "2010",
- note = "Master's thesis, Jacobs University Bremen"
+ note = "Master's thesis",
+ school = "Jacobs University Bremen",
+ pubs={mscthesis}
}
@inproceedings{DKLRZ:PubMathLectNotLinkedData10,
@@ -3762,7 +3820,7 @@ url = {http://www.balisage.net/Proceedings/vol7/print/Hennum01/BalisageVol7-Henn
year = 2008,
school = "Jacobs University Bremen",
url = {http://kwarc.info/frabe/Research/phdthesis.pdf},
- pubs = {frabe,omdoc,mmt}}
+ pubs = {frabe,omdoc,mmt,phdthesis}}
@article{RPSS:moloss:07,
author = {Florian Rabe and P. Pudl{\'a}k and G. Sutcliffe and W. Shen},
@@ -3832,7 +3890,7 @@ pubs={frabe}}
year = 2010,
school = {Jacobs University Bremen},
url = {http://kwarc.info/cmueller/papers/thesis.pdf},
- pubs = {cmueller,omdoc}}
+ pubs = {cmueller,omdoc,phdthesis}}
@INPROCEEDINGS{BenBroKoh:csil06,
author = {Christoph E. Benzm{\"u}ller and Chad E. Brown and Michael Kohlhase},
@@ -4551,7 +4609,7 @@ pubs = {mkohlhase}}
month = aug,
keywords = {clange-phd},
url = {http://kwarc.info/swim/pubs/swim-thesis-final.pdf},
- pubs={clange,swim,omdoc}}
+ pubs={clange,swim,omdoc,mscthesis}}
@INPROCEEDINGS{LanKoh:swmkm06,
author = {Christoph Lange and Michael Kohlhase},
@@ -4814,7 +4872,8 @@ pubs = {mkohlhase,omdoc}}
url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/msc-2007/blaubner.pdf},
year = 2007,
address = {Bremen},
- month = aug}
+ month = aug,
+ pubs={bscthesis}}
@MISC{w3c:web:mathml,crossref={CarIon:MathML03},date={2003-10-21}}
@TECHREPORT{W3C:MathML2:biblatex,crossref={CarIon:MathML03},date={2003-10-21}}
@@ -5659,7 +5718,7 @@ pubs = {mkohlhase}}
school = {Universit{\"a}t des Saarlandes},
year = {1994},
url = {http://kwarc.info/kohlhase/papers/diss.pdf},
- pubs = {mkohlhase}}
+ pubs = {mkohlhase,phdthesis}}
@TECHREPORT{Kohlhase:hoosr94,
author = {Michael Kohlhase},
@@ -5695,7 +5754,7 @@ pubs = {mkohlhase}}
school = {Universit{\"a}t Bonn},
year = 1989,
url = {http://kwarc.info/kohlhase/papers/master.pdf},
-pubs = {mkohlhase}}
+ pubs = {mkohlhase,mscthesis}}
@article{Kohlhase:ulsmf08,
author = {Michael Kohlhase},
@@ -5878,7 +5937,7 @@ pubs = {mkohlhase}}
school = {Computer Science, Jacobs University, Bremen},
year = 2009,
url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/bsc-2009/jgiceva.pdf},
- pubs = {jgiceva,omdoc},
+ pubs = {jgiceva,omdoc,bscthesis},
type = {Bachelor's Thesis}}
@TECHREPORT{JG:CRAiMDuOaS,
@@ -5898,7 +5957,8 @@ pubs = {mkohlhase}}
year = 2007,
url = {http://www.eecs.jacobs-university.de/archive/bsc-2007/broecheler.pdf},
pubs = {mbroecheler,omdoc},
- type = {Bachelor's Thesis}}
+ type = {Bachelor's Thesis},
+ pubs={bscthesis}}
@INPROCEEDINGS{LOUI98-UITP,
author = {J{\"o}rg Siekmann and Stephan Hess and Christoph BenzM{\"u}ller and Lassaad
@@ -6434,13 +6494,6 @@ pubs = {mkohlhase}}
month = jan,
year = 2013}
-@phdthesis{Lange:PhD:plain,
- author = {Christoph Lange},
- title = {Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration},
- school = {Jacobs University Bremen},
- year = 2011,
-}
-
@book{Lange:PhD:book:plain,
author = {Christoph Lange},
title = {Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration},
@@ -6508,8 +6561,16 @@ pubs = {mkohlhase}}
title = {Change Management on Semi-Structured Documents},
year = 2010,
school = {Jacobs University Bremen},
- url = {http://kwarc.info/nmueller/papers/nrmphd.pdf}}
+ url = {http://kwarc.info/nmueller/papers/nrmphd.pdf},
+ pubs={phdthesis}}
+@phdthesis{Zholudev:PhD,
+ author = {Vyacheslav Zholudev},
+ title = {Enhancing XML Preservation and Workflows},
+ year = 2012,
+ school = {Jacobs University Bremen},
+ url = {http://gl.kwarc.info/supervision/PhD-archive/zholudev_vyacheslav/thesis.pdf},
+ pubs={phdthesis}}
@InProceedings{Kohlhase:InvasiverEditor,
author = {Andrea Kohlhase},
@@ -6684,7 +6745,8 @@ pubs = {mkohlhase}}
pubs = {sanca,llamapun,mws},
type = {Master's Thesis},
keywords = {lamapunbibs},
- url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/msc-2009/aanca.pdf}
+ url = {https://svn.eecs.jacobs-university.de/svn/eecs/archive/msc-2009/aanca.pdf},
+ pubs={mscthesis}
}
@misc{Anca:matesearch07,
@@ -6694,7 +6756,8 @@ pubs = {mkohlhase}}
year = 2007,
type = {Bachelor's Thesis},
pubs = {sanca,mws},
- url = {http://www.eecs.jacobs-university.de/archive/bsc-2007/anca.pdf}}
+ url = {http://www.eecs.jacobs-university.de/archive/bsc-2007/anca.pdf},
+ pubs={bscthesis}}
@MastersThesis{Horozal07,
author = {Feryal Fulya Horozal},
@@ -6856,13 +6919,6 @@ pubs = {mkohlhase}}
pages = {1--20},
pubs = {akohlhase,mkohlhase,sissi}}
-@misc{vzamdzhiev:bscthesis,
- author = {Vladimir Zamdzhiev},
- title = {Universal {OpenMath} Machine},
- school = {Jacobs University Bremen},
- year = 2011,
- type = {B.\,Sc.\ Thesis},
- pubs = {vzamdzhiev,bscthesis,mmt,omdoc,openmath}}
@misc{mcirlanaru:bscthesis,
author = {Mihai C{\^i}rl{\u a}naru},
@@ -7182,7 +7238,7 @@ Sandro Wartzack},
and Stefan Mirea and Tom Wiesing},
year = "2014",
url = {http://kwarc.info/kohlhase/submit/cicm14-kat.pdf},
- pubs = {mkohlhase,dginev,twiesing,llamapun}}
+ pubs = {mkohlhase,dginev,twiesing,llamapun,kat}}
@inproceedings{IanJucKoh:sdm14,
title = {System Description: {MathHub.info}},
@@ -7198,7 +7254,7 @@ Sandro Wartzack},
and Vlad Merticariu and Stefan Mirea and Tom Wiesing},
url = {https://github.com/KWARC/KAT/blob/master/doc/manual/katmanual.pdf},
year = {2014},
- pubs = {mkohlhase,dginev,twiesing,llamapun}}
+ pubs = {mkohlhase,dginev,twiesing,llamapun,kat}}
@inproceedings{CarFarKoh:rsckmt14,
author = {Jacques Carette and William Farmer and Michael Kohlhase},
@@ -7442,11 +7498,29 @@ D6.3: Design of Triform ({D/K/S}) Theories (Specification/{RNC} Schema/Examples
@MastersThesis{twiesing:msc17,
author = {Tom Wiesing},
- title = {{Enabling Cross-System Communication Using Virtual Theories and QMT}},
+ title = {Enabling Cross-System Communication Using Virtual Theories and {QMT}},
school = {Jacobs University Bremen},
address = {Bremen, Germany},
type = {Master's Thesis},
month = aug,
url = {https://github.com/tkw1536/MasterThesis/raw/master/thesis.pdf},
- pubs = {twiesing,odk},
+ pubs = {twiesing,odk,mscthesis},
+ year = {2017}}
+
+@MastersThesis{Pollinger:msc17,
+ author = {Theresa Pollinger},
+ title = {Knowledge Representation for Modeling and Simulation – Bridging the Gap Between Informal {PDE} Theory and Simulations Practice},
+ school = {Informatik, FAU Erlangen-N\"urnberg},
+ type = {Master's Thesis},
+ url = {https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/tpollinger/thesis.pdf},
+ pubs = {tpollinger,odk,MaMoReD,mscthesis},
+ year = {2017}}
+
+@MastersThesis{Rabenstein:msc17,
+ author = {Ullrich Rabenstein},
+ title = {Meaning Extraction and Semantic Services in {STEM}-Documents -- A case study on Quantity Expressions and Units},
+ school = {Informatik, FAU Erlangen-N\"urnberg},
+ type = {Master's Thesis},
+ url = {https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/urabenstein/Rabenstein.pdf},
+ pubs = {urabenstein,mscthesis},
year = {2017}}
diff --git a/kbibs/src/pubs/publist.xsl b/kbibs/src/pubs/publist.xsl
index 7ba0c62..558e630 100644
--- a/kbibs/src/pubs/publist.xsl
+++ b/kbibs/src/pubs/publist.xsl
@@ -22,6 +22,39 @@
<xsl:when test="$id='cmueller'"><xsl:text>Christine Müller</xsl:text></xsl:when>
<xsl:when test="$id='nmueller'"><xsl:text>Normen Müller</xsl:text></xsl:when>
<xsl:when test="$id='fhorozal'"><xsl:text>Fulya Horozal</xsl:text></xsl:when>
+
+ <xsl:when test="$id='sissi'"><xsl:text>Project SiSsI</xsl:text></xsl:when>
+ <xsl:when test="$id='tetrapod'"><xsl:text>Project TetraPod</xsl:text></xsl:when>
+ <xsl:when test="$id='TNTBase'"><xsl:text>Project TNTBase</xsl:text></xsl:when>
+ <xsl:when test="$id='arXMLiv'"><xsl:text>Project arXMLiv</xsl:text></xsl:when>
+ <xsl:when test="$id='cpoint'"><xsl:text>Project CPoint</xsl:text></xsl:when>
+ <xsl:when test="$id='jomdoc'"><xsl:text>Project JOMDoc</xsl:text></xsl:when>
+ <xsl:when test="$id='kat'"><xsl:text>Project KAT (KWARC Annotation Tool)</xsl:text></xsl:when>
+ <xsl:when test="$id='krextor'"><xsl:text>Project Krextor</xsl:text></xsl:when>
+ <xsl:when test="$id='llamapun'"><xsl:text>Project LLaMaPuN</xsl:text></xsl:when>
+ <xsl:when test="$id='mathhub'"><xsl:text>Project MathHub</xsl:text></xsl:when>
+ <xsl:when test="$id='mmt'"><xsl:text>Project MMT (Meta Meta Theories/Toolkit)</xsl:text></xsl:when>
+ <xsl:when test="$id='mws'"><xsl:text>Project MathWebSearch</xsl:text></xsl:when>
+ <xsl:when test="$id='omdoc'"><xsl:text>Project OMDoc</xsl:text></xsl:when>
+ <xsl:when test="$id='kat'"><xsl:text>Project KAT</xsl:text></xsl:when>
+ <xsl:when test="$id='openmathmap'"><xsl:text>Project OpenMathMap</xsl:text></xsl:when>
+ <xsl:when test="$id='sTeX'"><xsl:text>Project sTeX</xsl:text></xsl:when>
+ <xsl:when test="$id='sally'"><xsl:text>Project Semantic Alliance</xsl:text></xsl:when>
+ <xsl:when test="$id='smglom'"><xsl:text>Project SMGloM</xsl:text></xsl:when>
+ <xsl:when test="$id='swim'"><xsl:text>Project SWiM</xsl:text></xsl:when>
+ <xsl:when test="$id='FormalCAD'"><xsl:text>Project FormalCAD</xsl:text></xsl:when>
+ <xsl:when test="$id='jem'"><xsl:text>Project OpenJEM</xsl:text></xsl:when>
+ <xsl:when test="$id='latin'"><xsl:text>Project LATIN</xsl:text></xsl:when>
+ <xsl:when test="$id='logosphere'"><xsl:text>Project LogoSphere</xsl:text></xsl:when>
+ <xsl:when test="$id='mathsearch'"><xsl:text>Project MathSearch</xsl:text></xsl:when>
+ <xsl:when test="$id='oaf'"><xsl:text>Project OAF (Open Archive of Formalizations)</xsl:text></xsl:when>
+ <xsl:when test="$id='odk'"><xsl:text>Project OpenDreamKit</xsl:text></xsl:when>
+ <xsl:when test="$id='odkWP6'"><xsl:text>Project OpenDreamKit (WP 6)</xsl:text></xsl:when>
+ <xsl:when test="$id='omoc'"><xsl:text>Project OMoC (Ontology-Based Management of Change)</xsl:text></xsl:when>
+ <xsl:when test="$id='once-cs'"><xsl:text>Project Once-CS</xsl:text></xsl:when>
+ <xsl:when test="$id='openmath-tn'"><xsl:text>Project OpenMath</xsl:text></xsl:when>
+ <xsl:when test="$id='MaMoReD'"><xsl:text>Project MaMoReD</xsl:text></xsl:when>
+
<xsl:otherwise><xsl:value-of select="$id"/></xsl:otherwise>
</xsl:choose>
</xsl:variable>
@@ -109,11 +142,19 @@
<xsl:template match="/">
<html>
<head>
- <title><xsl:value-of select="$name"/>: Selected Publications</title>
+ <xsl:choose>
+ <xsl:when test="$id='phdthesis'"><title>KWARC Ph.D. Theses</title></xsl:when>
+ <xsl:when test="$id='mscthesis'"><title>KWARC Masters Theses</title></xsl:when>
+ <xsl:when test="$id='bscthesis'"><title>KWARC Bachelors Theses</title></xsl:when>
+ <xsl:when test="$id='theses'"><title>KWARC Theses</title></xsl:when>
+ <xsl:otherwise>
+ <title><xsl:value-of select="$name"/>: Selected Publications</title>
+ </xsl:otherwise>
+ </xsl:choose>
<style type="text/css">
.ltx_bib_cited {display:none}
.ltx_bib_key {display:none}
-
+
/* lifted from LaTeXML.css */
.ltx_bib_title { font-style:italic; }
.ltx_bib_article .bib-title { font-style:normal !important; }
@@ -129,11 +170,16 @@
<!-- Header -->
<div class="row">
<div class="col s12">
- <h1><xsl:value-of select="$name"/>: Selected Publications</h1>
-
- <blockquote>
- Please respect any copyrights when downloading
- </blockquote>
+ <xsl:choose>
+ <xsl:when test="$id='phdthesis'"><H1>KWARC Ph.D. Theses</H1></xsl:when>
+ <xsl:when test="$id='mscthesis'"><H1>KWARC Masters Theses</H1></xsl:when>
+ <xsl:when test="$id='bscthesis'"><H1>KWARC Bachelors Theses</H1></xsl:when>
+ <xsl:when test="$id='theses'"><H1>KWARC Theses</H1></xsl:when>
+ <xsl:otherwise>
+ <h1><xsl:value-of select="$name"/>: Selected Publications</h1>
+ <blockquote>
+ Please respect any copyrights when downloading
+ </blockquote>
<ol>
<xsl:if test="$article!='' or $incollection!='' or $conference!='' or $book!='' or $cproceedings!=''">
@@ -164,9 +210,48 @@
<xsl:if test="$unpublished!=''"><li><a href="#unpublished">Unpublished</a></li></xsl:if>
<xsl:if test="$misc!=''"><li><a href="#misc">Miscellaneous</a></li></xsl:if>
</ol>
+ </xsl:otherwise>
+ </xsl:choose>
</div>
</div>
+ <xsl:choose>
+ <xsl:when test="$id='phdthesis'">
+ <xsl:for-each select="document('phdthesis-thesis.html')//x:ul[@class='ltx_biblist']/x:li">
+ <xsl:sort order="descending" select="x:span/x:span[contains(@class,'ltx_bib_year')]"/>
+ <xsl:copy-of select="."/>
+ </xsl:for-each>
+ </xsl:when>
+ <xsl:when test="$id='mscthesis'">
+ <xsl:for-each select="document('mscthesis-thesis.html')//x:ul[@class='ltx_biblist']/x:li">
+ <xsl:sort order="descending" select="x:span/x:span[contains(@class,'ltx_bib_year')]"/>
+ <xsl:copy-of select="."/>
+ </xsl:for-each>
+ </xsl:when>
+ <xsl:when test="$id='bscthesis'">
+ <xsl:for-each select="document('bscthesis-thesis.html')//x:ul[@class='ltx_biblist']/x:li">
+ <xsl:sort order="descending" select="x:span/x:span[contains(@class,'ltx_bib_year')]"/>
+ <xsl:copy-of select="."/>
+ </xsl:for-each>
+ </xsl:when>
+ <xsl:when test="$id='theses'">
+ <h2>Ph.D. Theses</h2>
+ <xsl:for-each select="document('phdthesis-thesis.html')//x:ul[@class='ltx_biblist']/x:li">
+ <xsl:sort order="descending" select="x:span/x:span[contains(@class,'ltx_bib_year')]"/>
+ <xsl:copy-of select="."/>
+ </xsl:for-each>
+ <h2>Masters Theses</h2>
+ <xsl:for-each select="document('mscthesis-thesis.html')//x:ul[@class='ltx_biblist']/x:li">
+ <xsl:sort order="descending" select="x:span/x:span[contains(@class,'ltx_bib_year')]"/>
+ <xsl:copy-of select="."/>
+ </xsl:for-each>
+ <h2>Bachelors Theses</h2>
+ <xsl:for-each select="document('bscthesis-thesis.html')//x:ul[@class='ltx_biblist']/x:li">
+ <xsl:sort order="descending" select="x:span/x:span[contains(@class,'ltx_bib_year')]"/>
+ <xsl:copy-of select="."/>
+ </xsl:for-each>
+ </xsl:when>
+ <xsl:otherwise>
<div class="row">
<div class="col s12">
@@ -238,7 +323,9 @@
</xsl:if>
</div>
</div>
- </div>
+ </xsl:otherwise>
+ </xsl:choose>
+ </div>
</body>
</html>
</xsl:template>
--
GitLab