activity
20162022
most citedDecentralization in Open Quorum Systems

3 citations · 3 across the 2 of their papers we have counts for

collaborators

9 papers

cs.SE2022

Viable Algorithmic Options for Creating and Adapting Emergent Software Systems

Todd Wareham, Ronald de Haan

Given the complexity of modern software systems, it is of great importance that such systems be able to autonomously modify themselves, i.e., self-adapt, with minimal human supervi…

cs.AI2021

Egalitarian Judgment Aggregation

Sirin Botan, Ronald de Haan, Marija Slavkovik +1

Egalitarian considerations play a central role in many areas of social choice theory. Applications of egalitarian principles range from ensuring everyone gets an equal share of a c…

cs.DC20193 cited

Decentralization in Open Quorum Systems

Andrea Bracciali, Davide Grossi, Ronald de Haan

Decentralisation is one of the promises introduced by blockchain technologies: fair and secure interaction amongst peers with no dominant positions, single points of failure or cen…

cs.LO2018

A Parameterized Complexity View on Description Logic Reasoning

Ronald de Haan

Description logics are knowledge representation languages that have been designed to strike a balance between expressivity and computational tractability. Many different descriptio…

cs.AI2018

Hunting for Tractable Languages for Judgment Aggregation

Ronald de Haan

Judgment aggregation is a general framework for collective decision making that can be used to model many different settings. Due to its general nature, the worst case complexity o…

cs.CC2018

Expressing Linear Orders Requires Exponential-Size DNNFs

Ronald de Haan

We show that any DNNF circuit that expresses the set of linear orders over a set of candidates must be of size . Moreover, we show that there exist DNNF circuits of s…