diff --git a/kbibs/.gitrepo b/kbibs/.gitrepo
index db67e8b5f653953207713f0ba0329102b0538fc2..7cc0c0c71c4c82d93b3065c6b569cbea2b8aaa0b 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 34a73e043e706d6e7e598d7e2b654fa5181c870b..9192f4b0192adc2748947e1bff6dfe0de7b45ecb 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 3e7e246b7da1dd42f531a6198364438eec263515..926fa74387dfe32d68c31525644b0ea2c959ebd7 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 bfbd5b5ebe5c41e519cdd8f4f7e01de4e1445714..e5095d41018fd029fe4ccfda11a50369b31c904f 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 a17b831333350ba8bcfdfee98149428c3884505f..2b253cd9de9d60b26f1c35b7a79c69a860d28fa7 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 d05ec750790a89c8a2598841bf96d82c98607407..30f3b3599cbc1c1a25e2795c0c0a63aab3fa3e6d 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 1825038f9194c59d5262dc2250d18f6696cdef34..689d78bb8d3f212b31dce1df739dbbcd34f89c48 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 7ba0c624ecb07b788845d3a2b0bde4584fb4845e..558e63015777ba98ef6b2fb24eb12d63815b498c 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>