I/O efficient bisimulation partitioning on very large directed acyclic graphs - Jelle Hellings; George H. L. Fletcher; Herman J. Haverkort (CoRR, 2011)

Efficient external-memory bisimulation on DAGs. - Jelle Hellings; George H. L. Fletcher; Herman J. Haverkort (SIGMOD Conference, 2012)

Walk logic as a framework for path query languages on graph databases. - Jelle Hellings; Bart Kuijpers; Jan Van den Bussche; Xiaowang Zhang (ICDT, 2013)

Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model. - Jelle Hellings; Marc Gyssens; Jan Paredaens; Yuqing Wu (FoIKS, 2014)

Conjunctive Context-Free Path Queries. - Jelle Hellings (ICDT, 2014)

Relative expressive power of downward fragments of navigational query languages on trees and chains. - Jelle Hellings; Marc Gyssens; Yuqing Wu; Dirk Van Gucht; Jan Van den Bussche; Stijn Vansummeren; George H. L. Fletcher (DBPL, 2015)

Path Results for Context-free Grammar Queries on Graphs. - Jelle Hellings (CoRR, 2015)

Implication and axiomatization of functional and constant constraints. - Jelle Hellings; Marc Gyssens; Jan Paredaens; Yuqing Wu (Ann. Math. Artif. Intell., 2016)

From relation algebra to semi-join algebra: an approach for graph query optimization. - Jelle Hellings; Catherine L. Pilachowski; Dirk Van Gucht; Marc Gyssens; Yuqing Wu (DBPL, 2017)

Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees. - Jelle Hellings; Marc Gyssens; Yuqing Wu; Dirk Van Gucht; Jan Van den Bussche; Stijn Vansummeren; George H. L. Fletcher (CoRR, 2018)

On Tarski's Relation Algebra: Querying trees and chains, and the semi-join algebra - Jelle Hellings (2018)

An In-Depth Look of BFT Consensus in Blockchain: Challenges and Opportunities. - Suyash Gupta 001; Jelle Hellings; Sajjad Rahnama; Mohammad Sadoghi (Middleware Tutorials, 2019)

Brief Announcement: Revisiting Consensus Protocols through Wait-Free Parallelization. - Suyash Gupta 001; Jelle Hellings; Mohammad Sadoghi (DISC, 2019)

Brief Announcement: The Fault-Tolerant Cluster-Sending Problem. - Jelle Hellings; Mohammad Sadoghi (DISC, 2019)

First-order definable counting-only queries. - Jelle Hellings; Marc Gyssens; Dirk Van Gucht; Yuqing Wu (Ann. Math. Artif. Intell., 2019)

Revisiting consensus protocols through wait-free parallelization. - Suyash Gupta 001; Jelle Hellings; Mohammad Sadoghi (CoRR, 2019)

Scaling Blockchain Databases through Parallel Resilient Consensus Paradigm. - Suyash Gupta 001; Jelle Hellings; Mohammad Sadoghi (CoRR, 2019)

Calculi for symmetric queries. - Marc Gyssens; Jelle Hellings; Jan Paredaens; Dirk Van Gucht; Jef Wijsen; Yuqing Wu (J. Comput. Syst. Sci., 2019)

Blockchain consensus unraveled: virtues and limitations. - Suyash Gupta 001; Jelle Hellings; Sajjad Rahnama; Mohammad Sadoghi (DEBS, 2020)

Coordination-Free Byzantine Replication with Minimal Communication Costs. - Jelle Hellings; Mohammad Sadoghi (ICDT, 2020)

Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing. - Jelle Hellings; Yuqing Wu (TIME, 2020)

Cerberus: Minimalistic Multi-shard Byzantine-resilient Transaction Processing. - Jelle Hellings; Daniel P. Hughes; Joshua Primero; Mohammad Sadoghi (CoRR, 2020)

