From 208c870f49b8c00c6ad8757fe0402dd567be57e6 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <michael.kohlhase@fau.de>
Date: Sun, 17 Mar 2019 10:56:24 +0100
Subject: [PATCH] git subrepo commit (merge) lib/kbibs
subrepo:
subdir: "lib/kbibs"
merged: "880fcf05"
upstream:
origin: "git@github.com:KWARC/bibs.git"
branch: "master"
commit: "86fd833d"
git-subrepo:
version: "0.4.0"
origin: "git@github.com:ingydotnet/git-subrepo.git"
commit: "5d6aba9"
---
lib/kbibs/.gitrepo | 2 +-
lib/kbibs/deprecated.bib | 8 +
lib/kbibs/extcrossrefs.bib | 14 ++
lib/kbibs/extpubs.bib | 235 ++++++++++++++-------
lib/kbibs/kwarc.bib | 385 +++++++++++++++++++++++++----------
lib/kbibs/kwarccrossrefs.bib | 39 +++-
lib/kbibs/kwarcpubs.bib | 31 ++-
7 files changed, 515 insertions(+), 199 deletions(-)
diff --git a/lib/kbibs/.gitrepo b/lib/kbibs/.gitrepo
index 13a0fcf..aa10038 100644
--- a/lib/kbibs/.gitrepo
+++ b/lib/kbibs/.gitrepo
@@ -6,7 +6,7 @@
[subrepo]
remote = git@github.com:KWARC/bibs.git
branch = master
- commit = 14704f24d2c70910f251f21f59e4d4c1a34d57ed
+ commit = 86fd833db59e1ce782ded3ce3b933b1a0ce7a504
parent = 38bdd47fc690489d66053314060d031a07730161
method = merge
cmdver = 0.4.0
diff --git a/lib/kbibs/deprecated.bib b/lib/kbibs/deprecated.bib
index 4435b13..5ec4a0d 100644
--- a/lib/kbibs/deprecated.bib
+++ b/lib/kbibs/deprecated.bib
@@ -31,6 +31,14 @@
title = {Zentralblatt {MATH}},
url = {http://www.zentralblatt-math.org/zbmath/}}
+@TECHREPORT{PruSea06:sparql,
+ title = {{SPARQL} Query Language for {RDF}},
+ institution = {World Wide Web Consortium ({W3C})},
+ year = {2006},
+ type = {{W3C} {Candidate} {Recommendation}},
+ month = apr,
+ author = {Eric Prud'hommeaux and Andy Seaborne},
+ url = {http://www.w3.org/TR/2006/CR-rdf-sparql-query-20060406/}}
@unpublished{IanJucKoh:sps15,
title = {The {SMGLoM} Project and System},
diff --git a/lib/kbibs/extcrossrefs.bib b/lib/kbibs/extcrossrefs.bib
index 4d645d1..404d3de 100644
--- a/lib/kbibs/extcrossrefs.bib
+++ b/lib/kbibs/extcrossrefs.bib
@@ -7,6 +7,20 @@
@STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
+@proceedings{LWDA18,
+ editor = {Rainer Gemulla and
+ Simone Paolo Ponzetto and
+ Christian Bizer and
+ Margret Keuper and
+ Heiner Stuckenschmidt},
+ title = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}},
+ series = {{CEUR} Workshop Proceedings},
+ volume = {2191},
+ publisher = {CEUR-WS.org},
+ year = {2018},
+ url = {http://ceur-ws.org/Vol-2191}}
+
+
@online{TasMah:mc,
author = {Assia Mahboubi and Enrico Tassi},
title = {Mathematical Components},
diff --git a/lib/kbibs/extpubs.bib b/lib/kbibs/extpubs.bib
index 98d111e..2577934 100644
--- a/lib/kbibs/extpubs.bib
+++ b/lib/kbibs/extpubs.bib
@@ -7,6 +7,88 @@
@STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
+@online{ACM-CompClass:on,
+ label = {ACM},
+ title = {The 2012 {ACM} Computing Classification System},
+ url = {https://www.acm.org/publications/class-2012},
+ urldate = {2019-03-07}}
+
+@article{Yang2005,
+ title={Integration of metabolic networks and gene expression in virtual reality},
+ author={Yuting Yang and Levent Engin and Eve Syrkin Wurtele and Carolina Cruz-Neira and Julie A. Dickerson},
+ journal={Bioinformatics},
+ year={2005},
+ volume={21 18},
+ pages={3645--50}}
+
+@inproceedings{Yang:2006,
+ author = {Yang, Yuting and Wurtele, Eve Syrkin and Cruz-Neira, Carolina and Dickerson, Julie A.},
+ title = {Hierarchical Visualization of Metabolic Networks Using Virtual Reality},
+ booktitle = {Proceedings of the 2006 ACM International Conference on Virtual Reality Continuum and Its Applications},
+ series = {VRCIA '06},
+ year = {2006},
+ isbn = {1-59593-324-7},
+ location = {Hong Kong, China},
+ pages = {377--381},
+ numpages = {5},
+ url = {http://doi.acm.org/10.1145/1128923.1128992},
+ doi = {10.1145/1128923.1128992},
+ acmid = {1128992},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {computer graphics rendering, graph layout, interactive visualization, metabolic network, virtual reality},
+}
+
+@inproceedings{vrexp18,
+ author = {Capece, Nicola and Erra, Ugo and Grippa, Jari},
+ year = {2018},
+ month = {07},
+ pages = {448-453},
+ title = {GraphVR: A Virtual Reality Tool for the Exploration of Graphs with HTC Vive System},
+ doi = {10.1109/iV.2018.00084}
+}
+
+@article{vrinterface18,
+ author = {Erra, Ugo and Malandrino, Delfina and Pepe, Luca},
+ year = {2018},
+ month = {01},
+ pages = {1-14},
+ title = {Virtual Reality Interfaces for Interacting with Three-Dimensional Graphs},
+ journal = {International Journal of Human-Computer Interaction},
+ doi = {10.1080/10447318.2018.1429061}
+}
+
+@article{vrinteraction18,
+ author = {Yang, Jiachen and Wang, Yafang and Lv, Zhihan and Jiang, Na and Steed, Anthony},
+ year = {2018},
+ month = {03},
+ pages = {64-72},
+ title = {Interaction with Three-Dimensional Gesture and Character Input in Virtual Reality: Recognizing Gestures in Different Directions and Improving User Input},
+ volume = {7},
+ journal = {IEEE Consumer Electronics Magazine},
+ doi = {10.1109/MCE.2017.2776500}
+}
+
+@online{UGE:on,
+ url = {https://unity3d.com},
+ title = {{Unity Game Engine}},
+ label = {UGE},
+ urldate = {2019-03-07},
+}
+@online{OCR:on,
+ url = {https://www.oculus.com/rift},
+ title = {{Oculus Rift}},
+ label = {OCR},
+ urldate = {2019-03-07},
+}
+@online{ORRequirements:on,
+ url = {https://support.oculus.com/248749509016567},
+ title = {{Oculus Rift System Requirements}},
+ label = {REQ},
+ urldate = {2019-03-07},
+}
+
+
@online{cocalc:on,
label = {CC},
title = {{CoCalc}: Collaborative Calculation in the Cloud},
@@ -26,6 +108,13 @@
author = {Steve Harris and Andy Seaborne},
url = {http://www.w3.org/TR/2010/WD-sparql11-query-20100601/}}
+@TECHREPORT{w3c:SPARQL-Rec:13,
+ title = {{SPARQL} 1.1 Overview},
+ institution = {World Wide Web Consortium ({W3C})},
+ type = {{W3C} {Recommendation}},
+ date = {2013-03-23},
+ url = {https://www.w3.org/TR/sparql11-overview/}}
+
@TECHREPORT{PruSea08:sparql,
title = {{SPARQL} Query Language for {RDF}},
institution = {World Wide Web Consortium ({W3C})},
@@ -36,15 +125,6 @@
author = {Eric Prud'hommeaux and Andy Seaborne},
url = {http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/}}
-@TECHREPORT{PruSea06:sparql,
- title = {{SPARQL} Query Language for {RDF}},
- institution = {World Wide Web Consortium ({W3C})},
- year = {2006},
- type = {{W3C} {Candidate} {Recommendation}},
- month = apr,
- author = {Eric Prud'hommeaux and Andy Seaborne},
- url = {http://www.w3.org/TR/2006/CR-rdf-sparql-query-20060406/}}
-
@online{PARIGP:on,
label = {PG},
title = {{PARI/GP} Home},
@@ -5027,6 +5107,13 @@ author = "Tjark Weber"}
bibsource = {DBLP, http://dblp.uni-trier.de}
}
+@Misc{Harrison:MSTGA18,
+ author = {John Harrison},
+ title = {Let's Make Set Theory Great Again},
+ year = {2018},
+ url = {http://aitp-conference.org/2018/slides/JH.pdf},
+ howpublished = {Talk at the Artificial Intelligence and Theorem Proving Conference 2018}
+}
@Article{H:FPTaP,
author = {John Harrison},
@@ -9299,10 +9386,6 @@ title = {Mathematics on the Web: The {EzMath} notation},
note = "[Online; accessed March 2008]"
}
-
-
-
-
@Misc{wikipedia:depthfirst,
key = {Wikipedia: Depth-first search},
title = {{Depth-first search (from Wikipedia, the free encyclopedia)}},
@@ -9312,10 +9395,6 @@ title = {Mathematics on the Web: The {EzMath} notation},
crossref = {wikipedia},
url = {http://en.wikipedia.org/w/index.php?title=Depth-first_search&oldid=188484505}}
-
-
-
-
@InProceedings{SD:UnitKnowledgeMgmt08,
author = {Jonathan Stratford and James H. Davenport},
title = {Unit Knowledge Management},
@@ -9359,7 +9438,6 @@ Semantics of the Units},
url = {http://www.bricklin.com/visicalc.htm},
howpublished = {\url{http://www.bricklin.com/visicalc.htm}}}
-
@Misc{Tague:tbphstinpi09,
author = {Thomas Tague},
title = {The Big Picture -- How Semantic Technologies Introduce a New Paradigm for Interaction},
@@ -9489,8 +9567,6 @@ PAGES = {259--286}}
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},
title = {A Framework for Ontology Evolution in Collaborative Environments},
@@ -9692,26 +9768,12 @@ howpublished = {\url{http://cnx.org/lenses}}}
volume = {44},
year = {2007}}
-
-
-
-
-
-
-
-
-
-
-
-
@TECHREPORT{SaMa:Avlefpms,
author = {Teresa Sancho and Ramon Masia},
title = {A virutal learning environmnet for pregraduate mathematical students},
institution = {Universitat Oberta de Catalunya, Barcelona},
year = {2007}}
-
-
@PhdThesis{Borst97:ConstructionEngineeringOntologies,
author = {Willem Nico Borst},
title = {Construction of Engineering Ontologies for Knowledge Sharing and Reuse},
@@ -9719,12 +9781,6 @@ howpublished = {\url{http://cnx.org/lenses}}}
year = {1997},
url = {http://doc.utwente.nl/17864/}}
-
-
-
-
-
-
@misc{wiki:semantics,
author = "Wikipedia",
title = "Semantics --- Wikipedia{} The Free Encyclopedia",
@@ -9747,7 +9803,6 @@ howpublished = {\url{http://cnx.org/lenses}}}
year = 1967,
note = {Originally published in 1930}}
-
@InProceedings{KanSuz:rddrmf06,
title = {Refinement of digitized documents through recognition of mathematical formulae},
year = 2006,
@@ -10424,8 +10479,6 @@ lastchecked = {May, 2008}}
volume = {7},
pages = {267--280}}
-
-
@InProceedings{PS:FoucaultWiki06,
author = {Christian Pentzold and Sebastian Seidenglanz},
title = {{Foucault@Wiki} -- First Steps Towards a Conceptual Framework for the
@@ -10448,10 +10501,6 @@ lastchecked = {May, 2008}}
url = {http://www.wikisym.org/ws2006/proceedings/p33.pdf},
crossref = {wikisym06}}
-
-
-
-
@inproceedings{MunaMin:MFmase06,crossref={MunMin:MathFind06}}
@InProceedings{MunMin:MathFind06,
author = {Rajesh Munavalli and Robert Miner},
@@ -10638,14 +10687,6 @@ lastchecked = {May, 2008}}
school = {Worcester Polytechnic Institute},
}
-
-
-
-
-
-
-
-
@unpublished{cm:s3t:10,
author = {Christine M{\"u}ller},
title = {From Topics to Narrative Documents Management and Personalization of Topic Collections},
@@ -10660,21 +10701,6 @@ lastchecked = {May, 2008}}
note = {Submitted, see \url{http://kwarc.info/cmueller/papers/kmis10.pdf}},
url = {http://kwarc.info/cmueller/papers/kmis10.pdf}}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@book{Falk:thermodyn,
author = {Gottfried Falk},
title = {Theoretische Physik II Thermodynamik},
@@ -10735,7 +10761,6 @@ lastchecked = {May, 2008}}
url = {http://www.mathtran.org},
note = {\seen{\May~} 2010}}
-
@InProceedings{RDSH:SemanticsXMLMarkup02,
author = {Allen Renear and David Dubin and C. M. Sperberg-McQueen and Claus Huitfeld},
title = {Towards a Semantics for {XML} Markup},
@@ -11079,6 +11104,23 @@ G. Goguadze and P. Libbrecht and M. Pollet and C. Ullrich},
publisher = {Oxford University Press},
pages = {523--530}}
+@inproceedings{Klein2009seL4FV,
+ title={seL4: formal verification of an OS kernel},
+ author={Gerwin Klein and Kevin Elphinstone and Gernot Heiser and June Andronick and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood},
+ booktitle={SOSP},
+ year={2009}
+}
+
+@article{Frimm2018FVSurvey,
+author = {Tomás Frimm and Djones Lettnin and Michael Hübner},
+year = {2018},
+month = {05},
+title = {A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip},
+volume = {7},
+journal = {Electronics},
+doi = {10.3390/electronics7060081}
+}
+
@INPROCEEDINGS{SH02,
author = {Axel Schairer and Dieter Hutter},
title = {Proof Transformations for Evolutionary Formal Software Development},
@@ -42148,9 +42190,22 @@ crossref = {SEPUBLICA14},
crossref = {BenBroSieSta:fhpab08}
}
+@InProceedings{DarvasMehtaRudich:EWDC08,
+ author="{\'A}d{\'a}m Darvas and Farhad Mehta and Arsenii Rudich",
+ editor="Alessandro Armando and Peter Baumgartner and Gilles Dowek",
+ title="Efficient Well-Definedness Checking",
+ booktitle="Automated Reasoning",
+ year="2008",
+ publisher="Springer Berlin Heidelberg",
+ pages="100--115",
+ isbn="978-3-540-71070-7",
+ url="https://link.springer.com/content/pdf/10.1007%2F978-3-540-71070-7_8.pdf"
+}
+
+
@inproceedings{Farmer:UndCalc04,
author = {William M. Farmer},
- title = {Formalizing undefinedness arising in calculus},
+ title = {Formalizing Undefinedness Arising in Calculus},
booktitle = {Automated Reasoning},
series = {Lecture Notes in Computer Science},
volume = {3097},
@@ -42160,6 +42215,25 @@ crossref = {SEPUBLICA14},
url = {http://imps.mcmaster.ca/doc/calculus.pdf}
}
+@online{JupMessaging:on,
+ label = "JM",
+ title = "Jupyter Messaging",
+ url = {http://jupyter-client.readthedocs.io/en/latest/messaging.html},
+ urldate = {2018-07-16}
+}
+@MANUAL{JupDocumentation:on,
+ label = {JD},
+ title = "Jupyter Documentation",
+ url = {http://jupyter.readthedocs.io/en/latest/},
+ urldate = {2018-07-16}
+}
+@MANUAL{Py4J:on,
+ label = "P4J",
+ title = "Py4J",
+ url = {https://www.py4j.org/},
+ urldate = {2018-07-16}
+}
+
@article{coen2007note,
title={A Note on Formalising Undefined Terms in Real Analysis},
author={Claudio Sacerdoti Coen and Enrico Zoli},
@@ -42177,7 +42251,15 @@ crossref = {SEPUBLICA14},
number={3},
pages={295--320},
year={1995},
- publisher={Springer}
+ publisher={Springer},
+ url={https://math.stanford.edu/~feferman/papers/definedness.pdf}
+}
+
+@book{Lambert1991-LAMPAO,
+ title = {Philosophical Applications of Free Logic},
+ year = {1991},
+ publisher = {Oxford University Press},
+ author = {Karel Lambert}
}
@techreport{OntoIOp-RFP,
@@ -42430,3 +42512,10 @@ pages="288--295"}
howpublished = {\url{https://github.com/vega/ts-json-schema-generator}},
note = {Accessed: 2018-10-14},
}
+
+@MANUAL{nbformat:on,
+ label = {JND},
+ title = "The Jupyter Notebook Format",
+ url = {https://nbformat.readthedocs.io/en/latest/},
+ urldate = {2018-03-13}
+}
diff --git a/lib/kbibs/kwarc.bib b/lib/kbibs/kwarc.bib
index 3acfde3..24c7a53 100644
--- a/lib/kbibs/kwarc.bib
+++ b/lib/kbibs/kwarc.bib
@@ -60,6 +60,88 @@
@STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
+@online{ACM-CompClass:on,
+ label = {ACM},
+ title = {The 2012 {ACM} Computing Classification System},
+ url = {https://www.acm.org/publications/class-2012},
+ urldate = {2019-03-07}}
+
+@article{Yang2005,
+ title={Integration of metabolic networks and gene expression in virtual reality},
+ author={Yuting Yang and Levent Engin and Eve Syrkin Wurtele and Carolina Cruz-Neira and Julie A. Dickerson},
+ journal={Bioinformatics},
+ year={2005},
+ volume={21 18},
+ pages={3645--50}}
+
+@inproceedings{Yang:2006,
+ author = {Yang, Yuting and Wurtele, Eve Syrkin and Cruz-Neira, Carolina and Dickerson, Julie A.},
+ title = {Hierarchical Visualization of Metabolic Networks Using Virtual Reality},
+ booktitle = {Proceedings of the 2006 ACM International Conference on Virtual Reality Continuum and Its Applications},
+ series = {VRCIA '06},
+ year = {2006},
+ isbn = {1-59593-324-7},
+ location = {Hong Kong, China},
+ pages = {377--381},
+ numpages = {5},
+ url = {http://doi.acm.org/10.1145/1128923.1128992},
+ doi = {10.1145/1128923.1128992},
+ acmid = {1128992},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+ keywords = {computer graphics rendering, graph layout, interactive visualization, metabolic network, virtual reality},
+}
+
+@inproceedings{vrexp18,
+ author = {Capece, Nicola and Erra, Ugo and Grippa, Jari},
+ year = {2018},
+ month = {07},
+ pages = {448-453},
+ title = {GraphVR: A Virtual Reality Tool for the Exploration of Graphs with HTC Vive System},
+ doi = {10.1109/iV.2018.00084}
+}
+
+@article{vrinterface18,
+ author = {Erra, Ugo and Malandrino, Delfina and Pepe, Luca},
+ year = {2018},
+ month = {01},
+ pages = {1-14},
+ title = {Virtual Reality Interfaces for Interacting with Three-Dimensional Graphs},
+ journal = {International Journal of Human-Computer Interaction},
+ doi = {10.1080/10447318.2018.1429061}
+}
+
+@article{vrinteraction18,
+ author = {Yang, Jiachen and Wang, Yafang and Lv, Zhihan and Jiang, Na and Steed, Anthony},
+ year = {2018},
+ month = {03},
+ pages = {64-72},
+ title = {Interaction with Three-Dimensional Gesture and Character Input in Virtual Reality: Recognizing Gestures in Different Directions and Improving User Input},
+ volume = {7},
+ journal = {IEEE Consumer Electronics Magazine},
+ doi = {10.1109/MCE.2017.2776500}
+}
+
+@online{UGE:on,
+ url = {https://unity3d.com},
+ title = {{Unity Game Engine}},
+ label = {UGE},
+ urldate = {2019-03-07},
+}
+@online{OCR:on,
+ url = {https://www.oculus.com/rift},
+ title = {{Oculus Rift}},
+ label = {OCR},
+ urldate = {2019-03-07},
+}
+@online{ORRequirements:on,
+ url = {https://support.oculus.com/248749509016567},
+ title = {{Oculus Rift System Requirements}},
+ label = {REQ},
+ urldate = {2019-03-07},
+}
+
+
@online{cocalc:on,
label = {CC},
title = {{CoCalc}: Collaborative Calculation in the Cloud},
@@ -79,6 +161,13 @@
author = {Steve Harris and Andy Seaborne},
url = {http://www.w3.org/TR/2010/WD-sparql11-query-20100601/}}
+@TECHREPORT{w3c:SPARQL-Rec:13,
+ title = {{SPARQL} 1.1 Overview},
+ institution = {World Wide Web Consortium ({W3C})},
+ type = {{W3C} {Recommendation}},
+ date = {2013-03-23},
+ url = {https://www.w3.org/TR/sparql11-overview/}}
+
@TECHREPORT{PruSea08:sparql,
title = {{SPARQL} Query Language for {RDF}},
institution = {World Wide Web Consortium ({W3C})},
@@ -89,16 +178,12 @@
author = {Eric Prud'hommeaux and Andy Seaborne},
url = {http://www.w3.org/TR/2008/REC-rdf-sparql-query-20080115/}}
-@TECHREPORT{PruSea06:sparql,
- title = {{SPARQL} Query Language for {RDF}},
- institution = {World Wide Web Consortium ({W3C})},
- year = {2006},
- type = {{W3C} {Candidate} {Recommendation}},
- month = apr,
- author = {Eric Prud'hommeaux and Andy Seaborne},
- url = {http://www.w3.org/TR/2006/CR-rdf-sparql-query-20060406/}}
-
-
+@online{PARIGP:on,
+ label = {PG},
+ title = {{PARI/GP} Home},
+ url = {https://pari.math.u-bordeaux.fr/},
+ urldate = {2019-01-29}}
+
@article{WilDumAal:FAIR16,
author = {Wilkinson, Mark D. and Dumontier, Michel and Aalbersberg, IJsbrand Jan and Appleton, Gabrielle and Axton, Myles and Baak, Arie and Blomberg, Niklas and Boiten, Jan-Willem and da Silva Santos, Luiz Bonino and Bourne, Philip E. and Bouwman, Jildau and Brookes, Anthony J. and Clark, Tim and Crosas, Merc{\`e} and Dillo, Ingrid and Dumon, Olivier and Edmunds, Scott and Evelo, Chris T. and Finkers, Richard and Gonzalez-Beltran, Alejandra and Gray, Alasdair J. G. and Groth, Paul and Goble, Carole and Grethe, Jeffrey S. and Heringa, Jaap and 't Hoen, Peter A. C and Hooft, Rob and Kuhn, Tobias and Kok, Ruben and Kok, Joost and Lusher, Scott J. and Martone, Maryann E. and Mons, Albert and Packer, Abel L. and Persson, Bengt and Rocca-Serra, Philippe and Roos, Marco and van Schaik, Rene and Sansone, Susanna-Assunta and Schultes, Erik and Sengstag, Thierry and Slater, Ted and Strawn, George and Swertz, Morris A. and Thompson, Mark and van der Lei, Johan and van Mulligen, Erik and Velterop, Jan and Waagmeester, Andra and Wittenburg, Peter and Wolstencroft, Katherine and Zhao, Jun and Mons, Barend},
journal = {Scientific Data},
@@ -820,17 +905,6 @@ doi="10.1007/978-3-642-14052-5_23",
}
-@Article{Cremona:LMFDB16,
-author="Cremona, John",
-title="The {L}-Functions and Modular Forms Database Project",
-journal="Foundations of Computational Mathematics",
-year="2016",
-volume="16",
-number="6",
-pages="1541--1553",
-issn="1615-3383",
-doi="10.1007/s10208-016-9306-z",
-}
@Book{Sloane:his73,
author = {{N.J. A. Sloane}},
@@ -1190,6 +1264,18 @@ journal = {The Computer Journal}
url = {http://www.open-axiom.org}
}
+@Article{Cremona:LMFDB16,
+author="Cremona, John",
+title="The {L}-Functions and Modular Forms Database Project",
+journal="Foundations of Computational Mathematics",
+year="2016",
+volume="16",
+number="6",
+pages="1541--1553",
+issn="1615-3383",
+doi="10.1007/s10208-016-9306-z",
+}
+
@online{lmfdb:github,
label = {LMFDB},
urldate = {2019-01-23},
@@ -1205,8 +1291,7 @@ journal = {The Computer Journal}
note = {[Online; accessed 27 August 2016]}}
@misc{lmfdb:base,
key = {LMFDB},
- author = {The {LMFDB Collaboration}},
- title = {The L-functions and Modular Forms Database}}
+ title = {The {L}-functions and Modular Forms Database}}
@misc{findstat,
key = {FindStat},
@@ -5075,6 +5160,13 @@ author = "Tjark Weber"}
bibsource = {DBLP, http://dblp.uni-trier.de}
}
+@Misc{Harrison:MSTGA18,
+ author = {John Harrison},
+ title = {Let's Make Set Theory Great Again},
+ year = {2018},
+ url = {http://aitp-conference.org/2018/slides/JH.pdf},
+ howpublished = {Talk at the Artificial Intelligence and Theorem Proving Conference 2018}
+}
@Article{H:FPTaP,
author = {John Harrison},
@@ -9347,10 +9439,6 @@ title = {Mathematics on the Web: The {EzMath} notation},
note = "[Online; accessed March 2008]"
}
-
-
-
-
@Misc{wikipedia:depthfirst,
key = {Wikipedia: Depth-first search},
title = {{Depth-first search (from Wikipedia, the free encyclopedia)}},
@@ -9360,10 +9448,6 @@ title = {Mathematics on the Web: The {EzMath} notation},
crossref = {wikipedia},
url = {http://en.wikipedia.org/w/index.php?title=Depth-first_search&oldid=188484505}}
-
-
-
-
@InProceedings{SD:UnitKnowledgeMgmt08,
author = {Jonathan Stratford and James H. Davenport},
title = {Unit Knowledge Management},
@@ -9407,7 +9491,6 @@ Semantics of the Units},
url = {http://www.bricklin.com/visicalc.htm},
howpublished = {\url{http://www.bricklin.com/visicalc.htm}}}
-
@Misc{Tague:tbphstinpi09,
author = {Thomas Tague},
title = {The Big Picture -- How Semantic Technologies Introduce a New Paradigm for Interaction},
@@ -9537,8 +9620,6 @@ PAGES = {259--286}}
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},
title = {A Framework for Ontology Evolution in Collaborative Environments},
@@ -9740,26 +9821,12 @@ howpublished = {\url{http://cnx.org/lenses}}}
volume = {44},
year = {2007}}
-
-
-
-
-
-
-
-
-
-
-
-
@TECHREPORT{SaMa:Avlefpms,
author = {Teresa Sancho and Ramon Masia},
title = {A virutal learning environmnet for pregraduate mathematical students},
institution = {Universitat Oberta de Catalunya, Barcelona},
year = {2007}}
-
-
@PhdThesis{Borst97:ConstructionEngineeringOntologies,
author = {Willem Nico Borst},
title = {Construction of Engineering Ontologies for Knowledge Sharing and Reuse},
@@ -9767,12 +9834,6 @@ howpublished = {\url{http://cnx.org/lenses}}}
year = {1997},
url = {http://doc.utwente.nl/17864/}}
-
-
-
-
-
-
@misc{wiki:semantics,
author = "Wikipedia",
title = "Semantics --- Wikipedia{} The Free Encyclopedia",
@@ -9795,7 +9856,6 @@ howpublished = {\url{http://cnx.org/lenses}}}
year = 1967,
note = {Originally published in 1930}}
-
@InProceedings{KanSuz:rddrmf06,
title = {Refinement of digitized documents through recognition of mathematical formulae},
year = 2006,
@@ -10472,8 +10532,6 @@ lastchecked = {May, 2008}}
volume = {7},
pages = {267--280}}
-
-
@InProceedings{PS:FoucaultWiki06,
author = {Christian Pentzold and Sebastian Seidenglanz},
title = {{Foucault@Wiki} -- First Steps Towards a Conceptual Framework for the
@@ -10496,10 +10554,6 @@ lastchecked = {May, 2008}}
url = {http://www.wikisym.org/ws2006/proceedings/p33.pdf},
crossref = {wikisym06}}
-
-
-
-
@inproceedings{MunaMin:MFmase06,crossref={MunMin:MathFind06}}
@InProceedings{MunMin:MathFind06,
author = {Rajesh Munavalli and Robert Miner},
@@ -10686,14 +10740,6 @@ lastchecked = {May, 2008}}
school = {Worcester Polytechnic Institute},
}
-
-
-
-
-
-
-
-
@unpublished{cm:s3t:10,
author = {Christine M{\"u}ller},
title = {From Topics to Narrative Documents Management and Personalization of Topic Collections},
@@ -10708,21 +10754,6 @@ lastchecked = {May, 2008}}
note = {Submitted, see \url{http://kwarc.info/cmueller/papers/kmis10.pdf}},
url = {http://kwarc.info/cmueller/papers/kmis10.pdf}}
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
@book{Falk:thermodyn,
author = {Gottfried Falk},
title = {Theoretische Physik II Thermodynamik},
@@ -10783,7 +10814,6 @@ lastchecked = {May, 2008}}
url = {http://www.mathtran.org},
note = {\seen{\May~} 2010}}
-
@InProceedings{RDSH:SemanticsXMLMarkup02,
author = {Allen Renear and David Dubin and C. M. Sperberg-McQueen and Claus Huitfeld},
title = {Towards a Semantics for {XML} Markup},
@@ -11127,6 +11157,23 @@ G. Goguadze and P. Libbrecht and M. Pollet and C. Ullrich},
publisher = {Oxford University Press},
pages = {523--530}}
+@inproceedings{Klein2009seL4FV,
+ title={seL4: formal verification of an OS kernel},
+ author={Gerwin Klein and Kevin Elphinstone and Gernot Heiser and June Andronick and David Cock and Philip Derrin and Dhammika Elkaduwe and Kai Engelhardt and Rafal Kolanski and Michael Norrish and Thomas Sewell and Harvey Tuch and Simon Winwood},
+ booktitle={SOSP},
+ year={2009}
+}
+
+@article{Frimm2018FVSurvey,
+author = {Tomás Frimm and Djones Lettnin and Michael Hübner},
+year = {2018},
+month = {05},
+title = {A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip},
+volume = {7},
+journal = {Electronics},
+doi = {10.3390/electronics7060081}
+}
+
@INPROCEEDINGS{SH02,
author = {Axel Schairer and Dieter Hutter},
title = {Proof Transformations for Evolutionary Formal Software Development},
@@ -12781,20 +12828,11 @@ url = {https://www.sciencedirect.com/science/article/pii/S0004370212000719}}
title = "{Nonclassical multidimensional scaling}",
year = {2013}}
-@online{zblmath:online,crossref={URL:zblmath:base},urldate = {2012-06-12},label={ZBM}}
-@Misc{URL:zblmath,crossref={URL:zblmath:base},
- key = {ZBM},
- howpublished = {\webpageat\url{http://www.zentralblatt-math.org/zbmath}},
- note = {\seen{\November} 2012}}
-@Misc{URL:zblmath:base,
- title = {Zentralblatt {MATH}},
- url = {http://www.zentralblatt-math.org/zbmath/}}
-
@online{zbMATH:on,
label = {ZBM},
title = {{zbMATH} the first resource in mathematics},
url = {http://zbmath.org},
- urldate = {2017-07-02}}
+ urldate = {2019-01-29}}
@online{springer:online,crossref={URL:springer:base},urldate = {2012-06-12}}
@Misc{URL:springer,crossref={URL:springer:base},
@@ -35570,10 +35608,8 @@ address = {Chiang Mai},
howpublished = "\url{http://neilsloane.com/doc/eger.pdf}",
}
-@Online{OEIS:on,crossref={oeis}}
-@Online{oeis,
+@Online{OEIS:on,
label = {OEIS},
- editor = {OEIS Foundation Inc.},
title = {The On-Line Encyclopedia of Integer Sequences},
url = {http://oeis.org},
urldate = {2017-05-28},
@@ -42207,9 +42243,22 @@ crossref = {SEPUBLICA14},
crossref = {BenBroSieSta:fhpab08}
}
+@InProceedings{DarvasMehtaRudich:EWDC08,
+ author="{\'A}d{\'a}m Darvas and Farhad Mehta and Arsenii Rudich",
+ editor="Alessandro Armando and Peter Baumgartner and Gilles Dowek",
+ title="Efficient Well-Definedness Checking",
+ booktitle="Automated Reasoning",
+ year="2008",
+ publisher="Springer Berlin Heidelberg",
+ pages="100--115",
+ isbn="978-3-540-71070-7",
+ url="https://link.springer.com/content/pdf/10.1007%2F978-3-540-71070-7_8.pdf"
+}
+
+
@inproceedings{Farmer:UndCalc04,
author = {William M. Farmer},
- title = {Formalizing undefinedness arising in calculus},
+ title = {Formalizing Undefinedness Arising in Calculus},
booktitle = {Automated Reasoning},
series = {Lecture Notes in Computer Science},
volume = {3097},
@@ -42219,6 +42268,53 @@ crossref = {SEPUBLICA14},
url = {http://imps.mcmaster.ca/doc/calculus.pdf}
}
+@online{JupMessaging:on,
+ label = "JM",
+ title = "Jupyter Messaging",
+ url = {http://jupyter-client.readthedocs.io/en/latest/messaging.html},
+ urldate = {2018-07-16}
+}
+@MANUAL{JupDocumentation:on,
+ label = {JD},
+ title = "Jupyter Documentation",
+ url = {http://jupyter.readthedocs.io/en/latest/},
+ urldate = {2018-07-16}
+}
+@MANUAL{Py4J:on,
+ label = "P4J",
+ title = "Py4J",
+ url = {https://www.py4j.org/},
+ urldate = {2018-07-16}
+}
+
+@article{coen2007note,
+ title={A Note on Formalising Undefined Terms in Real Analysis},
+ author={Claudio Sacerdoti Coen and Enrico Zoli},
+ journal={PATE’07},
+ pages={3},
+ year={2007},
+ publisher={Citeseer}
+}
+
+@article{feferman1995definedness,
+ title={Definedness},
+ author={Solomon Feferman},
+ journal={Erkenntnis},
+ volume={43},
+ number={3},
+ pages={295--320},
+ year={1995},
+ publisher={Springer},
+ url={https://math.stanford.edu/~feferman/papers/definedness.pdf}
+}
+
+@book{Lambert1991-LAMPAO,
+ title = {Philosophical Applications of Free Logic},
+ year = {1991},
+ publisher = {Oxford University Press},
+ author = {Karel Lambert}
+}
+
@techreport{OntoIOp-RFP,
institution = {Object Management Group},
title = {Ontology, Model and Specification Integration and Interoperability (OntoIOp)},
@@ -42470,17 +42566,36 @@ pages="288--295"}
note = {Accessed: 2018-10-14},
}
+@MANUAL{nbformat:on,
+ label = {JND},
+ title = "The Jupyter Notebook Format",
+ url = {https://nbformat.readthedocs.io/en/latest/},
+ urldate = {2018-03-13}
+}
+
@string{kpmessage = "READ the README please!!!!!!!!!!!!!!"}
@STRING{stexyear = 2018}
@STRING{testing = 16}
+@online{TGWiki:on,
+ url = {https://github.com/UniFormal/TGView/wiki},
+ title = {{Graph Format Description}},
+ label = {TGWIKI},
+ urldate = {2019-03-07}}
+
+@online{TGW3DWEB:on,
+ url = {https://tgview3d.mathhub.info},
+ title = {{TGView3D Web Version}},
+ label = {T3W},
+ urldate = {2019-03-07}
+}
+
@online{kwarc:datahost:on,
label = {KDH},
title = {{KWARC} Data Host},
url = {https://datahost.kwarc.info/},
urldate = {2019-01-25}}
-
@online{bercic:cmo:table,
author = {Katja Ber\v{c}i\v{c}},
title = {Math Databases table},
@@ -42846,6 +42961,22 @@ pages="288--295"}
pages = {214--252},
url = {http://ceur-ws.org/Vol-1917/paper33.pdf},
pubs = {mkohlhase}}
+
+@inproceedings{Kohlhase:frme18,
+ title = {Factors for Reading Mathematical Expressions},
+ author = {Andrea Kohlhase},
+ crossref = {LWDA18},
+ pages = {195--202},
+ url = {http://ceur-ws.org/Vol-2191/paper24.pdf},
+ pubs = {akohlhase}}
+
+@inproceedings{Kohlhase:tcgal18,
+ title = {Towards Context Graphs for Argumentation Logics},
+ author = {Michael Kohlhase},
+ crossref = {LWDA18},
+ pages = {203--214},
+ url = {http://ceur-ws.org/Vol-2191/paper25.pdf},
+ pubs = {mkohlhase}}
@online{ed:on,
title = {ed -- Editorial Notes for {\LaTeX} documents},
@@ -44812,7 +44943,6 @@ Rudnicki and Josef Urban},
number = 11,
isbn = {978-1-60750-840-3},
url = {http://www.semantic-web-studies.net},
- note = {Book edition of thesis \cite{Lange:PhD}},
pubs = {clange,docOnto,krextor,omdoc,jobad,swim,sTeX}}
@phdthesis{Lange:PhD:plain,
@@ -50514,15 +50644,13 @@ D6.3: Design of Triform ({D/K/S}) Theories (Specification/{RNC} Schema/Examples
@STRING{krcmessage = "READ the README please!!!!!!!!!!!!!!"}
@PROCEEDINGS{CICM18WIP,
- title = {Intelligent Computer Mathematics -- Work in Progress Papers},
- booktitle = {{Intelligent Computer Mathematics -- Work in Progress Papers}},
+ title = {Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018},
+ booktitle = {Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018},
key = {CICM18WIP},
year = {2018},
- SOONurl = {http://ceur-ws.org/Vol-1785/},
- SOONeditor = {Michael Kohlhase and Andrea Kohlhase and Paul Libbrecht and Bruce Miller and Adam Naumowicz and Walther Neuper and Pedro Quaresma and
-Frank Tompa and Martin Suda},
- SOONpubs={mkohlhase,akohlhase}}
-
+ url = {http://ceur-ws.org/Vol-2307/},
+ editor = {Osman Hasan and Abdou Youssef and Adam Naumowicz and William Farmer and Cezary Kaliszyk and Diane Gallois-Wong and Florian Rabe and Gabriel Dos Reis and Grant Passmore and James Davenport and Markus Pfeiffer and Michael Kohlhase and Serge Autexier and Sofiene Tahar and Thomas Koprucki and Umair Siddique and Walther Neuper and Wolfgang Windsteiger and Wolfgang Schreiner and Wolfram Sperber and Zoltán Kovács},
+ pubs={mkohlhase,akohlhase,frabe}}
@Proceedings{FGWM17,
editor = {Andrea Kohlhase and Eric K{\"u}bler},
@@ -50530,6 +50658,7 @@ Frank Tompa and Martin Suda},
booktitle = {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
note = {Workshop at LWDA 2017},
year = {2017},
+ url = {http://ceur-ws.org/Vol-1917/},
month = oct,
pubs = {akohlhase}}
@@ -50585,19 +50714,37 @@ Frank Tompa and Martin Suda},
}
@proceedings{CICM18,
- editor = {Florian Rabe and William Farmer and Abdou Youssef and \ldots},
+ editor = {Florian Rabe and
+ William M. Farmer and
+ Grant O. Passmore and
+ Abdou Youssef},
eventtitle = {Conferences on Intelligent Computer Mathematics},
title = {Intelligent Computer Mathematics},
booktitle = {{Intelligent Computer Mathematics} (CICM) 2018},
publisher = {Springer},
+ doi = {10.1007/978-3-319-96812-4},
+ isbn = {978-3-319-96811-7},
+ series = {LNAI},
+ number = {11006},
+ year = {2018},
+ keywords = {conference},
+ pubs={frabe,oaf,odk}
+}
+
+@proceedings{CICM19,
+ editor = {Cezary Kaliszyck and Edwin Brady and Claudio Sacerdoti-Coen and Andrea Kohlhase},
+ eventtitle = {Conferences on Intelligent Computer Mathematics},
+ title = {Intelligent Computer Mathematics},
+ booktitle = {{Intelligent Computer Mathematics} (CICM) 2019},
+ publisher = {Springer},
SOONdoi = {10.1007/978-3-319-62075-6},
series = {LNAI},
SOONnumber = {10383},
SOONisbn = {978-3-319-62074-9},
- note = {in press},
- year = {2018},
+ note = {in preparation},
+ year = {2019},
keywords = {conference},
- pubs={frabe,oaf,odk}
+ pubs={akohlhase}
}
@proceedings{CICM16,
@@ -51078,6 +51225,20 @@ eventdate = {2014-05-25},
@STRING{spring = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
+@proceedings{LWDA18,
+ editor = {Rainer Gemulla and
+ Simone Paolo Ponzetto and
+ Christian Bizer and
+ Margret Keuper and
+ Heiner Stuckenschmidt},
+ title = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}},
+ series = {{CEUR} Workshop Proceedings},
+ volume = {2191},
+ publisher = {CEUR-WS.org},
+ year = {2018},
+ url = {http://ceur-ws.org/Vol-2191}}
+
+
@online{TasMah:mc,
author = {Assia Mahboubi and Enrico Tassi},
title = {Mathematical Components},
diff --git a/lib/kbibs/kwarccrossrefs.bib b/lib/kbibs/kwarccrossrefs.bib
index fc2f5ae..4187aa0 100644
--- a/lib/kbibs/kwarccrossrefs.bib
+++ b/lib/kbibs/kwarccrossrefs.bib
@@ -1,15 +1,13 @@
@STRING{krcmessage = "READ the README please!!!!!!!!!!!!!!"}
@PROCEEDINGS{CICM18WIP,
- title = {Intelligent Computer Mathematics -- Work in Progress Papers},
- booktitle = {{Intelligent Computer Mathematics -- Work in Progress Papers}},
+ title = {Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018},
+ booktitle = {Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018},
key = {CICM18WIP},
year = {2018},
- SOONurl = {http://ceur-ws.org/Vol-1785/},
- SOONeditor = {Michael Kohlhase and Andrea Kohlhase and Paul Libbrecht and Bruce Miller and Adam Naumowicz and Walther Neuper and Pedro Quaresma and
-Frank Tompa and Martin Suda},
- SOONpubs={mkohlhase,akohlhase}}
-
+ url = {http://ceur-ws.org/Vol-2307/},
+ editor = {Osman Hasan and Abdou Youssef and Adam Naumowicz and William Farmer and Cezary Kaliszyk and Diane Gallois-Wong and Florian Rabe and Gabriel Dos Reis and Grant Passmore and James Davenport and Markus Pfeiffer and Michael Kohlhase and Serge Autexier and Sofiene Tahar and Thomas Koprucki and Umair Siddique and Walther Neuper and Wolfgang Windsteiger and Wolfgang Schreiner and Wolfram Sperber and Zoltán Kovács},
+ pubs={mkohlhase,akohlhase,frabe}}
@Proceedings{FGWM17,
editor = {Andrea Kohlhase and Eric K{\"u}bler},
@@ -17,6 +15,7 @@ Frank Tompa and Martin Suda},
booktitle = {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
note = {Workshop at LWDA 2017},
year = {2017},
+ url = {http://ceur-ws.org/Vol-1917/},
month = oct,
pubs = {akohlhase}}
@@ -72,19 +71,37 @@ Frank Tompa and Martin Suda},
}
@proceedings{CICM18,
- editor = {Florian Rabe and William Farmer and Abdou Youssef and \ldots},
+ editor = {Florian Rabe and
+ William M. Farmer and
+ Grant O. Passmore and
+ Abdou Youssef},
eventtitle = {Conferences on Intelligent Computer Mathematics},
title = {Intelligent Computer Mathematics},
booktitle = {{Intelligent Computer Mathematics} (CICM) 2018},
publisher = {Springer},
+ doi = {10.1007/978-3-319-96812-4},
+ isbn = {978-3-319-96811-7},
+ series = {LNAI},
+ number = {11006},
+ year = {2018},
+ keywords = {conference},
+ pubs={frabe,oaf,odk}
+}
+
+@proceedings{CICM19,
+ editor = {Cezary Kaliszyck and Edwin Brady and Claudio Sacerdoti-Coen and Andrea Kohlhase},
+ eventtitle = {Conferences on Intelligent Computer Mathematics},
+ title = {Intelligent Computer Mathematics},
+ booktitle = {{Intelligent Computer Mathematics} (CICM) 2019},
+ publisher = {Springer},
SOONdoi = {10.1007/978-3-319-62075-6},
series = {LNAI},
SOONnumber = {10383},
SOONisbn = {978-3-319-62074-9},
- note = {in press},
- year = {2018},
+ note = {in preparation},
+ year = {2019},
keywords = {conference},
- pubs={frabe,oaf,odk}
+ pubs={akohlhase}
}
@proceedings{CICM16,
diff --git a/lib/kbibs/kwarcpubs.bib b/lib/kbibs/kwarcpubs.bib
index e447ec3..65ce9d8 100644
--- a/lib/kbibs/kwarcpubs.bib
+++ b/lib/kbibs/kwarcpubs.bib
@@ -2,13 +2,25 @@
@STRING{stexyear = 2018}
@STRING{testing = 16}
+@online{TGWiki:on,
+ url = {https://github.com/UniFormal/TGView/wiki},
+ title = {{Graph Format Description}},
+ label = {TGWIKI},
+ urldate = {2019-03-07}}
+
+@online{TGW3DWEB:on,
+ url = {https://tgview3d.mathhub.info},
+ title = {{TGView3D Web Version}},
+ label = {T3W},
+ urldate = {2019-03-07}
+}
+
@online{kwarc:datahost:on,
label = {KDH},
title = {{KWARC} Data Host},
url = {https://datahost.kwarc.info/},
urldate = {2019-01-25}}
-
@online{bercic:cmo:table,
author = {Katja Ber\v{c}i\v{c}},
title = {Math Databases table},
@@ -374,6 +386,22 @@
pages = {214--252},
url = {http://ceur-ws.org/Vol-1917/paper33.pdf},
pubs = {mkohlhase}}
+
+@inproceedings{Kohlhase:frme18,
+ title = {Factors for Reading Mathematical Expressions},
+ author = {Andrea Kohlhase},
+ crossref = {LWDA18},
+ pages = {195--202},
+ url = {http://ceur-ws.org/Vol-2191/paper24.pdf},
+ pubs = {akohlhase}}
+
+@inproceedings{Kohlhase:tcgal18,
+ title = {Towards Context Graphs for Argumentation Logics},
+ author = {Michael Kohlhase},
+ crossref = {LWDA18},
+ pages = {203--214},
+ url = {http://ceur-ws.org/Vol-2191/paper25.pdf},
+ pubs = {mkohlhase}}
@online{ed:on,
title = {ed -- Editorial Notes for {\LaTeX} documents},
@@ -2340,7 +2368,6 @@ Rudnicki and Josef Urban},
number = 11,
isbn = {978-1-60750-840-3},
url = {http://www.semantic-web-studies.net},
- note = {Book edition of thesis \cite{Lange:PhD}},
pubs = {clange,docOnto,krextor,omdoc,jobad,swim,sTeX}}
@phdthesis{Lange:PhD:plain,
--
GitLab