Jelle Hellings

51 papers A* 3A 5B 1C 1Journal 27Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Proof-of-Execution: Low-Latency Consensus via Speculative Execution. ACM Trans. Database Syst. Jelle Hellings, Suyash Gupta, Sajjad Rahnama, Junchao Chen, Celine Sana, Mohammad Sadoghi
2026	—	`conf`	Short and Simple Explanations for Datalog Derivations. FoIKS Jelle Hellings, Yuchen You
2025	J	`jnl`	Explaining results of path queries on graphs: Single-path results for context-free path queries. Inf. Syst. Jelle Hellings
2024	A*	`conf`	SpotLess: Concurrent Rotational Consensus Made Practical Through Rapid View Synchronization. ICDE Dakai Kang, Sajjad Rahnama, Jelle Hellings, Mohammad Sadoghi
2023	J	`jnl`	ByShard: sharding in a Byzantine environment. VLDB J. Jelle Hellings, Mohammad Sadoghi
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`	Practical View-Change-Less Protocol through Rapid View Synchronization. CoRR Dakai Kang, Sajjad Rahnama, Jelle Hellings, Mohammad Sadoghi
2023	J	`jnl`	[Problem] Cerberus: Minimalistic Multi-shard Byzantine-resilient Transaction Processing. J. Syst. Res. Jelle Hellings, Daniel P. Hughes, Joshua Primero, Mohammad Sadoghi
2023	J	`jnl`	[Solution] Byzantine Cluster-Sending in Expected Constant Cost and Constant Time. J. Syst. Res. Jelle Hellings, Mohammad Sadoghi
2022	J	`jnl`	On the Correctness of Speculative Consensus. CoRR Jelle Hellings, Suyash Gupta, Sajjad Rahnama, Mohammad Sadoghi
2022	—	`conf`	Optimizing Multiset Relational Algebra Queries Using Weak-Equivalent Rewrite Rules. FoIKS Jelle Hellings, Yuqing Wu, Dirk Van Gucht, Marc Gyssens
2022	—	`conf`	The Fault-Tolerant Cluster-Sending Problem. FoIKS Jelle Hellings, Mohammad Sadoghi
2022	J	`jnl`	The power of Tarski's relation algebra on trees. J. Log. Algebraic Methods Program. Jelle Hellings, Yuqing Wu, Marc Gyssens, Dirk Van Gucht
2021	J	`jnl`	ByShard: Sharding in a Byzantine Environment. Proc. VLDB Endow. Jelle Hellings, Mohammad Sadoghi
2021	J	`jnl`	Byzantine Cluster-Sending in Expected Constant Communication. CoRR Jelle Hellings, Mohammad Sadoghi
2021	—	`book`	Fault-Tolerant Distributed Transactions on Blockchain Suyash Gupta, Jelle Hellings, Mohammad Sadoghi
2021	J	`jnl`	From Relation Algebra to Semi-join Algebra: An Approach to Graph Query Optimization. Comput. J. Jelle Hellings, Catherine L. Pilachowski, Dirk Van Gucht, Marc Gyssens, Yuqing Wu
2021	B	`conf`	Proof-of-Execution: Reaching Consensus through Fault-Tolerant Speculation. EDBT Suyash Gupta, Jelle Hellings, Sajjad Rahnama, Mohammad Sadoghi
2021	A*	`conf`	RCC: Resilient Concurrent Consensus for High-Throughput Secure Transaction Processing. ICDE Suyash Gupta, Jelle Hellings, Mohammad Sadoghi
2020	—	`conf`	Blockchain consensus unraveled: virtues and limitations. DEBS Suyash Gupta, Jelle Hellings, Sajjad Rahnama, Mohammad Sadoghi
2020	J	`jnl`	Building High Throughput Permissioned Blockchain Fabrics: Challenges and Opportunities. Proc. VLDB Endow. Suyash Gupta, Jelle Hellings, Sajjad Rahnama, Mohammad Sadoghi
2020	J	`jnl`	Cerberus: Minimalistic Multi-shard Byzantine-resilient Transaction Processing. CoRR Jelle Hellings, Daniel P. Hughes, Joshua Primero, Mohammad Sadoghi
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`	Coordination-Free Byzantine Replication with Minimal Communication Costs. ICDT Jelle Hellings, Mohammad Sadoghi
2020	—	`conf`	Explaining Results of Path Queries on Graphs - Single-Path Results for Context-Free Path Queries. SFDI/LSGDA@VLDB Jelle Hellings
2020	J	`jnl`	ResilientDB: Global Scale Resilient Blockchain Fabric. CoRR Suyash Gupta, Sajjad Rahnama, Jelle Hellings, Mohammad Sadoghi
2020	J	`jnl`	ResilientDB: Global Scale Resilient Blockchain Fabric. Proc. VLDB Endow. Suyash Gupta, Sajjad Rahnama, Jelle Hellings, Mohammad Sadoghi
2020	J	`jnl`	Scalable, Resilient and Configurable Permissioned Blockchain Fabric. Proc. VLDB Endow. Sajjad Rahnama, Suyash Gupta, Thamir Qadah, Jelle Hellings, Mohammad Sadoghi
2020	C	`conf`	Stab-Forests: Dynamic Data Structures for Efficient Temporal Query Processing. TIME Jelle Hellings, Yuqing Wu
2019	—	`conf`	An In-Depth Look of BFT Consensus in Blockchain: Challenges and Opportunities. Middleware Tutorials Suyash Gupta, Jelle Hellings, Sajjad Rahnama, Mohammad Sadoghi
2019	A	`conf`	Brief Announcement: Revisiting Consensus Protocols through Wait-Free Parallelization. DISC Suyash Gupta, Jelle Hellings, Mohammad Sadoghi
2019	A	`conf`	Brief Announcement: The Fault-Tolerant Cluster-Sending Problem. DISC Jelle Hellings, Mohammad Sadoghi
2019	J	`jnl`	Calculi for symmetric queries. J. Comput. Syst. Sci. Marc Gyssens, Jelle Hellings, Jan Paredaens, Dirk Van Gucht, Jef Wijsen, Yuqing Wu
2019	J	`jnl`	First-order definable counting-only queries. Ann. Math. Artif. Intell. Jelle Hellings, Marc Gyssens, Dirk Van Gucht, Yuqing Wu
2019	J	`jnl`	Proof-of-Execution: Reaching Consensus through Fault-Tolerant Speculation. CoRR Suyash Gupta, Jelle Hellings, Sajjad Rahnama, Mohammad Sadoghi
2019	J	`jnl`	Revisiting consensus protocols through wait-free parallelization. CoRR Suyash Gupta, Jelle Hellings, Mohammad Sadoghi
2019	J	`jnl`	Scaling Blockchain Databases through Parallel Resilient Consensus Paradigm. CoRR Suyash Gupta, Jelle Hellings, Mohammad Sadoghi
2019	J	`jnl`	The fault-tolerant cluster-sending problem. CoRR Jelle Hellings, Mohammad Sadoghi
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	—	`conf`	First-Order Definable Counting-Only Queries. FoIKS Jelle Hellings, Marc Gyssens, Dirk Van Gucht, Yuqing Wu
2018	—	`—`	On Tarski's Relation Algebra: Querying trees and chains, and the semi-join algebra Jelle Hellings
2018	—	`conf`	The Power of Tarski's Relation Algebra on Trees. FoIKS Jelle Hellings, Yuqing Wu, Marc Gyssens, Dirk Van Gucht
2017	—	`conf`	From relation algebra to semi-join algebra: an approach for graph query optimization. DBPL Jelle Hellings, Catherine L. Pilachowski, Dirk Van Gucht, Marc Gyssens, Yuqing Wu
2016	J	`jnl`	Implication and axiomatization of functional and constant constraints. Ann. Math. Artif. Intell. Jelle Hellings, Marc Gyssens, Jan Paredaens, Yuqing Wu
2015	J	`jnl`	Path Results for Context-free Grammar Queries on Graphs. CoRR Jelle Hellings
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
2014	A	`conf`	Conjunctive Context-Free Path Queries. ICDT Jelle Hellings
2014	—	`conf`	Implication and Axiomatization of Functional Constraints on Patterns with an Application to the RDF Data Model. FoIKS Jelle Hellings, Marc Gyssens, Jan Paredaens, Yuqing Wu
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
2012	—	`conf`	Efficient external-memory bisimulation on DAGs. SIGMOD Conference Jelle Hellings, George H. L. Fletcher, Herman J. Haverkort
2011	J	`jnl`	I/O efficient bisimulation partitioning on very large directed acyclic graphs CoRR Jelle Hellings, George H. L. Fletcher, Herman J. Haverkort