Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrea Kohlhase
@proceedings{DBLP:conf/mkm/2021w,
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3377},
urn = {urn:nbn:de:0074-3377-5},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2021w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kohlhase21,
author = {Andrea Kohlhase},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {MathUI Preface},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/mathui-preface.pdf},
timestamp = {Thu, 14 Sep 2023 09:27:13 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Kohlhase21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK21,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Jasmin Blanchette and
James H. Davenport and
Peter Koepke and
Michael Kohlhase and
Andrea Kohlhase and
Adam Naumowicz and
Dennis M{\"{u}}ller and
Yasmine Sharoda and
Claudio Sacerdoti Coen},
title = {A Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking},
booktitle = {Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops,
Doctoral Program, and Work in Progress at the Conference on Intelligent
Computer Mathematics 2021 co-located with the 14th Conference on Intelligent
Computer Mathematics {(CICM} 2021), Virtual Event, Timisoara, Romania,
July 26 - 31, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3377},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3377/mathui2.pdf},
timestamp = {Wed, 13 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2019w,
editor = {Edwin C. Brady and
James H. Davenport and
William M. Farmer and
Cezary Kaliszyk and
Andrea Kohlhase and
Michael Kohlhase and
Dennis M{\"{u}}ller and
Karol Pak and
Claudio Sacerdoti Coen},
title = {Joint Proceedings of the {FMM} and {LML} Workshops, Doctoral Program
and Work in Progress at the Conference on Intelligent Computer Mathematics
2019 co-located with the 12th Conference on Intelligent Computer Mathematics
{(CICM} 2019), Prague, Czech Republic, July 8-12, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2634},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2634},
urn = {urn:nbn:de:0074-2634-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2019,
editor = {Cezary Kaliszyk and
Edwin C. Brady and
Andrea Kohlhase and
Claudio Sacerdoti Coen},
title = {Intelligent Computer Mathematics - 12th International Conference,
{CICM} 2019, Prague, Czech Republic, July 8-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11617},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23250-4},
doi = {10.1007/978-3-030-23250-4},
isbn = {978-3-030-23249-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/Kohlhase18,
author = {Andrea Kohlhase},
editor = {Rainer Gemulla and
Simone Paolo Ponzetto and
Christian Bizer and
Margret Keuper and
Heiner Stuckenschmidt},
title = {Factors for Reading Mathematical Expressions},
booktitle = {Proceedings of the Conference "Lernen, Wissen, Daten, Analysen", {LWDA}
2018, Mannheim, Germany, August 22-24, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2191},
pages = {195--202},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2191/paper24.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:37 +0100},
biburl = {https://dblp.org/rec/conf/lwa/Kohlhase18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseKO18,
author = {Andrea Kohlhase and
Michael Kohlhase and
Taweechai Ouypornkochagorn},
editor = {Florian Rabe and
William M. Farmer and
Grant O. Passmore and
Abdou Youssef},
title = {Discourse Phenomena in Mathematical Documents},
booktitle = {Intelligent Computer Mathematics - 11th International Conference,
{CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11006},
pages = {147--163},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96812-4\_14},
doi = {10.1007/978-3-319-96812-4\_14},
timestamp = {Fri, 20 Nov 2020 16:08:55 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseKO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/UcarK17,
author = {Gamze Ucar and
Andrea Kohlhase},
editor = {Michael Leyer},
title = {Irref{\"{u}}hrende mentale Modelle beim Smart-TV(Misleading Mental
Models for Smart-TVs)},
booktitle = {Lernen, Wissen, Daten, Analysen {(LWDA)} Conference Proceedings, Rostock,
Germany, September 11-13, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1917},
pages = {200},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1917/paper29.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:37 +0100},
biburl = {https://dblp.org/rec/conf/lwa/UcarK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseKF17,
author = {Andrea Kohlhase and
Michael Kohlhase and
Michael F{\"{u}}rsich},
editor = {Herman Geuvers and
Matthew England and
Osman Hasan and
Florian Rabe and
Olaf Teschke},
title = {Visual Structure in Mathematical Expressions},
booktitle = {Intelligent Computer Mathematics - 10th International Conference,
{CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10383},
pages = {208--223},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62075-6\_15},
doi = {10.1007/978-3-319-62075-6\_15},
timestamp = {Mon, 31 Jan 2022 07:36:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cikm/2016fm4m,
editor = {Andrea Kohlhase and
Paul Libbrecht and
Bruce R. Miller and
Adam Naumowicz and
Walther Neuper and
Pedro Quaresma and
Frank Wm. Tompa and
Martin Suda},
title = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
Program, and Work in Progress at the Conference on Intelligent Computer
Mathematics 2016 co-located with the 9th Conference on Intelligent
Computer Mathematics {(CICM} 2016), Bialystok, Poland, July 25-29,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1785},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1785},
urn = {urn:nbn:de:0074-1785-C},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/2016fm4m.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/KohlhaseF16,
author = {Andrea Kohlhase and
Michael F{\"{u}}rsich},
editor = {Andrea Kohlhase and
Paul Libbrecht and
Bruce R. Miller and
Adam Naumowicz and
Walther Neuper and
Pedro Quaresma and
Frank Wm. Tompa and
Martin Suda},
title = {Understanding Mathematical Expressions: An Eye-Tracking Study},
booktitle = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
Program, and Work in Progress at the Conference on Intelligent Computer
Mathematics 2016 co-located with the 9th Conference on Intelligent
Computer Mathematics {(CICM} 2016), Bialystok, Poland, July 25-29,
2016},
series = {{CEUR} Workshop Proceedings},
volume = {1785},
pages = {42--50},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1785/M2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:32 +0100},
biburl = {https://dblp.org/rec/conf/cikm/KohlhaseF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/GinevIJKKOSSTW16,
author = {Deyan Ginev and
Mihnea Iancu and
Constantin Jucovshi and
Andrea Kohlhase and
Michael Kohlhase and
Akbar Oripov and
J{\"{u}}rgen Schefter and
Wolfram Sperber and
Olaf Teschke and
Tom Wiesing},
editor = {Gert{-}Martin Greuel and
Thorsten Koch and
Peter Paule and
Andrew J. Sommese},
title = {The SMGloM Project and System: Towards a Terminology and Ontology
for Mathematics},
booktitle = {Mathematical Software - {ICMS} 2016 - 5th International Conference,
Berlin, Germany, July 11-14, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9725},
pages = {451--457},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42432-3\_58},
doi = {10.1007/978-3-319-42432-3\_58},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icms/GinevIJKKOSSTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ToaderKK15,
author = {Alexandru Toader and
Andrea Kohlhase and
Michael Kohlhase},
editor = {Felienne Hermans and
Richard F. Paige and
Peter Sestoft},
title = {Assessment for Spreadsheets},
booktitle = {Proceedings of the Second Workshop on Software Engineering Methods
in Spreadsheets co-located with the 37th International Conference
on Software Engineering {(ICSE} 2015) , Florence, Italy, May 18, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1355},
pages = {14--20},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1355/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:12 +0100},
biburl = {https://dblp.org/rec/conf/icse/ToaderKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KohlhaseKG15,
author = {Andrea Kohlhase and
Michael Kohlhase and
Ana Guseva},
editor = {Felienne Hermans and
Richard F. Paige and
Peter Sestoft},
title = {Context in Spreadsheet Comprehension},
booktitle = {Proceedings of the Second Workshop on Software Engineering Methods
in Spreadsheets co-located with the 37th International Conference
on Software Engineering {(ICSE} 2015) , Florence, Italy, May 18, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1355},
pages = {21--27},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1355/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KohlhaseKG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/GinevIJKKSS15,
author = {Deyan Ginev and
Mihnea Iancu and
Constantin Jucovshi and
Andrea Kohlhase and
Michael Kohlhase and
J{\"{u}}rgen Schefter and
Wolfram Sperber},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {The SMGloM Project and System},
booktitle = {{CICM} 2015 - Informal Work in Progress Proceedings, Washington, DC,
USA, July 13-17, 2015},
pages = {25--28},
year = {2015},
url = {https://cicm-conference.org/2015/CICM2015-wip.pdf\#page=25},
timestamp = {Thu, 25 Nov 2021 15:07:53 +0100},
biburl = {https://dblp.org/rec/conf/mkm/GinevIJKKSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/Kohlhase14,
author = {Andrea Kohlhase},
editor = {Hoon Hong and
Chee Yap},
title = {Math Web Search Interfaces and the Generation Gap of Mathematicians},
booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {586--593},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44199-2\_88},
doi = {10.1007/978-3-662-44199-2\_88},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/icms/Kohlhase14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kohlhase14,
author = {Andrea Kohlhase},
editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
title = {Search Interfaces for Mathematicians},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8543},
pages = {153--168},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08434-3\_12},
doi = {10.1007/978-3-319-08434-3\_12},
timestamp = {Wed, 16 Mar 2022 23:55:39 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Kohlhase14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kohlhase14b,
author = {Andrea Kohlhase},
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},
title = {Design of Search Interfaces for Mathematicians},
booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
Work in Progress track at {CICM} co-located with Conferences on Intelligent
Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1186},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1186/paper-02.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Kohlhase14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseT14,
author = {Andrea Kohlhase and
Alexandru Toader},
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},
title = {FEncy: Spreadsheet Formulae Exploration},
booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
Work in Progress track at {CICM} co-located with Conferences on Intelligent
Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1186},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1186/paper-03.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2014ws,
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},
title = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
Work in Progress track at {CICM} co-located with Conferences on Intelligent
Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11,
2014},
series = {{CEUR} Workshop Proceedings},
volume = {1186},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1186},
urn = {urn:nbn:de:0074-1186-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2014ws.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kohlhase14,
author = {Andrea Kohlhase},
title = {Search Interfaces for Mathematicians},
journal = {CoRR},
volume = {abs/1405.3758},
year = {2014},
url = {http://arxiv.org/abs/1405.3758},
eprinttype = {arXiv},
eprint = {1405.3758},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kohlhase14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/KohlhaseK13,
author = {Andrea Kohlhase and
Michael Kohlhase},
title = {Spreadsheets with a Semantic Layer},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {62},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.62.870},
doi = {10.14279/TUJ.ECEASST.62.870},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/KohlhaseK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/KohlhaseKJT13,
author = {Andrea Kohlhase and
Michael Kohlhase and
Constantin Jucovschi and
Alexandru Toader},
editor = {Paula Kotz{\'{e}} and
Gary Marsden and
Gitte Lindgaard and
Janet Wesson and
Marco Winckler},
title = {Full Semantic Transparency: Overcoming Boundaries of Applications},
booktitle = {Human-Computer Interaction - {INTERACT} 2013 - 14th {IFIP} {TC} 13
International Conference, Cape Town, South Africa, September 2-6,
2013, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {8119},
pages = {406--423},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40477-1\_25},
doi = {10.1007/978-3-642-40477-1\_25},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/KohlhaseKJT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/Kohlhase13,
author = {Andrea Kohlhase},
editor = {Paula Kotz{\'{e}} and
Gary Marsden and
Gitte Lindgaard and
Janet Wesson and
Marco Winckler},
title = {Human-Spreadsheet Interaction},
booktitle = {Human-Computer Interaction - {INTERACT} 2013 - 14th {IFIP} {TC} 13
International Conference, Cape Town, South Africa, September 2-6,
2013, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {8120},
pages = {571--578},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40498-6\_47},
doi = {10.1007/978-3-642-40498-6\_47},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/interact/Kohlhase13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/KohlhaseT13,
author = {Andrea Kohlhase and
Alexandru Toader},
editor = {Andreas Henrich and
Hans{-}Christian Sperker},
title = {Exploration of Spreadsheet Formulae with Fency},
booktitle = {{LWA} 2013. Lernen, Wissen {\&} Adaptivit{\"{a}}t, Workshop
Proceedings Bamberg, 7.-9. October 2013},
pages = {265},
publisher = {Universit{\"{a}}tsbibliothek Bamberg},
year = {2013},
timestamp = {Wed, 12 Feb 2020 16:45:19 +0100},
biburl = {https://dblp.org/rec/conf/lwa/KohlhaseT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Kohlhase13,
author = {Andrea Kohlhase},
editor = {Christoph Lange and
David Aspinall and
Jacques Carette and
James H. 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},
title = {Spreadsheets: from data interfaces to knowledge interfaces},
booktitle = {Joint Proceedings of the MathUI, OpenMath, {PLMMS} and ThEdu Workshops
and Work in Progress at CICM, Bath, {UK}},
series = {{CEUR} Workshop Proceedings},
volume = {1010},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1010/paper-17.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Kohlhase13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2013ws,
editor = {Christoph Lange and
David Aspinall and
Jacques Carette and
James H. 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},
title = {Joint Proceedings of the MathUI, OpenMath, {PLMMS} and ThEdu Workshops
and Work in Progress at CICM, Bath, {UK}},
series = {{CEUR} Workshop Proceedings},
volume = {1010},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1010},
urn = {urn:nbn:de:0074-1010-3},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/2013ws.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/DavidJKK12,
author = {Catalin David and
Constantin Jucovschi and
Andrea Kohlhase and
Michael Kohlhase},
editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
title = {Semantic Alliance: {A} Framework for Semantic Allies},
booktitle = {Intelligent Computer Mathematics - 11th International Conference,
{AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
{DML} 2012, 11th International Conference, {MKM} 2012, Systems and
Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7362},
pages = {49--64},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31374-5\_4},
doi = {10.1007/978-3-642-31374-5\_4},
timestamp = {Sun, 02 Jun 2019 21:23:46 +0200},
biburl = {https://dblp.org/rec/conf/aisc/DavidJKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/0002KDGKMMZ11,
author = {Christoph Lange and
Michael Kohlhase and
Catalin David and
Deyan Ginev and
Andrea Kohlhase and
Bogdan Matican and
Stefan Mirea and
Vyacheslav Zholudev},
editor = {Grigoris Antoniou and
Marko Grobelnik and
Elena Simperl and
Bijan Parsia and
Dimitris Plexousakis and
Pieter De Leenheer and
Jeff Z. Pan},
title = {The Planetary System: Executable Science, Technology, Engineering
and Math Papers},
booktitle = {The Semanic Web: Research and Applications - 8th Extended Semantic
Web Conference, {ESWC} 2011, Heraklion, Crete, Greece, May 29 - June
2, 2011, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6644},
pages = {471--475},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21064-8\_37},
doi = {10.1007/978-3-642-21064-8\_37},
timestamp = {Mon, 28 Aug 2023 21:17:38 +0200},
biburl = {https://dblp.org/rec/conf/esws/0002KDGKMMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/KohlhaseJ11,
author = {Andrea Kohlhase and
Constantin Jucovschi},
editor = {Myra Spiliopoulou and
Andreas N{\"{u}}rnberger and
Ren{\'{e}} Schult},
title = {{PLANMP:} Collecting Practices for a better Design of Knowledge Management
Systems},
booktitle = {Report of the symposium "Lernen, Wissen, Adaptivit{\"{a}}t 2011"
of the {GI} special interest groups KDML, {IR} and WM, {LWA} 2011,
Magdeburg, 28.-30.September 2011},
pages = {250--254},
publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Otto-von-Guericke-Universit{\"{a}}t
Magdeburg},
year = {2011},
timestamp = {Tue, 14 Feb 2023 10:59:16 +0100},
biburl = {https://dblp.org/rec/conf/lwa/KohlhaseJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdoc/KohlhaseK11,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Aristidis Protopsaltis and
Nicolas Spyratos and
Carlos J. Costa and
Carlo Meghini},
title = {Maintaining islands of consistency via versioned links},
booktitle = {Proceedings of the 29th {ACM} international conference on Design of
communication, Pisa, Italy, October 3-5, 2011},
pages = {167--174},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038476.2038510},
doi = {10.1145/2038476.2038510},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigdoc/KohlhaseK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdoc/KohlhaseK11a,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Aristidis Protopsaltis and
Nicolas Spyratos and
Carlos J. Costa and
Carlo Meghini},
title = {Towards a flexible notion of document context},
booktitle = {Proceedings of the 29th {ACM} international conference on Design of
communication, Pisa, Italy, October 3-5, 2011},
pages = {181--188},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2038476.2038512},
doi = {10.1145/2038476.2038512},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigdoc/KohlhaseK11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/procedia/KohlhaseCDGJKLMMZ11,
author = {Michael Kohlhase and
Joseph 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},
editor = {Mitsuhisa Sato and
Satoshi Matsuoka and
Peter M. A. Sloot and
G. Dick van Albada and
Jack J. Dongarra},
title = {The Planetary System: Web 3.0 {\&} Active Documents for {STEM}},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2011, Nanyang Technological University, Singapore, 1-3 June,
2011},
series = {Procedia Computer Science},
volume = {4},
pages = {598--607},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.procs.2011.04.063},
doi = {10.1016/J.PROCS.2011.04.063},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/journals/procedia/KohlhaseCDGJKLMMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-1482,
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},
journal = {CoRR},
volume = {abs/1103.1482},
year = {2011},
url = {http://arxiv.org/abs/1103.1482},
eprinttype = {arXiv},
eprint = {1103.1482},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-1482.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/KohlhaseKL10,
author = {Andrea Kohlhase and
Michael Kohlhase and
Christoph Lange},
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {Dimensions of Formality: {A} Case Study for {MKM} in Software Engineering},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {355--369},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7\_31},
doi = {10.1007/978-3-642-14128-7\_31},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/KohlhaseKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/i-semantics/KohlhaseK010,
author = {Andrea Kohlhase and
Michael Kohlhase and
Christoph Lange},
editor = {Adrian Paschke and
Nicola Henze and
Tassilo Pellegrini},
title = {S\({}^{\mbox{T}}\)E\({}^{\mbox{X}}\)+: a system for flexible formalization
of linked data},
booktitle = {Proceedings the 6th International Conference on Semantic Systems,
{I-SEMANTICS} 2010, Graz, Austria, September 1-3, 2010},
series = {{ACM} International Conference Proceeding Series},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1839707.1839712},
doi = {10.1145/1839707.1839712},
timestamp = {Tue, 27 Sep 2022 09:57:16 +0200},
biburl = {https://dblp.org/rec/conf/i-semantics/KohlhaseK010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Kohlhase10,
author = {Andrea Kohlhase},
editor = {R{\"{u}}diger Dillmann and
J{\"{u}}rgen Beyerer and
Uwe D. Hanebeck and
Tanja Schultz},
title = {Towards User Assistance for Documents via Interactional Semantic Technology},
booktitle = {{KI} 2010: Advances in Artificial Intelligence, 33rd Annual German
Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6359},
pages = {107--115},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16111-7\_12},
doi = {10.1007/978-3-642-16111-7\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Kohlhase10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-5071,
author = {Andrea Kohlhase and
Michael Kohlhase and
Christoph Lange},
title = {Dimensions of Formality: {A} Case Study for {MKM} in Software Engineering},
journal = {CoRR},
volume = {abs/1004.5071},
year = {2010},
url = {http://arxiv.org/abs/1004.5071},
eprinttype = {arXiv},
eprint = {1004.5071},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-5071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4474,
author = {Andrea Kohlhase and
Michael Kohlhase and
Christoph Lange},
title = {sTeX+ - a System for Flexible Formalization of Linked Data},
journal = {CoRR},
volume = {abs/1006.4474},
year = {2010},
url = {http://arxiv.org/abs/1006.4474},
eprinttype = {arXiv},
eprint = {1006.4474},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-4474.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-2797,
author = {Andrea Kohlhase and
Michael Kohlhase},
title = {What we understand is what we get: Assessment in Spreadsheets},
journal = {CoRR},
volume = {abs/1009.2797},
year = {2010},
url = {http://arxiv.org/abs/1009.2797},
eprinttype = {arXiv},
eprint = {1009.2797},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-2797.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/KohlhaseK09,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Melanie Hartmann and
Frederik Janssen},
title = {What you understand is what you get: Assessment in Spreadsheets},
booktitle = {{LWA} 2009: Workshop-Woche: Lernen, Wissen, Adaptivit{\"{a}}t,
Darmstadt, 21.-23. September 2009},
volume = {{TUD-CS-2009-0157/TUD-KE-2009-04}},
pages = {FGWM:22--29},
publisher = {{FG} Telekooperation/FG Knowledge Engineering, Technische Universit{\"{a}}t
Darmstadt, Germany},
year = {2009},
timestamp = {Tue, 29 Sep 2015 12:52:25 +0200},
biburl = {https://dblp.org/rec/conf/lwa/KohlhaseK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK09,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Spreadsheet Interaction with Frames: Exploring a Mathematical Practice},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {341--356},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_28},
doi = {10.1007/978-3-642-02614-0\_28},
timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK09a,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Compensating the Computational Bias of Spreadsheets with {MKM} Techniques},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {357--372},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_29},
doi = {10.1007/978-3-642-02614-0\_29},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdoc/KohlhaseK09,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Brad Mehlenbacher and
Aristidis Protopsaltis and
Ashley Williams and
Shaun Slattery},
title = {Semantic transparency in user assistance systems},
booktitle = {Proceedings of the 27th Annual International Conference on Design
of Communication, {SIGDOC} 2009, Bloomington, Indiana, USA, October
5-7, 2009},
pages = {89--96},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1621995.1622013},
doi = {10.1145/1621995.1622013},
timestamp = {Sat, 30 Sep 2023 09:56:22 +0200},
biburl = {https://dblp.org/rec/conf/sigdoc/KohlhaseK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigdoc/KohlhaseK09a,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Brad Mehlenbacher and
Aristidis Protopsaltis and
Ashley Williams and
Shaun Slattery},
title = {Modeling task experience in user assistance systems},
booktitle = {Proceedings of the 27th Annual International Conference on Design
of Communication, {SIGDOC} 2009, Bloomington, Indiana, USA, October
5-7, 2009},
pages = {135--142},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1621995.1622021},
doi = {10.1145/1621995.1622021},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigdoc/KohlhaseK09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Kohlhase2008,
author = {Andrea Kohlhase},
title = {Semantic interaction design: composing knowledge with CPoint},
school = {University of Bremen},
year = {2008},
url = {https://d-nb.info/989439445},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Kohlhase2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwltt/ReichelK08,
author = {Milena Reichel and
Andrea Kohlhase},
title = {Embodied Conceptualizations: Social Tagging and E-Learning},
journal = {Int. J. Web Based Learn. Teach. Technol.},
volume = {3},
number = {1},
pages = {58--67},
year = {2008},
url = {https://doi.org/10.4018/jwltt.2008010106},
doi = {10.4018/JWLTT.2008010106},
timestamp = {Thu, 20 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwltt/ReichelK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/KohlhaseK08,
author = {Andrea Kohlhase and
Michael Kohlhase},
title = {Semantic Knowledge Management for Education},
journal = {Proc. {IEEE}},
volume = {96},
number = {6},
pages = {970--989},
year = {2008},
url = {https://doi.org/10.1109/JPROC.2008.921606},
doi = {10.1109/JPROC.2008.921606},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/KohlhaseK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/KohlhaseK08,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Joachim Baumeister and
Martin Atzm{\"{u}}ller},
title = {Compensating the Semantic Bias of Spreadsheets},
booktitle = {{LWA} 2008 - Workshop-Woche: Lernen, Wissen {\&} Adaptivit{\"{a}}t,
W{\"{u}}rzburg, Deutschland, 6.-8. Oktober 2008, Proceedings},
series = {Technical Report},
volume = {448},
pages = {49--58},
publisher = {Department of Computer Science, University of W{\"{u}}rzburg,
Germany},
year = {2008},
timestamp = {Thu, 05 Jul 2018 07:57:13 +0200},
biburl = {https://dblp.org/rec/conf/lwa/KohlhaseK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lwa/Kohlhase07,
author = {Andrea Kohlhase},
editor = {Alexander Hinneburg},
title = {Semantic Perspectives on Knowledge Management and E-Learning},
booktitle = {{LWA} 2007: Lernen - Wissen - Adaption, Halle, Deutschland, September
2007, Workshop Proceedings},
pages = {281--288},
publisher = {Martin-Luther-University Halle-Wittenberg},
year = {2007},
timestamp = {Thu, 05 Jul 2018 07:57:33 +0200},
biburl = {https://dblp.org/rec/conf/lwa/Kohlhase07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mc/KohlhaseSL07,
author = {Andrea Kohlhase and
Heidi Schelhowe and
Michael Lund},
editor = {Tom Gross},
title = {What Can the Hundred Languages of Children Teach Us?},
booktitle = {Mensch {\&} Computer 2007: Interaktion im Plural - Konferenz f{\"{u}}r
interaktive und kooperative Medien, Bauhaus-Universit{\"{a}}t
Weimar, Weimar, Germany, September 2-5, 2007},
pages = {189--198},
publisher = {Oldenbourg Verlag},
year = {2007},
url = {https://dl.gi.de/handle/20.500.12116/7256},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mc/KohlhaseSL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK07,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Manuel Kauers and
Manfred Kerber and
Robert Miner and
Wolfgang Windsteiger},
title = {\emph{Re} examining the {MKM} Value Proposition: From Math Web Search
to Math Web \emph{Re} Search},
booktitle = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus
2007, 6th International Conference, {MKM} 2007, Hagenberg, Austria,
June 27-30, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4573},
pages = {313--326},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73086-6\_25},
doi = {10.1007/978-3-540-73086-6\_25},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/delfi/Kohlhase06,
author = {Andrea Kohlhase},
editor = {Christoph Rensing},
title = {CPoint - ein invasiver, semantischer Editor f{\"{u}}r wiederverwendbaren
Content in {MS} PowerPoint},
booktitle = {Proceedings der Pre-Conference Workshops der 4. e-Learning Fachtagung
Informatik DeLFI 2006, Darmstadt, Germany, 11.-14. September 2006},
pages = {35--42},
publisher = {Logos Verlag},
year = {2006},
url = {http://dl.mensch-und-computer.de/handle/123456789/2693},
timestamp = {Mon, 23 Nov 2020 15:00:18 +0100},
biburl = {https://dblp.org/rec/conf/delfi/Kohlhase06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/Kohlhase06,
author = {Andrea Kohlhase},
editor = {Eleftheria Tomadaki and
Peter J. Scott},
title = {The User as Prisoner: How the Dilemma Might Dissolve},
booktitle = {Proceedings of the {EC-TEL06} Workshops, Crete, Greece , October 1-2,
2006},
series = {{CEUR} Workshop Proceedings},
volume = {213},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-213/paper23.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:30 +0100},
biburl = {https://dblp.org/rec/conf/ectel/Kohlhase06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK06,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Jonathan M. Borwein and
William M. Farmer},
title = {Communities of Practice in {MKM:} An Extensional Model},
booktitle = {Mathematical Knowledge Management, 5th International Conference, {MKM}
2006, Wokingham, UK, August 11-12, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4108},
pages = {179--193},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11812289\_15},
doi = {10.1007/11812289\_15},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK05,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Michael Kohlhase},
title = {An Exploration in the Space of Mathematical Knowledge},
booktitle = {Mathematical Knowledge Management, 4th International Conference, {MKM}
2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3863},
pages = {17--32},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11618027\_2},
doi = {10.1007/11618027\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseK04,
author = {Andrea Kohlhase and
Michael Kohlhase},
editor = {Andrea Asperti and
Grzegorz Bancerek and
Andrzej Trybulec},
title = {CPoint: Dissolving the Author's Dilemma},
booktitle = {Mathematical Knowledge Management, Third International Conference,
{MKM} 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3119},
pages = {175--189},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27818-4\_13},
doi = {10.1007/978-3-540-27818-4\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/mkm/KohlhaseK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 01:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
