Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="van Gucht, Dirk"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the completeness of the semigraphoid axioms for deriving arbitrary from saturated conditional independence statements
Marc Gyssens
,
Mathias Niepert
,
Dirk Van Gucht
Information Processing Letters
114
(11), 2014, pp. 628-633
Structural recursion as a query language on lists and ordered trees
Edward L. Robertson
,
Lawrence V. Saxton
,
Dirk Van Gucht
,
Stijn Vansummeren
Theory of Computing Systems
44
(4), 2009, pp. 590-619
Well-definedness and semantic type-checking for the nested relational calculus
Jan Van den Bussche
,
Dirk Van Gucht
,
Stijn Vansummeren
Theoretical Computer Science
371
(3), 2007, pp. 183-199
Average-case performance of the Apriori algorithm
Paul W. Purdom
,
Dirk van Gucht
,
Dennis P. Groth
SIAM Journal on Computing
33
(5), 2004, pp. 1223-1260
An expressive language for linear spatial database queries
Luc Vandeurzen
,
Marc Gyssens
,
Dirk van Gucht
Journal of Computer and System Sciences
69
(4), 2004, pp. 617-655
Adding a path connectedness operator to
FO
+ poly (linear)
Chris Giannella
,
Dirk Van Gucht
Acta Informatica
38
(9), 2001, pp. 621-648
Equivalence and normal forms for the restricted and bounded fixpoint in the nested algebra
Marc Gyssens
,
Dan Suciu
,
Dirk van Gucht
Information and Computation
164
(1), 2001, pp. 85-117
First-order queries on finite structures over the reals
Jan Paredaens
,
Jan van den Bussche
,
Dirk van Gucht
SIAM Journal on Computing
27
(6), 1998, pp. 1747-1763
On the completeness of object-creating database transformation languages
Jan van den Bussche
,
Dirk van Gucht
,
Marc Andries
,
Marc Gyssens
Journal of the ACM
44
(2), 1997, pp. 272-319
First-order queries on finite structures over the reals
Jan Paredaens
,
Jan Van den Bussche
,
Dirk Van Gucht
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 79-87
Interaction-free multivalued dependency sets
Dirk Van Gucht
Theoretical Computer Science
62
, 1988, pp. 221-233
Structure of relations satisfying certain families of dependencies
P.C. Fischer
,
Dirk van Gucht
Lecture Notes in Computer Science
182
, 1985, pp. 131-142