summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/lib/bib/kwarccrossrefs.bib
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/lib/bib/kwarccrossrefs.bib')
-rw-r--r--Master/texmf-dist/source/latex/stex/lib/bib/kwarccrossrefs.bib463
1 files changed, 463 insertions, 0 deletions
diff --git a/Master/texmf-dist/source/latex/stex/lib/bib/kwarccrossrefs.bib b/Master/texmf-dist/source/latex/stex/lib/bib/kwarccrossrefs.bib
new file mode 100644
index 00000000000..cbc2050f8a4
--- /dev/null
+++ b/Master/texmf-dist/source/latex/stex/lib/bib/kwarccrossrefs.bib
@@ -0,0 +1,463 @@
+@STRING{krcmessage = "READ the README please!!!!!!!!!!!!!!"}
+
+@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:cicm:11,
+ title = "{Intelligent Computer Mathematics}",
+ year = "2011",
+ editor = "J. Davenport and W. Farmer and F. Rabe and J. Urban",
+ series = "Lecture Notes in Computer Science",
+ publisher = "Springer",
+ volume = "6824",
+ keywords={conference},
+ pubs={frabe}
+}
+
+@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},
+ 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},
+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 = 1180,
+series = {CEUR Workshop Proceedings},
+address = {Aachen},
+issn = {1613-0073},
+url = {http://ceur-ws.org/Vol-1180},
+venue = {Coimbra, PT},
+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 = {\textsc{OMDoc} -- An open markup format for mathematical documents [Version 1.2]},
+ booktitle = {\textsc{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},
+ keywords = {conference},
+ isbn = {978-80-210-5542-1},
+ publisher = {Masaryk University, Brno},
+ pubs = {mkohlhase}}
+