BibTeX records: Alan Guo

download as .bib file

@inproceedings{DBLP:conf/acl/PlataniosPRZKGT20,
  author       = {Emmanouil Antonios Platanios and
                  Adam Pauls and
                  Subhro Roy and
                  Yuchen Zhang and
                  Alexander Kyte and
                  Alan Guo and
                  Sam Thomson and
                  Jayant Krishnamurthy and
                  Jason Andrew Wolfe and
                  Jacob Andreas and
                  Dan Klein},
  editor       = {Chengqing Zong and
                  Fei Xia and
                  Wenjie Li and
                  Roberto Navigli},
  title        = {Value-Agnostic Conversational Semantic Parsing},
  booktitle    = {Proceedings of the 59th Annual Meeting of the Association for Computational
                  Linguistics and the 11th International Joint Conference on Natural
                  Language Processing, {ACL/IJCNLP} 2021, (Volume 1: Long Papers), Virtual
                  Event, August 1-6, 2021},
  pages        = {3666--3681},
  publisher    = {Association for Computational Linguistics},
  year         = {2021},
  url          = {https://doi.org/10.18653/v1/2021.acl-long.284},
  doi          = {10.18653/V1/2021.ACL-LONG.284},
  timestamp    = {Mon, 09 Aug 2021 16:25:37 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/PlataniosPRZKGT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tacl/AndreasBBCCCCDD20,
  author       = {Jacob Andreas and
                  John Bufe and
                  David Burkett and
                  Charles Chen and
                  Josh Clausman and
                  Jean Crawford and
                  Kate Crim and
                  Jordan DeLoach and
                  Leah Dorner and
                  Jason Eisner and
                  Hao Fang and
                  Alan Guo and
                  David Hall and
                  Kristin Hayes and
                  Kellie Hill and
                  Diana Ho and
                  Wendy Iwaszuk and
                  Smriti Jha and
                  Dan Klein and
                  Jayant Krishnamurthy and
                  Theo Lanman and
                  Percy Liang and
                  Christopher H. Lin and
                  Ilya Lintsbakh and
                  Andy McGovern and
                  Aleksandr Nisnevich and
                  Adam Pauls and
                  Dmitrij Petters and
                  Brent Read and
                  Dan Roth and
                  Subhro Roy and
                  Jesse Rusak and
                  Beth Short and
                  Div Slomin and
                  Ben Snyder and
                  Stephon Striplin and
                  Yu Su and
                  Zachary Tellman and
                  Sam Thomson and
                  Andrei Vorobev and
                  Izabela Witoszko and
                  Jason Andrew Wolfe and
                  Abby Wray and
                  Yuchen Zhang and
                  Alexander Zotov},
  title        = {Task-Oriented Dialogue as Dataflow Synthesis},
  journal      = {Trans. Assoc. Comput. Linguistics},
  volume       = {8},
  pages        = {556--571},
  year         = {2020},
  url          = {https://doi.org/10.1162/tacl\_a\_00333},
  doi          = {10.1162/TACL\_A\_00333},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tacl/AndreasBBCCCCDD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-11423,
  author       = {Jacob Andreas and
                  John Bufe and
                  David Burkett and
                  Charles Chen and
                  Josh Clausman and
                  Jean Crawford and
                  Kate Crim and
                  Jordan DeLoach and
                  Leah Dorner and
                  Jason Eisner and
                  Hao Fang and
                  Alan Guo and
                  David Hall and
                  Kristin Hayes and
                  Kellie Hill and
                  Diana Ho and
                  Wendy Iwaszuk and
                  Smriti Jha and
                  Dan Klein and
                  Jayant Krishnamurthy and
                  Theo Lanman and
                  Percy Liang and
                  Christopher H. Lin and
                  Ilya Lintsbakh and
                  Andy McGovern and
                  Aleksandr Nisnevich and
                  Adam Pauls and
                  Dmitrij Petters and
                  Brent Read and
                  Dan Roth and
                  Subhro Roy and
                  Jesse Rusak and
                  Beth Short and
                  Div Slomin and
                  Ben Snyder and
                  Stephon Striplin and
                  Yu Su and
                  Zachary Tellman and
                  Sam Thomson and
                  Andrei Vorobev and
                  Izabela Witoszko and
                  Jason Andrew Wolfe and
                  Abby Wray and
                  Yuchen Zhang and
                  Alexander Zotov},
  title        = {Task-Oriented Dialogue as Dataflow Synthesis},
  journal      = {CoRR},
  volume       = {abs/2009.11423},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.11423},
  eprinttype    = {arXiv},
  eprint       = {2009.11423},
  timestamp    = {Wed, 02 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-11423.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/GuoK16,
  author       = {Alan Guo and
                  Swastik Kopparty},
  title        = {List-Decoding Algorithms for Lifted Codes},
  journal      = {{IEEE} Trans. Inf. Theory},
  volume       = {62},
  number       = {5},
  pages        = {2719--2725},
  year         = {2016},
  url          = {https://doi.org/10.1109/TIT.2016.2538766},
  doi          = {10.1109/TIT.2016.2538766},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tit/GuoK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/Guo16,
  author       = {Alan Guo},
  title        = {High-Rate Locally Correctable Codes via Lifting},
  journal      = {{IEEE} Trans. Inf. Theory},
  volume       = {62},
  number       = {12},
  pages        = {6672--6682},
  year         = {2016},
  url          = {https://doi.org/10.1109/TIT.2015.2503767},
  doi          = {10.1109/TIT.2015.2503767},
  timestamp    = {Tue, 10 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tit/Guo16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Guo15,
  author       = {Alan Xinyu Guo},
  title        = {New error correcting codes from lifting},
  school       = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
  year         = {2015},
  url          = {https://hdl.handle.net/1721.1/99776},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ndltd/Guo15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/Guo15,
  author       = {Alan Guo},
  title        = {Group Homomorphisms as Error Correcting Codes},
  journal      = {Electron. J. Comb.},
  volume       = {22},
  number       = {1},
  pages        = {1},
  year         = {2015},
  url          = {https://doi.org/10.37236/4322},
  doi          = {10.37236/4322},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/Guo15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AloupisDGV15,
  author       = {Greg Aloupis and
                  Erik D. Demaine and
                  Alan Guo and
                  Giovanni Viglietta},
  title        = {Classic Nintendo games are (computationally) hard},
  journal      = {Theor. Comput. Sci.},
  volume       = {586},
  pages        = {135--160},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.tcs.2015.02.037},
  doi          = {10.1016/J.TCS.2015.02.037},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AloupisDGV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/GuoHS15,
  author       = {Alan Guo and
                  Elad Haramaty and
                  Madhu Sudan},
  editor       = {Venkatesan Guruswami},
  title        = {Robust Testing of Lifted Codes with Applications to Low-Degree Testing},
  booktitle    = {{IEEE} 56th Annual Symposium on Foundations of Computer Science, {FOCS}
                  2015, Berkeley, CA, USA, 17-20 October, 2015},
  pages        = {825--844},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/FOCS.2015.56},
  doi          = {10.1109/FOCS.2015.56},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/GuoHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/GuoHS15,
  author       = {Alan Guo and
                  Elad Haramaty and
                  Madhu Sudan},
  title        = {Robust testing of lifted codes with applications to low-degree testing},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR15-043}},
  year         = {2015},
  url          = {https://eccc.weizmann.ac.il/report/2015/043},
  eprinttype    = {ECCC},
  eprint       = {TR15-043},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/GuoHS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/approx/GuoS14,
  author       = {Alan Guo and
                  Madhu Sudan},
  editor       = {Klaus Jansen and
                  Jos{\'{e}} D. P. Rolim and
                  Nikhil R. Devanur and
                  Cristopher Moore},
  title        = {List Decoding Group Homomorphisms Between Supersolvable Groups},
  booktitle    = {Approximation, Randomization, and Combinatorial Optimization. Algorithms
                  and Techniques, {APPROX/RANDOM} 2014, September 4-6, 2014, Barcelona,
                  Spain},
  series       = {LIPIcs},
  volume       = {28},
  pages        = {737--747},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2014.737},
  doi          = {10.4230/LIPICS.APPROX-RANDOM.2014.737},
  timestamp    = {Tue, 14 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/approx/GuoS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fun/AloupisDGV14,
  author       = {Greg Aloupis and
                  Erik D. Demaine and
                  Alan Guo and
                  Giovanni Viglietta},
  editor       = {Alfredo Ferro and
                  Fabrizio Luccio and
                  Peter Widmayer},
  title        = {Classic Nintendo Games Are (Computationally) Hard},
  booktitle    = {Fun with Algorithms - 7th International Conference, {FUN} 2014, Lipari
                  Island, Sicily, Italy, July 1-3, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8496},
  pages        = {40--51},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07890-8\_4},
  doi          = {10.1007/978-3-319-07890-8\_4},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/fun/AloupisDGV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Guo14,
  author       = {Alan Guo},
  title        = {Group homomorphisms as error correcting codes},
  journal      = {CoRR},
  volume       = {abs/1404.3447},
  year         = {2014},
  url          = {http://arxiv.org/abs/1404.3447},
  eprinttype    = {arXiv},
  eprint       = {1404.3447},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Guo14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuoS14a,
  author       = {Alan Guo and
                  Madhu Sudan},
  title        = {List decoding group homomorphisms between supersolvable groups},
  journal      = {CoRR},
  volume       = {abs/1404.4273},
  year         = {2014},
  url          = {http://arxiv.org/abs/1404.4273},
  eprinttype    = {arXiv},
  eprint       = {1404.4273},
  timestamp    = {Tue, 14 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GuoS14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuoK14,
  author       = {Alan Guo and
                  Swastik Kopparty},
  title        = {List-decoding algorithms for lifted codes},
  journal      = {CoRR},
  volume       = {abs/1412.0305},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.0305},
  eprinttype    = {arXiv},
  eprint       = {1412.0305},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GuoK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgt/GuoM13,
  author       = {Alan Guo and
                  Ezra Miller},
  title        = {Algorithms for lattice games},
  journal      = {Int. J. Game Theory},
  volume       = {42},
  number       = {4},
  pages        = {777--788},
  year         = {2013},
  url          = {https://doi.org/10.1007/s00182-012-0319-9},
  doi          = {10.1007/S00182-012-0319-9},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijgt/GuoM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/approx/CampagnaGR13,
  author       = {Andrea Campagna and
                  Alan Guo and
                  Ronitt Rubinfeld},
  editor       = {Prasad Raghavendra and
                  Sofya Raskhodnikova and
                  Klaus Jansen and
                  Jos{\'{e}} D. P. Rolim},
  title        = {Local Reconstructors and Tolerant Testers for Connectivity and Diameter},
  booktitle    = {Approximation, Randomization, and Combinatorial Optimization. Algorithms
                  and Techniques - 16th International Workshop, {APPROX} 2013, and 17th
                  International Workshop, {RANDOM} 2013, Berkeley, CA, USA, August 21-23,
                  2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8096},
  pages        = {411--424},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40328-6\_29},
  doi          = {10.1007/978-3-642-40328-6\_29},
  timestamp    = {Tue, 21 Sep 2021 09:36:24 +0200},
  biburl       = {https://dblp.org/rec/conf/approx/CampagnaGR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/GuoKS13,
  author       = {Alan Guo and
                  Swastik Kopparty and
                  Madhu Sudan},
  editor       = {Robert D. Kleinberg},
  title        = {New affine-invariant codes from lifting},
  booktitle    = {Innovations in Theoretical Computer Science, {ITCS} '13, Berkeley,
                  CA, USA, January 9-12, 2013},
  pages        = {529--540},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2422436.2422494},
  doi          = {10.1145/2422436.2422494},
  timestamp    = {Tue, 14 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/innovations/GuoKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-1202,
  author       = {Alan Guo},
  title        = {High rate locally correctable codes via lifting},
  journal      = {CoRR},
  volume       = {abs/1304.1202},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.1202},
  eprinttype    = {arXiv},
  eprint       = {1304.1202},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-1202.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/Guo13,
  author       = {Alan Guo},
  title        = {High rate locally correctable codes via lifting},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR13-053}},
  year         = {2013},
  url          = {https://eccc.weizmann.ac.il/report/2013/053},
  eprinttype    = {ECCC},
  eprint       = {TR13-053},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/Guo13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/GuoM12,
  author       = {Alan Guo and
                  Ezra Miller},
  title        = {Corrigendum to "Lattice point methods for combinatorial games"
                  [Adv. in Appl. Math. 46 {(1-4)} {(2011)} 363-378]},
  journal      = {Adv. Appl. Math.},
  volume       = {48},
  number       = {1},
  pages        = {269--271},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.aam.2011.09.001},
  doi          = {10.1016/J.AAM.2011.09.001},
  timestamp    = {Wed, 31 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aam/GuoM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Guo12,
  author       = {Alan Guo},
  title        = {Winning strategies for aperiodic subtraction games},
  journal      = {Theor. Comput. Sci.},
  volume       = {421},
  pages        = {70--73},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.11.025},
  doi          = {10.1016/J.TCS.2011.11.025},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Guo12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-1895,
  author       = {Greg Aloupis and
                  Erik D. Demaine and
                  Alan Guo},
  title        = {Classic Nintendo Games are (NP-)Hard},
  journal      = {CoRR},
  volume       = {abs/1203.1895},
  year         = {2012},
  url          = {http://arxiv.org/abs/1203.1895},
  eprinttype    = {arXiv},
  eprint       = {1203.1895},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1203-1895.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-2956,
  author       = {Andrea Campagna and
                  Alan Guo and
                  Ronitt Rubinfeld},
  title        = {Local reconstructors and tolerant testers for connectivity and diameter},
  journal      = {CoRR},
  volume       = {abs/1208.2956},
  year         = {2012},
  url          = {http://arxiv.org/abs/1208.2956},
  eprinttype    = {arXiv},
  eprint       = {1208.2956},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2956.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-5413,
  author       = {Alan Guo and
                  Madhu Sudan},
  title        = {New affine-invariant codes from lifting},
  journal      = {CoRR},
  volume       = {abs/1208.5413},
  year         = {2012},
  url          = {http://arxiv.org/abs/1208.5413},
  eprinttype    = {arXiv},
  eprint       = {1208.5413},
  timestamp    = {Tue, 14 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-5413.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/GuoKS12,
  author       = {Alan Guo and
                  Swastik Kopparty and
                  Madhu Sudan},
  title        = {New affine-invariant codes from lifting},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR12-149}},
  year         = {2012},
  url          = {https://eccc.weizmann.ac.il/report/2012/149},
  eprinttype    = {ECCC},
  eprint       = {TR12-149},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/GuoKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/GuoS12,
  author       = {Alan Guo and
                  Madhu Sudan},
  title        = {Some closure features of locally testable affine-invariant properties},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR12-048}},
  year         = {2012},
  url          = {https://eccc.weizmann.ac.il/report/2012/048},
  eprinttype    = {ECCC},
  eprint       = {TR12-048},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/GuoS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/GuoS12a,
  author       = {Alan Guo and
                  Madhu Sudan},
  title        = {New affine-invariant codes from lifting},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR12-106}},
  year         = {2012},
  url          = {https://eccc.weizmann.ac.il/report/2012/106},
  eprinttype    = {ECCC},
  eprint       = {TR12-106},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/GuoS12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/GuoM11,
  author       = {Alan Guo and
                  Ezra Miller},
  title        = {Lattice point methods for combinatorial games},
  journal      = {Adv. Appl. Math.},
  volume       = {46},
  number       = {1-4},
  pages        = {363--378},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.aam.2010.10.004},
  doi          = {10.1016/J.AAM.2010.10.004},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aam/GuoM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/Guo11,
  author       = {Alan Guo},
  title        = {Cyclic Sieving Phenomenon in Non-Crossing Connected Graphs},
  journal      = {Electron. J. Comb.},
  volume       = {18},
  number       = {1},
  year         = {2011},
  url          = {https://doi.org/10.37236/496},
  doi          = {10.37236/496},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/Guo11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics