Published in: LIPIcs, Volume 220, 25th International Conference on Database Theory (ICDT 2022)
Brecht Vandevoort, Bas Ketsman, Christoph Koch, and Frank Neven. Robustness Against Read Committed for Transaction Templates with Functional Constraints. In 25th International Conference on Database Theory (ICDT 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 220, pp. 16:1-16:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{vandevoort_et_al:LIPIcs.ICDT.2022.16, author = {Vandevoort, Brecht and Ketsman, Bas and Koch, Christoph and Neven, Frank}, title = {{Robustness Against Read Committed for Transaction Templates with Functional Constraints}}, booktitle = {25th International Conference on Database Theory (ICDT 2022)}, pages = {16:1--16:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-223-5}, ISSN = {1868-8969}, year = {2022}, volume = {220}, editor = {Olteanu, Dan and Vortmeier, Nils}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2022.16}, URN = {urn:nbn:de:0030-drops-158905}, doi = {10.4230/LIPIcs.ICDT.2022.16}, annote = {Keywords: concurrency control, robustness, complexity} }
Published in: LIPIcs, Volume 155, 23rd International Conference on Database Theory (ICDT 2020)
Bas Ketsman and Christoph Koch. Datalog with Negation and Monotonicity. In 23rd International Conference on Database Theory (ICDT 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 155, pp. 19:1-19:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{ketsman_et_al:LIPIcs.ICDT.2020.19, author = {Ketsman, Bas and Koch, Christoph}, title = {{Datalog with Negation and Monotonicity}}, booktitle = {23rd International Conference on Database Theory (ICDT 2020)}, pages = {19:1--19:18}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-139-9}, ISSN = {1868-8969}, year = {2020}, volume = {155}, editor = {Lutz, Carsten and Jung, Jean Christoph}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICDT.2020.19}, URN = {urn:nbn:de:0030-drops-119432}, doi = {10.4230/LIPIcs.ICDT.2020.19}, annote = {Keywords: Datalog, Monotonicity} }
Published in: LIPIcs, Volume 55, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
Christoph Koch and Johannes Lengler. Bootstrap Percolation on Geometric Inhomogeneous Random Graphs. In 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 55, pp. 147:1-147:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
@InProceedings{koch_et_al:LIPIcs.ICALP.2016.147, author = {Koch, Christoph and Lengler, Johannes}, title = {{Bootstrap Percolation on Geometric Inhomogeneous Random Graphs}}, booktitle = {43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)}, pages = {147:1--147:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-013-2}, ISSN = {1868-8969}, year = {2016}, volume = {55}, editor = {Chatzigiannakis, Ioannis and Mitzenmacher, Michael and Rabani, Yuval and Sangiorgi, Davide}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2016.147}, URN = {urn:nbn:de:0030-drops-62918}, doi = {10.4230/LIPIcs.ICALP.2016.147}, annote = {Keywords: Geometric inhomogeneous random graphs, scale-free network, bootstrap percolation, localised infection process, metastability threshold} }
Published in: LIPIcs, Volume 32, 1st Summit on Advances in Programming Languages (SNAPL 2015)
Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Püschel, and Kunle Olukotun. Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems. In 1st Summit on Advances in Programming Languages (SNAPL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 32, pp. 238-261, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{rompf_et_al:LIPIcs.SNAPL.2015.238, author = {Rompf, Tiark and Brown, Kevin J. and Lee, HyoukJoong and Sujeeth, Arvind K. and Jonnalagedda, Manohar and Amin, Nada and Ofenbeck, Georg and Stojanov, Alen and Klonatos, Yannis and Dashti, Mohammad and Koch, Christoph and P\"{u}schel, Markus and Olukotun, Kunle}, title = {{Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems}}, booktitle = {1st Summit on Advances in Programming Languages (SNAPL 2015)}, pages = {238--261}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-80-4}, ISSN = {1868-8969}, year = {2015}, volume = {32}, editor = {Ball, Thomas and Bodík, Rastislav and Krishnamurthi, Shriram and Lerner, Benjamin S. and Morriset, Greg}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2015.238}, URN = {urn:nbn:de:0030-drops-50295}, doi = {10.4230/LIPIcs.SNAPL.2015.238}, annote = {Keywords: Performance, Generative Programming, Staging, DSLs} }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Christoph Koch, Birgitta König-Ries, Volker Markl, and Maurice van Keulen. 08421 Abstracts Collection – Uncertainty Management in Information Systems. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{koch_et_al:DagSemProc.08421.1, author = {Koch, Christoph and K\"{o}nig-Ries, Birgitta and Markl, Volker and van Keulen, Maurice}, title = {{08421 Abstracts Collection – Uncertainty Management in Information Systems }}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--25}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.1}, URN = {urn:nbn:de:0030-drops-19428}, doi = {10.4230/DagSemProc.08421.1}, annote = {Keywords: Uncertainty management} }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Christoph Koch, Birgitta König-Ries, Volker Markl, and Maurice van Keulen. 08421 Executive Summary – Uncertainty Management in Information Systems. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{koch_et_al:DagSemProc.08421.2, author = {Koch, Christoph and K\"{o}nig-Ries, Birgitta and Markl, Volker and van Keulen, Maurice}, title = {{08421 Executive Summary – Uncertainty Management in Information Systems }}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.2}, URN = {urn:nbn:de:0030-drops-19405}, doi = {10.4230/DagSemProc.08421.2}, annote = {Keywords: } }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Anish Das Sarma, Ander de Keijzer, Amol Deshpande, Peter J. Haas, Ihab F. Ilyas, Christoph Koch, Thomas Neumann, Dan Olteanu, Martin Theobald, and Vasilis Vassalos. 08421 Working Group: Classification, Representation and Modeling. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{dassarma_et_al:DagSemProc.08421.3, author = {Das Sarma, Anish and de Keijzer, Ander and Deshpande, Amol and Haas, Peter J. and Ilyas, Ihab F. and Koch, Christoph and Neumann, Thomas and Olteanu, Dan and Theobald, Martin and Vassalos, Vasilis}, title = {{08421 Working Group: Classification, Representation and Modeling}}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.3}, URN = {urn:nbn:de:0030-drops-19410}, doi = {10.4230/DagSemProc.08421.3}, annote = {Keywords: } }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Hidir Aras, Norbert Fuhr, Seung-won Hwang, Ander de Keijzer, Friederike Klan, Hans-Joachim Lenz, Tom Matthé, Heinz Schweppe, Mirco Stern, and Guy De Tré. 08421 Working Group: Explanation. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{aras_et_al:DagSemProc.08421.4, author = {Aras, Hidir and Fuhr, Norbert and Hwang, Seung-won and de Keijzer, Ander and Klan, Friederike and Lenz, Hans-Joachim and Matth\'{e}, Tom and Schweppe, Heinz and Stern, Mirco and De Tr\'{e}, Guy}, title = {{08421 Working Group: Explanation}}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.4}, URN = {urn:nbn:de:0030-drops-19359}, doi = {10.4230/DagSemProc.08421.4}, annote = {Keywords: Probabilistic databases, explanation component; transparenca; sources of uncertainty; presenting uncertainty} }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Myra Spiliopoulou, Maurice van Keulen, Hans-Joachim Lenz, Jef Wijsen, Matthias Renz, Rudolf Kruse, and Mirco Stern. 08421 Working Group: Imprecision, Diversity and Uncertainty: Disentangling Threads in Uncertainty Management. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{spiliopoulou_et_al:DagSemProc.08421.5, author = {Spiliopoulou, Myra and van Keulen, Maurice and Lenz, Hans-Joachim and Wijsen, Jef and Renz, Matthias and Kruse, Rudolf and Stern, Mirco}, title = {{08421 Working Group: Imprecision, Diversity and Uncertainty: Disentangling Threads in Uncertainty Management}}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.5}, URN = {urn:nbn:de:0030-drops-19375}, doi = {10.4230/DagSemProc.08421.5}, annote = {Keywords: Uncertainty of data, uncertainty of models, measuring uncertainty, propagating uncertainty, challenges of dealing with uncertainty} }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Anish Das Sarma, Amol Deshpande, Thomas Hubauer, Ihab F. Ilyas, Birgitta König-Ries, Matthias Renz, and Martin Theobald. 08421 Working Group: Lineage/Provenance. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{dassarma_et_al:DagSemProc.08421.6, author = {Das Sarma, Anish and Deshpande, Amol and Hubauer, Thomas and Ilyas, Ihab F. and K\"{o}nig-Ries, Birgitta and Renz, Matthias and Theobald, Martin}, title = {{08421 Working Group: Lineage/Provenance}}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.6}, URN = {urn:nbn:de:0030-drops-19318}, doi = {10.4230/DagSemProc.08421.6}, annote = {Keywords: Lineage and provenance, probabilistic databases, challenges} }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Christoph Koch, Peter J. Haas, H.-J. Lenz, Dan Olteanu, Christopher Re, Maurice van Keulen, and Jeff Z. Pan. 08421 Working Group: Report of the Probabilistic Databases Benchmarking. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{koch_et_al:DagSemProc.08421.7, author = {Koch, Christoph and Haas, Peter J. and Lenz, H.-J. and Olteanu, Dan and Re, Christopher and van Keulen, Maurice and Pan, Jeff Z.}, title = {{08421 Working Group: Report of the Probabilistic Databases Benchmarking}}, booktitle = {Uncertainty Management in Information Systems}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.7}, URN = {urn:nbn:de:0030-drops-19367}, doi = {10.4230/DagSemProc.08421.7}, annote = {Keywords: Probabilistic databases, benchmark} }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Hidir Aras, Clemens Beckstein, Sonja Buchegger, Peter Dittrich, Thomas Hubauer, Friederike Klan, Birgitta König-Ries, and Wolfson. Ouri. 08421 Working Group: Uncertainty and Trust. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{aras_et_al:DagSemProc.08421.8, author = {Aras, Hidir and Beckstein, Clemens and Buchegger, Sonja and Dittrich, Peter and Hubauer, Thomas and Klan, Friederike and K\"{o}nig-Ries, Birgitta and Wolfson. Ouri}, title = {{08421 Working Group: Uncertainty and Trust}}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.8}, URN = {urn:nbn:de:0030-drops-19387}, doi = {10.4230/DagSemProc.08421.8}, annote = {Keywords: Trust, reputation, uncertainty, decentral system} }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Seung-won Hwang and Mu-Woong Lee. A Uncertainty Perspective on Qualitative Preference. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{hwang_et_al:DagSemProc.08421.9, author = {Hwang, Seung-won and Lee, Mu-Woong}, title = {{A Uncertainty Perspective on Qualitative Preference}}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.9}, URN = {urn:nbn:de:0030-drops-19323}, doi = {10.4230/DagSemProc.08421.9}, annote = {Keywords: Collaborative filtering, qualitative preference, uncertainty} }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Thomas Seidl, Emmanuel Müller, Ira Assent, and Uwe Steinhausen. Outlier detection and ranking based on subspace clustering. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{seidl_et_al:DagSemProc.08421.10, author = {Seidl, Thomas and M\"{u}ller, Emmanuel and Assent, Ira and Steinhausen, Uwe}, title = {{Outlier detection and ranking based on subspace clustering}}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.10}, URN = {urn:nbn:de:0030-drops-19344}, doi = {10.4230/DagSemProc.08421.10}, annote = {Keywords: Outlier detection, outlier ranking, subspace clustering, data mining} }
Published in: Dagstuhl Seminar Proceedings, Volume 8421, Uncertainty Management in Information Systems (2009)
Seung-won Hwang and Jong-won Roh. Recommendation: A Less Explored Killer-App of Uncertainty?. In Uncertainty Management in Information Systems. Dagstuhl Seminar Proceedings, Volume 8421, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{hwang_et_al:DagSemProc.08421.11, author = {Hwang, Seung-won and Roh, Jong-won}, title = {{Recommendation: A Less Explored Killer-App of Uncertainty?}}, booktitle = {Uncertainty Management in Information Systems}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2009}, volume = {8421}, editor = {Christoph Koch and Birgitta K\"{o}nig-Ries and Volker Markl and Maurice van Keulen}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08421.11}, URN = {urn:nbn:de:0030-drops-19336}, doi = {10.4230/DagSemProc.08421.11}, annote = {Keywords: Recommendation, uncertainty} }
Feedback for Dagstuhl Publishing