Concepedia

Dirk Leinders

DL

Statistics

Publications

8

Citations

183

H-Index

8

Active since

2005

Affiliations

Hasselt University(Current)

Eindhoven University of Technology

Transnational University Limburg

Université Libre de Bruxelles

Indiana University

Dirk Leinders is an author at Hasselt University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningGraph TheoryFormal MethodsBusinessSemanticsData ScienceSemantic WebQuery Languages

Publications per year

2005–2015

8

Publications

8

Relative expressive power of navigational querying on graphs

George Fletcher, Marc Gyssens, Dirk Leinders et al. · 2011 · 41 citations

Relative expressive power of navigational querying on graphs

George Fletcher, Marc Gyssens, Dirk Leinders et al. · Information Sciences · 2014 · 33 citations · Full text

Directed Graph, Engineering, Graph Theory +8

The Semijoin Algebra and the Guarded Fragment

Dirk Leinders, M. Marx, Jerzy Tyszkiewicz et al. · Journal of Logic Language and Information · 2005 · 24 citations · Full text

Topological Semigroups, Semijoin Algebra, Representation Theory +2

Relative expressive power of navigational querying on graphs using transitive closure

Dimitri Surinx, George Fletcher, Marc Gyssens et al. · Logic Journal of IGPL · 2015 · 19 citations · Full text

Directed Graph, Engineering, Relative Expressiveness +20

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

George Fletcher, Marc Gyssens, Dirk Leinders et al. · Annals of Mathematics and Artificial Intelligence · 2013 · 18 citations · Full text

Directed Graph, Engineering, Graph Database +16

1–5 of 8