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, Volume 44, Issue 4, pp. 533-560. 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, Volume 43, Issue 2, pp. 179-187. The original publication is available at www.edpsciences.org/ita. [ .pdf | DOI ]
• Relative expressive power of navigational querying on graphs.
  George Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu. 14th International Conference on Database Theory, 2011. [ .pdf ]