Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Catuscia Palamidessi

Catuscia Palamidessi

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Confidentialité différentielle pour les espaces métriques : modèles théoriques de l'information pour la confidentialité et l'utilité avec de nouvelles applications aux domaines métriques
On the expressiveness of spatial constraint systems
Measuring Privacy with Distinguishability Metrics: Definitions, Mechanisms and Application to Location Privacy
Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming
Safe Programming in Finite Precision: Controlling Errors and Information Leaks
The Epistemic View of Concurrency Theory
Bisimulation techniques and algorithms for concurrent constraint programming
Quantitative Approaches to Information Hiding
Universal temporal Concurrent Constraint Programming
Une approche formelle à la modélisation, simulation et analyse de nano-machines
On the expressivity of infinite and local behaviour in fragments of the pi-calculus