kwarccrossrefs.bib

@STRING{krcmessage = "READ the README please!!!!!!!!!!!!!!"}

@proceedings{CICM24,
  label = {CICM},
  editor = {Andrea Kohlhase and Laura Kovacz},
  title = {Intelligent Computer Mathematics},
  booktitle = {Intelligent Computer Mathematics ({CICM}) 2024},
  publisher = {Springer},
  series    = {LNAI},
  volume = {14960},
  year = {2024},
  isbn = {978-3-031-66996-5},
  doi = {10.1007/978-3-031-66997-2},
  keywords = {conference},
  pubs={akohlhase}}

@proceedings{RATIO24,
 year = 2024,
 editor = {Philipp Cimiano and Anette Frank and Michael Kohlhase and Benno Stein},
 title = {Robust Argumentation Machines -- First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings},
 booktitle = {Robust Argumentation Machines -- First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings},
 series = {LNAI},
 number = {14638},
 doi = {10.1007/978-3-031-63536-6},
 publisher = {Springer-Verlag Berlin Heidelberg},
 keywords = {conference},
 pubs={mkohlhase}}

@Proceedings{AdrEveKohZwi:dzr22,
  editor = {Axel Adrian and Stephanie Evert and Michael Kohlhase Kohlhase and Martin Zwickel},
  title = {Digitalisierung von Zivilprozess und Rechtsdurchsetzung},
  publisher = {Duncker \& Humblot, Berlin},
  year = {2022},
  series = {Schriften zum Prozessrecht},
  number = {284},
  keywords = {conference},
  pubs = {mkohlhase}}
  
@PROCEEDINGS{CICM18WIP,
  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},
  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},
  keywords = {conference},
  pubs={mkohlhase,akohlhase,frabe}}

