13 citations · 45 across the 12 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 1 cited
Conflict vs Causality in Event Structures
Daniele Gorla, Ivano Salvo, Adolfo Piperno
Event structures are one of the best known models for concurrency. Many variants of the basic model and many possible notions of equivalence for them have been devised in the liter…
cs.LO2019
Approximate Model Counting, Sparse XOR Constraints and Minimum Distance
Michele Boreale, Daniele Gorla
The problem of counting the number of models of a given Boolean formula has numerous applications, including computing the leakage of deterministic programs in Quantitative Informa…