Contact information

Office: C155
Phone: +32 11 26 8219
Fax: +32 11 26 8299
E-mail: FirstName.LastName (at) uhasselt.be

Personal information

• I graduated in 2002 from the Katholieke Universiteit Leuven with a diploma in Computer Science. In September 2002 I joined the Database and Theoretical Computer Sciences Research Group of Hasselt University.
• On April 18th 2008, I received my PhD. [ dissertation ]
• In September 2008, I left Hasselt University to work as a software developer.
• In October 2009, I returned to Hasselt University as a Postdoctoral Researcher of the Research Foundation - Flanders in the Database and Theoretical Computer Sciences Research Group

Publications and current work

• On the expressive power of semijoin queries.
  Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche. Information Processing Letters, Volume 91, Issue 2, pp. 93-98. [ arXiv | DOI ]
• The semijoin algebra and the guarded fragment.
  • Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche. Presented at the ESSLLI 2004 workshop on Guarded fragments. [ arXiv ]
  • Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche. Journal of Logic, Language and Information, Volume 14, Issue 3, pp. 331-343. The original publication is available at www.springerlink.com [ .pdf | DOI ]
• On the complexity of division and set joins in the relational algebra.
  • Dirk Leinders, Jan Van den Bussche. Proceedings of the 24th ACM Symposium on Principles of Database Systems, pp. 76-83, 2005. [ .pdf | DOI ]
  • Dirk Leinders, Jan Van den Bussche. Journal of Computer and System Sciences, Volume 73, Issue 4, pp. 538-549. [ .pdf | DOI ]
• Database query processing using finite cursor machines.
  • Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche. 11th International Conference on Database Theory, pp. 284-298, 2007. [ .pdf | DOI ]
  • Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche. Theory of Computing Systems. The original publication is available at www.springerlink.com [ .pdf | DOI ]
• A theory of stream queries.
  Yuri Gurevich, Dirk Leinders, Jan Van den Bussche. 11th International Symposium on Database Programming Languages, pp. 153-168, 2007. The original publication is available at www.springerlink.com [ .pdf | DOI ]
• The semijoin algebra.
  PhD dissertation [ .pdf ]
• Repetitions and permutations of columns in the semijoin algebra.
  Dirk Leinders, Jan Van den Bussche. RAIRO - Theoretical Informatics and Applications. The original publication is available at www.edpsciences.org/ita. [ .pdf | DOI ]