@PROCEEDINGS{CICM21WIP,
  title = {Workshop Papers at 14th Conference on Intelligent Computer Mathematics CICM 2021},
  booktitle = {Workshop Papers at 14th Conference on Intelligent Computer Mathematics CICM 2021},
  key = {CICM21WIP},
  year = {2021},
  url = {http://ceur-ws.org/Vol-3377/},
  editor = {Jasmin Blanchette and James Davenport and Peter Koepke and Andrea Kohlhase and Michael Kohlhase and Adam Naumowicz and Dennis Müller and Yasmine Sharoda and Claudio Sacerdoti Coen},
  keywords = {conference},
  pubs={mkohlhase,akohlhase,dmueller}}

@Proceedings{FGWM17,
  editor = {Andrea Kohlhase and Eric K{\"u}bler},
  title =    {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
  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}}

@Proceedings{MathUI15,
  editor =   {Andrea Kohlhase and Paul Libbrecht},
  title =    {Mathematical User Interfaces Workshop at {CICM}},
  booktitle =    {Mathematical User Interfaces Workshop},
  url = {http://www.cermat.org/events/MathUI/15/proceedings},
  year =    {2015},
  pubs = {akohlhase},
  month = jul}

@Proceedings{MathUI16,
  editor =   {Andrea Kohlhase and Paul Libbrecht},
  title =    {Mathematical User Interfaces Workshop at {CICM}},
  booktitle =    {Mathematical User Interfaces Workshop},
  url = {http://ceur-ws.org/Vol-1785/},
  year =    {2016},
  pubs = {akohlhase},
  month = jul}

@Proceedings{MathUI17,
  editor =   {Andrea Kohlhase and Marco Pollanen},
  title =    {MathUI 2017: The 12th Workshop on Mathematical User Interfaces},
  booktitle =    {MathUI 2017: The 12th Workshop on Mathematical User Interfaces},
  url = {http://ceur-ws.org/Vol-1785/},
  pubs = {akohlhase},
  year =    {2017}}

@Proceedings{MathUI21,
  editor =   {Andrea Kohlhase},
  title =    {MathUI 2021: The 13th Workshop on Mathematical User Interfaces},
  booktitle =    {MathUI 2021: The 13th Workshop on Mathematical User Interfaces},
  url = {http://ceur-ws.org/Vol-3377/},
  pubs = {akohlhase},
  year =    {2022}}

@Proceedings{MathUI23,
  editor =   {Andrea Kohlhase},
  title =    {MathUI 2023: The 14th Workshop on Mathematical User Interfaces},
  booktitle =    {MathUI 2023: The 14th Workshop on Mathematical User Interfaces},
  url = {https://cicm-conference.org/2023/cicm.php?event=mathui&menu=general},
  pubs = {akohlhase},
  year =    {2023}}

@Proceedings{MathUI24,
  editor =   {Kazuhisa Nakasho and Schaefer, Jan Frederik},
  title =    {MathUI 2024: The 15th Workshop on Mathematical User Interfaces},
  booktitle =    {MathUI 2024: The 15th Workshop on Mathematical User Interfaces},
  SOONurl = {http://ceur-ws.org/Vol-????/},
  pubs = {jfschaefer},
  year =    {2024}}

@PROCEEDINGS{CICM16WIP,
  title = {Intelligent Computer Mathematics -- Work in Progress Papers},
  booktitle = {{Intelligent Computer Mathematics -- Work in Progress Papers}},
  key = {CICM16WIP},
  year = {2016},
  url = {http://ceur-ws.org/Vol-1785/},
  editor = {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},
  pubs={mkohlhase,akohlhase}}

@proceedings{CICM17,
  editor = {Herman Geuvers and Matthew England and Osman Hasan and Florian Rabe and Olaf Teschke},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics} (CICM) 2017},
  publisher = {Springer},
  doi = {10.1007/978-3-319-62075-6},
  series    = {LNAI},
  number    = {10383},
  isbn = {978-3-319-62074-9},
  year = {2017},
  keywords = {conference},
  pubs={frabe,odk,oaf}
}

@proceedings{CICM18,
  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 Andrea Kohlhase and Sacerdoti Coen, Claudio},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics} (CICM) 2019},
  publisher = {Springer},
  doi = {10.1007/978-3-030-23250-4},
  series    = {LNAI},
  number    = {11617},
  year = {2019},
  keywords = {conference},
  pubs={akohlhase}
}

@proceedings{CICM16,
  editor = {Michael Kohlhase and Moa Johansson and Bruce Miller and Leonardo de Moura and Frank Tompa},
  venue = {Bialystok, Poland},
  eventdate = {2016-07-25/2016-07-29},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics} 2016},
  publisher = {Springer},
  series    = {LNAI},
  number    = {9791},
  isbn = {978-3-319-08434-3},
  year = 2016,
  keywords = {conference},
  pubs={mkohlhase}
}

@proceedings{CICM13,
  editor = {Jacques Carette and David Aspinall and Christoph Lange and Petr Sojka and Wolfgang Windsteiger},
  venue = {Bath, UK},
  eventdate = {2013-07-08/2013-07-12},
  eventtitle = {Conferences on Intelligent Computer Mathematics},
  title = {Intelligent Computer Mathematics},
  booktitle = {Intelligent Computer Mathematics},
  keywords = {conference},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  number    = {7961},
  year = 2013,
  doi = {10.1007/978-3-642-39320-4},
  isbn = {978-3-642-39319-8},
  acceptancerate = {54},
  acceptancerateCOMMENT = {MKM: 7/18, Calculemus: 5/12, DML: 6/8, S&P: 12/16},
  pubs = {clange},
}

@proceedings{DoForm13,
  title = {Enabling Domain Experts to use Formalised Reasoning},
  booktitle = {Enabling Domain Experts to use Formalised Reasoning},
  eventtitle = {Do-Form, symposium at the AISB Annual Convention},
  editor = {Christoph Lange and Colin Rowat and Manfred Kerber},
  year = {2013},
  eventdate = {2013-04-03/2013-04-05},
  venue = {Exeter, UK},
  url = {http://cs.bham.ac.uk/research/projects/formare/events/aisb2013/},
  publisher = {{Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB)}},
  isbn = {978-1-908187-32-1},
  pubs = {clange},
}

@Proceedings{AIMashup10,
  title =    {{AI Mashup Challenge}},
  booktitle =    {{AI Mashup Challenge at ESWC}},
  year =     {2010},
  month = jun,
  editor =   {Adrian Giurca and Brigitte Endres-Niggemeyer and Christoph Lange and Lutz Maicher and Pascal Hitzler},
  url = {http://sites.google.com/a/fh-hannover.de/aimashup/},
  pubs = {clange}}


@proceedings{DFRU:cicmwip:11,
  title = "{Intelligent Computer Mathematics, Work-in-Progress Proceedings}",
  year = "2011",
  editor = "A. Asperti and J. Davenport and W. Farmer and F. Rabe and J. Urban",
  series = "Technical Reports of University of Bologna",
  publisher = "University of Bologna",
  volume = "UBLCS-2011-04",
  pubs={frabe}
}

@proceedings{GNRS:lfmtpmlpa:11,
  title = "{{LFMTP 2011 - MLPA} 2011 Informal Proceedings}",
  year = "2011",
  note = "see \url{http://kwarc.info/frabe/events/mlpa-11/index.html}",
  editor = "Herman Geuvers and Gopalan Nadathur and Florian Rabe and Carsten Sch{\"u}rmann",
  pubs={frabe}
}

@proceedings{RS:mlpa:10,
  title = "{{MLPA '10}: Proceedings of the 2nd Workshop on Modules and Libraries for Proof Assistants}",
  year = "2010",
  note = "see \url{http://kwarc.info/frabe/events/mlpa-10.html}",
  editor = "F. Rabe and C. Sch{\"u}rmann",
  pubs={frabe}
}

@proceedings{RS:mlpa:09,
  title = "{{MLPA '09}: Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants}",
  year = "2009",
  editor = "F. Rabe and C. Sch{\"u}rmann",
  series = "ACM International Conference Proceeding Series",
  publisher = "ACM",
  volume = "429",
  pubs={frabe}
}

@PROCEEDINGS{IJCAI03-KR,
  title = {Proceedings of the {IJCAI} 03 Workshop on Knowledge Representation
    and Automated Reasoning for E-Learning Systems},
  booktitle = {Proceedings of the {IJCAI} 03 Workshop on Knowledge Representation
    and Automated Reasoning for E-Learning Systems},
  year = {2003},
  editor = {Peter Baumgartner and Paul A. Cairns and Michael Kohlhase and Erica Melis},
  address = {Acapulco, \MEXICO},
  pubs = {mkohlhase}}

@PROCEEDINGS{CADE15-WS-PSMAD,
  year = {1998},
  editor = {Peter Baumgartner and Ulrich Furbach and Michael Kohlhase and William
    McCune and Wolfgang Reif and Mark Stickel and Tom{\`a}s Uribe},
  title = {{CADE-15} Workshop ``Problem-solving Methodologies with Automated Deduction''},
  booktitle = {{CADE-15} Workshop ``Problem-solving Methodologies with Automated Deduction''},
pubs = {mkohlhase}}

@PROCEEDINGS{CICM11,
  title = {Intelligent Computer Mathematics},
  booktitle = {{Intelligent Computer Mathematics}},
  key = {CICM11},
  year = {2011},
  editor =       {James Davenport and William Farmer and Florian Rabe and Josef Urban},
  number = {6824},
  series = {LNAI},
  publisher = {Springer Verlag},
  isbn = {978-3-642-22672-4},
  keywords = {conference},
  pubs={frabe},
  acceptancerate = {59},
  acceptancerateCOMMENT = {Calculemus: 9/15, MKM: 9/22, Systems and Projects: 12/14}}

@PROCEEDINGS{CICM11WIP,
  title = {Intelligent Computer Mathematics -- Work in Progress Papers},
  booktitle = {{Intelligent Computer Mathematics -- Work in Progress Papers}},
  key = {CICM11WIP},
  year = {2011},
  editor = {James Davenport and William Farmer and Florian Rabe and Josef Urban},
  pubs={frabe}}

@PROCEEDINGS{ICOS00,
  title = {{ICoS-2}. Inference in Computational Semantics. Workshop Proceedings},
  year = {2000},
  editor = {Johan Bos and Michael Kohlhase},
  publisher = {Computational Linguistics, Saarland University},
  booktitle = {Proceedings of Inference in Computational Semantics ICoS-2},
  keywords = {conference},
  pubs = {mkohlhase}}

@PROCEEDINGS{BosKoh:ICOS2-LJIGPL04,
  editor = 	 {Johan Bos and Michael Kohlhase},
  title = 	 {Logic Journal of the IGPL},
  publisher = {Oxford University Press},
  year = 	 2003,
  volume = 	 {11(3)},
  keywords = {conference},
  note = 	 {Special Issue for {ICOS-2}},
  pubs = {mkohlhase}}

@PROCEEDINGS{ICOS01,
  title = {{ICoS-3}. Inference in Computational Semantics. Workshop Proceedings},
  year = {2001},
  editor = {Patrick Blackburn and Michael Kohlhase},
  publisher = {Computational Linguistics, Saarland University},
  booktitle = {Proceedings of Inference in Computational Semantics ICoS-2},
  pubs = {mkohlhase}}

@PROCEEDINGS{KI06,
  title = {Proceedings of the 29.th Annual German Conference on Artificial Intelligence
    {KI'06}},
  year = {2006},
  editor = {Christian Freksa and Michael Kohlhase and Kerstin Schill},
  number = {4314},
  series = {LNAI},
  address = {Bremen, Germany},
  booktitle = {Proceedings of the 29.th Annual German Conference on Artificial Intelligence
    KI'06},
  keywords = {conference},
  pubs = {mkohlhase}}

@PROCEEDINGS{CADE15-WS-AI,
  title = {{CADE-15} Workshop ``Using {AI} Methods in Deduction''},
  year = {1998},
  editor = {J{\"o}rg Denzinger and Michael Kohlhase and Bruce Spencer},
  booktitle = {{CADE-15} Workshop ``Using {AI} Methods in Deduction''},
pubs = {mkohlhase}}

@PROCEEDINGS{CALCULEMUS00,
  title = {{CALCULEMUS-2000}, Systems for Integrated Computation and Deduction},
  year = {2000},
  editor = {Manfred Kerber and Michael Kohlhase},
  address = {St. Andrews, Scotland},
  publisher = {AKPeters},
  keywords = {conference},
  booktitle = {Proceedings of the 8\textsuperscript{th} Symposium on the Integration of Symbolic Computation
    and Mechanized Reasoning (Calculemus-2000)},
pubs = {mkohlhase}}

@PROCEEDINGS{MKM05,
  title = {Mathematical Knowledge Management, {MKM'05}},
  year = {2006},
  editor = {Michael Kohlhase},
  number = {3863},
  series = {LNAI},
  publisher = {Springer Verlag},
  booktitle = {Mathematical Knowledge Management, {MKM'05}},
  keywords = {conference},
  pubs= {mkohlhase}}

@PROCEEDINGS{ORES2010,
  booktitle = {1\textsuperscript{st} Workshop on Ontology Repositories and Editors},
  year = 2010,
  editor = {d'Aquin, Mathieu and Garc{\'i}a Castro, Alexander and Christoph Lange and Kim Viljanen},
  number = 596,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-596},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2010-05-31},
  title = {Proceedings of the 1\textsuperscript{st} Workshop on Ontology Repositories and Editors, {Extended} {Semantic} {Web} {Conference}},
  pubs = {clange}}

@proceedings{OCAS2011,
  booktitle = {Workshop Ontologies come of Age in the Semantic Web},
  year = 2011,
  editor = {Garc{\'i}a Castro, Alexander and Ken Baclawski and John Bateman and Kim Viljanen and Christoph Lange},
  number = 809,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url ={http://ceur-ws.org/Vol-809},
  venue = {Bonn, Germany},
  eventdate = {2011-10-24},
  title = {Proceedings of the Workshop Ontologies come of Age in the Semantic Web, {International} {Semantic} {Web} {Conference}},
  pubs = {clange}}

@PROCEEDINGS{SemWiki10,
  booktitle = {5\textsuperscript{th} Workshop on Semantic Wikis},
  year = 2010,
  editor = {Christoph Lange and Jochen Reutelsh{\"o}fer and Sebastian Schaffert and Hala Skaf-Molli},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2010-05-31},
  title = {Proceedings of the 5\textsuperscript{th} Workshop on Semantic Wikis, {Extended} {Semantic} {Web} {Conference}},
  number = 632,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-632},
  pubs = {clange}}

@PROCEEDINGS{SemWiki09,
  booktitle = {4\textsuperscript{th} Workshop on Semantic Wikis},
  year = 2009,
  editor = {Christoph Lange and Sebastian Schaffert and Hala Skaf-Molli and Max V{\"o}lkel},
  number = 464,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-464},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2009-06-01},
  title = {Proceedings of the 4\textsuperscript{th} Workshop on Semantic Wikis, {European} {Semantic} {Web} {Conference}},
  pubs = {clange}}

@PROCEEDINGS{SemWiki08,
  booktitle = {3\textsuperscript{rd} Workshop on Semantic Wikis},
  year = 2008,
  editor = {Christoph Lange and Sebastian Schaffert and Hala Skaf-Molli and Max V{\"o}lkel},
  number = 360,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-360},
  venue = {Costa Adeje, Tenerife, Spain},
  eventdate = {2008-06-02},
  title = {Proceedings of the 3\textsuperscript{rd} Workshop on Semantic Wikis, {European} {Semantic} {Web} {Conference}},
  pubs = {clange}}

@proceedings{CICM-WS-WiP2013,
  booktitle    = {{MathUI}, {OpenMath}, {PLMMS}, and {ThEdu} Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics},
  title    = {Joint Proceedings of the {MathUI}, {OpenMath}, {PLMMS}, and {ThEdu} Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics 2013},
year = 2013,
editor = {Christoph Lange and David Aspinall and Jacques Carette and James Davenport and Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and Pedro Quaresma and Florian Rabe and Petr Sojka and Iain Whiteside and Wolfgang Windsteiger},
number = 1010,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-1010},
venue = {Bath, UK},
pubs = {mkohlhase,akohlhase,clange,frabe},
eventdate    = {2013-07-08/2013-07-12}
}

@proceedings{CICM-WS-WiP2014,
  booktitle    = {{MathUI}, {OpenMath}, {PLMMS}, and {ThEdu} Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics},
  title    = {Joint Proceedings of the {MathUI}, {OpenMath}, {PLMMS}, and {ThEdu} Workshops and Work in Progress at the Conference on Intelligent Computer Mathematics 2014},
year = 2014,
editor = {Matthew England and James H. Davenport and 
Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and 
Walther Neuper and Pedro Quaresma and Alan P. Sexton and
Petr Sojka and Josef Urban and Stephen M. Watt},
number = 1186,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-1186},
venue = {Coimbra, PT},
pubs = {mkohlhase,akohlhase,clange,frabe},
eventdate    = {2013-07-07/2013-07-12}
}

@proceedings{OpenMathUIWiP2012,
booktitle = {24\textsuperscript{th} {OpenMath} Workshop, 7\textsuperscript{th} Workshop on Mathematical User Interfaces (MathUI), and Intelligent Computer Mathematics Work in Progress},
title = {Joint Proceedings of the 24\textsuperscript{th} {OpenMath} Workshop, the 7\textsuperscript{th} Workshop on Mathematical User Interfaces ({MathUI}), and the Work in Progress Section of the Conference on Intelligent Computer Mathematics},
year = 2012,
editor = {James Davenport and Johan Jeuring and Christoph Lange and Paul Libbrecht},
number = 921,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-921},
venue = {Bremen, Germany},
eventdate = {2012-07-09/2012-07-13},
}

@PROCEEDINGS{OM10,
  editor = {Michael Kohlhase and Christoph Lange},
  title = {23\textsuperscript{rd} {OpenMath} Workshop},
  booktitle = {23\textsuperscript{rd} {OpenMath} Workshop},
  url = {http://cicm2010.cnam.fr/om/},
  year = {2010},
  month = jul}

@Proceedings{OpenJEM07,
  editor =   {Olga Caprotti and Michael Kohlhase and Paul Libbrecht},
  title =    {{OpenMath/JEM} Workshop 2007},
  booktitle =    {{OpenMath/JEM} Workshop 2007},
  howpublished = {online at {\url{http://www.openmath.org/meetings/linz2007/}}},
  url = {http://www.openmath.org/meetings/linz2007/},
  year =     2007,
  month = jun,
pubs = {mkohlhase}}

@Proceedings{FGWM09:plain,
  editor = {Christoph Lange and Jochen Reutelsh{\"o}fer},
  title =    {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
  booktitle =    {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
  volume = {TUD-KE-2009-04},
  institution = {Universit{\"a}t Darmstadt},
  year = {2009},
  month = sep,
  pubs = {clange}}

@Proceedings{FGWM09,
  editor = {Christoph Lange and Jochen Reutelsh{\"o}fer},
  title =    {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
  booktitle =    {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
  note = {Workshop at LWA 2009, published as part of~\cite{LWA09}},
  year = {2009},
  month = sep,
  pubs = {clange}}

@Proceedings{FGWM13,
  editor = {Andrea Kohlhase and Bodo Rieger},
  title =    {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
  booktitle =    {Wissens- und Erfahrungsmanagement (Knowledge and Experience Management), {FGWM}},
  note = {Workshop at LWA 2013, published as part of~\cite{LWA13}},
  year = {2013},
  month = oct,
  pubs = {akohlhase}}

@Proceedings{JEM08,
  title = 	 {3\textsuperscript{rd} {JEM} Workshop -- Joining Educational Mathematics},
  year = 	 {2008},
  booktitle =	 {3\textsuperscript{rd} {JEM} Workshop -- Joining Educational Mathematics},
  editor =	 {Olga Caprotti and Sebastian Xamb{\'o} and Maria-Antonia Huertas and Michael Kohlhase and Mika Sepp{\"a}l{\"a}},
  url = {http://jem-thematic.net/workshop3},
  pubs = {mkohlhase}}

@proceedings{MathWiki11,
  booktitle = {ITP Workshop on Mathematical Wikis (MathWikis)},
  year = 2011,
  editor = {Christoph Lange and Josef Urban},
  number = 767,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-767},
  venue = {Nijmegen, Netherlands},
  eventdate = {2011-08-27},
  title = {Proceedings of the ITP 2011 Workshop on Mathematical Wikis (MathWikis)},
  pubs = {clange}}

@proceedings{SEPUBLICA14,
booktitle = {4\textsuperscript{th} Workshop on Semantic Publishing (SePublica)},
title = {Proceedings of the 4\textsuperscript{th} Workshop on Semantic Publishing (SePublica)},
year = 2014,
editor = {Garc{\'i}a Castro, Alexander and Christoph Lange and Phillip Lord and Robert Stevens},
number = 1155,
series = {CEUR Workshop Proceedings},
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-1155},
venue = {Anissaras, Greece},
eventdate = {2014-05-25},
}

@proceedings{SEPUBLICA13,
  booktitle = {3\textsuperscript{rd} Workshop on Semantic Publishing ({SePublica})},
  year = 2013,
  editor = {Garc{\'i}a Castro, Alexander and Christoph Lange and Phillip Lord and Robert Stevens},
  number = 994,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-994},
  venue = {Montpellier, France},
  eventdate = {2013-05-26},
  title = {Proceedings of the 3\textsuperscript{rd} Workshop on Semantic Publishing, {Extended} {Semantic} {Web} {Conference}},
  pubs = {clange}}

@proceedings{SEPUBLICA12,
  booktitle = {2\textsuperscript{nd} Workshop on Semantic Publishing ({SePublica})},
  year = 2012,
  editor = {Benjamin Good and Frank van Harmelen and Garc{\'i}a Castro, Alexander and Christoph Lange and Evan Sandhaus and Anita de Waard},
  number = 903,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-903},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2012-05-28},
  title = {Proceedings of the 2\textsuperscript{nd} Workshop on Semantic Publishing, {Extended} {Semantic} {Web} {Conference}},
  pubs = {clange}}

@proceedings{SEPUBLICA11,
  booktitle = {1\textsuperscript{st} Workshop on Semantic Publication ({SePublica})},
  year = 2011,
  editor = {Garc{\'i}a Castro, Alexander and Christoph Lange and Evan Sandhaus and Anita de Waard},
  number = 721,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-721},
  venue = {Hersonissos, Crete, Greece},
  eventdate = {2011-05-30},
  title = {Proceedings of the 1\textsuperscript{st} Workshop on Semantic Publication, {Extended} {Semantic} {Web} {Conference}},
  pubs = {clange}}


@BOOK{Kohlhase:OMDoc1.2,
  title = {{OMDoc} -- An open markup format for mathematical documents [Version 1.2]},
  booktitle = {{OMDoc} -- An open markup format for mathematical documents [Version 1.2]},
  publisher = {Springer Verlag},
  year = {2006},
  month = aug,
  author = {Michael Kohlhase},
  number = {4180},
  series = {LNAI},
  url = {http://omdoc.org/pubs/omdoc1.2.pdf},
  pubs = {mkohlhase,projects/omdocbiblio}}

@Proceedings{DML12,
  title = 	 {{DML and MIR 2012}},
  booktitle = 	 {{DML and MIR 2012}},
  year = 	 2012,
  editor = 	 {Petr Sojka and Michael Kohlhase},
  isbn = {978-80-210-5542-1},
  publisher = {Masaryk University, Brno},
  pubs = {mkohlhase}}