Dirk Leinders

According to our database, Dirk Leinders authored at least 15 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations.

George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren

J. Log. Comput., 2015

Relative expressive power of navigational querying on graphs.

George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu

Inf. Sci., 2015

Relative expressive power of navigational querying on graphs using transitive closure.

Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu

Log. J. IGPL, 2015

The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs.

George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu

Ann. Math. Artif. Intell., 2015

2012

Metadata Quality Evaluation of a Repository Based on a Sample Technique.

Marc Goovaerts, Dirk Leinders

Proceedings of the Metadata and Semantics Research - 6th Research Conference, 2012

The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs.

George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu

Proceedings of the Foundations of Information and Knowledge Systems, 2012

2011

Relative expressive power of navigational querying on graphs.

George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu

Proceedings of the Database Theory, 2011

2009

Database Query Processing Using Finite Cursor Machines.

Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche

Theory Comput. Syst., 2009

Repetitions and permutations of columns in the semijoin algebra.

Dirk Leinders, Jan Van den Bussche

RAIRO Theor. Informatics Appl., 2009

2008

The semijoin algebra

Dirk Leinders

PhD thesis, 2008

2007

On the complexity of division and set joins in the relational algebra.

Dirk Leinders, Jan Van den Bussche

J. Comput. Syst. Sci., 2007

A Theory of Stream Queries.

Yuri Gurevich, Dirk Leinders, Jan Van den Bussche

Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2005

The Semijoin Algebra and the Guarded Fragment.

Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche

J. Log. Lang. Inf., 2005

2004

On the expressive power of semijoin queries.

Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche

Inf. Process. Lett., 2004

The semijoin algebra and the guarded fragment

Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche

CoRR, 2004