kwarcpubs.bib

  keywords = {formalization}}

@inproceedings{LRWK:AuctionsDoForm13,
  title = {Developing an Auction Theory Toolbox},
  author = {Christoph Lange and Colin Rowat and Wolfgang Windsteiger and Manfred Kerber},
  crossref = {DoForm13},
  pubs = {clange,formare}
}

@inproceedings{MKL:cMapOntoIOp12,
  author = {Till Mossakowski and Oliver Kutz and Christoph Lange},
  title = {{cMap}'s Product Classification Mapping from an Ontology Interoperability Perspective},
  year = 2012,
  editor = {Aur{\'e}lie Virgili and others},
  booktitle = {Mapping of classifications and other light-weight ontologies},
  eventtitle = {Workshop of the cMap project (Classification Mapping for open and standardized product classification usage in eBusiness)},
  eventdate = {2012-06-22},
  venue = {Madrid, Spain},
  keywords = {workshop},
  pubs = {clange,ontoiop},
}

@online{formare,
  author = {Manfred Kerber and Christoph Lange and Colin Rowat},
  title = {{ForMaRE}},
  subtitle = {Formal Mathematical Reasoning in Economics},
  urldate =      {2013-02-10},
  url = {http://cs.bham.ac.uk/research/formare/},
  pubs = {clange,formare}
}

@inproceedings{IanRab:mocdl12,
  author = "Mihnea Iancu and Florian Rabe",
  title = "{Management of Change in Declarative Languages}",
  pages = "325--340",
  crossref = {CICM12},
  pubs={frabe,miancu,latin,omdoc,mmt}}

@inproceedings{Kohlhase:kmsedcs13,
  author = {Michael Kohlhase},
  title = {Knowledge Management for Systematic Engineering Design in {CAD} Systems},
  crossref = {ProWM13},
  pages = {202-217},
  url = {https://kwarc.info/kohlhase/papers/wm13-formalcad.pdf},
  pubs={mkohlhase,FormalCAD}}

@mastersthesis{cdavid:mscthesis,
  author =   {Catalin David},
  title =    {{Semantic Alliance Framework}: Integrating Documents and Semantic Services},
  school =   {Jacobs University Bremen},
  year =     2012,
  type =     {M.\,Sc.\ Thesis},
  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},
  title =    {Text and Formula Search on {ArXiv} Documents},
  school =   {Jacobs University Bremen},
  year =     2014,
  type =     {M.\,Sc.\ Thesis},
  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},
  author = {Oliver Kutz and Christoph Lange and Till Mossakowski and C. Maria Keet and Fabian Neuhaus and Michael Gr{\"u}ninger},
  booktitle = {What will the Semantic Web look like 10 Years from now?  Workshop at ISWC},
  editor = {Frank van Harmelen and James A. Hendler and Pascal Hitzler and Krzysztof Janowicz and Denny Vrande{\v c}i{\'c}},
  year = {2012},
  url = {http://stko.geog.ucsb.edu/sw2022/},
  keywords = {workshop},
  pubs = {clange,ontoiop}}

@InBook{LanKoh:MathMashups12,
  author = {Christoph Lange and Michael Kohlhase},
  title = {Mashups using Mathematical Knowledge},
  pages = {171--204},
  pubs={mkohlhase,clange,planetary,sissi},
  url = {https://sites.google.com/site/mashupbookchapters/semantic-mashups/mathknowledge},
  crossref = {EndresNiggemeyer:SemanticMashups13}}

@misc{Lange:MatheLernenSemWiki08,
  title = {Mathematik lernen in einem semantischen Wiki},
  author = {Christoph Lange},
  note = {Invited talk at the 99\textsuperscript{th} MNU-Kongress (Deutscher Verein zur F{\"o}rderung des mathematischen und naturwissenschaftlichen Unterrichts e.V.)},
  year = {2008},
  month = {3},
  venue = {Kaiserslautern, Germany},
  url = {https://kwarc.info/swim/pubs/mnu08-mathe-lernen-semwiki.pdf},
  keywords = {invited-talk},
  pubs = {clange},
  hyphenation = {ngerman}}

@misc{KLR:EconomistsMechanizedReasoning12,
  title = {An economist's guide to mechanized reasoning or {My} computer just proved 84 impossibility theorems},
  author = {Manfred Kerber and Christoph Lange and Colin Rowat},
  editor = {Kenneth Judd},
  note = {Invited lecture at the Initiative for Computational Economics summer school},
  year = {2012},
  date = {2012-07-25},
  venue = {Chicago, US},
  url = {http://cs.bham.ac.uk/research/formare/pubs/ice2012/2012-07-25-ice-mech-reas-econ.pdf},
  keywords = {invited-talk},
  pubs = {clange,formare},
}

@inproceedings{KLR:FormReprProofCoopGames12,
  title = {Formal representation and proof for cooperative games},
  author = {Manfred Kerber and Christoph Lange and Colin Rowat},
  booktitle = {Symposium on Mathematical Practice and Cognition II},
  editor = {Alison Pease and Brendan Larvor},
  pages = {15--18},
  year = {2012},
  eventdate = {2012-07-02/2012-07-03},
  venue = {Birmingham, UK},
  url = {http://homepages.inf.ed.ac.uk/apease/aisb12/1.pdf},
  isbn = {978-1-908187-10-9},
  publisher = {{Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)}},
  pubs = {clange,formare},
}

@online{OAF:on,
label = {OAF},
url = {http://oaf.mathhub.info},
title = {The OAF Project \& System},
urldate={2015-04-23}}

@online{OpenDreamKit:on,
label = {ODK},
url = {http://opendreamkit.org},
title = {OpenDreamKit Open Digital Research Environment Toolkit for the Advancement of
                  Mathematics},
urldate={2015-05-21}}

@online{MathHub:on,
label = {MH},
url = {http://mathhub.info},
title = {MathHub.info: Active Mathematics},
urldate={2014-01-28}}

@online{sissi:SPSHP:on,
  url = {https://tnt.kwarc.info/repos/stc/sissi/trunk/spshp},
  key = {SPSHP},
  label = {SPSHP},
  title = {An Ontology for Spreadsheet Programs}}

@misc{sissi:URL,crossref = {sissi:base},
  howpublished = {Project home page at \url{http://trac.kwarc.info/sissi/}}}
@online{sissi:on,crossref={sissi:base},urldate={2013-01-04}}
@misc{sissi:base,
  key = {SiSsI},
  label = {SiSsI},
  title = {{Software Engineering for Spreadsheet Interaction}},
  url = {http://trac.kwarc.info/sissi/},
  note = {Project Homepage}}

@inproceedings{Rabe:qlfml12,
  author = "Florian Rabe",
  title = "{A Query Language for Formal Mathematical Libraries}",
  pages = "142--157",
  crossref = {CICM12},
  eprint = {1204.4685},
  eprinttype = {arxiv},
  eprintclass = {cs.LO},
  pubs={frabe,latin,mmt}}

@misc{project:FormalCAD,
  author = "Michael Kohlhase and Lutz Schroeder",
  title = "{The FormalCAD Project}",
  year = "2011",
  url = "http://trac.kwarc.info/FormalCAD/",
  pubs={mkohlhase,FormalCAD}}

@misc{Kohlhase:mdadmls12,
  title = {Mathematical Documents want to be Active,
Digital Math Libraries want to be Semantic --- Position paper for WDML 2012},
  author = {Michael Kohlhase},
  type = {Position Paper at {WDML} Symposium},
  year = 2012,
  url = {https://kwarc.info/kohlhase/papers/wdml12-position.pdf},
  pubs = {mkohlhase,omdoc}}

@inProceedings{LangeEtAl:MSC-LOD12,
  title = {Reimplementing the Mathematics Subject Classification ({MSC}) as a Linked Open Dataset},
  author = {Christoph Lange and Patrick Ion and Anastasia Dimou and Charalampos Bratsas and Joseph Corneli and Wolfram Sperber and Michael Kohlhase and Ioannis Antoniou},
  crossref = {CICM12},
  pages = {458--462},
  vgwortseiten = {8},
  eprint = {1204.5086},
  eprinttype = {arxiv},
  eprintclass = {cs.DL},
  keywords={conference},
  pubs = {clange}}

@inproceedings{TLU:DocumentingFormalMathByReference12,
  title = {Point-and-write --- Documenting Formal Mathematics by Reference},
  author = {Carst Tankink and Christoph Lange and Josef Urban},
  crossref = {CICM12},
  pages = {169--185},
  vgwortseiten = {30},
  eprint = {1204.5094},
  eprinttype = {arxiv},
  eprintclass = {cs.MS},
  pubs = {clange}}

@inproceedings{LMK:LoLaModularOntologyLogLangTrans12,
  title = {{LoLa}: A Modular Ontology of Logics, Languages, and Translations},
  author = {Christoph Lange and Till Mossakowski and Oliver Kutz},
  booktitle = {Modular Ontologies},
  editor = {Thomas Schneider and Dirk Walther},
  eventtitle = {6\textsuperscript{th} International Workshop (WoMO)},
  year = {2012},
  eventdate = {2012-07-24},
  venue = {Graz, Austria},
  series = {CEUR Workshop Proceedings},
  number = 875,
  address = {Aachen},
  issn = {1613-0073},
  url = {http://CEUR-WS.org/Vol-875},
  keywords = {workshop},
  pubs = {clange,ontoiop}}

@inproceedings{MKCL:DOL13,
  title = {The Distributed Ontology, Modeling and Specification Language},
  author = {Till Mossakowski and Oliver Kutz and Mihai Codescu and Christoph Lange},
  note = {Invited paper},
  booktitle = {Modular Ontologies},
  editor = {Del Vescovo, Chiara and Torsten Hahmann and David Pearce and Dirk Walther},
  eventtitle = {7\textsuperscript{th} International Workshop (WoMO)},
  year = {2013},
  eventdate = {2013-09-15},
  venue = {Corunna, Spain},
  series = {CEUR Workshop Proceedings},
  number = 1081,
  address = {Aachen},
  issn = {1613-0073},
  url = {http://CEUR-WS.org/Vol-1081},
  keywords = {workshop},
  pubs = {clange,ontoiop}}

@inproceedings{LKMG:DistributedOntologyLanguage12,
  title = {The Distributed Ontology Language ({DOL}): Ontology Integration and Interoperability Applied to Mathematical Formalization},
  author = {Christoph Lange and Oliver Kutz and Till Mossakowski and Michael Gr{\"u}ninger},
  crossref = {CICM12},
  pages = {463--467},
  vgwortseiten = {9},
  eprint = {1204.5093},
  eprinttype = {arxiv},
  eprintclass = {cs.LO},
  pubs = {clange,ontoiop}}

@inproceedings{DavJucKoh:safusa12,
  title = {\texttt{Semantic Alliance}: A Framework for Semantic Allies},
  author = {Catalin David and Constantin Jucovschi and Andrea Kohlhase and Michael Kohlhase},
  crossref = {CICM12},
  pages = {49--64},
  url = {https://kwarc.info/kohlhase/papers/mkm12-SAlly.pdf},
  keywords={conference},
  Pubs = {mkohlhase,cdavid,cjucovschi,akohlhase,sissi}}

@inproceedings{HorKohRab:emfsl12,
  title = {Extending {MKM} Formats at the Statement Level},
  author = {Fulya Horozal and Michael Kohlhase and Florian Rabe},
  crossref = {CICM12},
  pages = {65--80},
  url = {https://kwarc.info/kohlhase/papers/mkm12-p2s.pdf},
  keywords={conference},
  pubs = {mkohlhase,frabe,fhorozal,omdoc,mmt,latin}}

@inproceedings{Kohlhase:ppte12,
  title = {The {Planetary} Project: Towards {eMath3.0}},
  Author = {Michael Kohlhase},
  crossref = {CICM12},
  eprint = {1206.5048},
  pages = {448--452},
  eprinttype = {arxiv},
  eprintclass = {cs.DL},
  keywords={conference},
  pubs = {mkohlhase,mathhub}}

@report{HetsForCommonLogic,
  title =        {{Hets} for {Common Logic} Users},
  author =       {Till Mossakowski and Christian Maeder and Mihai Codescu and Eugen Kuksa and Christoph Lange},
  version =      {0.99},
  institution =  {DFKI GmbH, Bremen},
  date =         {2013-01-10},
  year =         2013,
  url =          {https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk/doc/UserGuideCommonLogic.pdf},
  pubs = {clange}
}

@article{KohRab:som12,
  author = "Michael Kohlhase and Florian Rabe",
  title = "{Semantics of {OpenMath} and {MathML3}}",
  year = 2012,
  journal =      {Mathematics in Computer Science},
  pages = {235--260},
  volume = 6,
  number = 3,
  url = {https://kwarc.info/kohlhase/papers/mcs12.pdf},
  pubs={frabe,mkohlhase,omdoc,openmath}
}

@online{NTCIR-Math,crossref={NTCIR10-Math:on}}
@online{NTCIR10-Math:on,
  label={NTM},
  title = {{NTCIR} Math Track -- Pilot Task},
  url = {http://ntcir-math.nii.ac.jp/},
  urldate =      {2012-05-18}}

@online{NTCIR11-Math2:on,
  label={NTM},
  title = {{NTCIR}-11 Task: Math2},
  url = {http://ntcir-math.nii.ac.jp/},
  urldate =      {2014-02-18}}

@online{NTCIR12-MathIR:on,
  label={NTM},
  title = {{NTCIR}-12 MathIR},
  url = {http://ntcir-math.nii.ac.jp/},
  urldate =      {2015-12-18}}


@online{CICM,
  title = {Conference on Intelligent Computer Mathematics ({CICM})},
  url = {http://cicm-conference.org},
  urldate =      {2012-03-18}}

@article{KohRab:qrtpflmk15,
 title = {{QED} Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge},
 author = {Michael Kohlhase and Florian Rabe},
 year = {2016},
 journal = {Journal of Formalized Reasoning},
 volume = {9},
 number = {1},
 pages = {201--234},
 url = {http://jfr.unibo.it/article/download/4570/5733},
 pubs = {mkohlhase,frabe,oaf,omdoc,mmt}}

@inproceedings{KohIan:ssmk12,
  author = 	 {Michael Kohlhase and Mihnea Iancu},
  title = 	 {Searching the Space of Mathematical Knowledge},
  crossref = {DML12},
  year = 	 2012,
  url = {https://kwarc.info/kohlhase/papers/mir12.pdf},
  pubs={mkohlhase,miancu,mws}}

@online{MIR-happening,
  label = {MIRH},
  title = {Math {IR} Happening at {MIR} 2012},
  url = {http://cicm2012.cicm-conference.org/cicm.php?event=mir&menu=happening},
  urldate =      {2012-03-18}}

@inproceedings{LIDBSKA:MSC-SKOS12,
  author = {Christoph Lange and Patrick Ion and Anastasia Dimou and Charalampos Bratsas and Wolfram Sperber and Michael Kohlhase and Ioannis Antoniou},
  title = {Bringing Mathematics To the Web of Data: the Case of the Mathematics Subject Classification},
  pages = {763--777},
  vgwortseiten = {29},
  url = {https://kwarc.info/clange/pubs/eswc2012-msc-skos.pdf},
  doi = {10.1007/978-3-642-30284-8_58},
  keywords={conference},
  pubs = {clange,mkohlhase,mathhub},
  crossref = {eswc2012},
}

@ONLINE{MSC-SKOS,
  label = {MSC},
  title = {Mathematics Subject Classification ({MSC}) {SKOS}},
  url = {http://msc2010.org/resources/MSC/2010/info/},
  year = 2012,
  urldate =      {2012-08-31},
  keywords = {ontology},
  pubs = {clange},
}

@ONLINE{MSCLinkedWiki:on,
  author = {Ioannis Antoniou and Charalampos Bratsas and Anastasia Dimou and Patrick Ion and Christoph Lange and Wolfram Sperber},
  title = {Mathematics Subject Classification Linked Wiki},
  url = {http://sci-class.math.auth.gr/MSCLW/},
  date = {2011-12-03},
  year = 2011,
  pubs = {clange},
}

@INPROCEEDINGS{ProKoh:mwsofse11,
  author = {Corneliu C. Prodescu and Michael Kohlhase},
  title = {MathWebSearch 0.5 - Open Formula Search Engine},
  url = {https://github.com/KWARC/mws/doc/2011/newmws/main.pdf},
  crossref = {LWA11},
  pubs = {mkohlhase,cprodescu,mws}
}

@PhdThesis{Normann:phd,
  author =	 {Immanuel Normann},
  title =	 {Automated Theory Interpretation},
  school =	 {Jacobs University},
  year =	 2008,
  url = {https://kwarc.info/people/archive/pubs/phd-2008/normann.pdf},
  address =	 "Bremen, Germany",
  pubs={phdthesis}}

@INPROCEEDINGS{Normann:etrpti06,
  author = {Immanuel Normann},
  title = {Enhanced Theorem Reuse by Partial Theory Inclusions},
  pages     = {40--52},
  crossref = {AISC06}}

@UNPUBLISHED{Normann:cmde06,
  author = {Immanuel Normann},
  title = {Extended Normalization for $E$-Retrieval of Formulae},
  year = {2006}}


@inproceedings{ProKoh:mwssofse12,
  author = {Michael Kohlhase and Bogdan A. Matican and Corneliu C. Prodescu},
  title = "{MathWebSearch 0.5 -- Scaling an Open Formula Search Engine}",
  url = {https://kwarc.info/kohlhase/papers/aisc12-mws.pdf},
  crossref = {CICM12},
  pages = {342--357},
  keywords={conference},
  pubs = {mkohlhase,cprodescu,mws,mathsearch}
}

@misc{cdavid:bscthesis,
  author =   {Catalin David},
  title =    {Interactive Documents as Interfaces to Computer Algebra Systems: {JOBAD} and {Wolfram|Alpha}},
  school =   {Jacobs University Bremen},
  year =     2010,
  type =     {B.\,Sc.\ Thesis},
  url =      {https://kwarc.info/people/archive/pubs/bsc-2010/cdavid.pdf},
  pubs = {cdavid,bscthesis,mathhub,jobad}}

@misc{doerrie:oamim13,
  author =   {Jan Wilken Doerrie},
  title =    {{OpenMathMap}: Accessing Math via Interactive Maps},
  school =   {Jacobs University Bremen},
  year =     2013,
  type =     {B.\,Sc.\ Thesis},
  url =      {https://kwarc.info/people/archive/pubs/bsc-2013/jdoerrie.pdf},
  pubs = {bscthesis,mathsearch}}


@article{KohDavGin:psewads11,
 journal = {Procedia Computer Science},
 author = {Michael Kohlhase and Joe Corneli and Catalin David and Deyan Ginev and Constantin Jucovschi and Andrea Kohlhase and Christoph Lange and Bogdan Matican and Stefan Mirea and Vyacheslav Zholudev},
  title = 	 {The Planetary System: Web 3.0 \& Active Documents for {STEM}},
  issuetitle = {Special issue: Proceedings of the International Conference on Computational Science ({ICCS})},
  editor = {Mitsuhisa Sato and Satoshi Matsuoka and Peter M. Sloot and G. Dick van Albada and Jack Dongarra},
  pages = {598--607},
  venue = {Nanyang Technological University, Singapore},
  eventdate = {2011-06-01/2011-06-03},
  note = 	 {Finalist at the Executable Paper Grand Challenge},
  year = 	 2011,
  volume = 4,
  url = {https://kwarc.info/kohlhase/papers/epc11.pdf},
  publisher = {Elsevier},
  doi = {10.1016/j.procs.2011.04.063},
  keywords = {conference},
  pubs = {mkohlhase,cdavid,dginev,akohlhase,clange,bmatican,smirea,vzholudev,mathhub,omdoc},
  acceptancerate = {14},
  acceptancerateCOMMENT = {10/70 accepted into the finals}}

@TechReport{IanKohRab:tmmlof11,
  author = 	 {Mihnea Iancu and Michael Kohlhase and Florian Rabe},
  title = 	 {Translating the {Mizar Mathematical Library} into {OMDoc} format},
  institution =  {Jacobs University Bremen},
  year = 	 2011,
 type = 	 {{KWARC} Report},
  url = {http://uniformal.github.io/doc/applications/LATIN/docs/Mizar2OMDoc-Report.pdf},
  howpublished = {\url{http://uniformal.github.io/doc/applications/LATIN/docs/Mizar2OMDoc-Report.pdf}},
  pubs={mkohlhase,frabe,miancu,latin,mmt,omdoc}}

@article{IanKohRabUrb:tmmliotaa13,
  author = 	 {Mihnea Iancu and Michael Kohlhase and Florian Rabe and Josef Urban},
  title = 	 {The {Mizar Mathematical Library} in {OMDoc}: Translation and Applications},
  url = {https://uniformal.github.io/doc/applications/LATIN/docs/MizarOMDocAppl.pdf},
  journal = {Journal of Automated Reasoning},
  publisher = {Springer Verlag},
  volume = {50},
  number = {2},
  pages = {191-202},
  year = {2013},
  doi = {10.1007/s10817-012-9271-4},
  pubs={mkohlhase,frabe,miancu,latin,mmt,omdoc}}

@Unpublished{Kohlhase:fund13,
  author = 	 {Michael Kohlhase},
  title = 	 {Formula Understanding with Notation Definitions},
  note = 	 {LLaMaPUn Blue Note},
  year = 	 2013}

@Unpublished{Kohlhase:sp14,
  author = 	 {Michael Kohlhase},
  title = 	 {SMGloM Primer},
  note = 	 {SMGloM Blue Note},
  url = {http://gl.kwarc.info/smglom/manuals/raw/master/primer/primer.pdf},
  pubs = {smglom,mkohlhase},
  year = 	 2014}

@online{Alignments-public:on,
  label = {AP},
  title = {Public Repository for Alignments},
  url = {https://gl.mathhub.info/alignments/Public},
  type = {Public {GIT} repository}}

@Unpublished{FarKohRab:tgam16,
  author = 	 {William Farmer and Michael Kohlhase and Florian Rabe},
  title = 	 {An Theory-Graph Architecture for {MathHub.info}},
  note = 	 {MathHub Blue Note},
  url = {http://gl.kwarc.info/mathhub/blue/raw/master/mitm/note.pdf},
  year = 	 2016}


@Unpublished{Kohlhase:tsmgs13,
  author = 	 {Michael Kohlhase},
  title = 	 {{SMGloM}: a Semantic Multilingual Glossary System for Mathematics},
  note = 	 {SMGloM Blue Note},
  url = {http://gl.kwarc.info/smglom/blue/raw/master/smglom/note.pdf},
  pubs = {smglom},
  year = 	 2013}

@Unpublished{KohJuc:edsmglom14,
  author = 	 {Michael Kohlhase and Constantin Jucovschi},
  title = 	 {Editing Workflows in {SMGloM}},
  note = 	 {SMGloM Blue Note},
  url = {http://gl.kwarc.info/smglom/blue/raw/master/editing/note.pdf},
  pubs = {smglom},
  year = 	 2014}

@Unpublished{Kohlhase:cmsmglom14,
  author = 	 {Michael Kohlhase},
  title = 	 {Content Management in SMGloM},
  note = 	 {SMGloM Blue Note},
  url = {http://gl.kwarc.info/smglom/blue/raw/master/contmgt/note.pdf},
  pubs = {smglom},
  year = 	 2014}

@Unpublished{Kohlhase:dmsmglom14,
  author = 	 {Michael Kohlhase},
  title = 	 {A Data Model and Encoding for {SMGloM}},
  note = 	 {SMGloM Blue Note},
  url = {http://gl.kwarc.info/smglom/blue/raw/master/datamdl/note.pdf},
  year = 	 2014}

@online{MMTUR:git,
 label = {OMU},
 url = {https://gl.mathhub.info/MMT/urtheories},
 title = {{OMDoc/MMT} Urtheories},
 urldate = {2017-06-02}}

@online{LATIN:git,
 label = {LATIN},
 url = {https://gl.mathhub.info/MMT/LATIN},
 title = {The {LATIN} Logic Atlas},
 urldate = {2017-06-02}}

@online{LATIN2:git,
 label = {LATIN},
 url = {https://gl.mathhub.info/MMT/LATIN2},
 title = {{LATIN2} -- Logic Atlas Version 2},
 urldate = {2017-06-02}}

@online{SMGloM:git,
  label = {SMG},
  title = {{SMGloM}: A Semantic Multilingual Glossary Resource for Mathematics},
  url={http://gl.mathhub.info/smglom},
  urldate = {2019-07-10}}

@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,
  title = {MathHub PVS/Prelude Git Repository},
  url={http://gl.mathhub.info/PVS/Prelude},
  urldate = {2015-05-15}}

@online{mmtpvsnasa:git,
  title = {MathHub PVS/NASA Git Repository},
  url={http://gl.mathhub.info/PVS/NASA},
  urldate = {2015-05-15}}

@online{mmtpvs:git,
  title = {MathHub PVS Git Repository},
  url={http://gl.mathhub.info/PVS},
  urldate = {2017-04-11}}


@Unpublished{Kohlhase:fsgo13,
  author = 	 {Michael Kohlhase},
  title = 	 {Flexible Symbol Grounding in {OMDoc}},
  note = 	 {KWARC Blue Note},
  url = {http://gl.kwarc.info/omdoc/blue/raw/master/grounding/note.pdf},
  year = 	 2013}

@Unpublished{Kohlhase:rdrtg14,
  author = 	 {Michael Kohlhase},
  title = 	 {The Role of Discourse Referents in Theory Graphs},
  note = 	 {KWARC Blue Note},
  url = {http://gl.kwarc.info/omdoc/blue/raw/master/drt-graph/note.pdf},
  year = 	 2014}

@Unpublished{Kohlhase:osslepsdl13,
  author = 	 {Michael Kohlhase},
  title = {Organizing Symbols between Slides, Lecture Notes, Encyclopedias, and Original Papers in Semantic Digital Libraries},
  note = 	 {KWARC Blue Note},
  url = {http://gl.kwarc.info/omdoc/blue/raw/master/slides-notes/note.pdf},
  year = 	 2013}

@InProceedings{Kohlhase:tffm13,
  author = 	 {Michael Kohlhase},
  title = 	 {The Flexiformalist Manifesto},
  crossref = 	 {SYNASC13},
  pages = {30--36},
  url = {https://kwarc.info/kohlhase/papers/synasc13.pdf},
  pubs = {mkohlhase,omdoc}}

@Unpublished{Kohlhase:doo13,
  author = 	 {Michael Kohlhase},
  title = 	 {A Document Ontology for  {OMDoc2}},
  note = 	 {KWARC Blue Note},
  url = {http://gl.kwarc.info/omdoc/blue/raw/master/ontology/note.pdf},
  year = 	 2013}

@Unpublished{KohIan:hlpmo13,
  author = 	 {Michael Kohlhase and Mihnea Iancu},
  title = 	 {Higher-Level Parallel Markup in {OMDoc}},
  note = 	 {KWARC Blue Note},
  url = {http://gl.kwarc.info/omdoc/blue/raw/master/parallel/note.pdf},
  year = 	 2013}

@Unpublished{LigKoh:comesf13,
  author = 	 {Christian Liguda and Michael Kohlhase},
  title = 	 {A Content Ontology and {MathML} Export for Spreadsheet Formulae},
  note = 	 {KWARC Blue Note},
  year = 	 2013}

@Unpublished{Kohlhase:old13,
  author = 	 {Michael Kohlhase},
  title = 	 {The {OMDoc2} Language Design},
  note = 	 {KWARC Blue Note},
  url = {http://gl.kwarc.info/omdoc/blue/raw/master/design/note.pdf},
  year = 	 2013}

@Unpublished{Kohlhase:eco13,
  author = 	 {Michael Kohlhase},
  title = 	 {Examples and Counterexamples in {OMDoc}},
  note = 	 {KWARC blue note},
  url = {http://gl.kwarc.info/omdoc/blue/raw/master/example/note.pdf},
  year = 	 2013}

% use the CICM paper CarFarKoh:rsckmt14 instead.
@Unpublished{CarFarKoh:tr13,
  author = 	 {Jacues Carette and William Farmer and Michael Kohlhase},
  title = 	 {TetraPod Realms},
  note = 	 {TetraPod Blue Note},
  year = 	 2013}

@inproceedings{LKDGKMMZ:PlanetaryExecutableSTEM11,
  author = 	 {Christoph Lange and Michael Kohlhase and Catalin David and Deyan Ginev and Andrea Kohlhase and Bogdan Matican and Stefan Mirea and Vyacheslav Zholudev},
  title = 	 {The Planetary System: Executable Science, Technology, Engineering and Math Papers},
  eprint = {1103.1482},
  eprinttype = {arxiv},
  eprintclass = {cs.DL},
  crossref = {eswc2011-2},
  pages = {471--475},
  keywords = {conference},
  pubs = {mkohlhase,cdavid,dginev,akohlhase,clange,bmatican,smirea,vzholudev,mathhub,omdoc}}

@article{Lange:OntoLangMathSemWeb,
    title = {Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web},
    author = {Christoph Lange},
    year = 2013,
    journal = {Semantic Web Journal},
    impactfactor = {not yet known; journal established in 2010},
    publisher = {IOS Press},
    volume = 4,
    number = 2,
    pages = {119--158},
    doi = {10.3233/SW-2012-0059},
    url = {http://www.semantic-web-journal.net/content/ontologies-and-languages-representing-mathematical-knowledge-semantic-web},
    pubs = {clange,ikyda2012},
    }

@inproceedings{MLK:3SemanticsForDistributedOntologies12:citeijcai,
  author = {Till Mossakowski and Oliver Kutz and Christoph Lange},
  title = {Three Semantics for the Core of the {Distributed Ontology Language}},
  booktitle = {Formal Ontology in Information Systems},
  editor = {Maureen Donnelly and Giancarlo Guizzardi},
  pages = {337--352},
  eventtitle = {7\textsuperscript{th} International Conference (FOIS 2012)},
  eventdate = {2012-07-24/2012-07-27},
  venue = {Graz, Austria},
  year = 2012,
  pubs = {clange,ontoiop},
  series = {Frontiers in Artificial Intelligence and Applications},
  number = 239,
  publisher = {IOS Press},
  location = {Amsterdam},
  vgwortseiten = {33},
  isbn = {978-1-61499-084-0},
  keywords = {conference},
  note = {Extended abstract published as \cite{MLK:3SemanticsDOL:IJCAI13}},
  url = {http://interop.cim3.net/file/pub/OntoIOp/Publications/FOIS_2012/paper.pdf},
  acceptancerate = {34},
  acceptancerateCOMMENT = {24 out of 71},
}

@inproceedings{MLK:3SemanticsForDistributedOntologies12:plain,
  author = {Till Mossakowski and Oliver Kutz and Christoph Lange},
  title = {Three Semantics for the Core of the {Distributed Ontology Language}},
  booktitle = {Formal Ontology in Information Systems},
  editor = {Maureen Donnelly and Giancarlo Guizzardi},
  pages = {337--352},
  eventtitle = {7\textsuperscript{th} International Conference (FOIS 2012)},
  eventdate = {2012-07-24/2012-07-27},
  venue = {Graz, Austria},
  year = 2012,
  series = {Frontiers in Artificial Intelligence and Applications},
  number = 239,
  publisher = {IOS Press},
  location = {Amsterdam},
  vgwortseiten = {33},
  isbn = {978-1-61499-084-0},
  keywords = {conference},
  url = {http://interop.cim3.net/file/pub/OntoIOp/Publications/FOIS_2012/paper.pdf},
  acceptancerate = {34},
  acceptancerateCOMMENT = {24 out of 71},
}

@inproceedings{MLK:3SemanticsForDistributedOntologies12,
  author = {Till Mossakowski and Oliver Kutz and Christoph Lange},
  title = {Three Semantics for the Core of the {Distributed Ontology Language}},
  booktitle = {Formal Ontology in Information Systems},
  editor = {Maureen Donnelly and Giancarlo Guizzardi},
  pages = {337--352},
  eventtitle = {7\textsuperscript{th} International Conference (FOIS 2012)},
  eventdate = {2012-07-24/2012-07-27},
  venue = {Graz, Austria},
  year = 2012,
  series = {Frontiers in Artificial Intelligence and Applications},
  number = 239,
  publisher = {IOS Press},
  location = {Amsterdam},
  vgwortseiten = {33},
  isbn = {978-1-61499-084-0},
  keywords = {conference},
  note = {(\emph{The paper has won the best paper award. Also published at IJCAI 2013 track on Best Papers in Sister Conferences.})},
  url = {http://interop.cim3.net/file/pub/OntoIOp/Publications/FOIS_2012/paper.pdf},
  acceptancerate = {34},
  acceptancerateCOMMENT = {24 out of 71},
}

@inproceedings{MLK:3SemanticsDOL:IJCAI13,
  author = {Till Mossakowski and Oliver Kutz and Christoph Lange},
  title = {Three Semantics for the Core of the {Distributed Ontology Language} (Extended Abstract)},
  booktitle = {International Joint Conference on Artificial Intelligence},
  editor = {Francesca Rossi},
  eventtitle = {23\textsuperscript{rd} International Conference (IJCAI 2013), track on best papers in sister conferences},
  eventdate = {2013-08-03/2013-08-09},
  venue = {Beijing, China},
  year = 2013,
  pubs = {clange,ontoiop},
  publisher = {AAAI Press},
  location = {Palo Alto, CA, USA},
  keywords = {conference},
}

@report{OntoIOpStandard,
  label = {OntoIOp},
  title = {{OntoIOp} (Ontology Integration and Interoperability) Part 1: The Distributed Ontology Language ({DOL})},
  institution = {ISO},
  number= {17347},
  type = {International Standard (Working Draft)},
  keywords = {standard},
  url = {http://ontoiop.org},
  date = {2012-06-04},
  pubs = {clange,ontoiop},
}

@online{OntoIOp,
  label = {OntoIOp},
  title = {{OntoIOp} (Ontology, Model and Specification Integration and Interoperability), an {OMG} Standard Development Initiative},
  url = {http://ontoiop.org},
  urldate =      {2013-10-09},
  year = {2013},
  pubs = {clange,ontoiop},
}

@inproceedings{GKLM:DOLUseSyntaxSemantics12,
  author = {Christoph Lange and Till Mossakowski and Oliver Kutz and Christian Galinski and Michael Gr{\"u}ninger and Couto Vale, Daniel},
  title = {The {Distributed Ontology Language} ({DOL}): Use Cases, Syntax, and Extensibility},
  eprint = {1208.0293},
  eprinttype = {arxiv},
  eprintclass = {cs.AI},
  pubs = {clange,ontoiop},
  pages = {33--48},
  crossref = {tke2012}}

@inproceedings{KMGL:HetOntoInteropStandard11,
  author = {Christoph Lange and Till Mossakowski and Christian Galinski and Oliver Kutz},
  title = {Making Heterogeneous Ontologies Interoperable Through Standardisation},
  subtitle = {A Meta Ontology Language to be Standardised: Ontology Integration and Interoperability ({OntoIOp})},
  booktitle = {Accessibility Reaching Everywhere},
  pages = {185--196},
  eventtitle = {AEGIS 2\textsuperscript{nd} International Conference},
  month = {11},
  year = {2011},
  eventdate = {2011-11-29/2011-11-30},
  venue = {Brussels, Belgium},
  url = {http://www.epr.eu/aegis/?cat=46},
  pubs = {clange,ontoiop},
  keywords = {conference,nopub}}

@inproceedings{KMGL:StdHetOntoIntegrInterop11,
  author = {Oliver Kutz and Till Mossakowski and Christian Galinski and Christoph Lange},
  title = {Towards a Standard for Heterogeneous Ontology Integration and Interoperability},
  booktitle = {First International Conference on Terminology, Language and Content Resources (LaRC)},
  editor = {Key-Sun Choi and others},
  pages = {101--110},
  year = {2011},
  month = {6},
  eventdate = {2011-06-10/2011-06-11},
  venue = {Seoul, Korea},
  publisher = {KATS},
  location = {Seoul},
  pubs = {clange,ontoiop},
  keywords = {conference,nopub},
  url = {http://ke.yu.ac.kr/LaRC11/Proceedings_LaRC.pdf}}

@inproceedings{cdavid:ParEMNS,
  author = 		{David, Catalin and Brennan, Conor and Ormond, Olga and Mullen, Marie},
  title =		{Parallelised EM wave propagation modelling for accurate network simulation},
  booktitle = 	{{9\textsuperscript{th} IT\&T Conference, Dublin Institute of Technology}},
  year = 		2009,
  pubs= 		{cdavid}}

@inproceedings{Kohlhase:UAForDocs,
    author = {Andrea Kohlhase},
    crossref={KI10},
    title = {Towards User Assistance for Documents via Interactional Semantic Technology},
    pages = {107--115},
    keywords={conference},
    pubs={akohlhase,sissi}}

@InProceedings{Lange:MathWebOfData10,
  author =       {Christoph Lange},
  title =        {Integrating Mathematics into the Web of Data},
  booktitle = {Linked Data in the Future Internet},
  editor = {S{\"o}ren Auer and Stefan Decker and Manfred Hauswirth},
  year = {2010},
  eventtitle = {Future Internet Assembly},
  eventdate = {2010-12-16/2010-12-17},
  venue = {Ghent, Belgium},
  series = {CEUR Workshop Proceedings},
  number = 700,
  address = {Aachen},
  issn = {1613-0073},
  url = {http://CEUR-WS.org/Vol-700},
  keywords = {workshop},
  pubs = {clange,ikyda2012}}

@Unpublished{KohDavGin:fspmco12,
  author = 	 {Michael Kohlhase and Catalin David and Deyan Ginev and Bogdan Matican and Vlad Merticariu and Stefan Mirea},
  title = 	 {A Framework for Semantic Publishing of Modular Content Objects},
  year = 	 2012,
  url = 	 {https://kwarc.info/kohlhase/submit/doceng12.pdf},
  pubs = {mkohlhase,dginev,cdavid,omdoc}
}

@InProceedings{Lange:OpenMathCDLinkedData10,
  author =       {Christoph Lange},
  title =        {Towards {OpenMath} Content Dictionaries as Linked Data},
  crossref =     {OM10},
  eprint = {1006.4057v1},
  eprinttype = {arxiv},
  eprintclass = {cs.DL},
  pubs = {clange,ikyda2012}}

@inproceedings{am:doceng10,crossref={DOCENG10},
  author    = {Serge Autexier and Normen M{\"u}ller},
  title     = {Semantics-based Change Impact Analysis for Heterogeneous Collections of Documents},
  pages     = {97--106},
  numpages  = {10},
  url       = {http://doi.acm.org/10.1145/1860559.1860580},
  doi       = {10.1145/1860559.1860580},
  acmid     = {1860580},
  keywords  = {change impact analysis, document collections, document management, graph rewriting, semantics},
  pubs      = {nmueller,omoc,omdoc}}

@inproceedings{KohKoh:micvl11,
  title = {Maintaining Islands of Consistency via Versioned Links},
  author = {Andrea Kohlhase and Michael Kohlhase},
  crossref = {SIGDOC11},
  keywords={conference},
  pages = {167--174},
  url = {https://kwarc.info/kohlhase/papers/sigdoc2011-verslinks.pdf},
  pubs = {mkohlhase,akohlhase,omdoc}}

@inproceedings{KohKoh:tfndc11,
  title = {Towards a Flexible Notion of Document Context},
  author = {Andrea Kohlhase and Michael Kohlhase},
  url = {https://kwarc.info/kohlhase/papers/sigdoc2011-flexiforms.pdf},
  crossref = {SIGDOC11},
  pages = {181--188},
  keywords={conference,lamapunbibs},
  pubs = {mkohlhase,akohlhase,omdoc}}

@article{Lange:FreeXSemanticWeb1:12,
  title = {Vokabelheft f{\"u}rs Web},
  author = {Christoph Lange},
  journal = {freeX Magazin f{\"u}r Netz\-werk\allowbreak/\allowbreak Vir\-tu\-a\-li\-sie\-rung\allowbreak/\allowbreak Si\-cher\-heit},
  year = 2012,
  volume = 1,
  pages={42--45},
  vgwortseiten = {13},
  publisher = {C\&L Computer- und Literaturverlag},
  url = {http://www.cul.de/data/freex12012pr.pdf},
  keywords={magazine},
  hyphenation={ngerman},
  pubs = {clange}}

@article{Lange:FreeXSemanticWeb2:12,
  title = {Desktop mit Dolmetscher},
  author = {Christoph Lange},
  journal = {freeX Magazin f{\"u}r Netz\-werk\allowbreak/\allowbreak Vir\-tu\-a\-li\-sie\-rung\allowbreak/\allowbreak Si\-cher\-heit},
  year = 2012,
  volume = 2,
  pages={90--94},
  vgwortseiten = {16},
  publisher = {C\&L Computer- und Literaturverlag},
  keywords={magazine},
  hyphenation={ngerman},
  pubs = {clange}}

@inProceedings{KohKoh:vl11,
  title = {Maintaining Islands of Consistency via Versioned Links},
  url = {https://kwarc.info/kohlhase/papers/VersionedLinks_WiP.pdf},
  author = {Andrea Kohlhase and Michael Kohlhase},
  crossref = {CICM11WIP},
  pubs = {mkohlhase,akohlhase,omdoc},
 keywords={conference}}

@inProceedings{KohJuc:pcmpm11,
  title = {{planMP}: Collecting Mathematical Practices for MKM},
  author = {Andrea Kohlhase and Constantin Jucovschi},
  crossref = {CICM11WIP},
  pubs = {akohlhase,cjucovschi}}

@InProceedings{Lange:KrextorSystem11,
  title = {Krextor -- An Extensible Framework for Contributing Content Math to the Web of Data},
  author = {Christoph Lange},
  url = {https://kwarc.info/clange/pubs/krextor-system.pdf},
  crossref =     {CICM11},
  pages = {304--306},
  keywords = {conference},
  pubs = {krextor,clange,ikyda2012}}

@InProceedings{CodHorKoh:palai11,
  title = {Project Abstract: Logic Atlas and Integrator ({LATIN})},
  author = {Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski and Florian Rabe},
  pages = {289--291},
  crossref =     {CICM11},
  keywords = {conference},
  url = {https://kwarc.info/people/frabe/Research/CHKMR_latinabs_11.pdf},
  pubs = {mkohlhase,fhorozal,omdoc,latin,mmt}}

@InProceedings{HorIacJuc:cscpnrr11,
  title = {Combining Source, Content, Presentation, Narration, and Relational Representation},
  author = {Fulya Horozal and Alin Iacob and Constantin Jucovschi and Michael Kohlhase and Florian Rabe},
  pages = {212--227},
  crossref =     {CICM11},
  url = {https://kwarc.info/frabe/Research/HIJKR_dimensions_11.pdf},
  keywords = {conference},
  pubs = {mkohlhase,fhorozal,aiacob,cjucovschi,mkohlhase,frabe,latin,mathhub,mmt}}

@InProceedings{AlaKohMam:lmml11,
  title = {Licensing the {Mizar Mathematical Library}},
  author = {Jesse Alama and Michael Kohlhase and Lionel Mamane and Adam Naumowicz and Piotr
Rudnicki and Josef Urban},
  pages = {149--163},
  crossref =     {CICM11},
  keywords = {conference},
  pubs = {mkohlhase}}

@InProceedings{GinMil:latexmlCICM13,
 title = {{\LaTeX}ML 2012 - A Year of {\LaTeX}ML},
 author = {Deyan Ginev and Bruce Miller},
 pages = {335--338},
 crossref = {CICM13},
 keywords = {conference},
 pubs = {dginev,arXMLiv}}

@mastersthesis{Oprea:BSc12,
  author = {Silviu Oprea},
  school =   {Jacobs University Bremen},