Konstantinos Chatzikokolakis

Documents

Identifiants chercheurs

Présentation

947705

	Metrics for Differential Privacy in Concurrent Systems Lili Xu , Konstantinos Chatzikokolakis , Huimin Lin 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.199-215, ⟨10.1007/978-3-662-43613-4_13⟩ Communication dans un congrès hal-00879140v2
	Generalized bisimulation metrics Konstantinos Chatzikokolakis , Daniel Gebler , Catuscia Palamidessi , Lili Xu CONCUR - 25th Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.32-46, ⟨10.1007/978-3-662-44584-6_4⟩ Communication dans un congrès hal-01011471v1