7 citations · 32 across the 13 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.FL2018★ 7 cited
Bisimilarity Distances for Approximate Differential Privacy
Dmitry Chistikov, Andrzej S. Murawski, David Purser
Differential privacy is a widely studied notion of privacy for various models of computation. Technically, it is based on measuring differences between probability distributions. W…
cs.CC2018
O-Minimal Invariants for Discrete-Time Dynamical Systems
Shaull Almagor, Dmitry Chistikov, Joël Ouaknine +1
Termination analysis of linear loops plays a key rôle in several areas of computer science, including program verification and abstract interpretation. Already for the simplest var…