BibTeX records: Zuzana Patáková

download as .bib file

@article{DBLP:journals/dcg/PatakovaTW22,
  author       = {Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer and
                  Uli Wagner},
  title        = {Barycentric Cuts Through a Convex Body},
  journal      = {Discret. Comput. Geom.},
  volume       = {68},
  number       = {4},
  pages        = {1133--1154},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00454-021-00364-7},
  doi          = {10.1007/S00454-021-00364-7},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dcg/PatakovaTW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/PatakovaS22,
  author       = {Zuzana Pat{\'{a}}kov{\'{a}} and
                  Micha Sharir},
  editor       = {Xavier Goaoc and
                  Michael Kerber},
  title        = {Covering Points by Hyperplanes and Related Problems},
  booktitle    = {38th International Symposium on Computational Geometry, SoCG 2022,
                  June 7-10, 2022, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {224},
  pages        = {57:1--57:7},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.SoCG.2022.57},
  doi          = {10.4230/LIPICS.SOCG.2022.57},
  timestamp    = {Wed, 01 Jun 2022 16:45:26 +0200},
  biburl       = {https://dblp.org/rec/conf/compgeom/PatakovaS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/GoaocHP21,
  author       = {Xavier Goaoc and
                  Andreas F. Holmsen and
                  Zuzana Pat{\'{a}}kov{\'{a}}},
  editor       = {Kevin Buchin and
                  {\'{E}}ric Colin de Verdi{\`{e}}re},
  title        = {A Stepping-Up Lemma for Topological Set Systems},
  booktitle    = {37th International Symposium on Computational Geometry, SoCG 2021,
                  June 7-11, 2021, Buffalo, NY, {USA} (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {189},
  pages        = {40:1--40:17},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.SoCG.2021.40},
  doi          = {10.4230/LIPICS.SOCG.2021.40},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compgeom/GoaocHP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-09286,
  author       = {Xavier Goaoc and
                  Andreas F. Holmsen and
                  Zuzana Pat{\'{a}}kov{\'{a}}},
  title        = {A Stepping-Up Lemma for Topological Set Systems},
  journal      = {CoRR},
  volume       = {abs/2103.09286},
  year         = {2021},
  url          = {https://arxiv.org/abs/2103.09286},
  eprinttype    = {arXiv},
  eprint       = {2103.09286},
  timestamp    = {Tue, 23 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2103-09286.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/KalaiP20,
  author       = {Gil Kalai and
                  Zuzana Pat{\'{a}}kov{\'{a}}},
  title        = {Intersection Patterns of Planar Sets},
  journal      = {Discret. Comput. Geom.},
  volume       = {64},
  number       = {2},
  pages        = {304--323},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00454-020-00205-z},
  doi          = {10.1007/S00454-020-00205-Z},
  timestamp    = {Tue, 15 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dcg/KalaiP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/KalasovaBSDZPK20,
  author       = {Dominika Kalasov{\'{a}} and
                  Adam Br{\'{\i}}nek and
                  Miroslav Slouf and
                  Miroslava Duskov{\'{a}}{-}Smrckov{\'{a}} and
                  Tom{\'{a}}s Zikmund and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Jozef Kaiser},
  title        = {Wide-Cone Angle Phase-Contrast X-Ray Computed Tomography of Synthetic
                  Polymer Materials},
  journal      = {{IEEE} Trans. Instrum. Meas.},
  volume       = {69},
  number       = {11},
  pages        = {8910--8918},
  year         = {2020},
  url          = {https://doi.org/10.1109/TIM.2020.2995232},
  doi          = {10.1109/TIM.2020.2995232},
  timestamp    = {Sat, 14 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tim/KalasovaBSDZPK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/Patakova20,
  author       = {Zuzana Pat{\'{a}}kov{\'{a}}},
  editor       = {Sergio Cabello and
                  Danny Z. Chen},
  title        = {Bounding Radon Number via Betti Numbers},
  booktitle    = {36th International Symposium on Computational Geometry, SoCG 2020,
                  June 23-26, 2020, Z{\"{u}}rich, Switzerland},
  series       = {LIPIcs},
  volume       = {164},
  pages        = {61:1--61:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.SoCG.2020.61},
  doi          = {10.4230/LIPICS.SOCG.2020.61},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compgeom/Patakova20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/PatakovaT020,
  author       = {Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer and
                  Uli Wagner},
  editor       = {Sergio Cabello and
                  Danny Z. Chen},
  title        = {Barycentric Cuts Through a Convex Body},
  booktitle    = {36th International Symposium on Computational Geometry, SoCG 2020,
                  June 23-26, 2020, Z{\"{u}}rich, Switzerland},
  series       = {LIPIcs},
  volume       = {164},
  pages        = {62:1--62:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.SoCG.2020.62},
  doi          = {10.4230/LIPICS.SOCG.2020.62},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compgeom/PatakovaT020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-13536,
  author       = {Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer and
                  Uli Wagner},
  title        = {Barycentric cuts through a convex body},
  journal      = {CoRR},
  volume       = {abs/2003.13536},
  year         = {2020},
  url          = {https://arxiv.org/abs/2003.13536},
  eprinttype    = {arXiv},
  eprint       = {2003.13536},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2003-13536.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GoaocPPTW19,
  author       = {Xavier Goaoc and
                  Pavel Pat{\'{a}}k and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer and
                  Uli Wagner},
  title        = {Shellability is NP-complete},
  journal      = {J. {ACM}},
  volume       = {66},
  number       = {3},
  pages        = {21:1--21:18},
  year         = {2019},
  url          = {https://doi.org/10.1145/3314024},
  doi          = {10.1145/3314024},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/GoaocPPTW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/GoaocPPT018,
  author       = {Xavier Goaoc and
                  Pavel Pat{\'{a}}k and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer and
                  Uli Wagner},
  editor       = {Bettina Speckmann and
                  Csaba D. T{\'{o}}th},
  title        = {Shellability is NP-Complete},
  booktitle    = {34th International Symposium on Computational Geometry, SoCG 2018,
                  June 11-14, 2018, Budapest, Hungary},
  series       = {LIPIcs},
  volume       = {99},
  pages        = {41:1--41:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.SoCG.2018.41},
  doi          = {10.4230/LIPICS.SOCG.2018.41},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compgeom/GoaocPPT018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/KynclP17,
  author       = {Jan Kyncl and
                  Zuzana Pat{\'{a}}kov{\'{a}}},
  title        = {On the Nonexistence of {\textdollar}k{\textdollar}-Reptile Simplices
                  in {\textdollar}{\textbackslash}mathbb R{\^{}}3{\textdollar} and {\textdollar}{\textbackslash}mathbb
                  R{\^{}}4{\textdollar}},
  journal      = {Electron. J. Comb.},
  volume       = {24},
  number       = {3},
  pages        = {3},
  year         = {2017},
  url          = {https://doi.org/10.37236/6113},
  doi          = {10.37236/6113},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/KynclP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgaa/VerdiereKPPT17,
  author       = {{\'{E}}ric Colin de Verdi{\`{e}}re and
                  Vojtech Kaluza and
                  Pavel Pat{\'{a}}k and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer},
  title        = {A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective
                  Plane},
  journal      = {J. Graph Algorithms Appl.},
  volume       = {21},
  number       = {5},
  pages        = {939--981},
  year         = {2017},
  url          = {https://doi.org/10.7155/jgaa.00445},
  doi          = {10.7155/JGAA.00445},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgaa/VerdiereKPPT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08436,
  author       = {Xavier Goaoc and
                  Pavel Pat{\'{a}}k and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer and
                  Uli Wagner},
  title        = {Shellability is NP-complete},
  journal      = {CoRR},
  volume       = {abs/1711.08436},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.08436},
  eprinttype    = {arXiv},
  eprint       = {1711.08436},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-08436.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/VerdiereKPPT16,
  author       = {{\'{E}}ric Colin de Verdi{\`{e}}re and
                  Vojtech Kaluza and
                  Pavel Pat{\'{a}}k and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer},
  editor       = {Yifan Hu and
                  Martin N{\"{o}}llenburg},
  title        = {A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective
                  Plane},
  booktitle    = {Graph Drawing and Network Visualization - 24th International Symposium,
                  {GD} 2016, Athens, Greece, September 19-21, 2016, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9801},
  pages        = {454--467},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-50106-2\_35},
  doi          = {10.1007/978-3-319-50106-2\_35},
  timestamp    = {Sat, 17 Dec 2022 21:30:20 +0100},
  biburl       = {https://dblp.org/rec/conf/gd/VerdiereKPPT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VerdiereKPPT16,
  author       = {{\'{E}}ric Colin de Verdi{\`{e}}re and
                  Vojtech Kaluza and
                  Pavel Pat{\'{a}}k and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer},
  title        = {A Direct Proof of the Strong Hanani-Tutte Theorem on the Projective
                  Plane},
  journal      = {CoRR},
  volume       = {abs/1608.07855},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.07855},
  eprinttype    = {arXiv},
  eprint       = {1608.07855},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/VerdiereKPPT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/GoaocMPST15,
  author       = {Xavier Goaoc and
                  Jir{\'{\i}} Matousek and
                  Pavel Pat{\'{a}}k and
                  Zuzana Safernov{\'{a}} and
                  Martin Tancer},
  title        = {Simplifying Inclusion-Exclusion Formulas},
  journal      = {Comb. Probab. Comput.},
  volume       = {24},
  number       = {2},
  pages        = {438--456},
  year         = {2015},
  url          = {https://doi.org/10.1017/S096354831400042X},
  doi          = {10.1017/S096354831400042X},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cpc/GoaocMPST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/MatousekP15,
  author       = {Jir{\'{\i}} Matousek and
                  Zuzana Pat{\'{a}}kov{\'{a}}},
  title        = {Multilevel Polynomial Partitions and Simplified Range Searching},
  journal      = {Discret. Comput. Geom.},
  volume       = {54},
  number       = {1},
  pages        = {22--41},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00454-015-9701-2},
  doi          = {10.1007/S00454-015-9701-2},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dcg/MatousekP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/KarasevKPPT15,
  author       = {Roman N. Karasev and
                  Jan Kyncl and
                  Pavel Pat{\'{a}}k and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer},
  title        = {Bounds for Pach's Selection Theorem and for the Minimum Solid Angle
                  in a Simplex},
  journal      = {Discret. Comput. Geom.},
  volume       = {54},
  number       = {3},
  pages        = {610--636},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00454-015-9720-z},
  doi          = {10.1007/S00454-015-9720-Z},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dcg/KarasevKPPT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/GoaocMPPTW15,
  author       = {Xavier Goaoc and
                  Isaac Mabillard and
                  Pavel Pat{\'{a}}k and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer and
                  Uli Wagner},
  editor       = {Lars Arge and
                  J{\'{a}}nos Pach},
  title        = {On Generalized Heawood Inequalities for Manifolds: {A} Van Kampen-Flores-type
                  Nonembeddability Result},
  booktitle    = {31st International Symposium on Computational Geometry, SoCG 2015,
                  June 22-25, 2015, Eindhoven, The Netherlands},
  series       = {LIPIcs},
  volume       = {34},
  pages        = {476--490},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.SOCG.2015.476},
  doi          = {10.4230/LIPICS.SOCG.2015.476},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compgeom/GoaocMPPTW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/GoaocPPTW15,
  author       = {Xavier Goaoc and
                  Pavel Pat{\'{a}}k and
                  Zuzana Pat{\'{a}}kov{\'{a}} and
                  Martin Tancer and
                  Uli Wagner},
  editor       = {Lars Arge and
                  J{\'{a}}nos Pach},
  title        = {Bounding Helly Numbers via Betti Numbers},
  booktitle    = {31st International Symposium on Computational Geometry, SoCG 2015,
                  June 22-25, 2015, Eindhoven, The Netherlands},
  series       = {LIPIcs},
  volume       = {34},
  pages        = {507--521},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.SOCG.2015.507},
  doi          = {10.4230/LIPICS.SOCG.2015.507},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compgeom/GoaocPPTW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/EliasMRS14,
  author       = {Marek Eli{\'{a}}s and
                  Jir{\'{\i}} Matousek and
                  Edgardo Rold{\'{a}}n{-}Pensado and
                  Zuzana Safernov{\'{a}}},
  title        = {Lower Bounds on Geometric Ramsey Functions},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {28},
  number       = {4},
  pages        = {1960--1970},
  year         = {2014},
  url          = {https://doi.org/10.1137/140963716},
  doi          = {10.1137/140963716},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/EliasMRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compgeom/EliasMRS14,
  author       = {Marek Eli{\'{a}}s and
                  Jir{\'{\i}} Matousek and
                  Edgardo Rold{\'{a}}n{-}Pensado and
                  Zuzana Safernov{\'{a}}},
  editor       = {Siu{-}Wing Cheng and
                  Olivier Devillers},
  title        = {Lower bounds on geometric Ramsey functions},
  booktitle    = {30th Annual Symposium on Computational Geometry, SoCG'14, Kyoto, Japan,
                  June 08 - 11, 2014},
  pages        = {558},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2582112.2582146},
  doi          = {10.1145/2582112.2582146},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/compgeom/EliasMRS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MatousekS14,
  author       = {Jir{\'{\i}} Matousek and
                  Zuzana Safernov{\'{a}}},
  title        = {Multilevel polynomial partitions and simplified range searching},
  journal      = {CoRR},
  volume       = {abs/1406.3058},
  year         = {2014},
  url          = {http://arxiv.org/abs/1406.3058},
  eprinttype    = {arXiv},
  eprint       = {1406.3058},
  timestamp    = {Thu, 24 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/MatousekS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GoaocPSTW13,
  author       = {Xavier Goaoc and
                  Pavel Pat{\'{a}}k and
                  Zuzana Safernov{\'{a}} and
                  Martin Tancer and
                  Uli Wagner},
  title        = {Bounding Helly numbers via Betti numbers},
  journal      = {CoRR},
  volume       = {abs/1310.4613},
  year         = {2013},
  url          = {http://arxiv.org/abs/1310.4613},
  eprinttype    = {arXiv},
  eprint       = {1310.4613},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GoaocPSTW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/KaplanMSS12,
  author       = {Haim Kaplan and
                  Jir{\'{\i}} Matousek and
                  Zuzana Safernov{\'{a}} and
                  Micha Sharir},
  title        = {Unit Distances in Three Dimensions},
  journal      = {Comb. Probab. Comput.},
  volume       = {21},
  number       = {4},
  pages        = {597--610},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0963548312000144},
  doi          = {10.1017/S0963548312000144},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cpc/KaplanMSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/MatousekS11,
  author       = {Jir{\'{\i}} Matousek and
                  Zuzana Safernov{\'{a}}},
  title        = {On the Nonexistence of \emph{k}-reptile Tetrahedra},
  journal      = {Discret. Comput. Geom.},
  volume       = {46},
  number       = {3},
  pages        = {599--609},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00454-011-9334-z},
  doi          = {10.1007/S00454-011-9334-Z},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dcg/MatousekS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics