Catuscia Palamidessi

354 papers A* 20A 19B 40C 13Misc 1Journal 160Unranked 90

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Chair's Letter. ACM SIGLOG News Catuscia Palamidessi
2026	A*	`conf`	Estimating the True Distribution of Data Collected with Randomized Response. AAAI Carlos Antonio Pinzón, Ehab ElSalamouny, Lucas Massot, Alexis Miller, Héber Hwang Arcolezi, Catuscia Palamidessi
2026	J	`jnl`	Estimating the True Distribution of Data Collected with Randomized Response. CoRR Carlos Antonio Pinzón, Ehab ElSalamouny, Lucas Massot, Alexis Miller, Héber Hwang Arcolezi, Catuscia Palamidessi
2026	J	`jnl`	Protection against Source Inference Attacks in Federated Learning. CoRR Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi
2025	J	`jnl`	A Bias Injection Technique to Assess the Resilience of Causal Discovery Methods. IEEE Access Martina Cinquini, Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi, Riccardo Guidotti
2025	J	`jnl`	Chair's Letter. ACM SIGLOG News Catuscia Palamidessi
2025	J	`jnl`	Comparing privacy notions for protection against reconstruction attacks in machine learning. CoRR Sayan Biswas, Mark Dras, Pedro Faustini, Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Parastoo Sadeghi
2025	J	`jnl`	Corrections to "A Bias Injection Technique to Assess the Resilience of Causal Discovery Methods". IEEE Access Martina Cinquini, Karima Makhlouf, Jay Jawale, Sami Zhioua, Catuscia Palamidessi, Riccardo Guidotti
2025	J	`jnl`	Enhancing Metric Privacy With a Shuffler. Proc. Priv. Enhancing Technol. Andreas Athanasiou, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2025	J	`jnl`	Experiments & Analysis of Privacy-Preserving SQL Query Sanitization Systems. CoRR Loïs Ecoffet, Veronika Rehn-Sonigo, Jean-François Couchot, Catuscia Palamidessi
2025	J	`jnl`	Group fairness under obfuscated sensitive information. J. Comput. Secur. Héber Hwang Arcolezi, Karima Makhlouf, Catuscia Palamidessi
2025	J	`jnl`	Jeffrey's update rule as a minimizer of Kullback-Leibler divergence. CoRR Carlos Pinzón, Catuscia Palamidessi
2025	J	`jnl`	Metric Privacy in Federated Learning for Medical Imaging: Improving Convergence and Preventing Client Inference Attacks. CoRR Judith Sáinz-Pardo Díaz, Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi, Álvaro López García
2025	—	`conf`	Mitigating Membership Inference Vulnerability in Iterative Federated Clustering Algorithm. ARTMAN@CCS Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi
2025	J	`jnl`	Mitigating Membership Inference Vulnerability in Personalized Federated Learning. CoRR Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi
2025	J	`jnl`	On Estimating the Strength of Differentially Private Mechanisms in a Black-Box Setting. IEEE Trans. Dependable Secur. Comput. Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
2025	J	`jnl`	On the Consistency and Performance of the Iterative Bayesian Update. CoRR Ehab ElSalamouny, Catuscia Palamidessi
2025	A	`conf`	Self-Defense: Optimal QIF Solutions and Application to Website Fingerprinting. CSF Andreas Athanasiou, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2024	A	`conf`	A Systematic and Formal Study of the Impact of Local Differential Privacy on Fairness: Preliminary Results. CSF Karima Makhlouf, Tamara Stefanovic, Héber Hwang Arcolezi, Catuscia Palamidessi
2024	J	`jnl`	A Systematic and Formal Study of the Impact of Local Differential Privacy on Fairness: Preliminary Results. CoRR Karima Makhlouf, Tamara Stefanovic, Héber Hwang Arcolezi, Catuscia Palamidessi
2024	—	`conf`	BaBE: Enhancing Fairness via Estimation of Explaining Variables. FAccT Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi
2024	J	`jnl`	Bayes' capacity as a measure for reconstruction attacks in federated learning. CoRR Sayan Biswas, Mark Dras, Pedro Faustini, Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Parastoo Sadeghi
2024	—	`conf`	Causal Discovery Under Local Privacy. CLeaR Ruta Binkyte, Carlos Pinzón, Szilvia Lestyan, Kangsoo Jung, Héber Hwang Arcolezi, Catuscia Palamidessi
2024	J	`jnl`	Chair's Letter. ACM SIGLOG News Catuscia Palamidessi
2024	J	`jnl`	Chair's Letter. ACM SIGLOG News Catuscia Palamidessi
2024	J	`jnl`	On the impact of multi-dimensional local differential privacy on fairness. Data Min. Knowl. Discov. Karima Makhlouf, Héber Hwang Arcolezi, Sami Zhioua, Ghassen Ben Brahim, Catuscia Palamidessi
2024	J	`jnl`	On the incompatibility of accuracy and equal opportunity. Mach. Learn. Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
2024	A*	`conf`	Online Sensitivity Optimization in Differentially Private Learning. AAAI Filippo Galli, Catuscia Palamidessi, Tommaso Cucinotta
2024	J	`jnl`	PRIVIC: A privacy-preserving method for incremental collection of location data. Proc. Priv. Enhancing Technol. Sayan Biswas, Catuscia Palamidessi
2024	A*	`conf`	Poster: Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling. CCS Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi
2024	J	`jnl`	Protection against Source Inference Attacks in Federated Learning using Unary Encoding and Shuffling. CoRR Andreas Athanasiou, Kangsoo Jung, Catuscia Palamidessi
2024	J	`jnl`	Self-Defense: Optimal QIF Solutions and Application to Website Fingerprinting. CoRR Andreas Athanasiou, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2024	J	`jnl`	When causality meets fairness: A survey. J. Log. Algebraic Methods Program. Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
2023	B	`conf`	(Local) Differential Privacy has NO Disparate Impact on Fairness. DBSec Héber Hwang Arcolezi, Karima Makhlouf, Catuscia Palamidessi
2023	J	`jnl`	(Local) Differential Privacy has NO Disparate Impact on Fairness. CoRR Héber Hwang Arcolezi, Karima Makhlouf, Catuscia Palamidessi
2023	J	`jnl`	Advancing Personalized Federated Learning: Group Privacy, Fairness, and Beyond. CoRR Filippo Galli, Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi, Tommaso Cucinotta
2023	J	`jnl`	Advancing Personalized Federated Learning: Group Privacy, Fairness, and Beyond. SN Comput. Sci. Filippo Galli, Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi, Tommaso Cucinotta
2023	A	`conf`	Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow. CSF Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi
2023	J	`jnl`	Analyzing the Shuffle Model through the Lens of Quantitative Information Flow. CoRR Mireya Jurado, Ramon G. Gonze, Mário S. Alvim, Catuscia Palamidessi
2023	J	`jnl`	BaBE: Enhancing Fairness via Estimation of Latent Explaining Variables. CoRR Ruta Binkyte, Daniele Gorla, Catuscia Palamidessi
2023	A	`conf`	Bayes Security: A Not So Average Metric. CSF Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso
2023	J	`jnl`	Bounding information leakage in machine learning. Neurocomputing Ganesh Del Grosso, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida
2023	J	`jnl`	Causal Discovery Under Local Privacy. CoRR Ruta Binkyte, Carlos Pinzón, Szilvia Lestyán, Kangsoo Jung, Héber Hwang Arcolezi, Catuscia Palamidessi
2023	J	`jnl`	Chair's Letter. ACM SIGLOG News Catuscia Palamidessi
2023	B	`conf`	Frequency Estimation of Evolving Data Under Local Differential Privacy. EDBT Héber Hwang Arcolezi, Carlos Pinzón, Catuscia Palamidessi, Sébastien Gambs
2023	C	`conf`	Group Privacy for Personalized Federated Learning. ICISSP Filippo Galli, Sayan Biswas, Kangsoo Jung, Tommaso Cucinotta, Catuscia Palamidessi
2023	—	`conf`	Local Methods for Privacy Protection and Impact on Fairness. CODASPY Catuscia Palamidessi
2023	C	`conf`	Obfuscation Padding Schemes that Minimize Rényi Min-Entropy for Privacy. ISPEC Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi
2023	—	`conf`	On the (Im)Possibility of Estimating Various Notions of Differential Privacy (short paper). ICTCS Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
2023	J	`jnl`	On the Impact of Multi-dimensional Local Differential Privacy on Fairness. CoRR Karima Makhlouf, Héber Hwang Arcolezi, Sami Zhioua, Ghassen Ben Brahim, Catuscia Palamidessi
2023	J	`jnl`	On the Risks of Collecting Multidimensional Data Under Local Differential Privacy. Proc. VLDB Endow. Héber Hwang Arcolezi, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi
2023	B	`conf`	On the Utility Gain of Iterative Bayesian Update for Locally Differentially Private Mechanisms. DBSec Héber Hwang Arcolezi, Selene Cerna, Catuscia Palamidessi
2023	J	`jnl`	On the Utility Gain of Iterative Bayesian Update for Locally Differentially Private Mechanisms. CoRR Héber Hwang Arcolezi, Selene Cerna, Catuscia Palamidessi
2023	—	`conf`	On the application and impact of ε-DP and fairness in ambulance engagement time prediction. Tiny Papers @ ICLR Selene Cerna, Catuscia Palamidessi
2023	J	`jnl`	Online Sensitivity Optimization in Differentially Private Learning. CoRR Filippo Galli, Catuscia Palamidessi, Tommaso Cucinotta
2023	—	`conf`	Tight Differential Privacy Guarantees for the Shuffle Model with k-Randomized Response. FPS (1) Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi
2023	J	`jnl`	Universal optimality and robust utility bounds for metric differential privacy. J. Comput. Secur. Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding
2022	J	`jnl`	A privacy preserving querying mechanism with high utility for electric vehicles. CoRR Ugur-Ilker Atmaca, Sayan Biswas, Carsten Maple, Catuscia Palamidessi
2022	—	`conf`	Causal Discovery for Fairness. AFCP Ruta Binkyte, Karima Makhlouf, Carlos Pinzón, Sami Zhioua, Catuscia Palamidessi
2022	J	`jnl`	Causal Discovery for Fairness. CoRR Ruta Binkyte-Sadauskiene, Karima Makhlouf, Carlos Pinzón, Sami Zhioua, Catuscia Palamidessi
2022	J	`jnl`	Frequency Estimation of Evolving Data Under Local Differential Privacy. CoRR Héber Hwang Arcolezi, Carlos Pinzón, Catuscia Palamidessi, Sébastien Gambs
2022	J	`jnl`	Group privacy for personalized federated learning. CoRR Filippo Galli, Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi, Tommaso Cucinotta
2022	J	`jnl`	Identifiability of Causal-based Fairness Notions: A State of the Art. CoRR Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
2022	J	`jnl`	Information Leakage Games: Exploring Information as a Utility Function. ACM Trans. Priv. Secur. Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2022	A*	`conf`	Leveraging Adversarial Examples to Quantify Membership Information Leakage. CVPR Ganesh Del Grosso, Hamid Jalalzai, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida
2022	J	`jnl`	Leveraging Adversarial Examples to Quantify Membership Information Leakage. CoRR Ganesh Del Grosso, Hamid Jalalzai, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida
2022	J	`jnl`	Minimizing Information Leakage under Padding Constraints. CoRR Sebastian Simon, Cezara Petrui, Carlos Pinzón, Catuscia Palamidessi
2022	—	`conf`	Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python. ESORICS (3) Héber Hwang Arcolezi, Jean-François Couchot, Sébastien Gambs, Catuscia Palamidessi, Majid Zolfaghari
2022	J	`jnl`	Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential Privacy in Python. CoRR Héber Hwang Arcolezi, Jean-François Couchot, Sébastien Gambs, Catuscia Palamidessi, Majid Zolfaghari
2022	J	`jnl`	On the (Im)Possibility of Estimating Various Notions of Differential Privacy. CoRR Daniele Gorla, Louis Jalouzot, Federica Granese, Catuscia Palamidessi, Pablo Piantanida
2022	A*	`conf`	On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints. AAAI Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
2022	J	`jnl`	On the Risks of Collecting Multidimensional Data Under Local Differential Privacy. CoRR Héber Hwang Arcolezi, Sébastien Gambs, Jean-François Couchot, Catuscia Palamidessi
2022	J	`jnl`	Reconstruction of the distribution of sensitive data under free-will privacy. CoRR Ehab ElSalamouny, Catuscia Palamidessi
2022	J	`jnl`	Survey on Fairness Notions and Related Tensions. CoRR Guilherme Alves, Fabien Bernier, Miguel Couceiro, Karima Makhlouf, Catuscia Palamidessi, Sami Zhioua
2022	J	`jnl`	Three-way optimization of privacy and utility of location data. CoRR Sayan Biswas, Catuscia Palamidessi
2022	J	`jnl`	Tight Differential Privacy Blanket for Shuffle Model. CoRR Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi
2022	J	`jnl`	Tight Differential Privacy Guarantees for the Shuffle Model with k-Randomized Response. CoRR Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi
2022	A	`conf`	Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. CSF Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding
2022	J	`jnl`	Universal Optimality and Robust Utility Bounds for Metric Differential Privacy. CoRR Natasha Fernandes, Annabelle McIver, Catuscia Palamidessi, Ming Ding
2021	A	`conf`	A Formal Information-Theoretic Leakage Analysis of Order-Revealing Encryption. CSF Mireya Jurado, Catuscia Palamidessi, Geoffrey Smith
2021	C	`conf`	An Incentive Mechanism for Trading Personal Data in Data Markets. ICTAC Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi
2021	J	`jnl`	An Incentive Mechanism for Trading Personal Data in Data Markets. CoRR Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi
2021	J	`jnl`	Bounding Information Leakage in Machine Learning. CoRR Ganesh Del Grosso, Georg Pichler, Catuscia Palamidessi, Pablo Piantanida
2021	B	`conf`	CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
2021	A*	`conf`	DOCTOR: A Simple Method for Detecting Misclassification Errors. NeurIPS Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida
2021	J	`jnl`	DOCTOR: A Simple Method for Detecting Misclassification Errors. CoRR Federica Granese, Marco Romanelli, Daniele Gorla, Catuscia Palamidessi, Pablo Piantanida
2021	J	`jnl`	Enhanced models for privacy and utility in continuous-time diffusion networks. Int. J. Inf. Sec. Federica Granese, Daniele Gorla, Catuscia Palamidessi
2021	—	`conf`	Establishing the Price of Privacy in Federated Data Trading. Protocols, Strands, and Logic Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi
2021	J	`jnl`	Establishing the Price of Privacy in Federated Data Trading. CoRR Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi
2021	J	`jnl`	Machine learning fairness notions: Bridging the gap with real-world applications. Inf. Process. Manag. Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
2021	J	`jnl`	On the Applicability of Machine Learning Fairness Notions. SIGKDD Explor. Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
2021	J	`jnl`	On the impossibility of non-trivial accuracy under fairness constraints. CoRR Carlos Pinzón, Catuscia Palamidessi, Pablo Piantanida, Frank Valencia
2021	B	`conf`	Public Wireless Packets Anonymously Hurt You. LCN Abhishek Kumar Mishra, Aline Carneiro Viana, Nadjib Achir, Catuscia Palamidessi
2020	J	`jnl`	A logical characterization of differential privacy. Sci. Comput. Program. Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2020	—	`conf`	Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy. Gabbrielli's Festschrift Moreno Falaschi, Catuscia Palamidessi, Marco Romanelli
2020	J	`jnl`	Dynamic Slicing for Concurrent Constraint Languages. Fundam. Informaticae Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2020	A*	`conf`	Estimating g-Leakage via Machine Learning. CCS Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Pablo Piantanida
2020	J	`jnl`	Estimating g-Leakage via Machine Learning. CoRR Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Pablo Piantanida
2020	J	`jnl`	Feature selection in machine learning: Rényi min-entropy vs Shannon entropy. CoRR Catuscia Palamidessi, Marco Romanelli
2020	A	`conf`	Generalized Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection. EuroS&P Ehab ElSalamouny, Catuscia Palamidessi
2020	J	`jnl`	Information Leakage Games: Exploring Information as a Utility Function. CoRR Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2020	B	`conf`	Modern Applications of Game-Theoretic Principles (Invited Paper). CONCUR Catuscia Palamidessi, Marco Romanelli
2020	J	`jnl`	On the Applicability of ML Fairness Notions. CoRR Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
2020	A	`conf`	Optimal Obfuscation Mechanisms via Machine Learning. CSF Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2020	J	`jnl`	Refinement Orders for Quantitative Information Flow and Differential Privacy. J. Cybersecur. Priv. Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi
2020	J	`jnl`	Survey on Causal-based Machine Learning Fairness Notions. CoRR Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
2020	J	`jnl`	The Bayes Security Measure. CoRR Konstantinos Chatzikokolakis, Giovanni Cherubin, Catuscia Palamidessi, Carmela Troncoso
2020	—	`book`	The Science of Quantitative Information Flow. Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2019	J	`jnl`	An axiomatization of information flow measures. Theor. Comput. Sci. Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2019	—	`conf`	Catch me if you can: how geo-indistinguishability affects utility in mobility-based geographic datasets. LocalRec@SIGSPATIAL Adriano Di Luzio, Aline Carneiro Viana, Konstantinos Chatzikokolakis, Georgi Dikov, Catuscia Palamidessi, Julinda Stefa
2019	A	`conf`	Comparing Systems: Max-Case Refinement Orders and Application to Differential Privacy. CSF Konstantinos Chatzikokolakis, Natasha Fernandes, Catuscia Palamidessi
2019	—	`conf`	Differential Inference Testing: A Practical Approach to Evaluate Sanitizations of Datasets. IEEE Symposium on Security and Privacy Workshops Ali Kassem, Gergely Ács, Claude Castelluccia, Catuscia Palamidessi
2019	C	`conf`	Enhanced Models for Privacy and Utility in Continuous-Time Diffusion Networks. ICTAC Daniele Gorla, Federica Granese, Catuscia Palamidessi
2019	A*	`conf`	F-BLEAU: Fast Black-Box Leakage Estimation. IEEE Symposium on Security and Privacy Giovanni Cherubin, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2019	J	`jnl`	F-BLEAU: Fast Black-box Leakage Estimation. CoRR Giovanni Cherubin, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2019	J	`jnl`	Full Convergence of the Iterative Bayesian Update and Applications to Mechanisms for Privacy Protection. CoRR Ehab ElSalamouny, Catuscia Palamidessi
2019	J	`jnl`	Generating Optimal Privacy-Protection Mechanisms via Machine Learning. CoRR Marco Romanelli, Catuscia Palamidessi, Konstantinos Chatzikokolakis
2019	—	`conf`	Utility-Preserving Privacy Mechanisms for Counting Queries. Models, Languages, and Tools for Concurrent and Distributed Programming Natasha Fernandes, Lefki Kacem, Catuscia Palamidessi
2019	J	`jnl`	Utility-Preserving Privacy Mechanisms for Counting Queries. CoRR Natasha Fernandes, Lefki Kacem, Catuscia Palamidessi
2018	J	`jnl`	A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. CoRR Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2018	J	`jnl`	A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2018	—	`conf`	A Logical Characterization of Differential Privacy via Behavioral Metrics. FACS Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2018	J	`jnl`	Alonzo Church Award 2018 - Call for Nominations. Bull. EATCS Thomas Eiter, Javier Esparza, Catuscia Palamidessi, Gordon D. Plotkin, Natarajan Shankar
2018	—	`conf`	Feature Selection with Rényi Min-Entropy. ANNPR Catuscia Palamidessi, Marco Romanelli
2018	—	`conf`	Geometric Noise for Locally Private Counting Queries. PLAS@CCS Lefki Kacem, Catuscia Palamidessi
2018	A	`conf`	Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. CSF Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii
2018	—	`conf`	Leakage and Protocol Composition in a Game-Theoretic Perspective. POST Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2018	J	`jnl`	Leakage and Protocol Composition in a Game-Theoretic Perspective. CoRR Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2018	J	`jnl`	Metric-based local differential privacy for statistical applications. CoRR Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii
2017	J	`jnl`	Alonzo Church Award 2017 - Call for Nominations. Bull. EATCS Natarajan Shankar, Catuscia Palamidessi, Gordon D. Plotkin, Moshe Y. Vardi
2017	J	`jnl`	Efficient Utility Improvement for Location Privacy. Proc. Priv. Enhancing Technol. Konstantinos Chatzikokolakis, Ehab ElSalamouny, Catuscia Palamidessi
2017	—	`conf`	Information Leakage Games. GameSec Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2017	J	`jnl`	Information Leakage Games. CoRR Mário S. Alvim, Konstantinos Chatzikokolakis, Yusuke Kawamoto, Catuscia Palamidessi
2017	J	`jnl`	Methods for Location Privacy: A comparative overview. Found. Trends Priv. Secur. Konstantinos Chatzikokolakis, Ehab ElSalamouny, Catuscia Palamidessi, Anna Pazii
2017	J	`jnl`	On the Compositionality of Quantitative Information Flow. Log. Methods Comput. Sci. Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2017	J	`jnl`	Quantifying leakage in the presence of unreliable sources of information. J. Comput. Syst. Sci. Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone
2017	—	`conf`	Trading Optimality for Performance in Location Privacy. VALUETOOLS Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
2017	J	`jnl`	Trading Optimality for Performance in Location Privacy. CoRR Konstantinos Chatzikokolakis, Serge Haddad, Ali Kassem, Catuscia Palamidessi
2016	A	`conf`	Axioms for Information Leakage. CSF Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2016	J	`jnl`	Compositional methods for information-hiding. Math. Struct. Comput. Sci. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun
2016	J	`jnl`	On the Compositionality of Quantitative Information Flow. CoRR Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2016	J	`jnl`	Preserving differential privacy under finite-precision semantics. Theor. Comput. Sci. Ivan Gazeau, Dale Miller, Catuscia Palamidessi
2016	C	`conf`	Slicing Concurrent Constraint Programs. LOPSTR Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2016	J	`jnl`	Slicing Concurrent Constraint Programs. CoRR Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
2016	B	`conf`	Up-To Techniques for Generalized Bisimulation Metrics. CONCUR Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli
2015	—	`conf`	A Declarative View of Signaling Pathways. Programming Languages with Applications to Biology and Security Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2015	J	`jnl`	Abstract interpretation of temporal concurrent constraint programs. Theory Pract. Log. Program. Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2015	J	`jnl`	Constructing elastic distinguishability metrics for location privacy. CoRR Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2015	J	`jnl`	Constructing elastic distinguishability metrics for location privacy. Proc. Priv. Enhancing Technol. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2015	Misc	`conf`	Geo-indistinguishability: A Principled Approach to Location Privacy. ICDCIT Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2015	C	`conf`	Location Privacy via Geo-Indistinguishability. ICTAC Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2015	J	`jnl`	Location privacy via geo-indistinguishability. ACM SIGLOG News Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2015	J	`jnl`	On the information leakage of differentially-private mechanisms. J. Comput. Secur. Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2015	J	`jnl`	Preface to the special issue on quantitative information flow. Math. Struct. Comput. Sci. Miguel E. Andrés, Catuscia Palamidessi, Geoffrey Smith
2015	—	`conf`	Quantitative Approaches to the Protection of Private Information: State of the Art and Some Open Challenges. POST Catuscia Palamidessi
2014	A	`conf`	A Predictive Differentially-Private Mechanism for Mobility Traces. Privacy Enhancing Technologies Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2014	A	`conf`	Additive and Multiplicative Notions of Leakage, and Their Capacities. CSF Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
2014	—	`conf`	Compositionality Results for Quantitative Information Flow. QEST Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2014	C	`ed.`	Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings FORTE Erika Ábrahám, Catuscia Palamidessi
2014	J	`jnl`	Foundational aspects of security. J. Comput. Secur. Konstantinos Chatzikokolakis, Sebastian Alexander Mödersheim, Catuscia Palamidessi, Jun Pang
2014	B	`conf`	Generalized Bisimulation Metrics. CONCUR Konstantinos Chatzikokolakis, Daniel Gebler, Catuscia Palamidessi, Lili Xu
2014	—	`conf`	Generalized Differential Privacy: Regions of Priors That Admit Robust Optimal Mechanisms. Horizons of the Mind Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2014	—	`ed.`	Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday Horizons of the Mind Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
2014	A*	`conf`	Optimal Geo-Indistinguishable Mechanisms for Location Privacy. CCS Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2014	J	`jnl`	Optimal Geo-Indistinguishable Mechanisms for Location Privacy. CoRR Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2013	—	`conf`	A Differentially Private Mechanism of Optimal Utility for a Region of Priors. POST Ehab ElSalamouny, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2013	J	`jnl`	A Predictive Differentially-Private Mechanism for Location Privacy. CoRR Konstantinos Chatzikokolakis, Catuscia Palamidessi, Marco Stronati
2013	J	`jnl`	Abstract Interpretation of Temporal Concurrent Constraint Programs. CoRR Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2013	A	`conf`	Broadening the Scope of Differential Privacy Using Metrics. Privacy Enhancing Technologies Konstantinos Chatzikokolakis, Miguel E. Andrés, Nicolás Emilio Bordenabe, Catuscia Palamidessi
2013	J	`jnl`	Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi. CoRR Catuscia Palamidessi
2013	A*	`conf`	Geo-indistinguishability: differential privacy for location-based systems. CCS Miguel E. Andrés, Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2013	—	`conf`	Preserving differential privacy under finite-precision semantics. QAPL Ivan Gazeau, Dale Miller, Catuscia Palamidessi
2013	C	`conf`	Quantitative Approaches to Information Protection. WoLLIC Catuscia Palamidessi
2013	—	`ed.`	Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers TGC Catuscia Palamidessi, Mark Dermot Ryan
2012	—	`conf`	A non-local method for robustness analysis of floating point programs QAPL Ivan Gazeau, Dale Miller, Catuscia Palamidessi
2012	—	`conf`	Differential Privacy for Relational Algebra: Improving the Sensitivity Bounds via Constraint Systems QAPL Catuscia Palamidessi, Marco Stronati
2012	J	`jnl`	Epistemic Strategies and Games on Concurrent Processes. ACM Trans. Comput. Log. Konstantinos Chatzikokolakis, Sophia Knight, Catuscia Palamidessi, Prakash Panangaden
2012	J	`jnl`	Geo-Indistinguishability: Differential Privacy for Location-Based Systems CoRR Miguel E. Andrés, Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2012	—	`conf`	Hide and New in the Pi-Calculus EXPRESS/SOS Marco Giunti, Catuscia Palamidessi, Frank D. Valencia
2012	A	`conf`	Measuring Information Leakage Using Generalized Gain Functions. CSF Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey Smith
2012	J	`jnl`	Preface. Theor. Comput. Sci. Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
2012	J	`jnl`	Quantitative Security Analysis (Dagstuhl Seminar 12481). Dagstuhl Reports Boris Köpf, Pasquale Malacaria, Catuscia Palamidessi
2012	J	`jnl`	Quantitative information flow in interactive systems. J. Comput. Secur. Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
2012	B	`conf`	Spatial and Epistemic Modalities in Constraint-Based Process Calculi. CONCUR Sophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia
2012	—	`ed.`	Theory of Security and Applications - Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers TOSCA Sebastian Mödersheim, Catuscia Palamidessi
2011	B	`conf`	Deriving Labels and Bisimilarity for Concurrent Constraint Programming. FoSSaCS Andrés Aristizábal, Filippo Bonchi, Catuscia Palamidessi, Luis Fernando Pino, Frank D. Valencia
2011	—	`conf`	Differential Privacy: On the Trade-Off between Utility and Information Leakage. Formal Aspects in Security and Trust Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2011	J	`jnl`	Differential Privacy: on the trade-off between Utility and Information Leakage CoRR Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2011	J	`jnl`	Information hiding in probabilistic concurrent systems. Theor. Comput. Sci. Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
2011	—	`conf`	On the Relation between Differential Privacy and Quantitative Information Flow. ICALP (2) Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2011	J	`jnl`	On the relation between Differential Privacy and Quantitative Information Flow CoRR Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2011	—	`conf`	Quantitative Information Flow and Applications to Differential Privacy. FOSAD Mário S. Alvim, Miguel E. Andrés, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2010	—	`conf`	Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2010	B	`conf`	Compositionality of Secure Information Flow. MPC Catuscia Palamidessi
2010	A	`conf`	Computing the Leakage of Information-Hiding Systems. TACAS Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith
2010	—	`ch.`	Concurrent and Reactive Constraint Programming. 25 Years GULP Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia
2010	J	`jnl`	Differential Privacy versus Quantitative Information Flow CoRR Mário S. Alvim, Konstantinos Chatzikokolakis, Pierpaolo Degano, Catuscia Palamidessi
2010	—	`conf`	Entropy and Attack Models in Information Flow - (Invited Talk). IFIP TCS Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
2010	B	`conf`	Information Flow in Interactive Systems. CONCUR Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
2010	—	`conf`	Information Hiding in Probabilistic Concurrent Systems. QEST Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova
2010	—	`conf`	Interactive Information Flow - (Invited Talk). ARSPA-WITS Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés
2010	J	`jnl`	Making random choices invisible to the scheduler. Inf. Comput. Konstantinos Chatzikokolakis, Catuscia Palamidessi
2010	J	`jnl`	Preface. J. Comput. Secur. Daniele Gorla, Catuscia Palamidessi
2010	A*	`conf`	Probabilistic Information Flow. LICS Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
2010	A*	`conf`	Reconciling Belief and Vulnerability in Information Flow. IEEE Symposium on Security and Privacy Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi
2010	—	`conf`	Safe Equivalences for Security Properties. IFIP TCS Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum
2009	C	`conf`	A framework for abstract interpretation of timed concurrent constraint programs. PPDP Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi
2009	J	`jnl`	A quantitative doxastic logic for probabilistic processes and applications to information-hiding. J. Appl. Non Class. Logics Simon Kramer, Catuscia Palamidessi, Roberto Segala, Andrea Turrini, Christelle Braun
2009	J	`jnl`	Explicit fairness in testing semantics Log. Methods Comput. Sci. Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
2009	J	`jnl`	Foreword. Theor. Comput. Sci. Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi
2009	J	`jnl`	Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. IEEE Trans. Software Eng. Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
2009	B	`conf`	Preface. MFPS Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
2009	J	`jnl`	Probabilistic and nondeterministic aspects of anonymity. Theor. Comput. Sci. Romain Beauxis, Catuscia Palamidessi
2009	—	`conf`	Probable Innocence in the Presence of Independent Knowledge. Formal Aspects in Security and Trust Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab ElSalamouny
2009	B	`ed.`	Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009 MFPS Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi
2009	B	`conf`	Quantitative Notions of Leakage for One-try Attacks. MFPS Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2009	B	`ed.`	SOFSEM 2009: Theory and Practice of Computer Science, 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings SOFSEM Mogens Nielsen, Antonín Kucera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tuma, Frank D. Valencia
2008	J	`jnl`	Anonymity protocols as noisy channels. Inf. Comput. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2008	—	`conf`	Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols. TGC Abhishek Bhowmick, Catuscia Palamidessi
2008	B	`conf`	Compositional Methods for Information-Hiding. FoSSaCS Christelle Braun, Konstantinos Chatzikokolakis, Catuscia Palamidessi
2008	—	`conf`	On the Asynchronous Nature of the Asynchronous pi-Calculus. Concurrency, Graphs and Models Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia
2008	J	`jnl`	On the Bayes risk in information-hiding protocols. J. Comput. Secur. Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2008	—	`ed.`	Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, LIX 2006, Paris, France, November 13-15, 2006 LIX Catuscia Palamidessi, Frank Valencia
2007	B	`conf`	A Probabilistic Applied Pi-Calculus. APLAS Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina
2007	J	`jnl`	A framework for analyzing probabilistic protocols and its application to the Partial Secrets Exchange. Theor. Comput. Sci. Konstantinos Chatzikokolakis, Catuscia Palamidessi
2007	J	`jnl`	Axiomatizations for probabilistic finite-state behaviors. Theor. Comput. Sci. Yuxin Deng, Catuscia Palamidessi
2007	B	`conf`	Declarative Diagnosis of Temporal Concurrent Constraint Programs. ICLP Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
2007	—	`conf`	Formal Approaches to Information-Hiding (Tutorial). TGC Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2007	J	`jnl`	Making Random Choices Invisible to the Scheduler CoRR Konstantinos Chatzikokolakis, Catuscia Palamidessi
2007	B	`conf`	Making Random Choices Invisible to the Scheduler. CONCUR Konstantinos Chatzikokolakis, Catuscia Palamidessi
2007	—	`conf`	Model checking the probabilistic pi-calculus. QEST Gethin Norman, Catuscia Palamidessi, David Parker, Peng Wu
2007	—	`conf`	Preface. SecCO@CONCUR Daniele Gorla, Catuscia Palamidessi
2007	J	`jnl`	Preface. Theor. Comput. Sci. Giuseppe F. Italiano, Catuscia Palamidessi
2007	A	`conf`	Probability of Error in Information-Hiding Protocols. CSF Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2007	—	`ed.`	Proceedings of the Fifth Workshop on Security Issues in Concurrency, SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007 SecCo@CONCUR Daniele Gorla, Catuscia Palamidessi
2007	J	`jnl`	Separation of synchronous and asynchronous communication via testing. Theor. Comput. Sci. Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
2007	—	`conf`	Symbolic Bisimulations for Probabilistic Systems. QEST Peng Wu, Catuscia Palamidessi, Huimin Lin
2007	J	`jnl`	Tutorial on separation results in process calculi via leader election problems. Theor. Comput. Sci. Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
2007	B	`conf`	Universal Timed Concurrent Constraint Programming. ICLP Carlos Olarte, Catuscia Palamidessi, Frank Valencia
2006	B	`conf`	A Declarative Framework for Security: Secure Concurrent Constraint Programming. ICLP Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia
2006	—	`conf`	Anonymity Protocols as Noisy Channels. TGC Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
2006	—	`conf`	Expressiveness of Probabilistic pi. QAPL Sylvain Pradalier, Catuscia Palamidessi
2006	—	`conf`	Fair Pi. EXPRESS Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
2006	J	`jnl`	Languages for Concurrency. Bull. EATCS Catuscia Palamidessi, Frank D. Valencia
2006	—	`conf`	On Recursion, Replication and Scope Mechanisms in Process Calculi. FMCO Jesús Aranda, Cinzia Di Giusto, Catuscia Palamidessi, Frank D. Valencia
2006	A*	`conf`	On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. LICS Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
2006	—	`conf`	Preface. LIX Catuscia Palamidessi, Frank D. Valencia
2006	J	`jnl`	Probable innocence revisited. Theor. Comput. Sci. Konstantinos Chatzikokolakis, Catuscia Palamidessi
2005	—	`conf`	A Congruence Format for Name-passing Calculi. SOS@ICALP Axelle Ziegler, Dale Miller, Catuscia Palamidessi
2005	—	`conf`	A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange. TGC Konstantinos Chatzikokolakis, Catuscia Palamidessi
2005	J	`jnl`	A randomized encoding of the Pi-calculus with mixed choice. Theor. Comput. Sci. Catuscia Palamidessi, Oltea Mihaela Herescu
2005	—	`conf`	Anonymity in Probabilistic and Nondeterministic Systems. APC 25 Catuscia Palamidessi
2005	A*	`ed.`	Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings ICALP Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung
2005	B	`conf`	Axiomatizations for Probabilistic Finite-State Behaviors. FoSSaCS Yuxin Deng, Catuscia Palamidessi
2005	—	`conf`	Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles Yuxin Deng, Catuscia Palamidessi, Jun Pang
2005	—	`conf`	Metrics for Action-labelled Quantitative Transition Systems. QAPL Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
2005	B	`conf`	Probabilistic Anonymity. CONCUR Mohit Bhargava, Catuscia Palamidessi
2005	—	`conf`	Probabilistic Anonymity. Foundations of Global Computing Catuscia Palamidessi, Mohit Bhargava
2005	B	`conf`	Probabilistic and Nondeterministic Aspects of Anonymity. MFPS Catuscia Palamidessi
2005	—	`conf`	Probable Innocence Revisited. Formal Aspects in Security and Trust Konstantinos Chatzikokolakis, Catuscia Palamidessi
2005	J	`jnl`	Recursion vs Replication in Process Calculi: Expressiveness. Bull. EATCS Catuscia Palamidessi, Frank D. Valencia
2005	—	`conf`	Separation Results Via Leader Election Problems. FMCO Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
2005	—	`conf`	Separation of Synchronous and Asynchronous Communication Via Testing. EXPRESS Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi
2005	—	`conf`	Weak Probabilistic Anonymity. SecCO@CONCUR Yuxin Deng, Catuscia Palamidessi, Jun Pang
2003	J	`jnl`	Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi. Math. Struct. Comput. Sci. Catuscia Palamidessi
2003	J	`jnl`	Encoding transition systems in sequent calculus. Theor. Comput. Sci. Raymond McDowell, Dale Miller, Catuscia Palamidessi
2003	B	`ed.`	Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings ICLP Catuscia Palamidessi
2002	—	`conf`	A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice. IFIP TCS Catuscia Palamidessi, Oltea Mihaela Herescu
2002	—	`conf`	A Randomized Solution to the Distributed Resource Allocation Problem. IASTED PDCS Catuscia Palamidessi, M. Pilquist
2002	C	`conf`	Mobile calculi for distributed programming. PPDP Catuscia Palamidessi
2002	—	`conf`	On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk). EXPRESS Catuscia Palamidessi
2002	C	`conf`	On the expressive power of temporal concurrent constraint programming languages. PPDP Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
2002	J	`jnl`	Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nord. J. Comput. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
2001	A	`conf`	A Temporal Concurrent Constraint Programming Calculus. CP Catuscia Palamidessi, Frank D. Valencia
2001	J	`jnl`	Foreword. Theor. Comput. Sci. Catuscia Palamidessi
2001	J	`jnl`	On the generalized dining philosophers problem CoRR Oltea Mihaela Herescu, Catuscia Palamidessi
2001	A*	`conf`	On the generalized dining philosophers problem. PODC Oltea Mihaela Herescu, Catuscia Palamidessi
2001	J	`jnl`	Probabilistic asynchronous pi-calculus CoRR Oltea Mihaela Herescu, Catuscia Palamidessi
2000	B	`ed.`	CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings CONCUR Catuscia Palamidessi
2000	—	`ed.`	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings CL John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
2000	—	`conf`	Concurrent Constraint Programming with Process Mobility. Computational Logic David R. Gilbert, Catuscia Palamidessi
2000	J	`jnl`	Preface. Inf. Comput. Catuscia Palamidessi, Joachim Parrow, Rob J. van Glabbeek
2000	B	`conf`	Probabilistic Asynchronous pi-Calculus. FoSSaCS Oltea Mihaela Herescu, Catuscia Palamidessi
1999	J	`jnl`	Editorial: Selected Papers from the Joint International Symposium PLILP/ALP'98 J. Funct. Log. Program. Catuscia Palamidessi
1999	B	`conf`	Expressiveness and Distributed Implementation of Conciurrent Calculi with Link Mobility. CONCUR Catuscia Palamidessi
1999	J	`jnl`	Foundational Aspects of Syntax. ACM Comput. Surv. Dale Miller, Catuscia Palamidessi
1999	—	`conf`	The Replacement Operation for CCP Programs. APPIA-GULP-PRODE Marco Bertolino, Sandro Etalle, Catuscia Palamidessi
1999	C	`conf`	The Replacement Operation for CCP Programs. LOPSTR Marco Bertolino, Sandro Etalle, Catuscia Palamidessi
1998	J	`jnl`	Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus CoRR Catuscia Palamidessi
1998	—	`ed.`	Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998 EXPRESS Ilaria Castellani, Catuscia Palamidessi
1998	—	`conf`	Preface. EXPRESS Ilaria Castellani, Catuscia Palamidessi
1998	—	`ed.`	Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings PLILP Catuscia Palamidessi, Hugh Glaser, Karl Meinke
1997	J	`jnl`	An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
1997	A*	`conf`	Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus. POPL Catuscia Palamidessi
1997	J	`jnl`	Complementation in Abstract Interpretation. ACM Trans. Program. Lang. Syst. Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
1997	J	`jnl`	Confluence in Concurrent Constraint Programming. Theor. Comput. Sci. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1997	J	`jnl`	Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Inf. Comput. Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1997	—	`conf`	Constraint programming for concurrent and distributed computing. JFPLC Catuscia Palamidessi
1997	—	`conf`	Foreword. EXPRESS Catuscia Palamidessi, Joachim Parrow
1997	—	`ed.`	International Workshop on Expressiveness in Concurrency, EXPRESS 1997, Santa Margherita Ligure, Italy, September 8-12, 1997 EXPRESS Catuscia Palamidessi, Joachim Parrow
1997	C	`conf`	Partial Order and SOS Semantics for Linear Constraint Programs. COORDINATION Eike Best, Frank S. de Boer, Catuscia Palamidessi
1997	J	`jnl`	Proving Concurrent Constraint Programs Correct. ACM Trans. Program. Lang. Syst. Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
1996	—	`conf`	Encoding Transition Systems in Sequent Calculus. Linear Logic Tokyo Meeting Raymond McDowell, Dale Miller, Catuscia Palamidessi
1996	B	`conf`	Linear Constraint Systems as High-Level Nets. CONCUR Eike Best, Catuscia Palamidessi
1996	B	`conf`	Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. SAS Frank S. de Boer, Maurizio Gabbrielli, Catuscia Palamidessi
1995	B	`conf`	Complementation in Abstract Interpretation SAS Agostino Cortesi, Gilberto Filé, Roberto Giacobazzi, Catuscia Palamidessi, Francesco Ranzato
1995	—	`conf`	Concurrent Constraint Programming with Information Removal. CCP Frank S. de Boer, Catuscia Palamidessi, Eike Best
1995	—	`conf`	Confluence in Concurrent Constraint Programming. AMAST Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1995	J	`jnl`	Negation as Instantiation Inf. Comput. Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
1995	J	`jnl`	Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
1994	J	`jnl`	A Declarative Approach for First-Order Built-in's of Prolog. Appl. Algebra Eng. Commun. Comput. Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi
1994	A	`conf`	A Logical Denotational Semantics for Constraint Logic Programming. ESOP Alessandra Di Pierro, Catuscia Palamidessi
1994	—	`conf`	Concurrent Constraint Programming. ALP Catuscia Palamidessi
1994	—	`conf`	Concurrent Constraint Programming. PLILP Catuscia Palamidessi
1994	—	`conf`	Confluence and Concurrent Constraint Programming. GULP-PRODE (1) Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1994	—	`conf`	Denotational semantics for Concurrent Constraint Programs analyses. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1994	J	`jnl`	Embedding as a Tool for Language Comparison Inf. Comput. Frank S. de Boer, Catuscia Palamidessi
1994	—	`conf`	Fixpoint Semantics of L lambda. GULP-PRODE (1) Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa
1994	A*	`conf`	Proving Concurrent Constraint Programs Correct. POPL Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
1994	—	`conf`	Proving correctness of Concurrent Constraint Programs. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi
1993	J	`jnl`	A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs Inf. Comput. Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1993	A*	`conf`	Compositional Analysis for Concurrent Constraint Programming LICS Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi
1993	—	`conf`	Fixpoint Semantics of L-lambda. ILPS Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi
1993	—	`conf`	Non-monotonic Concurrent Constraint Programming. ILPS Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1992	—	`conf`	A Process Algebra of Concurrent Constraint Programming. JICSLP Frank S. de Boer, Catuscia Palamidessi
1992	—	`conf`	A Theory of First-Order Built-in's of Prolog. ALP Krzysztof R. Apt, Elena Marchiori, Catuscia Palamidessi
1992	A*	`conf`	Asynchronous Communication in Process Algebra LICS Frank S. de Boer, Jan Willem Klop, Catuscia Palamidessi
1992	J	`jnl`	From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic. Theor. Comput. Sci. Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1992	—	`conf`	On Blocks: Locality and Asynchronous Communication (Extended Abstract). REX Workshop Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1992	—	`conf`	On the Semantics of Concurrent Constraint Programming. ALPUK Frank S. de Boer, Catuscia Palamidessi
1992	J	`jnl`	Structural operational semantics for AKL. Future Gener. Comput. Syst. Seif Haridi, Sverker Janson, Catuscia Palamidessi
1991	—	`conf`	A Fully Abstract Model for Concurrent Constraint Programming. TAPSOFT, Vol.1 Frank S. de Boer, Catuscia Palamidessi
1991	J	`jnl`	Comments on "Logic-Programming with Equations". J. Log. Program. Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso, Catuscia Palamidessi
1991	B	`conf`	Embedding as a Tool for Language Comparison: On the CSP Hierarchy. CONCUR Frank S. de Boer, Catuscia Palamidessi
1991	J	`jnl`	Kernel-LEAF: A Logic plus Functional Language. J. Comput. Syst. Sci. Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1991	B	`conf`	Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. ICLP Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
1991	J	`jnl`	Semantic Models for Concurrent Logic Languages. Theor. Comput. Sci. Frank S. de Boer, Jan J. M. M. Rutten, Joost N. Kok, Catuscia Palamidessi
1991	—	`conf`	Structural Operational Semantics for Kernel Andorra Prolog. PARLE (2) Seif Haridi, Catuscia Palamidessi
1991	B	`conf`	The Failure of Failures in a Paradigm for Asynchronous Communication. CONCUR Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1990	A*	`conf`	Algebraic Properties of Idempotent Substitutions. ICALP Catuscia Palamidessi
1990	—	`conf`	Concurrent Logic Programming: Asynchronism and Language Comparison. NACLP Frank S. de Boer, Catuscia Palamidessi
1990	—	`conf`	Failure and Success made Symmetric. NACLP Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1990	B	`conf`	On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences. CONCUR Frank S. de Boer, Catuscia Palamidessi
1989	B	`conf`	Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses. MFCS Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1989	J	`jnl`	Declarative Modeling of the Operational Behavior of Logic Languages. Theor. Comput. Sci. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi, Maurizio Martelli
1989	B	`conf`	Semantic Models for a Version of PARLOG. ICLP Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten
1988	—	`conf`	A New Declarative Semantics for Logic Languages. ICLP/SLP Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi
1988	J	`jnl`	Contributions to the Semantics of Logic Perpetual Processes. Acta Informatica Giorgio Levi, Catuscia Palamidessi
1987	—	`conf`	A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso
1987	—	`conf`	A Two-Level Approach to Logic plus Functional Programming Integration. PARLE (1) Marco Bellia, Pier Giorgio Bosco, Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi
1987	B	`conf`	An Approach to the Declarative Semantics of Synchronization in Logic Languages. ICLP Giorgio Levi, Catuscia Palamidessi
1985	—	`conf`	The Declarative Semantics of Logical Read-Only Variables. SLP Giorgio Levi, Catuscia Palamidessi
1984	J	`jnl`	A Synchronization Logic: Axiomatics and Formal Semantics of Generalized Horn Clauses Inf. Control. Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi
1983	B	`conf`	On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. Logic Programming Workshop Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi