Jan Van den Bussche

275 papers A* 37A 20B 13C 3Journal 144Unranked 56

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Analyzing the Behavior of Database Applications Through Size Descriptions. FoIKS Jan Van den Bussche, Emmanuel Waller
2026	J	`jnl`	On the generic information capacity of relational schemas with a single binary relation. CoRR Benoît Groz, Jan Hidders, Nina Pardal, Jan Van den Bussche, Piotr Wieczorek
2026	J	`jnl`	Recursive querying of neural networks via weighted structures. CoRR Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche
2025	—	`conf`	A Declarative Formalization of R2RML Using Datalog and Its Efficient Execution. RuleML+RR (Companion) Ali Elhalawati, Jan Van den Bussche, Anastasia Dimou
2025	J	`jnl`	A Logical View of GNN-Style Computation and the Role of Activation Functions. CoRR Pablo Barceló, Floris Geerts, Matthias Lanzinger, Klara Pakhomenko, Jan Van den Bussche
2025	J	`jnl`	Expressiveness within Sequence Datalog. ACM Trans. Database Syst. Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche
2025	A*	`conf`	Halting Recurrent GNNs and the Graded mu-Calculus. KR Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren, Jonni Virtema
2025	J	`jnl`	Halting Recurrent GNNs and the Graded μ-Calculus. CoRR Jeroen Bollen, Jan Van den Bussche, Stijn Vansummeren, Jonni Virtema
2025	A	`conf`	Query Languages for Neural Networks. ICDT Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche
2025	—	`conf`	SQL4NN: Validation and Expressive Querying of Models as Data. DEEM@SIGMOD Mark Gerarts, Juno Steegmans, Jan Van den Bussche
2025	J	`jnl`	SQL4NN: Validation and expressive querying of models as data. CoRR Mark Gerarts, Juno Steegmans, Jan Van den Bussche
2025	J	`jnl`	The KG-ER Conceptual Schema Language. CoRR Enrico Franconi, Benoît Groz, Jan Hidders, Nina Pardal, Slawek Staworko, Jan Van den Bussche, Piotr Wieczorek
2024	—	`conf`	A methodological approach to incremental view maintenance for optimizing SPARQL queries in Solid. SoSy Dore Staquet, Bart Buelens, Jan Van den Bussche
2024	—	`conf`	Compiling SHACL Into SQL. ISWC (2) Maxime Jakubowski, Jan Van den Bussche
2024	J	`jnl`	Executable First-Order Queries in the Logic of Information Flows. Log. Methods Comput. Sci. Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2024	J	`jnl`	Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. Log. Methods Comput. Sci. Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2024	J	`jnl`	Postulates for Provenance: Instance-based provenance for first-order logic. Proc. ACM Manag. Data Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2024	J	`jnl`	Preservation theorems for Tarski's relation algebra. Log. Methods Comput. Sci. Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
2024	J	`jnl`	Query languages for neural networks. CoRR Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche
2024	J	`jnl`	Shapes in Graph Data: Theory and Implementation (Dagstuhl Seminar 24102). Dagstuhl Reports Shqiponja Ahmetaj, Slawomir Staworko, Jan Van den Bussche, Maxime Jakubowski
2024	J	`jnl`	Temporal graph patterns by timed automata. VLDB J. Amir Aghasadeghi, Jan Van den Bussche, Julia Stoyanovich
2024	—	`conf`	The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2024. PODS Companion Martin Grohe, Jan Van den Bussche, Ke Yi
2024	J	`jnl`	Toward a Solid Acceptance of the Decentralized Web of Personal Data: Societal and Technological Convergence. Commun. ACM Ana Pop Stefanija, Bart Buelens, Elfi Goesaert, Tom Lenaerts, Jo Pierson, Jan Van den Bussche
2024	B	`conf`	What's in a Neighborhood? Describing Nodes in RDF Graphs Using Shapes. RuleML+RR Maxime Jakubowski, Jan Van den Bussche
2023	B	`conf`	Data Provenance for SHACL. EDBT Thomas Delva, Anastasia Dimou, Maxime Jakubowski, Jan Van den Bussche
2023	A*	`conf`	Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. LICS Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht
2023	J	`jnl`	Inputs, Outputs, and Composition in the Logic of Information Flows. ACM Trans. Comput. Log. Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2023	—	`conf`	Learning Graph Neural Networks using Exact Compression. GRADES-NDA@SIGMOD Jeroen Bollen, Jasper Steegmans, Jan Van den Bussche, Stijn Vansummeren
2023	J	`jnl`	Learning Graph Neural Networks using Exact Compression. CoRR Jeroen Bollen, Jasper Steegmans, Jan Van den Bussche, Stijn Vansummeren
2023	—	`conf`	POD-QUERY: Schema Mapping and Query Rewriting for Solid Pods. ISWC (Posters/Demos/Industry) Maarten Vandenbrande, Maxime Jakubowski, Pieter Bonte, Bart Buelens, Femke Ongenae, Jan Van den Bussche
2023	J	`jnl`	Preservation theorems for Tarski's relation algebra. CoRR Bart Bogaerts, Balder ten Cate, Brett McLean, Jan Van den Bussche
2022	J	`jnl`	Executable First-Order Queries in the Logic of Information Flows. CoRR Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2022	J	`jnl`	Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests. CoRR Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2022	A	`conf`	Expressiveness of SHACL Features. ICDT Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2022	J	`jnl`	Expressiveness within Sequence Datalog. CoRR Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche
2022	J	`jnl`	Inputs, Outputs, and Composition in the Logic of Information Flows. CoRR Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2022	J	`jnl`	On matrices and K-relations. Ann. Math. Artif. Intell. Robert Brijder, Marc Gyssens, Jan Van den Bussche
2022	—	`conf`	On the Expressive Power of Message-Passing Neural Networks as Global Feature Map Transformers. FoIKS Floris Geerts, Jasper Steegmans, Jan Van den Bussche
2022	J	`jnl`	On the expressive power of message-passing neural networks as global feature map transformers. CoRR Floris Geerts, Jasper Steegmans, Jan Van den Bussche
2022	B	`conf`	SHACL: A Description Logic in Disguise. LPNMR Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2022	J	`jnl`	Temporal graph patterns by timed automata. CoRR Amir Pouya Aghasadeghi, Jan Van den Bussche, Julia Stoyanovich
2022	—	`conf`	What Can Database Query Processing Do for Instance-Spanning Constraints? Business Process Management Workshops Heba Aamer, Marco Montali, Jan Van den Bussche
2022	J	`jnl`	What Can Database Query Processing Do for Instance-Spanning Constraints? CoRR Heba Aamer, Marco Montali, Jan Van den Bussche
2021	J	`jnl`	DNAQL: a query language for DNA sticker complexes. Nat. Comput. Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche
2021	J	`jnl`	Descriptive complexity of deterministic polylogarithmic time and space. J. Comput. Syst. Sci. Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2021	A*	`conf`	Expressiveness within Sequence Datalog. PODS Heba Aamer, Jan Hidders, Jan Paredaens, Jan Van den Bussche
2021	A	`conf`	Input-Output Disjointness for Forward Expressions in the Logic of Information Flows. ICDT Heba Aamer, Jan Van den Bussche
2021	J	`jnl`	Matrix Query Languages. SIGMOD Rec. Floris Geerts, Thomas Muñoz, Cristian Riveros, Jan Van den Bussche, Domagoj Vrgoc
2021	J	`jnl`	SHACL: A Description Logic in Disguise. CoRR Bart Bogaerts, Maxime Jakubowski, Jan Van den Bussche
2021	J	`jnl`	Shape Fragments. CoRR Thomas Delva, Anastasia Dimou, Maxime Jakubowski, Jan Van den Bussche
2021	J	`jnl`	Subsequence versus substring constraints in sequence pattern languages. Acta Informatica Steven Engels, Tony Tan, Jan Van den Bussche
2020	A*	`conf`	2020 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS Georg Gottlob, Jan Van den Bussche, Dirk Van Gucht
2020	J	`jnl`	Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees. Inf. Syst. Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, George H. L. Fletcher
2020	A*	`conf`	Descriptive complexity of real computation and probabilistic independence logic. LICS Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
2020	J	`jnl`	Descriptive complexity of real computation and probabilistic independence logic. CoRR Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
2020	A	`conf`	Executable First-Order Queries in the Logic of Information Flows. ICDT Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2020	A*	`conf`	Inputs, Outputs, and Composition in the Logic of Information Flows. KR Heba Aamer, Bart Bogaerts, Dimitri Surinx, Eugenia Ternovska, Jan Van den Bussche
2020	J	`jnl`	J-Logic: a Logic for Querying JSON. CoRR Jan Hidders, Jan Paredaens, Jan Van den Bussche
2020	—	`conf`	On Matrices and K-Relations. FoIKS Robert Brijder, Marc Gyssens, Jan Van den Bussche
2020	A*	`conf`	On the Expressivity of ASK Queries in SPARQL. AAAI Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Heng Zhang, Xuanxing Yang, Zhiyong Feng
2019	J	`jnl`	A framework for comparing query languages in their ability to express boolean queries. Ann. Math. Artif. Intell. Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht
2019	J	`jnl`	A monotone preservation result for Boolean queries expressed as a containment of conjunctive queries. Inf. Process. Lett. Dimitri Surinx, Jan Van den Bussche
2019	A	`conf`	Additive First-Order Queries. ICDT Gerald Berger, Martin Otto, Andreas Pieris, Dimitri Surinx, Jan Van den Bussche
2019	C	`conf`	Descriptive Complexity of Deterministic Polylogarithmic Time. WoLLIC Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2019	J	`jnl`	Descriptive Complexity of Deterministic Polylogarithmic Time. CoRR Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
2019	C	`conf`	Fully Generic Queries: Open Problems and Some Partial Answers. MEDI Dimitri Surinx, Jan Van den Bussche, Jonni Virtema
2019	J	`jnl`	MATLANG: Matrix operations and their expressive power. SIGMOD Rec. Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag
2019	J	`jnl`	On matrices and K-relations. CoRR Robert Brijder, Marc Gyssens, Jan Van den Bussche
2019	J	`jnl`	On the Expressive Power of Query Languages for Matrices. ACM Trans. Database Syst. Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag
2018	—	`conf`	A Framework for Comparing Query Languages in Their Ability to Express Boolean Queries. FoIKS Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht
2018	J	`jnl`	A Monotone Preservation Result for Boolean Queries Expressed as a Containment of Conjunctive Queries. CoRR Dimitri Surinx, Jan Van den Bussche
2018	J	`jnl`	Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees. CoRR Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, George H. L. Fletcher
2018	B	`conf`	Expressivity Within Second-Order Transitive-Closure Logic. CSL Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema
2018	J	`jnl`	Expressivity within second-order transitive-closure logic. CoRR Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema
2018	A	`conf`	On the Expressive Power of Query Languages for Matrices. ICDT Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag
2018	A*	`conf`	On the Satisfiability Problem of Patterns in SPARQL 1.1. AAAI Xiaowang Zhang, Jan Van den Bussche, Kewen Wang, Zhe Wang
2018	A*	`ed.`	Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Houston, TX, USA, June 10-15, 2018 PODS Jan Van den Bussche, Marcelo Arenas
2017	A*	`conf`	J-Logic: Logical Foundations for JSON Querying. PODS Jan Hidders, Jan Paredaens, Jan Van den Bussche
2017	J	`jnl`	On the expressive power of query languages for matrices. CoRR Robert Brijder, Floris Geerts, Jan Van den Bussche, Timmy Weerwag
2017	A*	`ed.`	Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017 PODS Emanuel Sallinger, Jan Van den Bussche, Floris Geerts
2017	A*	`conf`	The primitivity of operators in the algebra of binary relations under conjunctions of containments. LICS Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht
2016	A*	`conf`	2016 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS Marcelo Arenas, Peter Buneman, Jan Van den Bussche
2016	J	`jnl`	Learning with Value-Ramp. CoRR Tom J. Ameloot, Jan Van den Bussche
2016	J	`jnl`	Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries. VLDB J. Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche
2016	J	`jnl`	On the Satisfiability Problem for SPARQL Patterns. J. Artif. Intell. Res. Xiaowang Zhang, Jan Van den Bussche, François Picalausa
2016	J	`jnl`	Putting logic-based distributed systems on stable grounds. Theory Pract. Log. Program. Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein
2015	J	`jnl`	A Formal Account of the Open Provenance Model. ACM Trans. Web Natalia Kwasnikowska, Luc Moreau, Jan Van den Bussche
2015	J	`jnl`	Convergence in Navigational Reinforcement Learning. CoRR Tom J. Ameloot, Jan Van den Bussche
2015	J	`jnl`	Deciding Confluence for a Simple Class of Relational Transducer Networks. Theory Comput. Syst. Tom J. Ameloot, Jan Van den Bussche
2015	J	`jnl`	Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries. CoRR Angela Bonifati, Werner Nutt, Riccardo Torlone, Jan Van den Bussche
2015	J	`jnl`	Naive Infinite Enumeration of Context-free Languages in Incremental Polynomial Time. J. Univers. Comput. Sci. Christophe Costa Florêncio, Jonny Daenen, Jan Ramon, Jan Van den Bussche, Dries Van Dyck
2015	J	`jnl`	On the Power of SPARQL in Expressing Navigational Queries. Comput. J. Xiaowang Zhang, Jan Van den Bussche
2015	J	`jnl`	Positive Neural Networks in Discrete Time Implement Monotone-Regular Behaviors. Neural Comput. Tom J. Ameloot, Jan Van den Bussche
2015	B	`ed.`	Proceedings of the 18th International Conference on Extending Database Technology, EDBT 2015, Brussels, Belgium, March 23-27, 2015. EDBT Gustavo Alonso, Floris Geerts, Lucian Popa, Pablo Barceló, Jens Teubner, Martín Ugarte, Jan Van den Bussche, Jan Paredaens
2015	J	`jnl`	Putting Logic-Based Distributed Systems on Stable Grounds. CoRR Tom J. Ameloot, Jan Van den Bussche, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein
2015	—	`conf`	Relative expressive power of downward fragments of navigational query languages on trees and chains. DBPL Jelle Hellings, Marc Gyssens, Yuqing Wu, Dirk Van Gucht, Jan Van den Bussche, Stijn Vansummeren, George H. L. Fletcher
2015	J	`jnl`	Relative expressive power of navigational querying on graphs using transitive closure. Log. J. IGPL Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
2015	J	`jnl`	Relative expressive power of navigational querying on graphs. Inf. Sci. George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
2015	J	`jnl`	Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. J. Log. Comput. George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
2015	J	`jnl`	The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs. Ann. Math. Artif. Intell. George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
2014	J	`jnl`	Discovering XSD Keys from XML Data. ACM Trans. Database Syst. Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren
2014	J	`jnl`	FO(C) and Related Modelling Paradigms. CoRR Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014	J	`jnl`	FO(C): A Knowledge Representation Language of Causality. CoRR Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014	J	`jnl`	Inconsistency-tolerant reasoning with OWL DL. Int. J. Approx. Reason. Xiaowang Zhang, Guohui Xiao, Zuoquan Lin, Jan Van den Bussche
2014	A	`conf`	Inference in the FO(C) Modelling Language. ECAI Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014	J	`jnl`	Inference in the FO(C) Modelling Language. CoRR Bart Bogaerts, Joost Vennekens, Marc Denecker, Jan Van den Bussche
2014	J	`jnl`	On the primitivity of operators in SPARQL. Inf. Process. Lett. Xiaowang Zhang, Jan Van den Bussche
2014	J	`jnl`	On the satisfiability problem for SPARQL patterns. CoRR Xiaowang Zhang, Jan Van den Bussche
2014	J	`jnl`	Positive Dedalus programs tolerate non-causality. J. Comput. Syst. Sci. Tom J. Ameloot, Jan Van den Bussche
2014	J	`jnl`	Relative Expressive Power of Navigational Querying on Graphs. CoRR George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Dimitri Surinx, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
2014	J	`jnl`	Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference. CoRR Tony Tan, Jan Van den Bussche, Xiaowang Zhang
2013	—	`conf`	Discovering XSD keys from XML data. SIGMOD Conference Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren
2013	J	`jnl`	Graph-theoretic formalization of hybridization in DNA sticker complexes. Nat. Comput. Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche
2013	A*	`conf`	On the expressive power of update primitives. PODS Tom J. Ameloot, Jan Van den Bussche, Emmanuel Waller
2013	J	`jnl`	Preface. Fundam. Informaticae Jan Hidders, Paolo Missier, Jacek Sroka, Jan Van den Bussche
2013	—	`conf`	Quantitatively Evaluating Formula-Variable Relevance by Forgetting. Canadian AI Xin Liang, Zuoquan Lin, Jan Van den Bussche
2013	—	`conf`	Querying an Integrated Complex-Object Dataflow Database. In Search of Elegance in the Theory and Practice of Computation Natalia Kwasnikowska, Jan Van den Bussche
2013	J	`jnl`	Relational transducers for declarative networking. J. ACM Tom J. Ameloot, Frank Neven, Jan Van den Bussche
2013	A	`conf`	The DNA query language DNAQL. ICDT Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche
2013	A	`conf`	Walk logic as a framework for path query languages on graph databases. ICDT Jelle Hellings, Bart Kuijpers, Jan Van den Bussche, Xiaowang Zhang
2013	—	`conf`	Well-Defined NRC Queries Can Be Typed - (Extended Abstract). In Search of Elegance in the Theory and Practice of Computation Jan Van den Bussche, Stijn Vansummeren
2012	B	`conf`	A Type System for DNAQL. DNA Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche
2012	J	`jnl`	A comparison of graph-theoretic DNA hybridization models. Theor. Comput. Sci. Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche
2012	A	`conf`	Deciding eventual consistency for a simple class of relational transducer networks. ICDT Tom J. Ameloot, Jan Van den Bussche
2012	—	`conf`	On the CRON Conjecture. Datalog Tom J. Ameloot, Jan Van den Bussche
2012	J	`jnl`	Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations. CoRR George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
2012	—	`conf`	The Impact of Transitive Closure on the Boolean Expressiveness of Navigational Query Languages on Graphs. FoIKS George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
2012	J	`jnl`	The Navigational Power of Web Browsers. Theory Comput. Syst. Michal Bielecki, Jan Hidders, Jan Paredaens, Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche
2011	B	`conf`	Expressive Power of Safe First-Order Logical Decision Trees. ILP Joris J. M. Gillis, Jan Van den Bussche
2011	B	`conf`	Graph-Theoretic Formalization of Hybridization in DNA Sticker Complexes. DNA Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche
2011	—	`ch.`	Logical aspects of spatial databases. Finite and Algorithmic Model Theory Bart Kuijpers, Jan Van den Bussche
2011	J	`jnl`	Relational completeness of query languages for annotated databases. J. Comput. Syst. Sci. Floris Geerts, Jan Van den Bussche
2011	A*	`conf`	Relational transducers for declarative networking. PODS Tom J. Ameloot, Frank Neven, Jan Van den Bussche
2011	A	`conf`	Relative expressive power of navigational querying on graphs. ICDT George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu
2011	J	`jnl`	The Open Provenance Model core specification (v1.1). Future Gener. Comput. Syst. Luc Moreau, Ben Clifford, Juliana Freire, Joe Futrelle, Yolanda Gil, Paul Groth, Natalia Kwasnikowska, Simon Miles, Paolo Missier, Jim Myers, Beth Plale, Yogesh Simmhan, Eric G. Stephan, Jan Van den Bussche
2010	—	`conf`	A Formal Model for Databases in DNA. ANB Joris J. M. Gillis, Jan Van den Bussche
2010	—	`conf`	A Graph Model of Data and Workflow Provenance. TaPP Umut A. Acar, Peter Buneman, James Cheney, Jan Van den Bussche, Natalia Kwasnikowska, Stijn Vansummeren
2010	—	`conf`	Database Theory, Yuri, and Me. Fields of Logic and Computation Jan Van den Bussche
2010	J	`jnl`	Mining tree-query associations in graphs CoRR Eveline Hoekx, Jan Van den Bussche
2010	J	`jnl`	Relational transducers for declarative networking CoRR Tom J. Ameloot, Frank Neven, Jan Van den Bussche
2010	J	`jnl`	Towards a theory of search queries. ACM Trans. Database Syst. George H. L. Fletcher, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
2009	—	`conf`	Context-free Graph Grammars as a Language-bias Mechanism for Graph Pattern Mining. MLG/SRL@ILP Christophe Costa Florêncio, Jan Ramon, Jonny Daenen, Jan Van den Bussche, Dries Van Dyck
2009	J	`jnl`	Database Query Processing Using Finite Cursor Machines. Theory Comput. Syst. Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche
2009	B	`conf`	Induction of Relational Algebra Expressions. ILP Joris J. M. Gillis, Jan Van den Bussche
2009	J	`jnl`	Introduction to PODS 2006 special section. J. ACM Victor Vianu, Jan Van den Bussche
2009	J	`jnl`	Repetitions and permutations of columns in the semijoin algebra. RAIRO Theor. Informatics Appl. Dirk Leinders, Jan Van den Bussche
2009	A	`conf`	Towards a theory of search queries. ICDT George H. L. Fletcher, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
2008	J	`jnl`	DFL: A dataflow language based on Petri nets and nested relational calculus. Inf. Syst. Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
2008	J	`jnl`	Learning ( Mach. Learn. Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche
2008	—	`conf`	Mapping the NRC Dataflow Model to the Open Provenance Model. IPAW Natalia Kwasnikowska, Jan Van den Bussche
2007	—	`conf`	A Formal Model of Dataflow Repositories. DILS Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
2007	—	`conf`	A Theory of Stream Queries. DBPL Yuri Gurevich, Dirk Leinders, Jan Van den Bussche
2007	A*	`conf`	A crash course on database queries. PODS Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
2007	A	`conf`	Database Query Processing Using Finite Cursor Machines. ICDT Martin Grohe, Yuri Gurevich, Dirk Leinders, Nicole Schweikardt, Jerzy Tyszkiewicz, Jan Van den Bussche
2007	C	`conf`	Finding Clusters of Positive and Negative Coregulated Genes in Gene Expression Data. BIBE Kerstin Koch, Stefan Schönauer, Ivy Jansen, Jan Van den Bussche, Tomasz Burzykowski
2007	J	`jnl`	Introduction to the PODS 2006 special section. ACM Trans. Database Syst. Jan Van den Bussche
2007	J	`jnl`	Mining for trees in a graph is NP-complete CoRR Jan Van den Bussche
2007	J	`jnl`	On the complexity of division and set joins in the relational algebra. J. Comput. Syst. Sci. Dirk Leinders, Jan Van den Bussche
2007	J	`jnl`	On the tree-transformation power of XSLT. Acta Informatica Wim Janssen, Alexandr Korlyukov, Jan Van den Bussche
2007	J	`jnl`	Polymorphic type inference for the named nested relational calculus. ACM Trans. Comput. Log. Jan Van den Bussche, Stijn Vansummeren
2007	—	`conf`	Relational Completeness of Query Languages for Annotated Databases. DBPL Floris Geerts, Jan Van den Bussche
2007	J	`jnl`	Well-definedness and semantic type-checking for the nested relational calculus. Theor. Comput. Sci. Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
2006	J	`jnl`	A characterization of first-order topological properties of planar spatial data. J. ACM Michael Benedikt, Bart Kuijpers, Christof Löding, Jan Van den Bussche, Thomas Wilke
2006	J	`jnl`	Database theory column: report on PODS 2006. SIGACT News Jan Van den Bussche
2006	J	`jnl`	Information extraction from structured documents using Data Knowl. Eng. Raymond Kosala, Hendrik Blockeel, Maurice Bruynooghe, Jan Van den Bussche
2006	J	`jnl`	Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases. SIAM J. Comput. Floris Geerts, Bart Kuijpers, Jan Van den Bussche
2006	A*	`conf`	Mining for Tree-Query Associations in a Graph. ICDM Eveline Hoekx, Jan Van den Bussche
2006	J	`jnl`	On the tree-transformation power of XSLT CoRR Wim Janssen, Alexandr Korlyukov, Jan Van den Bussche
2006	—	`conf`	On-line maintenance of simplified weighted graphs for efficient distance queries. GIS Floris Geerts, Peter Z. Revesz, Jan Van den Bussche
2006	J	`jnl`	On-line topological simplification of weighted graphs CoRR Floris Geerts, Peter Z. Revesz, Jan Van den Bussche
2006	—	`conf`	The Semijoin Algebra. FoIKS Jan Van den Bussche
2005	J	`jnl`	First-order Topology Properties. Bull. EATCS Jan Van den Bussche
2005	—	`conf`	Learning (k, l)-Contextual Tree Languages for Information Extraction. ECML Stefan Raeymaekers, Maurice Bruynooghe, Jan Van den Bussche
2005	—	`conf`	Mining Tree Queries in a Graph. BNAIC Bart Goethals, Eveline Hoekx, Jan Van den Bussche
2005	A*	`conf`	Mining tree queries in a graph. KDD Bart Goethals, Eveline Hoekx, Jan Van den Bussche
2005	J	`jnl`	N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets. Acta Informatica Floris Geerts, Lieven Smits, Jan Van den Bussche
2005	A*	`conf`	On the complexity of division and set joins in the relational algebra. PODS Dirk Leinders, Jan Van den Bussche
2005	—	`conf`	Petri Net + Nested Relational Calculus = Dataflow. OTM Conferences (1) Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche
2005	J	`jnl`	The Semijoin Algebra and the Guarded Fragment. J. Log. Lang. Inf. Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche
2005	J	`jnl`	Tight upper bounds on the number of candidate patterns. ACM Trans. Database Syst. Floris Geerts, Bart Goethals, Jan Van den Bussche
2005	J	`jnl`	Towards practical meta-querying. Inf. Syst. Jan Van den Bussche, Stijn Vansummeren, Gottfried Vossen
2005	A	`conf`	Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery Extended Abstract. ICDT Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
2004	A*	`conf`	A Characterization of First-Order Topological Properties of Planar Spatial Data. PODS Michael Benedikt, Christof Löding, Jan Van den Bussche, Thomas Wilke
2004	—	`conf`	DTDs versus XML Schema: A Practical Study. WebDB Geert Jan Bex, Frank Neven, Jan Van den Bussche
2004	—	`conf`	Finite Cursor Machines in Database Query Processing. Abstract State Machines Jan Van den Bussche
2004	B	`conf`	Meta-SQL: Towards Practical Meta-Querying. EDBT Jan Van den Bussche, Stijn Vansummeren, Gottfried Vossen
2004	J	`jnl`	On the expressive power of semijoin queries. Inf. Process. Lett. Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
2004	J	`jnl`	Solving Equations in the Relational Algebra. SIAM J. Comput. Joachim Biskup, Jan Paredaens, Thomas Schwentick, Jan Van den Bussche
2004	J	`jnl`	The semijoin algebra and the guarded fragment CoRR Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
2004	J	`jnl`	Well-Definedness and Semantic Type-Checking in the Nested Relational Calculus and XQuery CoRR Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren
2003	A	`conf`	Database Interrogation Using Conjunctive Queries. ICDT Michal Bielecki, Jan Van den Bussche
2003	A*	`conf`	Information Extraction from Web Documents Based on Local Unranked Tree Automaton Inference. IJCAI Raymond Kosala, Maurice Bruynooghe, Jan Van den Bussche, Hendrik Blockeel
2003	J	`jnl`	On the expressive power of semijoin queries CoRR Dirk Leinders, Jerzy Tyszkiewicz, Jan Van den Bussche
2003	J	`jnl`	Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets CoRR Floris Geerts, Lieven Smits, Jan Van den Bussche
2002	J	`jnl`	Abstract State Machines and Computationally Complete Query Languages. Inf. Comput. Andreas Blass, Yuri Gurevich, Jan Van den Bussche
2002	A*	`conf`	Distributed Computation of Web Queries Using Automata. PODS Marc Spielmann, Jerzy Tyszkiewicz, Jan Van den Bussche
2002	J	`jnl`	Expressiveness of structured document query languages based on attribute grammars. J. ACM Frank Neven, Jan Van den Bussche
2002	—	`conf`	Information Extraction in Structured Documents Using Tree Automata Induction. PKDD Raymond Kosala, Jan Van den Bussche, Maurice Bruynooghe, Hendrik Blockeel
2002	A*	`conf`	Navigating with a Browser. ICALP Michal Bielecki, Jan Hidders, Jan Paredaens, Jerzy Tyszkiewicz, Jan Van den Bussche
2002	J	`jnl`	Polymorphic Type Inference for the Relational Algebra. J. Comput. Syst. Sci. Jan Van den Bussche, Emmanuel Waller
2002	—	`conf`	Relational Association Rules: Getting WARMeR. Pattern Detection and Discovery Bart Goethals, Jan Van den Bussche
2002	J	`jnl`	Relational Association Rules: getting WARMeR CoRR Bart Goethals, Jan Van den Bussche
2002	J	`jnl`	Towards practical meta-querying CoRR Jan Van den Bussche, Stijn Vansummeren, Gottfried Vossen
2001	J	`jnl`	A Tight Upper Bound on the Number of Candidate Patterns CoRR Floris Geerts, Bart Goethals, Jan Van den Bussche
2001	A*	`conf`	A Tight Upper Bound on the Number of Candidate Patterns. ICDM Floris Geerts, Bart Goethals, Jan Van den Bussche
2001	J	`jnl`	Adding For-Loops to First-Order Logic. Inf. Comput. Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
2001	B	`conf`	Applications of Alfred Tarski's Ideas in Database Theory. CSL Jan Van den Bussche
2001	J	`jnl`	Applying an update method to a set of receivers. ACM Trans. Database Syst. Marc Andries, Luca Cabibbo, Jan Paredaens, Jan Van den Bussche
2001	A	`ed.`	Database Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings. ICDT Jan Van den Bussche, Victor Vianu
2001	J	`jnl`	Interactive Constrained Association Rule Mining CoRR Bart Goethals, Jan Van den Bussche
2001	J	`jnl`	Polymorphic type inference for the relational algebra CoRR Jan Van den Bussche, Emmanuel Waller
2001	J	`jnl`	Rewriting queries using views over monadic database schemas. Inf. Process. Lett. Jan Van den Bussche
2001	J	`jnl`	Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions. Theor. Comput. Sci. Jan Van den Bussche
2001	J	`jnl`	Solving equations in the relational algebra CoRR Joachim Biskup, Jan Paredaens, Thomas Schwentick, Jan Van den Bussche
2000	—	`conf`	Abstract State Machines and Computationally Complete Query Languages. Abstract State Machines Andreas Blass, Yuri Gurevich, Jan Van den Bussche
2000	—	`ch.`	Constraint Databases, Queries, and Query Languages. Constraint Databases Jan Van den Bussche
2000	J	`jnl`	Constraint databases: A tutorial introduction. SIGMOD Rec. Jan Van den Bussche
2000	B	`conf`	On Supporting Interactive Association Rule Mining. DaWaK Bart Goethals, Jan Van den Bussche
2000	J	`jnl`	Topological Elementary Equivalence of Closed Semi-Algebraic Sets in The Real Plane. J. Symb. Log. Bart Kuijpers, Jan Paredaens, Jan Van den Bussche
1999	—	`conf`	A priori versus a posteriori filtering of association rules. 1999 ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery Bart Goethals, Jan Van den Bussche
1999	A	`conf`	Adding For-Loops to First-Order Logic. ICDT Frank Neven, Martin Otto, Jerzy Tyszkiewicz, Jan Van den Bussche
1999	J	`jnl`	Complete Geometric Query Languages. J. Comput. Syst. Sci. Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht
1999	A	`conf`	On Capturing First-Order Topological Properties of Planar Spatial Databases. ICDT Bart Kuijpers, Jan Van den Bussche
1999	J	`jnl`	Reminiscences on Influential Papers. SIGMOD Rec. Kenneth A. Ross, Surajit Chaudhuri, Gösta Grahne, H. V. Jagadish, Jan Van den Bussche, Moshe Y. Vardi
1999	J	`jnl`	Temporal Connectives Versus Explicit Timestamps to Query Temporal Databases. J. Comput. Syst. Sci. Serge Abiteboul, Laurent Herr, Jan Van den Bussche
1999	A*	`conf`	Type Inference in the Polymorphic Relational Algebra. PODS Jan Van den Bussche, Emmanuel Waller
1999	J	`jnl`	Typed Query Languages for Databases Containing Queries. Inf. Syst. Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen
1998	J	`jnl`	Converting Untyped Formulas to Typed Ones. Acta Informatica Jan Van den Bussche, Luca Cabibbo
1998	J	`jnl`	Expressiveness and Complexity of Generic Graph Machines. Theory Comput. Syst. Marc Gemis, Jan Paredaens, Peter Peelman, Jan Van den Bussche
1998	A*	`conf`	Expressiveness of Structured Document Query Languages Based on Attribute Grammars. PODS Frank Neven, Jan Van den Bussche
1998	J	`jnl`	First-Order Queries on Finite Structures Over the Reals. SIAM J. Comput. Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht
1998	—	`conf`	Methods and views. BDA Jan Van den Bussche, Emmanuel Waller
1998	—	`conf`	Topological Canonization of Planar Spatial Data and Its Incremental Maintenance. FMLDO Floris Geerts, Bart Kuijpers, Jan Van den Bussche
1998	A*	`conf`	Typed Query Languages for Databases Containing Queries. PODS Frank Neven, Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen
1997	J	`jnl`	A Semideterministic Approach to Object Creation and Nondeterminism in Database Queries. J. Comput. Syst. Sci. Jan Van den Bussche, Dirk Van Gucht
1997	A*	`conf`	Complete Geometrical Query Languages. PODS Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht
1997	—	`conf`	On Implementing Structured Document Query Facilities on Top of a DOOD. DOOD Frank Neven, Jan Van den Bussche
1997	A	`conf`	On Topological Elementary Equivalence of Spatial Databases. ICDT Bart Kuijpers, Jan Paredaens, Jan Van den Bussche
1997	J	`jnl`	On the completeness of object-creating database transformation languages. J. ACM Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens
1996	J	`jnl`	First-Order Queries on Databases Embedded in an Infinite Structure. Inf. Process. Lett. Martin Otto, Jan Van den Bussche
1996	J	`jnl`	Reflective Programming in the Relational Algebra. J. Comput. Syst. Sci. Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen
1996	A*	`conf`	Temporal Versus First-Order Logic to Query Temporal Databases. PODS Serge Abiteboul, Laurent Herr, Jan Van den Bussche
1996	—	`conf`	Termination Properties of Spatial Datalog Programs. Logic in Databases Bart Kuijpers, Jan Paredaens, Marc Smits, Jan Van den Bussche
1995	A*	`conf`	Applying an Update Method to a Set of Receivers. PODS Marc Andries, Luca Cabibbo, Jan Paredaens, Jan Van den Bussche
1995	—	`conf`	Deep Equality Revisited. DOOD Serge Abiteboul, Jan Van den Bussche
1995	A*	`conf`	First-order Queries on Finite Structures over the Reals LICS Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht
1995	—	`conf`	Lossless Representation of Topological Spatial Data. SSD Bart Kuijpers, Jan Paredaens, Jan Van den Bussche
1995	—	`conf`	Temporal Connectives versus Explicit Timestamps in Temporal Query Languages Temporal Databases Serge Abiteboul, Laurent Herr, Jan Van den Bussche
1995	J	`jnl`	The Expressive Power of Cardinality-Bounded Set Values in Object-Based Data Models. Theor. Comput. Sci. Jan Van den Bussche, Dirk Van Gucht
1995	J	`jnl`	The Expressive Power of Complex Values in Object-Based Data Models Inf. Comput. Jan Van den Bussche, Jan Paredaens
1994	J	`jnl`	A Graph-Oriented Object Database Model. IEEE Trans. Knowl. Data Eng. Marc Gyssens, Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht
1994	A*	`conf`	Expressiveness of Efficient Semi-Deterministic Choice Constructs. ICALP Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht
1994	A*	`conf`	Towards a Theory of Spatial Database Queries. PODS Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht
1993	—	`conf`	A Computational Model for Generic Graph Functions. Dagstuhl Seminar on Graph Transformations in Computer Science Marc Gemis, Jan Paredaens, Peter Peelman, Jan Van den Bussche
1993	—	`conf`	An Extension of Path Expressions to Simplify Navigation in Object-Oriented Queries. DOOD Jan Van den Bussche, Gottfried Vossen
1993	J	`jnl`	Complex Object Multi-Level Fixpoint Queries. Ann. Math. Artif. Intell. Jan Van den Bussche
1993	—	`conf`	GOOD: AGraph-Oriented Object Database System. SIGMOD Conference Marc Gemis, Jan Paredaens, Inge Thyssens, Jan Van den Bussche
1993	J	`jnl`	On Minimizing the Forall-Not Degree of a Connective-Free Formula. Acta Informatica Jan Van den Bussche
1993	A*	`conf`	Reflective Programming in the Relational Algebra. PODS Jan Van den Bussche, Dirk Van Gucht, Gottfried Vossen
1993	J	`jnl`	Using SQL with object-oriented databases. Inf. Syst. Jan Van den Bussche, Andreas Heuer
1992	—	`conf`	A Graph- and Object-Oriented Counterpart for SQL. Future Databases Marc Andries, Jan Paredaens, Jan Van den Bussche
1992	A	`conf`	A Hierarchy of Faithful Set Creation in Pure OODB's. ICDT Jan Van den Bussche, Dirk Van Gucht
1992	J	`jnl`	An Overview of GOOD. SIGMOD Rec. Jan Paredaens, Jan Van den Bussche, Marc Andries, Marc Gemis, Marc Gyssens, Inge Thyssens, Dirk Van Gucht, Vijay M. Sarathy, Lawrence V. Saxton
1992	B	`conf`	Concepts for Graph-Oriented Object Manipulation. EDBT Marc Andries, Marc Gemis, Jan Paredaens, Inge Thyssens, Jan Van den Bussche
1992	—	`conf`	Non-Deterministic Aspects of Object-Creating Database Transformations. FMLDO Jan Van den Bussche, Dirk Van Gucht
1992	A*	`conf`	On the Completeness of Object-Creating Query Languages (Extended Abstract) FOCS Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens
1992	A*	`conf`	Semi-determinism. PODS Jan Van den Bussche, Dirk Van Gucht
1991	—	`conf`	Active Complex Object Databases (Working Paper). FMLDO Jan Van den Bussche
1991	—	`conf`	Complex Object Multi-Level Fixpoint Queries. MFDBS Jan Van den Bussche
1991	—	`conf`	Evaluation and optimization of complex object selections. DOOD Jan Van den Bussche
1991	A*	`conf`	The Expressive Power of Structured Values in Pure OODB's. PODS Jan Van den Bussche, Jan Paredaens
1990	J	`jnl`	A formal basis for extending SQL to object-oriented databases. Bull. EATCS Jan Van den Bussche
1990	—	`conf`	Using SQL with Object-Oriented Databases (Preliminary Report). FMLDO Andreas Heuer, Jan Van den Bussche
1989	—	`conf`	TREES: A Graphical Model for Querying Hierarchical Databases. FMLDO Jan Paredaens, Jan Van den Bussche
1989	—	`conf`	Working Group Report: Negation, Functions and Construction in Rule-Based Languages for Complex Objects. FMLDO Peter Sander, Simone Rehm, Jan Van den Bussche