Comparing the expressiveness of downward fragments of the relation algebra with transitive closure on trees. - Jelle Hellings; Marc Gyssens; Yuqing Wu; Dirk Van Gucht; Jan Van den Bussche; Stijn Vansummeren; George H. L. Fletcher (Inf. Syst., 2020)

Building High Throughput Permissioned Blockchain Fabrics: Challenges and Opportunities. - Suyash Gupta 001; Jelle Hellings; Sajjad Rahnama; Mohammad Sadoghi (Proc. VLDB Endow., 2020)

ResilientDB: Global Scale Resilient Blockchain Fabric. - Suyash Gupta 001; Sajjad Rahnama; Jelle Hellings; Mohammad Sadoghi (Proc. VLDB Endow., 2020)

Scalable, Resilient and Configurable Permissioned Blockchain Fabric. - Sajjad Rahnama; Suyash Gupta 001; Thamir Qadah; Jelle Hellings; Mohammad Sadoghi (Proc. VLDB Endow., 2020)

Proof-of-Execution: Reaching Consensus through Fault-Tolerant Speculation. - Suyash Gupta 001; Jelle Hellings; Sajjad Rahnama; Mohammad Sadoghi (EDBT, 2021)

RCC: Resilient Concurrent Consensus for High-Throughput Secure Transaction Processing. - Suyash Gupta 001; Jelle Hellings; Mohammad Sadoghi (ICDE, 2021)

From Relation Algebra to Semi-join Algebra: An Approach to Graph Query Optimization. - Jelle Hellings; Catherine L. Pilachowski; Dirk Van Gucht; Marc Gyssens; Yuqing Wu (Comput. J., 2021)

Byzantine Cluster-Sending in Expected Constant Communication. - Jelle Hellings; Mohammad Sadoghi (CoRR, 2021)

ByShard: Sharding in a Byzantine Environment. - Jelle Hellings; Mohammad Sadoghi (Proc. VLDB Endow., 2021)

Fault-Tolerant Distributed Transactions on Blockchain - Suyash Gupta 001; Jelle Hellings; Mohammad Sadoghi (Morgan & Claypool Publishers, 2021)

The Fault-Tolerant Cluster-Sending Problem. - Jelle Hellings; Mohammad Sadoghi (FoIKS, 2022)

Optimizing Multiset Relational Algebra Queries Using Weak-Equivalent Rewrite Rules. - Jelle Hellings; Yuqing Wu; Dirk Van Gucht; Marc Gyssens (FoIKS, 2022)

On the Correctness of Speculative Consensus. - Jelle Hellings; Suyash Gupta 001; Sajjad Rahnama; Mohammad Sadoghi (CoRR, 2022)

The power of Tarski's relation algebra on trees. - Jelle Hellings; Yuqing Wu; Marc Gyssens; Dirk Van Gucht (J. Log. Algebraic Methods Program., 2022)

Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. - Jelle Hellings; Marc Gyssens; Jan Van den Bussche; Dirk Van Gucht (LICS, 2023)

Practical View-Change-Less Protocol through Rapid View Synchronization. - Dakai Kang; Sajjad Rahnama; Jelle Hellings; Mohammad Sadoghi (CoRR, 2023)

[Problem] Cerberus: Minimalistic Multi-shard Byzantine-resilient Transaction Processing. - Jelle Hellings; Daniel P. Hughes; Joshua Primero; Mohammad Sadoghi (J. Syst. Res., 2023)

[Solution] Byzantine Cluster-Sending in Expected Constant Cost and Constant Time. - Jelle Hellings; Mohammad Sadoghi (J. Syst. Res., 2023)

SpotLess: Concurrent Rotational Consensus Made Practical Through Rapid View Synchronization. - Dakai Kang; Sajjad Rahnama; Jelle Hellings; Mohammad Sadoghi (ICDE, 2024)

Explaining results of path queries on graphs: Single-path results for context-free path queries. - Jelle Hellings (Inf. Syst., 2025)