☰

Dirk V. Gucht

Affiliations: 
Indiana University, Bloomington, Bloomington, IN, United States 
Area:
Computer Science
Google:
"Dirk Gucht"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Bassem Sayrafi grad student 2005 Indiana University
Mathias Niepert grad student 2009 Indiana University

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Hellings J, Pilachowski CL, Gucht DV, et al. (2020) From Relation Algebra to Semi-join Algebra: An Approach to Graph Query Optimization The Computer Journal
Surinx D, Bussche JVd, Gucht DV. (2019) A framework for comparing query languages in their ability to express boolean queries Annals of Mathematics and Artificial Intelligence. 87: 157-184
Fletcher GHL, Gyssens M, Leinders D, et al. (2015) Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations Journal of Logic and Computation. 25: 549-580
Surinx D, Fletcher GHL, Gyssens M, et al. (2015) Relative expressive power of navigational querying on graphs using transitive closure Logic Journal of the Igpl. 23: 759-788
Fletcher GHL, Gyssens M, Leinders D, et al. (2015) Relative expressive power of navigational querying on graphs Information Sciences. 298: 390-406
Fletcher GH, Gyssens M, Leinders D, et al. (2015) The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs Annals of Mathematics and Artificial Intelligence. 73: 167-203
Gyssens M, Paredaens J, Gucht DV, et al. (2013) An approach towards the study of symmetric queries Proceedings of the Vldb Endowment. 7: 25-36
Fletcher GHL, Bussche JVD, Gucht DV, et al. (2010) Towards a theory of search queries Acm Transactions On Database Systems. 35: 28
Niepert M, Gucht DV, Gyssens M. (2010) Logical and algorithmic properties of stable conditional independence International Journal of Approximate Reasoning. 51: 531-543
Bussche JVd, Gucht DV, Vansummeren S. (2007) Well-definedness and semantic type-checking for the nested relational calculus Theoretical Computer Science. 371: 183-199
See more...