Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 11 to 20 of 1113.
  1. David W. Aha; Mark S. Boddy; Vadim Bulitko; Artur S. d'Avila Garcez; Prashant Doshi; Stefan Edelkamp; Christopher W. Geib; Piotr J. Gmytrasiewicz; Robert P. Goldman; Pascal Hitzler; Charles L. Isbell Jr.; Darsana P. Josyula; Leslie Pack Kaelbling; Kristian Kersting; Maithilee Kunda; Luís C. Lamb; Bhaskara Marthi; Keith McGreggor; Vivi Nastase; Gregory M. Provan; Anita Raja; Ashwin Ram; Mark O. Riedl; Stuart Russell; Ashish Sabharwal; Jan-Georg Smaus; Gita Sukthankar; Karl Tuyls; Ron van der Meyden; Alon Y. Halevy; Lilyana Mihalkova; Sriraam Natarajan

    Reports of the AAAI 2010 Conference Workshops

    In: AI Magazine, Vol. 31, No. 4, Pages 95-108, American Association for Artificial Intelligence, 2010.

  2. Björn Deiseroth; Patrick Schramowski; Hikaru Shindo; Devendra Singh Dhami; Kristian Kersting

    LogicRank: Logic Induced Reranking for Generative Text-to-Image Systems

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2208.13518, Pages 0-10, arXiv, 2022.

  3. Carsten Binnig; Donald Kossmann; Eric Lo

    Testing database applications

    In: Surajit Chaudhuri; Vagelis Hristidis; Neoklis Polyzotis (Hrsg.). Proceedings of the ACM SIGMOD International Conference on Management of Data. ACM …

  4. Carsten Binnig; Donald Kossmann; Eric Lo; M. Tamer Özsu

    QAGen: generating query-aware test databases

    In: Chee Yong Chan; Beng Chin Ooi; Aoying Zhou (Hrsg.). Proceedings of the ACM SIGMOD International Conference on Management of Data. ACM SIGMOD …

  5. Carsten Binnig; Donald Kossmann; Eric Lo

    Reverse Query Processing

    In: Rada Chirkova; Asuman Dogac; M. Tamer Özsu; Timos K. Sellis (Hrsg.). Proceedings of the 23rd International Conference on Data Engineering. IEEE …

  6. Carsten Binnig; Donald Kossmann; Eric Lo

    Multi-RQP: generating test databases for the functional testing of OLTP applications

    In: Leo Giakoumakis; Donald Kossmann (Hrsg.). Proceedings of the 1st International Workshop on Testing Database Systems. International Workshop on …

  7. Carsten Binnig; Donald Kossmann; Eric Lo; Angel Saenz-Badillos

    Automatic Result Verification for the Functional Testing of a Query Language

    In: Gustavo Alonso; José A. Blakeley; Arbee L. P. Chen (Hrsg.). Proceedings of the 24th International Conference on Data Engineering. IEEE …

  8. Gustavo Alonso; Donald Kossmann; Timothy Roscoe; Nesime Tatbul; Andrew Baumann; Carsten Binnig; Peter M. Fischer; Oriana Riva; Jens Teubner

    The ETH Zurich systems group and enterprise computing center

    In: SIGMOD Record, Vol. 37, No. 4, Pages 94-99, Association for Computing Machinery (ACM), 2008.

  9. Carsten Binnig; Donald Kossmann; Eric Lo

    Towards Automatic Test Database Generation

    In: IEEE Data Engineering Bulletin, Vol. 31, No. 1, Pages 28-35, IEEE, 2008.

  10. Generating meaningful test databases

    PhD-Thesis, University of Heidelberg, Germany, 2008.