313 citations
- University of AmsterdamNL58 papers
- Eindhoven University of TechnologyNL56 papers
- Vrije Universiteit AmsterdamNL14 papers
- Radboud University NijmegenNL13 papers
- Leiden UniversityNL12 papers
- College of Western IdahoUS11 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- University of WaterlooCA8 papers
- University of California, BerkeleyUS7 papers
- Delft University of TechnologyNL6 papers
- Sorbonne UniversitéFR6 papers
- University of CambridgeGB6 papers
11 papers · 1 filter
Multi-Prover Commitments Against Non-Signaling Attacks
Serge Fehr, Max Fillinger
We reconsider the concept of multi-prover commitments, as introduced in the late eighties in the seminal work by Ben-Or et al. As was recently shown by Crépeau et al., the security…
Efficient Equilibria in Polymatrix Coordination Games
Mona Rahn, Guido Schäfer
We consider polymatrix coordination games with individual preferences where every player corresponds to a node in a graph who plays with each neighbor a separate bimatrix game with…
On the Lovász Theta function for Independent Sets in Sparse Graphs
Nikhil Bansal, Anupam Gupta, Guru Guruganesh
We consider the maximum independent set problem on graphs with maximum degree~. We show that the integrality gap of the Lovász -function based SDP is $\widetilde{O}(d…
Probing Atmospheric Electric Fields in Thunderstorms through Radio Emission from Cosmic-Ray-Induced Air Showers
P. Schellart, T. N. G. Trinh, S. Buitink +71
We present measurements of radio emission from cosmic ray air showers that took place during thunderstorms. The intensity and polarization patterns of these air showers are radical…
Coherent branching feature bisimulation
Tessa Belder, Maurice H. ter Beek, Erik P. de Vink
Progress in the behavioral analysis of software product lines at the family level benefits from further development of the underlying semantical theory. Here, we propose a behavior…
Transient analysis of one-sided Lévy-driven queues
Nicos Starreveld, René Bekker, Michel Mandjes
In this paper we analyze the transient behavior of the workload process in a Lévy input queue. We are interested in the value of the workload process at a random epoch; this epoch…