8 citations · 17 across the 3 of their papers we have counts for
3 papers
cs.CY2023★ 8 cited
UN Handbook on Privacy-Preserving Computation Techniques
David W. Archer, Borja de Balle Pigem, Dan Bogdanov +10
This paper describes privacy-preserving approaches for the statistical analysis. It describes motivations for privacy-preserving approaches for the statistical analysis of sensitiv…
cs.LO2014★ 8 cited
Synthesis of a simple self-stabilizing system
Adrià Gascón, Ashish Tiwari
With the increasing importance of distributed systems as a computing paradigm, a systematic approach to their design is needed. Although the area of formal verification has made en…
cs.LO2010★ 1 cited
Unification and Matching on Compressed Terms
Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß
Term unification plays an important role in many areas of computer science, especially in those related to logic. The universal mechanism of grammar-based compression for terms, in…