13 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre National de la Recherche ScientifiqueFR1 paper
- Département d'InformatiqueFR1 paper
- École Normale Supérieure - PSLFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Max Planck Institute for Software SystemsDE1 paper
- The University of QueenslandAU1 paper
- TU WienAT1 paper
- Université Paris Sciences et LettresFR1 paper
3 papers
A case study on parametric verification of failure detectors
Thanh-Hai Tran, Igor Konnov, Josef Widder
Partial synchrony is a model of computation in many distributed algorithms and modern blockchains. These algorithms are typically parameterized in the number of participants, and t…
Perfectly Parallel Fairness Certification of Neural Networks
Caterina Urban, Maria Christakis, Valentin Wüstholz +1
Recently, there is growing concern that machine-learning models, which currently assist or even automate decision making, reproduce, and in the worst case reinforce, bias of the tr…
Requirements for Ethereum Private Sidechains
Peter Robinson
The Enterprise Ethereum Client Specification by the Enterprise Ethereum Alliance defines the requirements which Ethereum Clients offering private smart contract capabilities should…