summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/lib/bib/kwarccrossrefs.bib
blob: cbc2050f8a47d46fbd58a6aa5e03730945852ea7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
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}}