Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Catuscia Palamidessi
@article{DBLP:journals/popets/BiswasP24,
author = {Sayan Biswas and
Catuscia Palamidessi},
title = {{PRIVIC:} {A} privacy-preserving method for incremental collection
of location data},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2024},
number = {1},
pages = {582--596},
year = {2024},
url = {https://doi.org/10.56553/popets-2024-0033},
doi = {10.56553/POPETS-2024-0033},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/popets/BiswasP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GalliPC24,
author = {Filippo Galli and
Catuscia Palamidessi and
Tommaso Cucinotta},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Online Sensitivity Optimization in Differentially Private Learning},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {12109--12117},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i11.29099},
doi = {10.1609/AAAI.V38I11.29099},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GalliPC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/GrossoPPP23,
author = {Ganesh Del Grosso and
Georg Pichler and
Catuscia Palamidessi and
Pablo Piantanida},
title = {Bounding information leakage in machine learning},
journal = {Neurocomputing},
volume = {534},
pages = {1--17},
year = {2023},
url = {https://doi.org/10.1016/j.neucom.2023.02.058},
doi = {10.1016/J.NEUCOM.2023.02.058},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijon/GrossoPPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/FernandesMPD23,
author = {Natasha Fernandes and
Annabelle McIver and
Catuscia Palamidessi and
Ming Ding},
title = {Universal optimality and robust utility bounds for metric differential
privacy},
journal = {J. Comput. Secur.},
volume = {31},
number = {5},
pages = {539--580},
year = {2023},
url = {https://doi.org/10.3233/JCS-230036},
doi = {10.3233/JCS-230036},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcs/FernandesMPD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/ArcoleziGCP23,
author = {H{\'{e}}ber Hwang Arcolezi and
S{\'{e}}bastien Gambs and
Jean{-}Fran{\c{c}}ois Couchot and
Catuscia Palamidessi},
title = {On the Risks of Collecting Multidimensional Data Under Local Differential
Privacy},
journal = {Proc. {VLDB} Endow.},
volume = {16},
number = {5},
pages = {1126--1139},
year = {2023},
url = {https://www.vldb.org/pvldb/vol16/p1126-arcolezi.pdf},
doi = {10.14778/3579075.3579086},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/ArcoleziGCP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Palamidessi23,
author = {Catuscia Palamidessi},
title = {Chair's Letter},
journal = {{ACM} {SIGLOG} News},
volume = {10},
number = {1},
pages = {2},
year = {2023},
url = {https://doi.org/10.1145/3584676.3584678},
doi = {10.1145/3584676.3584678},
timestamp = {Sun, 26 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Palamidessi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sncs/GalliJBPC23,
author = {Filippo Galli and
Kangsoo Jung and
Sayan Biswas and
Catuscia Palamidessi and
Tommaso Cucinotta},
title = {Advancing Personalized Federated Learning: Group Privacy, Fairness,
and Beyond},
journal = {{SN} Comput. Sci.},
volume = {4},
number = {6},
pages = {831},
year = {2023},
url = {https://doi.org/10.1007/s42979-023-02292-0},
doi = {10.1007/S42979-023-02292-0},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sncs/GalliJBPC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/Palamidessi23,
author = {Catuscia Palamidessi},
editor = {Mohamed Shehab and
Maribel Fern{\'{a}}ndez and
Ninghui Li},
title = {Local Methods for Privacy Protection and Impact on Fairness},
booktitle = {Proceedings of the Thirteenth {ACM} Conference on Data and Application
Security and Privacy, {CODASPY} 2023, Charlotte, NC, USA, April 24-26,
2023},
pages = {103},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3577923.3587263},
doi = {10.1145/3577923.3587263},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codaspy/Palamidessi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ChatzikokolakisCPT23,
author = {Konstantinos Chatzikokolakis and
Giovanni Cherubin and
Catuscia Palamidessi and
Carmela Troncoso},
title = {Bayes Security: {A} Not So Average Metric},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {388--406},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00011},
doi = {10.1109/CSF57540.2023.00011},
timestamp = {Tue, 05 Sep 2023 20:33:27 +0200},
biburl = {https://dblp.org/rec/conf/csfw/ChatzikokolakisCPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JuradoGAP23,
author = {Mireya Jurado and
Ramon G. Gonze and
M{\'{a}}rio S. Alvim and
Catuscia Palamidessi},
title = {Analyzing the Shuffle Model Through the Lens of Quantitative Information
Flow},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {423--438},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00033},
doi = {10.1109/CSF57540.2023.00033},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/JuradoGAP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/ArcoleziMP23,
author = {H{\'{e}}ber Hwang Arcolezi and
Karima Makhlouf and
Catuscia Palamidessi},
editor = {Vijayalakshmi Atluri and
Anna Lisa Ferrara},
title = {(Local) Differential Privacy has {NO} Disparate Impact on Fairness},
booktitle = {Data and Applications Security and Privacy {XXXVII} - 37th Annual
{IFIP} {WG} 11.3 Conference, DBSec 2023, Sophia-Antipolis, France,
July 19-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13942},
pages = {3--21},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37586-6\_1},
doi = {10.1007/978-3-031-37586-6\_1},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/ArcoleziMP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbsec/ArcoleziCP23,
author = {H{\'{e}}ber Hwang Arcolezi and
Selene Cerna and
Catuscia Palamidessi},
editor = {Vijayalakshmi Atluri and
Anna Lisa Ferrara},
title = {On the Utility Gain of Iterative Bayesian Update for Locally Differentially
Private Mechanisms},
booktitle = {Data and Applications Security and Privacy {XXXVII} - 37th Annual
{IFIP} {WG} 11.3 Conference, DBSec 2023, Sophia-Antipolis, France,
July 19-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13942},
pages = {165--183},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37586-6\_11},
doi = {10.1007/978-3-031-37586-6\_11},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dbsec/ArcoleziCP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/ArcoleziPPG23,
author = {H{\'{e}}ber Hwang Arcolezi and
Carlos Pinz{\'{o}}n and
Catuscia Palamidessi and
S{\'{e}}bastien Gambs},
editor = {Julia Stoyanovich and
Jens Teubner and
Nikos Mamoulis and
Evaggelia Pitoura and
Jan M{\"{u}}hlig and
Katja Hose and
Sourav S. Bhowmick and
Matteo Lissandrini},
title = {Frequency Estimation of Evolving Data Under Local Differential Privacy},
booktitle = {Proceedings 26th International Conference on Extending Database Technology,
{EDBT} 2023, Ioannina, Greece, March 28-31, 2023},
pages = {512--525},
publisher = {OpenProceedings.org},
year = {2023},
url = {https://doi.org/10.48786/edbt.2023.44},
doi = {10.48786/EDBT.2023.44},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edbt/ArcoleziPPG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icissp/GalliBJCP23,
author = {Filippo Galli and
Sayan Biswas and
Kangsoo Jung and
Tommaso Cucinotta and
Catuscia Palamidessi},
editor = {Paolo Mori and
Gabriele Lenzini and
Steven Furnell},
title = {Group Privacy for Personalized Federated Learning},
booktitle = {Proceedings of the 9th International Conference on Information Systems
Security and Privacy, {ICISSP} 2023, Lisbon, Portugal, February 22-24,
2023},
pages = {252--263},
publisher = {SciTePress},
year = {2023},
url = {https://doi.org/10.5220/0011885000003405},
doi = {10.5220/0011885000003405},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icissp/GalliBJCP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/CernaP23,
author = {Selene Cerna and
Catuscia Palamidessi},
editor = {Krystal Maughan and
Rosanne Liu and
Thomas F. Burns},
title = {On the application and impact of {\(\epsilon\)}-DP and fairness in
ambulance engagement time prediction},
booktitle = {The First Tiny Papers Track at {ICLR} 2023, Tiny Papers @ {ICLR} 2023,
Kigali, Rwanda, May 5, 2023},
publisher = {OpenReview.net},
year = {2023},
url = {https://openreview.net/pdf?id=WKVH54a1W4},
timestamp = {Wed, 19 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/CernaP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/GorlaJGPP23,
author = {Daniele Gorla and
Louis Jalouzot and
Federica Granese and
Catuscia Palamidessi and
Pablo Piantanida},
editor = {Giuseppa Castiglione and
Marinella Sciortino},
title = {On the (Im)Possibility of Estimating Various Notions of Differential
Privacy (short paper)},
booktitle = {Proceedings of the 24th Italian Conference on Theoretical Computer
Science, Palermo, Italy, September 13-15, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3587},
pages = {219--224},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3587/8823.pdf},
timestamp = {Mon, 18 Dec 2023 16:58:34 +0100},
biburl = {https://dblp.org/rec/conf/ictcs/GorlaJGPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispec/SimonPPP23,
author = {Sebastian Simon and
Cezara Petrui and
Carlos Pinz{\'{o}}n and
Catuscia Palamidessi},
editor = {Weizhi Meng and
Zheng Yan and
Vincenzo Piuri},
title = {Obfuscation Padding Schemes that Minimize R{\'{e}}nyi Min-Entropy
for Privacy},
booktitle = {Information Security Practice and Experience - 18th International
Conference, {ISPEC} 2023, Copenhagen, Denmark, August 24-25, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14341},
pages = {74--90},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-7032-2\_5},
doi = {10.1007/978-981-99-7032-2\_5},
timestamp = {Wed, 15 Nov 2023 10:18:14 +0100},
biburl = {https://dblp.org/rec/conf/ispec/SimonPPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-12845,
author = {H{\'{e}}ber Hwang Arcolezi and
Karima Makhlouf and
Catuscia Palamidessi},
title = {(Local) Differential Privacy has {NO} Disparate Impact on Fairness},
journal = {CoRR},
volume = {abs/2304.12845},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.12845},
doi = {10.48550/ARXIV.2304.12845},
eprinttype = {arXiv},
eprint = {2304.12845},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-12845.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-13075,
author = {Mireya Jurado and
Ramon G. Gonze and
M{\'{a}}rio S. Alvim and
Catuscia Palamidessi},
title = {Analyzing the Shuffle Model through the Lens of Quantitative Information
Flow},
journal = {CoRR},
volume = {abs/2305.13075},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.13075},
doi = {10.48550/ARXIV.2305.13075},
eprinttype = {arXiv},
eprint = {2305.13075},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-13075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-02891,
author = {Ruta Binkyte and
Daniele Gorla and
Catuscia Palamidessi},
title = {BaBE: Enhancing Fairness via Estimation of Latent Explaining Variables},
journal = {CoRR},
volume = {abs/2307.02891},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.02891},
doi = {10.48550/ARXIV.2307.02891},
eprinttype = {arXiv},
eprint = {2307.02891},
timestamp = {Mon, 10 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-02891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07744,
author = {H{\'{e}}ber Hwang Arcolezi and
Selene Cerna and
Catuscia Palamidessi},
title = {On the Utility Gain of Iterative Bayesian Update for Locally Differentially
Private Mechanisms},
journal = {CoRR},
volume = {abs/2307.07744},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07744},
doi = {10.48550/ARXIV.2307.07744},
eprinttype = {arXiv},
eprint = {2307.07744},
timestamp = {Tue, 25 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-00416,
author = {Filippo Galli and
Kangsoo Jung and
Sayan Biswas and
Catuscia Palamidessi and
Tommaso Cucinotta},
title = {Advancing Personalized Federated Learning: Group Privacy, Fairness,
and Beyond},
journal = {CoRR},
volume = {abs/2309.00416},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.00416},
doi = {10.48550/ARXIV.2309.00416},
eprinttype = {arXiv},
eprint = {2309.00416},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-00416.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-00829,
author = {Filippo Galli and
Catuscia Palamidessi and
Tommaso Cucinotta},
title = {Online Sensitivity Optimization in Differentially Private Learning},
journal = {CoRR},
volume = {abs/2310.00829},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.00829},
doi = {10.48550/ARXIV.2310.00829},
eprinttype = {arXiv},
eprint = {2310.00829},
timestamp = {Wed, 18 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-00829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-04037,
author = {Ruta Binkyte and
Carlos Pinz{\'{o}}n and
Szilvia Lesty{\'{a}}n and
Kangsoo Jung and
H{\'{e}}ber Hwang Arcolezi and
Catuscia Palamidessi},
title = {Causal Discovery Under Local Privacy},
journal = {CoRR},
volume = {abs/2311.04037},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.04037},
doi = {10.48550/ARXIV.2311.04037},
eprinttype = {arXiv},
eprint = {2311.04037},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-04037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-04404,
author = {Karima Makhlouf and
H{\'{e}}ber Hwang Arcolezi and
Sami Zhioua and
Ghassen Ben Brahim and
Catuscia Palamidessi},
title = {On the Impact of Multi-dimensional Local Differential Privacy on Fairness},
journal = {CoRR},
volume = {abs/2312.04404},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.04404},
doi = {10.48550/ARXIV.2312.04404},
eprinttype = {arXiv},
eprint = {2312.04404},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-04404.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/AlvimCKP22,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {Information Leakage Games: Exploring Information as a Utility Function},
journal = {{ACM} Trans. Priv. Secur.},
volume = {25},
number = {3},
pages = {20:1--20:36},
year = {2022},
url = {https://doi.org/10.1145/3517330},
doi = {10.1145/3517330},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/AlvimCKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PinzonPPV22,
author = {Carlos Pinz{\'{o}}n and
Catuscia Palamidessi and
Pablo Piantanida and
Frank Valencia},
title = {On the Impossibility of Non-trivial Accuracy in Presence of Fairness
Constraints},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {7993--8000},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i7.20770},
doi = {10.1609/AAAI.V36I7.20770},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PinzonPPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afci/BinkyteMPZP22,
author = {Ruta Binkyte and
Karima Makhlouf and
Carlos Pinz{\'{o}}n and
Sami Zhioua and
Catuscia Palamidessi},
editor = {Awa Dieng and
Miriam Rateike and
Golnoosh Farnadi and
Ferdinando Fioretto and
Matt J. Kusner and
Jessica Schrouff},
title = {Causal Discovery for Fairness},
booktitle = {Algorithmic Fairness through the Lens of Causality and Privacy Workshop,
{AFCP} 2022, New Orleans, LA, {USA} (hybrid), 03 December 2022},
series = {Proceedings of Machine Learning Research},
volume = {214},
pages = {7--22},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v214/binkyte23a.html},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/afci/BinkyteMPZP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/FernandesMPD22,
author = {Natasha Fernandes and
Annabelle McIver and
Catuscia Palamidessi and
Ming Ding},
title = {Universal Optimality and Robust Utility Bounds for Metric Differential
Privacy},
booktitle = {35th {IEEE} Computer Security Foundations Symposium, {CSF} 2022, Haifa,
Israel, August 7-10, 2022},
pages = {348--363},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CSF54842.2022.9919647},
doi = {10.1109/CSF54842.2022.9919647},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/FernandesMPD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/GrossoJPPP22,
author = {Ganesh Del Grosso and
Hamid Jalalzai and
Georg Pichler and
Catuscia Palamidessi and
Pablo Piantanida},
title = {Leveraging Adversarial Examples to Quantify Membership Information
Leakage},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2022, New Orleans, LA, USA, June 18-24, 2022},
pages = {10389--10399},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CVPR52688.2022.01015},
doi = {10.1109/CVPR52688.2022.01015},
timestamp = {Wed, 05 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/GrossoJPPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/ArcoleziCGPZ22,
author = {H{\'{e}}ber Hwang Arcolezi and
Jean{-}Fran{\c{c}}ois Couchot and
S{\'{e}}bastien Gambs and
Catuscia Palamidessi and
Majid Zolfaghari},
editor = {Vijayalakshmi Atluri and
Roberto Di Pietro and
Christian Damsgaard Jensen and
Weizhi Meng},
title = {Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential
Privacy in Python},
booktitle = {Computer Security - {ESORICS} 2022 - 27th European Symposium on Research
in Computer Security, Copenhagen, Denmark, September 26-30, 2022,
Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13556},
pages = {770--775},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17143-7\_40},
doi = {10.1007/978-3-031-17143-7\_40},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esorics/ArcoleziCGPZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-05900,
author = {Karima Makhlouf and
Sami Zhioua and
Catuscia Palamidessi},
title = {Identifiability of Causal-based Fairness Notions: {A} State of the
Art},
journal = {CoRR},
volume = {abs/2203.05900},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.05900},
doi = {10.48550/ARXIV.2203.05900},
eprinttype = {arXiv},
eprint = {2203.05900},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-05900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-09566,
author = {Ganesh Del Grosso and
Hamid Jalalzai and
Georg Pichler and
Catuscia Palamidessi and
Pablo Piantanida},
title = {Leveraging Adversarial Examples to Quantify Membership Information
Leakage},
journal = {CoRR},
volume = {abs/2203.09566},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.09566},
doi = {10.48550/ARXIV.2203.09566},
eprinttype = {arXiv},
eprint = {2203.09566},
timestamp = {Mon, 28 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09566.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01258,
author = {Natasha Fernandes and
Annabelle McIver and
Catuscia Palamidessi and
Ming Ding},
title = {Universal Optimality and Robust Utility Bounds for Metric Differential
Privacy},
journal = {CoRR},
volume = {abs/2205.01258},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01258},
doi = {10.48550/ARXIV.2205.01258},
eprinttype = {arXiv},
eprint = {2205.01258},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01258.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-02648,
author = {H{\'{e}}ber Hwang Arcolezi and
Jean{-}Fran{\c{c}}ois Couchot and
S{\'{e}}bastien Gambs and
Catuscia Palamidessi and
Majid Zolfaghari},
title = {Multi-Freq-LDPy: Multiple Frequency Estimation Under Local Differential
Privacy in Python},
journal = {CoRR},
volume = {abs/2205.02648},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.02648},
doi = {10.48550/ARXIV.2205.02648},
eprinttype = {arXiv},
eprint = {2205.02648},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-02648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-04410,
author = {Sayan Biswas and
Kangsoo Jung and
Catuscia Palamidessi},
title = {Tight Differential Privacy Blanket for Shuffle Model},
journal = {CoRR},
volume = {abs/2205.04410},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.04410},
doi = {10.48550/ARXIV.2205.04410},
eprinttype = {arXiv},
eprint = {2205.04410},
timestamp = {Wed, 11 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-04410.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08858,
author = {Sayan Biswas and
Kangsoo Jung and
Catuscia Palamidessi},
title = {Tight Differential Privacy Guarantees for the Shuffle Model with k-Randomized
Response},
journal = {CoRR},
volume = {abs/2205.08858},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08858},
doi = {10.48550/ARXIV.2205.08858},
eprinttype = {arXiv},
eprint = {2205.08858},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08858.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-02060,
author = {Ugur{-}Ilker Atmaca and
Sayan Biswas and
Carsten Maple and
Catuscia Palamidessi},
title = {A privacy preserving querying mechanism with high utility for electric
vehicles},
journal = {CoRR},
volume = {abs/2206.02060},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.02060},
doi = {10.48550/ARXIV.2206.02060},
eprinttype = {arXiv},
eprint = {2206.02060},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-02060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03396,
author = {Filippo Galli and
Sayan Biswas and
Kangsoo Jung and
Catuscia Palamidessi and
Tommaso Cucinotta},
title = {Group privacy for personalized federated learning},
journal = {CoRR},
volume = {abs/2206.03396},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03396},
doi = {10.48550/ARXIV.2206.03396},
eprinttype = {arXiv},
eprint = {2206.03396},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06685,
author = {Ruta Binkyte{-}Sadauskiene and
Karima Makhlouf and
Carlos Pinz{\'{o}}n and
Sami Zhioua and
Catuscia Palamidessi},
title = {Causal Discovery for Fairness},
journal = {CoRR},
volume = {abs/2206.06685},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06685},
doi = {10.48550/ARXIV.2206.06685},
eprinttype = {arXiv},
eprint = {2206.06685},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-10525,
author = {Sayan Biswas and
Catuscia Palamidessi},
title = {Three-way optimization of privacy and utility of location data},
journal = {CoRR},
volume = {abs/2206.10525},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.10525},
doi = {10.48550/ARXIV.2206.10525},
eprinttype = {arXiv},
eprint = {2206.10525},
timestamp = {Mon, 27 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-10525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-11268,
author = {Ehab ElSalamouny and
Catuscia Palamidessi},
title = {Reconstruction of the distribution of sensitive data under free-will
privacy},
journal = {CoRR},
volume = {abs/2208.11268},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.11268},
doi = {10.48550/ARXIV.2208.11268},
eprinttype = {arXiv},
eprint = {2208.11268},
timestamp = {Tue, 30 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-11268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-14414,
author = {Daniele Gorla and
Louis Jalouzot and
Federica Granese and
Catuscia Palamidessi and
Pablo Piantanida},
title = {On the (Im)Possibility of Estimating Various Notions of Differential
Privacy},
journal = {CoRR},
volume = {abs/2208.14414},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.14414},
doi = {10.48550/ARXIV.2208.14414},
eprinttype = {arXiv},
eprint = {2208.14414},
timestamp = {Thu, 01 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-01684,
author = {H{\'{e}}ber Hwang Arcolezi and
S{\'{e}}bastien Gambs and
Jean{-}Fran{\c{c}}ois Couchot and
Catuscia Palamidessi},
title = {On the Risks of Collecting Multidimensional Data Under Local Differential
Privacy},
journal = {CoRR},
volume = {abs/2209.01684},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.01684},
doi = {10.48550/ARXIV.2209.01684},
eprinttype = {arXiv},
eprint = {2209.01684},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-01684.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-04379,
author = {Sebastian Simon and
Cezara Petrui and
Carlos Pinz{\'{o}}n and
Catuscia Palamidessi},
title = {Minimizing Information Leakage under Padding Constraints},
journal = {CoRR},
volume = {abs/2209.04379},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.04379},
doi = {10.48550/ARXIV.2209.04379},
eprinttype = {arXiv},
eprint = {2209.04379},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-04379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-13012,
author = {Guilherme Alves and
Fabien Bernier and
Miguel Couceiro and
Karima Makhlouf and
Catuscia Palamidessi and
Sami Zhioua},
title = {Survey on Fairness Notions and Related Tensions},
journal = {CoRR},
volume = {abs/2209.13012},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.13012},
doi = {10.48550/ARXIV.2209.13012},
eprinttype = {arXiv},
eprint = {2209.13012},
timestamp = {Thu, 06 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-13012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-00262,
author = {H{\'{e}}ber Hwang Arcolezi and
Carlos Pinz{\'{o}}n and
Catuscia Palamidessi and
S{\'{e}}bastien Gambs},
title = {Frequency Estimation of Evolving Data Under Local Differential Privacy},
journal = {CoRR},
volume = {abs/2210.00262},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.00262},
doi = {10.48550/ARXIV.2210.00262},
eprinttype = {arXiv},
eprint = {2210.00262},
timestamp = {Fri, 07 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-00262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijisec/GraneseGP21,
author = {Federica Granese and
Daniele Gorla and
Catuscia Palamidessi},
title = {Enhanced models for privacy and utility in continuous-time diffusion
networks},
journal = {Int. J. Inf. Sec.},
volume = {20},
number = {5},
pages = {763--782},
year = {2021},
url = {https://doi.org/10.1007/s10207-020-00530-7},
doi = {10.1007/S10207-020-00530-7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijisec/GraneseGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipm/MakhloufZP21,
author = {Karima Makhlouf and
Sami Zhioua and
Catuscia Palamidessi},
title = {Machine learning fairness notions: Bridging the gap with real-world
applications},
journal = {Inf. Process. Manag.},
volume = {58},
number = {5},
pages = {102642},
year = {2021},
url = {https://doi.org/10.1016/j.ipm.2021.102642},
doi = {10.1016/J.IPM.2021.102642},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipm/MakhloufZP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigkdd/MakhloufZP21,
author = {Karima Makhlouf and
Sami Zhioua and
Catuscia Palamidessi},
title = {On the Applicability of Machine Learning Fairness Notions},
journal = {{SIGKDD} Explor.},
volume = {23},
number = {1},
pages = {14--23},
year = {2021},
url = {https://doi.org/10.1145/3468507.3468511},
doi = {10.1145/3468507.3468511},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigkdd/MakhloufZP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JungBP21,
author = {Kangsoo Jung and
Sayan Biswas and
Catuscia Palamidessi},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {Establishing the Price of Privacy in Federated Data Trading},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
on the Occasion of his 66.66th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13066},
pages = {232--250},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_13},
doi = {10.1007/978-3-030-91631-2\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/JungBP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001AGPY21,
author = {Nathalie Bertrand and
Luca de Alfaro and
Rob van Glabbeek and
Catuscia Palamidessi and
Nobuko Yoshida},
editor = {Serge Haddad and
Daniele Varacca},
title = {{CONCUR} Test-Of-Time Award 2021 (Invited Paper)},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {1:1--1:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.1},
doi = {10.4230/LIPICS.CONCUR.2021.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001AGPY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JuradoP021,
author = {Mireya Jurado and
Catuscia Palamidessi and
Geoffrey Smith},
title = {A Formal Information-Theoretic Leakage Analysis of Order-Revealing
Encryption},
booktitle = {34th {IEEE} Computer Security Foundations Symposium, {CSF} 2021, Dubrovnik,
Croatia, June 21-25, 2021},
pages = {1--16},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CSF51468.2021.00046},
doi = {10.1109/CSF51468.2021.00046},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/JuradoP021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BiswasJP21,
author = {Sayan Biswas and
Kangsoo Jung and
Catuscia Palamidessi},
editor = {Antonio Cerone and
Peter Csaba {\"{O}}lveczky},
title = {An Incentive Mechanism for Trading Personal Data in Data Markets},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12819},
pages = {197--213},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85315-0\_12},
doi = {10.1007/978-3-030-85315-0\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/BiswasJP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/MishraVAP21,
author = {Abhishek Kumar Mishra and
Aline Carneiro Viana and
Nadjib Achir and
Catuscia Palamidessi},
title = {Public Wireless Packets Anonymously Hurt You},
booktitle = {46th {IEEE} Conference on Local Computer Networks, {LCN} 2021, Edmonton,
AB, Canada, October 4-7, 2021},
pages = {649--652},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LCN52139.2021.9524956},
doi = {10.1109/LCN52139.2021.9524956},
timestamp = {Tue, 16 Aug 2022 23:04:40 +0200},
biburl = {https://dblp.org/rec/conf/lcn/MishraVAP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/GraneseRGPP21,
author = {Federica Granese and
Marco Romanelli and
Daniele Gorla and
Catuscia Palamidessi and
Pablo Piantanida},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {{DOCTOR:} {A} Simple Method for Detecting Misclassification Errors},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {5669--5681},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/2cb6b10338a7fc4117a80da24b582060-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/GraneseRGPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03875,
author = {Ganesh Del Grosso and
Georg Pichler and
Catuscia Palamidessi and
Pablo Piantanida},
title = {Bounding Information Leakage in Machine Learning},
journal = {CoRR},
volume = {abs/2105.03875},
year = {2021},
url = {https://arxiv.org/abs/2105.03875},
eprinttype = {arXiv},
eprint = {2105.03875},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-03875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-02395,
author = {Federica Granese and
Marco Romanelli and
Daniele Gorla and
Catuscia Palamidessi and
Pablo Piantanida},
title = {{DOCTOR:} {A} Simple Method for Detecting Misclassification Errors},
journal = {CoRR},
volume = {abs/2106.02395},
year = {2021},
url = {https://arxiv.org/abs/2106.02395},
eprinttype = {arXiv},
eprint = {2106.02395},
timestamp = {Thu, 10 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-02395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-14187,
author = {Sayan Biswas and
Kangsoo Jung and
Catuscia Palamidessi},
title = {An Incentive Mechanism for Trading Personal Data in Data Markets},
journal = {CoRR},
volume = {abs/2106.14187},
year = {2021},
url = {https://arxiv.org/abs/2106.14187},
eprinttype = {arXiv},
eprint = {2106.14187},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-14187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-06944,
author = {Carlos Pinz{\'{o}}n and
Catuscia Palamidessi and
Pablo Piantanida and
Frank Valencia},
title = {On the impossibility of non-trivial accuracy under fairness constraints},
journal = {CoRR},
volume = {abs/2107.06944},
year = {2021},
url = {https://arxiv.org/abs/2107.06944},
eprinttype = {arXiv},
eprint = {2107.06944},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06944.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-15415,
author = {Kangsoo Jung and
Sayan Biswas and
Catuscia Palamidessi},
title = {Establishing the Price of Privacy in Federated Data Trading},
journal = {CoRR},
volume = {abs/2111.15415},
year = {2021},
url = {https://arxiv.org/abs/2111.15415},
eprinttype = {arXiv},
eprint = {2111.15415},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-15415.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/isc/AlvimCMMPS20,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Annabelle McIver and
Carroll Morgan and
Catuscia Palamidessi and
Geoffrey Smith},
title = {The Science of Quantitative Information Flow},
series = {Information Security and Cryptography},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-319-96131-6},
doi = {10.1007/978-3-319-96131-6},
isbn = {978-3-319-96129-3},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/isc/AlvimCMMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FalaschiGOP20,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Carlos Olarte and
Catuscia Palamidessi},
title = {Dynamic Slicing for Concurrent Constraint Languages},
journal = {Fundam. Informaticae},
volume = {177},
number = {3-4},
pages = {331--357},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1992},
doi = {10.3233/FI-2020-1992},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FalaschiGOP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocsap/ChatzikokolakisFP20,
author = {Konstantinos Chatzikokolakis and
Natasha Fernandes and
Catuscia Palamidessi},
title = {Refinement Orders for Quantitative Information Flow and Differential
Privacy},
journal = {J. Cybersecur. Priv.},
volume = {1},
number = {1},
pages = {40--77},
year = {2020},
url = {https://doi.org/10.3390/jcp1010004},
doi = {10.3390/JCP1010004},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jocsap/ChatzikokolakisFP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CastiglioniCP20,
author = {Valentina Castiglioni and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {A logical characterization of differential privacy},
journal = {Sci. Comput. Program.},
volume = {188},
pages = {102388},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102388},
doi = {10.1016/J.SCICO.2019.102388},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CastiglioniCP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FalaschiP020,
author = {Moreno Falaschi and
Catuscia Palamidessi and
Marco Romanelli},
editor = {Frank S. de Boer and
Jacopo Mauro},
title = {Derivation of Constraints from Machine Learning Models and Applications
to Security and Privacy},
booktitle = {Recent Developments in the Design and Implementation of Programming
Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},
series = {OASIcs},
volume = {86},
pages = {11:1--11:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.Gabbrielli.11},
doi = {10.4230/OASICS.GABBRIELLI.11},
timestamp = {Sun, 07 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/FalaschiP020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/0002CPP20,
author = {Marco Romanelli and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Pablo Piantanida},
editor = {Jay Ligatti and
Xinming Ou and
Jonathan Katz and
Giovanni Vigna},
title = {Estimating g-Leakage via Machine Learning},
booktitle = {{CCS} '20: 2020 {ACM} {SIGSAC} Conference on Computer and Communications
Security, Virtual Event, USA, November 9-13, 2020},
pages = {697--716},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372297.3423363},
doi = {10.1145/3372297.3423363},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/0002CPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Palamidessi020,
author = {Catuscia Palamidessi and
Marco Romanelli},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {Modern Applications of Game-Theoretic Principles (Invited Paper)},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {4:1--4:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.4},
doi = {10.4230/LIPICS.CONCUR.2020.4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Palamidessi020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/00020P20,
author = {Marco Romanelli and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {Optimal Obfuscation Mechanisms via Machine Learning},
booktitle = {33rd {IEEE} Computer Security Foundations Symposium, {CSF} 2020, Boston,
MA, USA, June 22-26, 2020},
pages = {153--168},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CSF49147.2020.00019},
doi = {10.1109/CSF49147.2020.00019},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/00020P20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/ElSalamounyP20,
author = {Ehab ElSalamouny and
Catuscia Palamidessi},
title = {Generalized Iterative Bayesian Update and Applications to Mechanisms
for Privacy Protection},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2020, Genoa, Italy, September 7-11, 2020},
pages = {490--507},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EuroSP48549.2020.00038},
doi = {10.1109/EUROSP48549.2020.00038},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/ElSalamounyP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-09654,
author = {Catuscia Palamidessi and
Marco Romanelli},
title = {Feature selection in machine learning: R{\'{e}}nyi min-entropy
vs Shannon entropy},
journal = {CoRR},
volume = {abs/2001.09654},
year = {2020},
url = {https://arxiv.org/abs/2001.09654},
eprinttype = {arXiv},
eprint = {2001.09654},
timestamp = {Thu, 30 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-09654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-04399,
author = {Marco Romanelli and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Pablo Piantanida},
title = {Estimating g-Leakage via Machine Learning},
journal = {CoRR},
volume = {abs/2005.04399},
year = {2020},
url = {https://arxiv.org/abs/2005.04399},
eprinttype = {arXiv},
eprint = {2005.04399},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-04399.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-16745,
author = {Karima Makhlouf and
Sami Zhioua and
Catuscia Palamidessi},
title = {On the Applicability of {ML} Fairness Notions},
journal = {CoRR},
volume = {abs/2006.16745},
year = {2020},
url = {https://arxiv.org/abs/2006.16745},
eprinttype = {arXiv},
eprint = {2006.16745},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-16745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-09553,
author = {Karima Makhlouf and
Sami Zhioua and
Catuscia Palamidessi},
title = {Survey on Causal-based Machine Learning Fairness Notions},
journal = {CoRR},
volume = {abs/2010.09553},
year = {2020},
url = {https://arxiv.org/abs/2010.09553},
eprinttype = {arXiv},
eprint = {2010.09553},
timestamp = {Wed, 21 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-09553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-03396,
author = {Konstantinos Chatzikokolakis and
Giovanni Cherubin and
Catuscia Palamidessi and
Carmela Troncoso},
title = {The Bayes Security Measure},
journal = {CoRR},
volume = {abs/2011.03396},
year = {2020},
url = {https://arxiv.org/abs/2011.03396},
eprinttype = {arXiv},
eprint = {2011.03396},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-03396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12060,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {Information Leakage Games: Exploring Information as a Utility Function},
journal = {CoRR},
volume = {abs/2012.12060},
year = {2020},
url = {https://arxiv.org/abs/2012.12060},
eprinttype = {arXiv},
eprint = {2012.12060},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-12060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlvimCMMPS19,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Annabelle McIver and
Carroll Morgan and
Catuscia Palamidessi and
Geoffrey Smith},
title = {An axiomatization of information flow measures},
journal = {Theor. Comput. Sci.},
volume = {777},
pages = {32--54},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.10.016},
doi = {10.1016/J.TCS.2018.10.016},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlvimCMMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FernandesKP19,
author = {Natasha Fernandes and
Lefki Kacem and
Catuscia Palamidessi},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Utility-Preserving Privacy Mechanisms for Counting Queries},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {487--495},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_27},
doi = {10.1007/978-3-030-21485-2\_27},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FernandesKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/0001FP19,
author = {Konstantinos Chatzikokolakis and
Natasha Fernandes and
Catuscia Palamidessi},
title = {Comparing Systems: Max-Case Refinement Orders and Application to Differential
Privacy},
booktitle = {32nd {IEEE} Computer Security Foundations Symposium, {CSF} 2019, Hoboken,
NJ, USA, June 25-28, 2019},
pages = {442--457},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/CSF.2019.00037},
doi = {10.1109/CSF.2019.00037},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/0001FP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/LuzioV0DPS19,
author = {Adriano Di Luzio and
Aline Carneiro Viana and
Konstantinos Chatzikokolakis and
Georgi Dikov and
Catuscia Palamidessi and
Julinda Stefa},
editor = {Panagiotis Bouros and
Tamraparni Dasu and
Yaron Kanza and
Matthias Renz and
Dimitris Sacharidis},
title = {Catch me if you can: how geo-indistinguishability affects utility
in mobility-based geographic datasets},
booktitle = {Proceedings of the 3rd {ACM} {SIGSPATIAL} International Workshop on
Location-based Recommendations, Geosocial Networks and Geoadvertising,
LocalRec@SIGSPATIAL 2019, Chicago, Illinois, USA, November 5, 2019},
pages = {8:1--8:10},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3356994.3365498},
doi = {10.1145/3356994.3365498},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gis/LuzioV0DPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GorlaGP19,
author = {Daniele Gorla and
Federica Granese and
Catuscia Palamidessi},
editor = {Robert M. Hierons and
Mohamed Mosbah},
title = {Enhanced Models for Privacy and Utility in Continuous-Time Diffusion
Networks},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International
Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11884},
pages = {313--331},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32505-3\_18},
doi = {10.1007/978-3-030-32505-3\_18},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/GorlaGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/0001ACP19,
author = {Ali Kassem and
Gergely {\'{A}}cs and
Claude Castelluccia and
Catuscia Palamidessi},
title = {Differential Inference Testing: {A} Practical Approach to Evaluate
Sanitizations of Datasets},
booktitle = {2019 {IEEE} Security and Privacy Workshops, {SP} Workshops 2019, San
Francisco, CA, USA, May 19-23, 2019},
pages = {72--79},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SPW.2019.00024},
doi = {10.1109/SPW.2019.00024},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/0001ACP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Cherubin0P19,
author = {Giovanni Cherubin and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {{F-BLEAU:} Fast Black-Box Leakage Estimation},
booktitle = {2019 {IEEE} Symposium on Security and Privacy, {SP} 2019, San Francisco,
CA, USA, May 19-23, 2019},
pages = {835--852},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SP.2019.00073},
doi = {10.1109/SP.2019.00073},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/Cherubin0P19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-01350,
author = {Giovanni Cherubin and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {{F-BLEAU:} Fast Black-box Leakage Estimation},
journal = {CoRR},
volume = {abs/1902.01350},
year = {2019},
url = {http://arxiv.org/abs/1902.01350},
eprinttype = {arXiv},
eprint = {1902.01350},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-01350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-01059,
author = {Marco Romanelli and
Catuscia Palamidessi and
Konstantinos Chatzikokolakis},
title = {Generating Optimal Privacy-Protection Mechanisms via Machine Learning},
journal = {CoRR},
volume = {abs/1904.01059},
year = {2019},
url = {http://arxiv.org/abs/1904.01059},
eprinttype = {arXiv},
eprint = {1904.01059},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-01059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-12147,
author = {Natasha Fernandes and
Lefki Kacem and
Catuscia Palamidessi},
title = {Utility-Preserving Privacy Mechanisms for Counting Queries},
journal = {CoRR},
volume = {abs/1906.12147},
year = {2019},
url = {http://arxiv.org/abs/1906.12147},
eprinttype = {arXiv},
eprint = {1906.12147},
timestamp = {Mon, 01 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-12147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-02961,
author = {Ehab ElSalamouny and
Catuscia Palamidessi},
title = {Full Convergence of the Iterative Bayesian Update and Applications
to Mechanisms for Privacy Protection},
journal = {CoRR},
volume = {abs/1909.02961},
year = {2019},
url = {http://arxiv.org/abs/1909.02961},
eprinttype = {arXiv},
eprint = {1909.02961},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-02961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EiterEPPS18,
author = {Thomas Eiter and
Javier Esparza and
Catuscia Palamidessi and
Gordon D. Plotkin and
Natarajan Shankar},
title = {Alonzo Church Award 2018 - Call for Nominations},
journal = {Bull. {EATCS}},
volume = {124},
year = {2018},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/524},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/EiterEPPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/AlvimCKP18,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {A Game-Theoretic Approach to Information-Flow Control via Protocol
Composition},
journal = {Entropy},
volume = {20},
number = {5},
pages = {382},
year = {2018},
url = {https://doi.org/10.3390/e20050382},
doi = {10.3390/E20050382},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/AlvimCKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/annpr/PalamidessiR18,
author = {Catuscia Palamidessi and
Marco Romanelli},
editor = {Luca Pancioni and
Friedhelm Schwenker and
Edmondo Trentin},
title = {Feature Selection with R{\'{e}}nyi Min-Entropy},
booktitle = {Artificial Neural Networks in Pattern Recognition - 8th {IAPR} {TC3}
Workshop, {ANNPR} 2018, Siena, Italy, September 19-21, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11081},
pages = {226--239},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99978-4\_18},
doi = {10.1007/978-3-319-99978-4\_18},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/annpr/PalamidessiR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KacemP18,
author = {Lefki Kacem and
Catuscia Palamidessi},
editor = {M{\'{a}}rio S. Alvim and
St{\'{e}}phanie Delaune},
title = {Geometric Noise for Locally Private Counting Queries},
booktitle = {Proceedings of the 13th Workshop on Programming Languages and Analysis
for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018},
pages = {13--16},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3264820.3264827},
doi = {10.1145/3264820.3264827},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/KacemP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/Alvim0PP18,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Anna Pazii},
title = {Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing
the Trade-Off with Utility},
booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
United Kingdom, July 9-12, 2018},
pages = {262--267},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/CSF.2018.00026},
doi = {10.1109/CSF.2018.00026},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/Alvim0PP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CastiglioniCP18,
author = {Valentina Castiglioni and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {A Logical Characterization of Differential Privacy via Behavioral
Metrics},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {75--96},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_4},
doi = {10.1007/978-3-030-02146-7\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/CastiglioniCP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/Alvim00P18,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
editor = {Lujo Bauer and
Ralf K{\"{u}}sters},
title = {Leakage and Protocol Composition in a Game-Theoretic Perspective},
booktitle = {Principles of Security and Trust - 7th International Conference, {POST}
2018, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10804},
pages = {134--159},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89722-6\_6},
doi = {10.1007/978-3-319-89722-6\_6},
timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},
biburl = {https://dblp.org/rec/conf/post/Alvim00P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-10465,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {Leakage and Protocol Composition in a Game-Theoretic Perspective},
journal = {CoRR},
volume = {abs/1802.10465},
year = {2018},
url = {http://arxiv.org/abs/1802.10465},
eprinttype = {arXiv},
eprint = {1802.10465},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-10465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10042,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {A Game-Theoretic Approach to Information-Flow Control via Protocol
Composition},
journal = {CoRR},
volume = {abs/1803.10042},
year = {2018},
url = {http://arxiv.org/abs/1803.10042},
eprinttype = {arXiv},
eprint = {1803.10042},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-01456,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Anna Pazii},
title = {Metric-based local differential privacy for statistical applications},
journal = {CoRR},
volume = {abs/1805.01456},
year = {2018},
url = {http://arxiv.org/abs/1805.01456},
eprinttype = {arXiv},
eprint = {1805.01456},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-01456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/ShankarPPV17,
author = {Natarajan Shankar and
Catuscia Palamidessi and
Gordon D. Plotkin and
Moshe Y. Vardi},
title = {Alonzo Church Award 2017 - Call for Nominations},
journal = {Bull. {EATCS}},
volume = {121},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/468},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/ShankarPPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftsec/Chatzikokolakis17,
author = {Konstantinos Chatzikokolakis and
Ehab ElSalamouny and
Catuscia Palamidessi and
Anna Pazii},
title = {Methods for Location Privacy: {A} comparative overview},
journal = {Found. Trends Priv. Secur.},
volume = {1},
number = {4},
pages = {199--257},
year = {2017},
url = {https://doi.org/10.1561/3300000017},
doi = {10.1561/3300000017},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ftsec/Chatzikokolakis17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HamadouPS17,
author = {Sardaouna Hamadou and
Catuscia Palamidessi and
Vladimiro Sassone},
title = {Quantifying leakage in the presence of unreliable sources of information},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {27--52},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.03.013},
doi = {10.1016/J.JCSS.2017.03.013},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/HamadouPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/00010P17,
author = {Yusuke Kawamoto and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {On the Compositionality of Quantitative Information Flow},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:11)2017},
doi = {10.23638/LMCS-13(3:11)2017},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/00010P17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/0001EP17,
author = {Konstantinos Chatzikokolakis and
Ehab ElSalamouny and
Catuscia Palamidessi},
title = {Efficient Utility Improvement for Location Privacy},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2017},
number = {4},
pages = {308--328},
year = {2017},
url = {https://doi.org/10.1515/popets-2017-0051},
doi = {10.1515/POPETS-2017-0051},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/popets/0001EP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gamesec/Alvim00P17,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
editor = {Stefan Rass and
Bo An and
Christopher Kiekintveld and
Fei Fang and
Stefan Schauer},
title = {Information Leakage Games},
booktitle = {Decision and Game Theory for Security - 8th International Conference,
GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10575},
pages = {437--457},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68711-7\_23},
doi = {10.1007/978-3-319-68711-7\_23},
timestamp = {Wed, 07 Feb 2024 17:23:12 +0100},
biburl = {https://dblp.org/rec/conf/gamesec/Alvim00P17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/Chatzikokolakis17,
author = {Konstantinos Chatzikokolakis and
Serge Haddad and
Ali Kassem and
Catuscia Palamidessi},
editor = {Andrea Marin and
Benny Van Houdt and
Giuliano Casale and
Dorina C. Petriu and
Sabina Rossi},
title = {Trading Optimality for Performance in Location Privacy},
booktitle = {Proceedings of the 11th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
December 05-07, 2017},
pages = {221--222},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3150928.3150962},
doi = {10.1145/3150928.3150962},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/Chatzikokolakis17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Alvim0KP17,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {Information Leakage Games},
journal = {CoRR},
volume = {abs/1705.05030},
year = {2017},
url = {http://arxiv.org/abs/1705.05030},
eprinttype = {arXiv},
eprint = {1705.05030},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Alvim0KP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-05524,
author = {Konstantinos Chatzikokolakis and
Serge Haddad and
Ali Kassem and
Catuscia Palamidessi},
title = {Trading Optimality for Performance in Location Privacy},
journal = {CoRR},
volume = {abs/1710.05524},
year = {2017},
url = {http://arxiv.org/abs/1710.05524},
eprinttype = {arXiv},
eprint = {1710.05524},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-05524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Chatzikokolakis16,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Christelle Braun},
title = {Compositional methods for information-hiding},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {908--932},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000292},
doi = {10.1017/S0960129514000292},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Chatzikokolakis16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GazeauMP16,
author = {Ivan Gazeau and
Dale Miller and
Catuscia Palamidessi},
title = {Preserving differential privacy under finite-precision semantics},
journal = {Theor. Comput. Sci.},
volume = {655},
pages = {92--108},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.01.015},
doi = {10.1016/J.TCS.2016.01.015},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GazeauMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Chatzikokolakis16,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Valeria Vignudelli},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Up-To Techniques for Generalized Bisimulation Metrics},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {35:1--35:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.35},
doi = {10.4230/LIPICS.CONCUR.2016.35},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Chatzikokolakis16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AlvimCMMPS16,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Annabelle McIver and
Carroll Morgan and
Catuscia Palamidessi and
Geoffrey Smith},
title = {Axioms for Information Leakage},
booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
Portugal, June 27 - July 1, 2016},
pages = {77--92},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CSF.2016.13},
doi = {10.1109/CSF.2016.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/AlvimCMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FalaschiGOP16,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Carlos Olarte and
Catuscia Palamidessi},
editor = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {Slicing Concurrent Constraint Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10184},
pages = {76--93},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-63139-4\_5},
doi = {10.1007/978-3-319-63139-4\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FalaschiGOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FalaschiGOP16,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Carlos Olarte and
Catuscia Palamidessi},
title = {Slicing Concurrent Constraint Programs},
journal = {CoRR},
volume = {abs/1608.05252},
year = {2016},
url = {http://arxiv.org/abs/1608.05252},
eprinttype = {arXiv},
eprint = {1608.05252},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FalaschiGOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kawamoto0P16,
author = {Yusuke Kawamoto and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {On the Compositionality of Quantitative Information Flow},
journal = {CoRR},
volume = {abs/1611.00455},
year = {2016},
url = {http://arxiv.org/abs/1611.00455},
eprinttype = {arXiv},
eprint = {1611.00455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kawamoto0P16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AlvimACDP15,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Pierpaolo Degano and
Catuscia Palamidessi},
title = {On the information leakage of differentially-private mechanisms},
journal = {J. Comput. Secur.},
volume = {23},
number = {4},
pages = {427--469},
year = {2015},
url = {https://doi.org/10.3233/JCS-150528},
doi = {10.3233/JCS-150528},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/AlvimACDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AndresPS15,
author = {Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi and
Geoffrey Smith},
title = {Preface to the special issue on quantitative information flow},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {2},
pages = {203--206},
year = {2015},
url = {https://doi.org/10.1017/S0960129513000583},
doi = {10.1017/S0960129513000583},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AndresPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/Chatzikokolakis15,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Marco Stronati},
title = {Constructing elastic distinguishability metrics for location privacy},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2015},
number = {2},
pages = {156--170},
year = {2015},
url = {https://doi.org/10.1515/popets-2015-0023},
doi = {10.1515/POPETS-2015-0023},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/popets/Chatzikokolakis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Chatzikokolakis15,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Marco Stronati},
title = {Location privacy via geo-indistinguishability},
journal = {{ACM} {SIGLOG} News},
volume = {2},
number = {3},
pages = {46--69},
year = {2015},
url = {https://doi.org/10.1145/2815493.2815499},
doi = {10.1145/2815493.2815499},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/Chatzikokolakis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FalaschiOP15,
author = {Moreno Falaschi and
Carlos Olarte and
Catuscia Palamidessi},
title = {Abstract interpretation of temporal concurrent constraint programs},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {3},
pages = {312--357},
year = {2015},
url = {https://doi.org/10.1017/S1471068413000641},
doi = {10.1017/S1471068413000641},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/FalaschiOP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChiarugiFOP15,
author = {Davide Chiarugi and
Moreno Falaschi and
Carlos Olarte and
Catuscia Palamidessi},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {A Declarative View of Signaling Pathways},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {183--201},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_13},
doi = {10.1007/978-3-319-25527-9\_13},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChiarugiFOP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/ChatzikokolakisPS15,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Marco Stronati},
editor = {Raja Natarajan and
Gautam Barua and
Manas Ranjan Patra},
title = {Geo-indistinguishability: {A} Principled Approach to Location Privacy},
booktitle = {Distributed Computing and Internet Technology - 11th International
Conference, {ICDCIT} 2015, Bhubaneswar, India, February 5-8, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8956},
pages = {49--72},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14977-6\_4},
doi = {10.1007/978-3-319-14977-6\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/ChatzikokolakisPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Chatzikokolakis15,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Marco Stronati},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {Location Privacy via Geo-Indistinguishability},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {28--38},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_2},
doi = {10.1007/978-3-319-25150-9\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Chatzikokolakis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/Palamidessi15,
author = {Catuscia Palamidessi},
editor = {Riccardo Focardi and
Andrew C. Myers},
title = {Quantitative Approaches to the Protection of Private Information:
State of the Art and Some Open Challenges},
booktitle = {Principles of Security and Trust - 4th International Conference, {POST}
2015, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9036},
pages = {3--7},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46666-7\_1},
doi = {10.1007/978-3-662-46666-7\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/Palamidessi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Chatzikokolakis15,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Marco Stronati},
title = {Constructing elastic distinguishability metrics for location privacy},
journal = {CoRR},
volume = {abs/1503.00756},
year = {2015},
url = {http://arxiv.org/abs/1503.00756},
eprinttype = {arXiv},
eprint = {1503.00756},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chatzikokolakis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/X14,
title = {Foundational aspects of security},
journal = {J. Comput. Secur.},
volume = {22},
number = {2},
pages = {201--202},
year = {2014},
url = {https://doi.org/10.3233/JCS-140497},
doi = {10.3233/JCS-140497},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/X14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ElSalamounyCP14,
author = {Ehab ElSalamouny and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {Generalized Differential Privacy: Regions of Priors That Admit Robust
Optimal Mechanisms},
booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
pages = {292--318},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0\_16},
doi = {10.1007/978-3-319-06880-0\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ElSalamounyCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/BordenabeCP14,
author = {Nicol{\'{a}}s Emilio Bordenabe and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Gail{-}Joon Ahn and
Moti Yung and
Ninghui Li},
title = {Optimal Geo-Indistinguishable Mechanisms for Location Privacy},
booktitle = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Scottsdale, AZ, USA, November 3-7, 2014},
pages = {251--262},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660267.2660345},
doi = {10.1145/2660267.2660345},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/BordenabeCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChatzikokolakisGPX14,
author = {Konstantinos Chatzikokolakis and
Daniel Gebler and
Catuscia Palamidessi and
Lili Xu},
editor = {Paolo Baldan and
Daniele Gorla},
title = {Generalized Bisimulation Metrics},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {32--46},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_4},
doi = {10.1007/978-3-662-44584-6\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChatzikokolakisGPX14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AlvimCMMPS14,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Annabelle McIver and
Carroll Morgan and
Catuscia Palamidessi and
Geoffrey Smith},
title = {Additive and Multiplicative Notions of Leakage, and Their Capacities},
booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
Austria, 19-22 July, 2014},
pages = {308--322},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSF.2014.29},
doi = {10.1109/CSF.2014.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/AlvimCMMPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pet/ChatzikokolakisPS14,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Marco Stronati},
editor = {Emiliano De Cristofaro and
Steven J. Murdoch},
title = {A Predictive Differentially-Private Mechanism for Mobility Traces},
booktitle = {Privacy Enhancing Technologies - 14th International Symposium, {PETS}
2014, Amsterdam, The Netherlands, July 16-18, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8555},
pages = {21--41},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08506-7\_2},
doi = {10.1007/978-3-319-08506-7\_2},
timestamp = {Sat, 09 Apr 2022 12:39:29 +0200},
biburl = {https://dblp.org/rec/conf/pet/ChatzikokolakisPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/KawamotoCP14,
author = {Yusuke Kawamoto and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Gethin Norman and
William H. Sanders},
title = {Compositionality Results for Quantitative Information Flow},
booktitle = {Quantitative Evaluation of Systems - 11th International Conference,
{QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8657},
pages = {368--383},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10696-0\_28},
doi = {10.1007/978-3-319-10696-0\_28},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/KawamotoCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2014panangaden,
editor = {Franck van Breugel and
Elham Kashefi and
Catuscia Palamidessi and
Jan Rutten},
title = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated
to Prakash Panangaden on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8464},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06880-0},
doi = {10.1007/978-3-319-06880-0},
isbn = {978-3-319-06879-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2014panangaden.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2014,
editor = {Erika {\'{A}}brah{\'{a}}m and
Catuscia Palamidessi},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {8461},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43613-4},
doi = {10.1007/978-3-662-43613-4},
isbn = {978-3-662-43612-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BordenabeCP14,
author = {Nicol{\'{a}}s Emilio Bordenabe and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {Optimal Geo-Indistinguishable Mechanisms for Location Privacy},
journal = {CoRR},
volume = {abs/1402.5029},
year = {2014},
url = {http://arxiv.org/abs/1402.5029},
eprinttype = {arXiv},
eprint = {1402.5029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BordenabeCP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AndresBCP13,
author = {Miguel E. Andr{\'{e}}s and
Nicol{\'{a}}s Emilio Bordenabe and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Ahmad{-}Reza Sadeghi and
Virgil D. Gligor and
Moti Yung},
title = {Geo-indistinguishability: differential privacy for location-based
systems},
booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
CCS'13, Berlin, Germany, November 4-8, 2013},
pages = {901--914},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508859.2516735},
doi = {10.1145/2508859.2516735},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/AndresBCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pet/ChatzikokolakisABP13,
author = {Konstantinos Chatzikokolakis and
Miguel E. Andr{\'{e}}s and
Nicol{\'{a}}s Emilio Bordenabe and
Catuscia Palamidessi},
editor = {Emiliano De Cristofaro and
Matthew K. Wright},
title = {Broadening the Scope of Differential Privacy Using Metrics},
booktitle = {Privacy Enhancing Technologies - 13th International Symposium, {PETS}
2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7981},
pages = {82--102},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39077-7\_5},
doi = {10.1007/978-3-642-39077-7\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pet/ChatzikokolakisABP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/ElSalamounyCP13,
author = {Ehab ElSalamouny and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {David A. Basin and
John C. Mitchell},
title = {A Differentially Private Mechanism of Optimal Utility for a Region
of Priors},
booktitle = {Principles of Security and Trust - Second International Conference,
{POST} 2013, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7796},
pages = {41--62},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36830-1\_3},
doi = {10.1007/978-3-642-36830-1\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/ElSalamounyCP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Palamidessi13,
author = {Catuscia Palamidessi},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Quantitative Approaches to Information Protection},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {31--32},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_5},
doi = {10.1007/978-3-642-39992-3\_5},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Palamidessi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GazeauMP13,
author = {Ivan Gazeau and
Dale Miller and
Catuscia Palamidessi},
editor = {Luca Bortolussi and
Herbert Wiklicky},
title = {Preserving differential privacy under finite-precision semantics},
booktitle = {Proceedings 11th International Workshop on Quantitative Aspects of
Programming Languages and Systems, {QAPL} 2013, Rome, Italy, March
23-24, 2013},
series = {{EPTCS}},
volume = {117},
pages = {1--18},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.117.1},
doi = {10.4204/EPTCS.117.1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GazeauMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2012,
editor = {Catuscia Palamidessi and
Mark Dermot Ryan},
title = {Trustworthy Global Computing - 7th International Symposium, {TGC}
2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8191},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41157-1},
doi = {10.1007/978-3-642-41157-1},
isbn = {978-3-642-41156-4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tgc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Palamidessi13,
author = {Catuscia Palamidessi},
title = {Comparing the Expressive Power of the Synchronous and the Asynchronous
pi-calculi},
journal = {CoRR},
volume = {abs/1307.2062},
year = {2013},
url = {http://arxiv.org/abs/1307.2062},
eprinttype = {arXiv},
eprint = {1307.2062},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Palamidessi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChatzikokolakisPS13,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Marco Stronati},
title = {A Predictive Differentially-Private Mechanism for Location Privacy},
journal = {CoRR},
volume = {abs/1311.4008},
year = {2013},
url = {http://arxiv.org/abs/1311.4008},
eprinttype = {arXiv},
eprint = {1311.4008},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChatzikokolakisPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FalaschiOP13,
author = {Moreno Falaschi and
Carlos Olarte and
Catuscia Palamidessi},
title = {Abstract Interpretation of Temporal Concurrent Constraint Programs},
journal = {CoRR},
volume = {abs/1312.2552},
year = {2013},
url = {http://arxiv.org/abs/1312.2552},
eprinttype = {arXiv},
eprint = {1312.2552},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FalaschiOP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AlvimAP12,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi},
title = {Quantitative information flow in interactive systems},
journal = {J. Comput. Secur.},
volume = {20},
number = {1},
pages = {3--50},
year = {2012},
url = {https://doi.org/10.3233/JCS-2011-0433},
doi = {10.3233/JCS-2011-0433},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/AlvimAP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AbramskyMP12,
author = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {430},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.03.022},
doi = {10.1016/J.TCS.2012.03.022},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AbramskyMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChatzikokolakisKPP12,
author = {Konstantinos Chatzikokolakis and
Sophia Knight and
Catuscia Palamidessi and
Prakash Panangaden},
title = {Epistemic Strategies and Games on Concurrent Processes},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {4},
pages = {28:1--28:35},
year = {2012},
url = {https://doi.org/10.1145/2362355.2362356},
doi = {10.1145/2362355.2362356},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/ChatzikokolakisKPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KnightPPV12,
author = {Sophia Knight and
Catuscia Palamidessi and
Prakash Panangaden and
Frank D. Valencia},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Spatial and Epistemic Modalities in Constraint-Based Process Calculi},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {317--332},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_23},
doi = {10.1007/978-3-642-32940-1\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/KnightPPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AlvimCPS12,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Geoffrey Smith},
editor = {Stephen Chong},
title = {Measuring Information Leakage Using Generalized Gain Functions},
booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge,
MA, USA, June 25-27, 2012},
pages = {265--279},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSF.2012.26},
doi = {10.1109/CSF.2012.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/AlvimCPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1202-0693,
author = {Ivan Gazeau and
Dale Miller and
Catuscia Palamidessi},
editor = {Herbert Wiklicky and
Mieke Massink},
title = {A non-local method for robustness analysis of floating point programs},
booktitle = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
series = {{EPTCS}},
volume = {85},
pages = {63--76},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.85.5},
doi = {10.4204/EPTCS.85.5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-0693.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2749,
author = {Marco Giunti and
Catuscia Palamidessi and
Frank D. Valencia},
editor = {Bas Luttik and
Michel A. Reniers},
title = {Hide and New in the Pi-Calculus},
booktitle = {Proceedings Combined 19th International Workshop on Expressiveness
in Concurrency and 9th Workshop on Structured Operational Semantics,
{EXPRESS/SOS} 2012, Newcastle upon Tyne, UK, September 3, 2012},
series = {{EPTCS}},
volume = {89},
pages = {65--79},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.89.6},
doi = {10.4204/EPTCS.89.6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2749.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1207-0872,
author = {Catuscia Palamidessi and
Marco Stronati},
editor = {Herbert Wiklicky and
Mieke Massink},
title = {Differential Privacy for Relational Algebra: Improving the Sensitivity
Bounds via Constraint Systems},
booktitle = {Proceedings 10th Workshop on Quantitative Aspects of Programming Languages
and Systems, {QAPL} 2012, Tallinn, Estonia, 31 March and 1 April 2012},
series = {{EPTCS}},
volume = {85},
pages = {92--105},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.85.7},
doi = {10.4204/EPTCS.85.7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0872.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tosca/2011,
editor = {Sebastian M{\"{o}}dersheim and
Catuscia Palamidessi},
title = {Theory of Security and Applications - Joint Workshop, {TOSCA} 2011,
Saarbr{\"{u}}cken, Germany, March 31 - April 1, 2011, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6993},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27375-9},
doi = {10.1007/978-3-642-27375-9},
isbn = {978-3-642-27374-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tosca/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-1984,
author = {Miguel E. Andr{\'{e}}s and
Nicol{\'{a}}s Emilio Bordenabe and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {Geo-Indistinguishability: Differential Privacy for Location-Based
Systems},
journal = {CoRR},
volume = {abs/1212.1984},
year = {2012},
url = {http://arxiv.org/abs/1212.1984},
eprinttype = {arXiv},
eprint = {1212.1984},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-1984.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/KopfMP12,
author = {Boris K{\"{o}}pf and
Pasquale Malacaria and
Catuscia Palamidessi},
title = {Quantitative Security Analysis (Dagstuhl Seminar 12481)},
journal = {Dagstuhl Reports},
volume = {2},
number = {11},
pages = {135--154},
year = {2012},
url = {https://doi.org/10.4230/DagRep.2.11.135},
doi = {10.4230/DAGREP.2.11.135},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/KopfMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AndresPRS11,
author = {Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi and
Peter van Rossum and
Ana Sokolova},
title = {Information hiding in probabilistic concurrent systems},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3072--3089},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.045},
doi = {10.1016/J.TCS.2011.02.045},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AndresPRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/AlvimACP10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Alessandro Aldini and
Roberto Gorrieri},
title = {Quantitative Information Flow and Applications to Differential Privacy},
booktitle = {Foundations of Security Analysis and Design {VI} - {FOSAD} Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {6858},
pages = {211--230},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23082-0\_8},
doi = {10.1007/978-3-642-23082-0\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/AlvimACP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AristizabalBPPV11,
author = {Andr{\'{e}}s Aristiz{\'{a}}bal and
Filippo Bonchi and
Catuscia Palamidessi and
Luis Fernando Pino and
Frank D. Valencia},
editor = {Martin Hofmann},
title = {Deriving Labels and Bisimilarity for Concurrent Constraint Programming},
booktitle = {Foundations of Software Science and Computational Structures - 14th
International Conference, {FOSSACS} 2011, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2011,
Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6604},
pages = {138--152},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19805-2\_10},
doi = {10.1007/978-3-642-19805-2\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AristizabalBPPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlvimACP11,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {On the Relation between Differential Privacy and Quantitative Information
Flow},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {60--76},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_4},
doi = {10.1007/978-3-642-22012-8\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlvimACP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/AlvimACDP11,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Pierpaolo Degano and
Catuscia Palamidessi},
editor = {Gilles Barthe and
Anupam Datta and
Sandro Etalle},
title = {Differential Privacy: On the Trade-Off between Utility and Information
Leakage},
booktitle = {Formal Aspects of Security and Trust - 8th International Workshop,
{FAST} 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7140},
pages = {39--54},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29420-4\_3},
doi = {10.1007/978-3-642-29420-4\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/AlvimACDP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-5188,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Pierpaolo Degano and
Catuscia Palamidessi},
title = {Differential Privacy: on the trade-off between Utility and Information
Leakage},
journal = {CoRR},
volume = {abs/1103.5188},
year = {2011},
url = {http://arxiv.org/abs/1103.5188},
eprinttype = {arXiv},
eprint = {1103.5188},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-5188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-6761,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {On the relation between Differential Privacy and Quantitative Information
Flow},
journal = {CoRR},
volume = {abs/1109.6761},
year = {2011},
url = {http://arxiv.org/abs/1109.6761},
eprinttype = {arXiv},
eprint = {1109.6761},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-6761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ChatzikokolakisP10,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {Making random choices invisible to the scheduler},
journal = {Inf. Comput.},
volume = {208},
number = {6},
pages = {694--715},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.06.006},
doi = {10.1016/J.IC.2009.06.006},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/ChatzikokolakisP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/GorlaP10,
author = {Daniele Gorla and
Catuscia Palamidessi},
title = {Preface},
journal = {J. Comput. Secur.},
volume = {18},
number = {2},
pages = {189},
year = {2010},
url = {https://doi.org/10.3233/JCS-2010-0359},
doi = {10.3233/JCS-2010-0359},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/GorlaP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcb/ChiarugiFOP10,
author = {Davide Chiarugi and
Moreno Falaschi and
Carlos Olarte and
Catuscia Palamidessi},
editor = {Aidong Zhang and
Mark Borodovsky and
Gultekin {\"{O}}zsoyoglu and
Armin R. Mikler},
title = {Compositional modelling of signalling pathways in timed concurrent
constraint programming},
booktitle = {Proceedings of the First {ACM} International Conference on Bioinformatics
and Computational Biology, {BCB} 2010, Niagara Falls, NY, USA, August
2-4, 2010},
pages = {414--417},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1854776.1854843},
doi = {10.1145/1854776.1854843},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bcb/ChiarugiFOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlvimAP10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Information Flow in Interactive Systems},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {102--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_8},
doi = {10.1007/978-3-642-15375-4\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlvimAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/PalamidessiAA10,
author = {Catuscia Palamidessi and
M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s},
editor = {Alessandro Armando and
Gavin Lowe},
title = {Interactive Information Flow - (Invited Talk)},
booktitle = {Automated Reasoning for Security Protocol Analysis and Issues in the
Theory of Security - Joint Workshop, {ARSPA-WITS} 2010, Paphos, Cyprus,
March 27-28, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6186},
pages = {111},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16074-5\_8},
doi = {10.1007/978-3-642-16074-5\_8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/PalamidessiAA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/AlvimAP10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {Entropy and Attack Models in Information Flow - (Invited Talk)},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {53--54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_4},
doi = {10.1007/978-3-642-15240-5\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/AlvimAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/AlvimAPR10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi and
Peter van Rossum},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {Safe Equivalences for Security Properties},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {55--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_5},
doi = {10.1007/978-3-642-15240-5\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/AlvimAPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlvimAP10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi},
title = {Probabilistic Information Flow},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {314--321},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.53},
doi = {10.1109/LICS.2010.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlvimAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/Palamidessi10,
author = {Catuscia Palamidessi},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Compositionality of Secure Information Flow},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {19},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_2},
doi = {10.1007/978-3-642-13321-3\_2},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/Palamidessi10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/AndresPRS10,
author = {Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi and
Peter van Rossum and
Ana Sokolova},
title = {Information Hiding in Probabilistic Concurrent Systems},
booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative
Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September
2010},
pages = {17--26},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QEST.2010.11},
doi = {10.1109/QEST.2010.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/AndresPRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/HamadouSP10,
author = {Sardaouna Hamadou and
Vladimiro Sassone and
Catuscia Palamidessi},
title = {Reconciling Belief and Vulnerability in Information Flow},
booktitle = {31st {IEEE} Symposium on Security and Privacy, {SP} 2010, 16-19 May
2010, Berleley/Oakland, California, {USA}},
pages = {79--92},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SP.2010.13},
doi = {10.1109/SP.2010.13},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/HamadouSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndresPRS10,
author = {Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi and
Peter van Rossum and
Geoffrey Smith},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Computing the Leakage of Information-Hiding Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {373--389},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_32},
doi = {10.1007/978-3-642-12002-2\_32},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AndresPRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/agp/GabbrielliPV10,
author = {Maurizio Gabbrielli and
Catuscia Palamidessi and
Frank D. Valencia},
editor = {Agostino Dovier and
Enrico Pontelli},
title = {Concurrent and Reactive Constraint Programming},
booktitle = {A 25-Year Perspective on Logic Programming: Achievements of the Italian
Association for Logic Programming, {GULP}},
series = {Lecture Notes in Computer Science},
volume = {6125},
pages = {231--253},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14309-0\_11},
doi = {10.1007/978-3-642-14309-0\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/GabbrielliPV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-4250,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Pierpaolo Degano and
Catuscia Palamidessi},
title = {Differential Privacy versus Quantitative Information Flow},
journal = {CoRR},
volume = {abs/1012.4250},
year = {2010},
url = {http://arxiv.org/abs/1012.4250},
eprinttype = {arXiv},
eprint = {1012.4250},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-2340,
author = {Diletta Cacciagrano and
Flavio Corradini and
Catuscia Palamidessi},
title = {Explicit fairness in testing semantics},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {2},
year = {2009},
url = {http://arxiv.org/abs/0904.2340},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-2340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/KramerPSTB09,
author = {Simon Kramer and
Catuscia Palamidessi and
Roberto Segala and
Andrea Turrini and
Christelle Braun},
title = {A quantitative doxastic logic for probabilistic processes and applications
to information-hiding},
journal = {J. Appl. Non Class. Logics},
volume = {19},
number = {4},
pages = {489--516},
year = {2009},
url = {https://doi.org/10.3166/jancl.19.489-516},
doi = {10.3166/JANCL.19.489-516},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/KramerPSTB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BeauxisP09,
author = {Romain Beauxis and
Catuscia Palamidessi},
title = {Probabilistic and nondeterministic aspects of anonymity},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {41},
pages = {4006--4025},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.06.008},
doi = {10.1016/J.TCS.2009.06.008},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BeauxisP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FalaschiGP09,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Catuscia Palamidessi},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {46},
pages = {4601--4602},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.07.034},
doi = {10.1016/J.TCS.2009.07.034},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FalaschiGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/NormanPPW09,
author = {Gethin Norman and
Catuscia Palamidessi and
David Parker and
Peng Wu},
title = {Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus},
journal = {{IEEE} Trans. Software Eng.},
volume = {35},
number = {2},
pages = {209--223},
year = {2009},
url = {https://doi.org/10.1109/TSE.2008.77},
doi = {10.1109/TSE.2008.77},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/NormanPPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/HamadouPSE09,
author = {Sardaouna Hamadou and
Catuscia Palamidessi and
Vladimiro Sassone and
Ehab ElSalamouny},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Probable Innocence in the Presence of Independent Knowledge},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {141--156},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_11},
doi = {10.1007/978-3-642-12459-4\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/HamadouPSE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/FalaschiOP09,
author = {Moreno Falaschi and
Carlos Olarte and
Catuscia Palamidessi},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {A framework for abstract interpretation of timed concurrent constraint
programs},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {207--218},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599436},
doi = {10.1145/1599410.1599436},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/FalaschiOP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AbramskyMP09,
author = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Preface},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {1--2},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.080},
doi = {10.1016/J.ENTCS.2009.07.080},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AbramskyMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraunCP09,
author = {Christelle Braun and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Quantitative Notions of Leakage for One-try Attacks},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {75--91},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.085},
doi = {10.1016/J.ENTCS.2009.07.085},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BraunCP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2009,
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/249/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sofsem/2009,
editor = {Mogens Nielsen and
Anton{\'{\i}}n Kucera and
Peter Bro Miltersen and
Catuscia Palamidessi and
Petr Tuma and
Frank D. Valencia},
title = {{SOFSEM} 2009: Theory and Practice of Computer Science, 35th Conference
on Current Trends in Theory and Practice of Computer Science, Spindleruv
Ml{\'{y}}n, Czech Republic, January 24-30, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5404},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-95891-8},
doi = {10.1007/978-3-540-95891-8},
isbn = {978-3-540-95890-1},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ChatzikokolakisPP08,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Prakash Panangaden},
title = {Anonymity protocols as noisy channels},
journal = {Inf. Comput.},
volume = {206},
number = {2-4},
pages = {378--401},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2007.07.003},
doi = {10.1016/J.IC.2007.07.003},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/ChatzikokolakisPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/ChatzikokolakisPP08,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Prakash Panangaden},
title = {On the Bayes risk in information-hiding protocols},
journal = {J. Comput. Secur.},
volume = {16},
number = {5},
pages = {531--571},
year = {2008},
url = {https://doi.org/10.3233/JCS-2008-0333},
doi = {10.3233/JCS-2008-0333},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/ChatzikokolakisPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeauxisPV08,
author = {Romain Beauxis and
Catuscia Palamidessi and
Frank D. Valencia},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {On the Asynchronous Nature of the Asynchronous pi-Calculus},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {473--492},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_29},
doi = {10.1007/978-3-540-68679-8\_29},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BeauxisPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BraunCP08,
author = {Christelle Braun and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Roberto M. Amadio},
title = {Compositional Methods for Information-Hiding},
booktitle = {Foundations of Software Science and Computational Structures, 11th
International Conference, {FOSSACS} 2008, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2008,
Budapest, Hungary, March 29 - April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4962},
pages = {443--457},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78499-9\_31},
doi = {10.1007/978-3-540-78499-9\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BraunCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BhowmickP08,
author = {Abhishek Bhowmick and
Catuscia Palamidessi},
editor = {Christos Kaklamanis and
Flemming Nielson},
title = {Bounds on the Leakage of the Input's Distribution in Information-Hiding
Protocols},
booktitle = {Trustworthy Global Computing, 4th International Symposium, {TGC} 2008,
Barcelona, Spain, November 3-4, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5474},
pages = {36--51},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00945-7\_3},
doi = {10.1007/978-3-642-00945-7\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BhowmickP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lix/2006,
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/209/suppl/C},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lix/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DengP07,
author = {Yuxin Deng and
Catuscia Palamidessi},
title = {Axiomatizations for probabilistic finite-state behaviors},
journal = {Theor. Comput. Sci.},
volume = {373},
number = {1-2},
pages = {92--114},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.008},
doi = {10.1016/J.TCS.2006.12.008},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DengP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ItalianoP07,
author = {Giuseppe F. Italiano and
Catuscia Palamidessi},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {380},
number = {1-2},
pages = {1},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.02.051},
doi = {10.1016/J.TCS.2007.02.051},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ItalianoP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CacciagranoCP07,
author = {Diletta Cacciagrano and
Flavio Corradini and
Catuscia Palamidessi},
title = {Separation of synchronous and asynchronous communication via testing},
journal = {Theor. Comput. Sci.},
volume = {386},
number = {3},
pages = {218--235},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.07.009},
doi = {10.1016/J.TCS.2007.07.009},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CacciagranoCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/VigliottiPP07,
author = {Maria Grazia Vigliotti and
Iain Phillips and
Catuscia Palamidessi},
title = {Tutorial on separation results in process calculi via leader election
problems},
journal = {Theor. Comput. Sci.},
volume = {388},
number = {1-3},
pages = {267--289},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.09.001},
doi = {10.1016/J.TCS.2007.09.001},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/VigliottiPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChatzikokolakisP07,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {A framework for analyzing probabilistic protocols and its application
to the Partial Secrets Exchange},
journal = {Theor. Comput. Sci.},
volume = {389},
number = {3},
pages = {512--527},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.09.006},
doi = {10.1016/J.TCS.2007.09.006},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ChatzikokolakisP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Goubault-LarrecqPT07,
author = {Jean Goubault{-}Larrecq and
Catuscia Palamidessi and
Angelo Troina},
editor = {Zhong Shao},
title = {A Probabilistic Applied Pi-Calculus},
booktitle = {Programming Languages and Systems, 5th Asian Symposium, {APLAS} 2007,
Singapore, November 29-December 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4807},
pages = {175--190},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76637-7\_12},
doi = {10.1007/978-3-540-76637-7\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Goubault-LarrecqPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ChatzikokolakisP07,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Making Random Choices Invisible to the Scheduler},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {42--58},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_4},
doi = {10.1007/978-3-540-74407-8\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ChatzikokolakisP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ChatzikokolakisPP07,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Prakash Panangaden},
title = {Probability of Error in Information-Hiding Protocols},
booktitle = {20th {IEEE} Computer Security Foundations Symposium, {CSF} 2007, 6-8
July 2007, Venice, Italy},
pages = {341--354},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/CSF.2007.27},
doi = {10.1109/CSF.2007.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/ChatzikokolakisPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FalaschiOPV07,
author = {Moreno Falaschi and
Carlos Olarte and
Catuscia Palamidessi and
Frank Valencia},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Declarative Diagnosis of Temporal Concurrent Constraint Programs},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {271--285},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_19},
doi = {10.1007/978-3-540-74610-2\_19},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FalaschiOPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OlartePV07,
author = {Carlos Olarte and
Catuscia Palamidessi and
Frank Valencia},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Universal Timed Concurrent Constraint Programming},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {464--465},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_47},
doi = {10.1007/978-3-540-74610-2\_47},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/OlartePV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/NormanPPW07,
author = {Gethin Norman and
Catuscia Palamidessi and
David Parker and
Peng Wu},
title = {Model checking the probabilistic pi-calculus},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {169--178},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.31},
doi = {10.1109/QEST.2007.31},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/NormanPPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/WuPL07,
author = {Peng Wu and
Catuscia Palamidessi and
Huimin Lin},
title = {Symbolic Bisimulations for Probabilistic Systems},
booktitle = {Fourth International Conference on the Quantitative Evaluaiton of
Systems {(QEST} 2007), 17-19 September 2007, Edinburgh, Scotland,
{UK}},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/QEST.2007.11},
doi = {10.1109/QEST.2007.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/WuPL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BeauxisCPP07,
author = {Romain Beauxis and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Prakash Panangaden},
editor = {Gilles Barthe and
C{\'{e}}dric Fournet},
title = {Formal Approaches to Information-Hiding (Tutorial)},
booktitle = {Trustworthy Global Computing, Third Symposium, {TGC} 2007, Sophia-Antipolis,
France, November 5-6, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4912},
pages = {347--362},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78663-4\_23},
doi = {10.1007/978-3-540-78663-4\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BeauxisCPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GorlaP07,
author = {Daniele Gorla and
Catuscia Palamidessi},
editor = {Daniele Gorla and
Catuscia Palamidessi},
title = {Preface},
booktitle = {Proceedings of the Fifth Workshop on Security Issues in Concurrency,
SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.009},
doi = {10.1016/J.ENTCS.2007.09.009},
timestamp = {Thu, 09 Feb 2023 10:31:52 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GorlaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/secco/2007,
editor = {Daniele Gorla and
Catuscia Palamidessi},
title = {Proceedings of the Fifth Workshop on Security Issues in Concurrency,
SecCo@CONCUR 2007, Lisbon, Portugal, September 3, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {1},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/194/issue/1},
timestamp = {Thu, 09 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secco/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0705-3503,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {Making Random Choices Invisible to the Scheduler},
journal = {CoRR},
volume = {abs/0705.3503},
year = {2007},
url = {http://arxiv.org/abs/0705.3503},
eprinttype = {arXiv},
eprint = {0705.3503},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0705-3503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/PalamidessiV06,
author = {Catuscia Palamidessi and
Frank D. Valencia},
title = {Languages for Concurrency},
journal = {Bull. {EATCS}},
volume = {90},
pages = {155--171},
year = {2006},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/PalamidessiV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChatzikokolakisP06,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {Probable innocence revisited},
journal = {Theor. Comput. Sci.},
volume = {367},
number = {1-2},
pages = {123--138},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.033},
doi = {10.1016/J.TCS.2006.08.033},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ChatzikokolakisP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/ArandaGPV06,
author = {Jes{\'{u}}s Aranda and
Cinzia Di Giusto and
Catuscia Palamidessi and
Frank D. Valencia},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {On Recursion, Replication and Scope Mechanisms in Process Calculi},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {185--206},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_9},
doi = {10.1007/978-3-540-74792-5\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/ArandaGPV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LopezPPRV06,
author = {Hugo A. L{\'{o}}pez and
Catuscia Palamidessi and
Jorge Andr{\'{e}}s P{\'{e}}rez and
Camilo Rueda and
Frank D. Valencia},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {A Declarative Framework for Security: Secure Concurrent Constraint
Programming},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {449--450},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_43},
doi = {10.1007/11799573\_43},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LopezPPRV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PalamidessiSVV06,
author = {Catuscia Palamidessi and
Vijay A. Saraswat and
Frank D. Valencia and
Bj{\"{o}}rn Victor},
title = {On the Expressiveness of Linearity vs Persistence in the Asychronous
Pi-Calculus},
booktitle = {21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006),
12-15 August 2006, Seattle, WA, USA, Proceedings},
pages = {59--68},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/LICS.2006.39},
doi = {10.1109/LICS.2006.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PalamidessiSVV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/ChatzikokolakisPP06,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Prakash Panangaden},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {Anonymity Protocols as Noisy Channels},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {281--300},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_18},
doi = {10.1007/978-3-540-75336-0\_18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/ChatzikokolakisPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PalamidessiV08,
author = {Catuscia Palamidessi and
Frank D. Valencia},
editor = {Catuscia Palamidessi and
Frank Valencia},
title = {Preface},
booktitle = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {209},
pages = {1--4},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.001},
doi = {10.1016/J.ENTCS.2008.04.001},
timestamp = {Mon, 13 Feb 2023 14:19:55 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PalamidessiV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CacciagranoCP07,
author = {Diletta Cacciagrano and
Flavio Corradini and
Catuscia Palamidessi},
editor = {Roberto M. Amadio and
Iain Phillips},
title = {Fair Pi},
booktitle = {Proceedings of the 13th International Workshop on Expressiveness in
Concurrency, {EXPRESS} 2006, Bonn, Germany, August 26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {3},
pages = {3--26},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.10.051},
doi = {10.1016/J.ENTCS.2006.10.051},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CacciagranoCP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PradalierP06,
author = {Sylvain Pradalier and
Catuscia Palamidessi},
editor = {Alessandra Di Pierro and
Herbert Wiklicky},
title = {Expressiveness of Probabilistic pi},
booktitle = {Proceedings of the 4th International Workshop on Quantitative Aspects
of Programming Languages, {QAPL} 2006, Vienna, Austria, April 1-2,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {3},
pages = {119--136},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.07.015},
doi = {10.1016/J.ENTCS.2006.07.015},
timestamp = {Fri, 20 Jan 2023 13:06:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PradalierP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Palamidessi05,
author = {Catuscia Palamidessi and
Frank D. Valencia},
title = {Recursion vs Replication in Process Calculi: Expressiveness},
journal = {Bull. {EATCS}},
volume = {87},
pages = {105--125},
year = {2005},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Palamidessi05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PalamidessiH05,
author = {Catuscia Palamidessi and
Oltea Mihaela Herescu},
title = {A randomized encoding of the Pi-calculus with mixed choice},
journal = {Theor. Comput. Sci.},
volume = {335},
number = {2-3},
pages = {373--404},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.11.020},
doi = {10.1016/J.TCS.2004.11.020},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/PalamidessiH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DengPP05,
author = {Yuxin Deng and
Catuscia Palamidessi and
Jun Pang},
editor = {Aart Middeldorp and
Vincent van Oostrom and
Femke van Raamsdonk and
Roel C. de Vrijer},
title = {Compositional Reasoning for Probabilistic Finite-State Behaviors},
booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3838},
pages = {309--337},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601548\_17},
doi = {10.1007/11601548\_17},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DengPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BhargavaP05,
author = {Mohit Bhargava and
Catuscia Palamidessi},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {Probabilistic Anonymity},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {171--185},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_16},
doi = {10.1007/11539452\_16},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BhargavaP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/VigliottiPP05,
author = {Maria Grazia Vigliotti and
Iain Phillips and
Catuscia Palamidessi},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Separation Results Via Leader Election Problems},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {172--194},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_9},
doi = {10.1007/11804192\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/VigliottiPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/DengP05,
author = {Yuxin Deng and
Catuscia Palamidessi},
editor = {Vladimiro Sassone},
title = {Axiomatizations for Probabilistic Finite-State Behaviors},
booktitle = {Foundations of Software Science and Computational Structures, 8th
International Conference, {FOSSACS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3441},
pages = {110--124},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31982-5\_7},
doi = {10.1007/978-3-540-31982-5\_7},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/DengP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ChatzikokolakisP05,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {Probable Innocence Revisited},
booktitle = {Formal Aspects in Security and Trust, Third International Workshop,
{FAST} 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3866},
pages = {142--157},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11679219\_11},
doi = {10.1007/11679219\_11},
timestamp = {Sun, 02 Oct 2022 16:07:30 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ChatzikokolakisP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/ChatzikokolakisP05,
author = {Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Rocco De Nicola and
Davide Sangiorgi},
title = {A Framework for Analyzing Probabilistic Protocols and Its Application
to the Partial Secrets Exchange},
booktitle = {Trustworthy Global Computing, International Symposium, {TGC} 2005,
Edinburgh, UK, April 7-9, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3705},
pages = {146--162},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11580850\_9},
doi = {10.1007/11580850\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/ChatzikokolakisP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Palamidessi06,
author = {Catuscia Palamidessi},
editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Achim Jung and
Michael W. Mislove},
title = {Probabilistic and Nondeterministic Aspects of Anonymity},
booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {155},
pages = {33--42},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.050},
doi = {10.1016/J.ENTCS.2005.11.050},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Palamidessi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DengPP07,
author = {Yuxin Deng and
Catuscia Palamidessi and
Jun Pang},
editor = {Michael Backes and
Andre Scedrov},
title = {Weak Probabilistic Anonymity},
booktitle = {Proceedings of the International Workshop on Security and Concurrency,
SecCo@CONCUR 2005, San Francisco, CA, USA, August 22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {180},
number = {1},
pages = {55--76},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.05.047},
doi = {10.1016/J.ENTCS.2005.05.047},
timestamp = {Tue, 31 Jan 2023 13:51:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DengPP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DengCPP06,
author = {Yuxin Deng and
Tom Chothia and
Catuscia Palamidessi and
Jun Pang},
editor = {Antonio Cerone and
Herbert Wiklicky},
title = {Metrics for Action-labelled Quantitative Transition Systems},
booktitle = {Proceedings of the Third Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2005, Edinburgh, UK, April 2-3, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {2},
pages = {79--96},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.033},
doi = {10.1016/J.ENTCS.2005.10.033},
timestamp = {Thu, 01 Dec 2022 16:37:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DengCPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CacciagranoCP06,
author = {Diletta Cacciagrano and
Flavio Corradini and
Catuscia Palamidessi},
editor = {Jos C. M. Baeten and
Iain C. C. Phillips},
title = {Separation of Synchronous and Asynchronous Communication Via Testing},
booktitle = {Proceedings of the 12th Workshop on Expressiveness on Concurrency,
{EXPRESS} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {3},
pages = {95--108},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.05.009},
doi = {10.1016/J.ENTCS.2006.05.009},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CacciagranoCP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZieglerMP06,
author = {Axelle Ziegler and
Dale Miller and
Catuscia Palamidessi},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {A Congruence Format for Name-passing Calculi},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {169--189},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.09.032},
doi = {10.1016/J.ENTCS.2005.09.032},
timestamp = {Thu, 15 Dec 2022 16:08:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZieglerMP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Palamidessi06a,
author = {Catuscia Palamidessi},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Anonymity in Probabilistic and Nondeterministic Systems},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {277--279},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.094},
doi = {10.1016/J.ENTCS.2005.12.094},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Palamidessi06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/2005,
editor = {Lu{\'{\i}}s Caires and
Giuseppe F. Italiano and
Lu{\'{\i}}s Monteiro and
Catuscia Palamidessi and
Moti Yung},
title = {Automata, Languages and Programming, 32nd International Colloquium,
{ICALP} 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3580},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11523468},
doi = {10.1007/11523468},
isbn = {3-540-27580-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PalamidessiB05,
author = {Catuscia Palamidessi and
Mohit Bhargava},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Ugo Montanari and
Martin Wirsing},
title = {Probabilistic Anonymity},
booktitle = {Foundations of Global Computing, 20.-25. February 2005},
series = {Dagstuhl Seminar Proceedings},
volume = {05081},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2005},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/299},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/PalamidessiB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Palamidessi03,
author = {Catuscia Palamidessi},
title = {Comparing The Expressive Power Of The Synchronous And Asynchronous
Pi-Calculi},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {5},
pages = {685--719},
year = {2003},
url = {https://doi.org/10.1017/S0960129503004043},
doi = {10.1017/S0960129503004043},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Palamidessi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/McDowellMP03,
author = {Raymond McDowell and
Dale Miller and
Catuscia Palamidessi},
title = {Encoding transition systems in sequent calculus},
journal = {Theor. Comput. Sci.},
volume = {294},
number = {3},
pages = {411--437},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00168-2},
doi = {10.1016/S0304-3975(01)00168-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/McDowellMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2003,
editor = {Catuscia Palamidessi},
title = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b94619},
doi = {10.1007/B94619},
isbn = {3-540-20642-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/NielsenPV02,
author = {Mogens Nielsen and
Catuscia Palamidessi and
Frank D. Valencia},
title = {Temporal Concurrent Constraint Programming: Denotation, Logic and
Applications},
journal = {Nord. J. Comput.},
volume = {9},
number = {1},
pages = {145--188},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/NielsenPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/PalamidessiH02,
author = {Catuscia Palamidessi and
Oltea Mihaela Herescu},
editor = {Ricardo A. Baeza{-}Yates and
Ugo Montanari and
Nicola Santoro},
title = {A Randomized Distributed Encoding of the Pi-Calculus with Mixed Choice},
booktitle = {Foundations of Information Technology in the Era of Networking and
Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
- {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {223},
pages = {537--549},
publisher = {Kluwer},
year = {2002},
url = {https://doi.org/10.1007/978-0-387-35608-2\_44},
doi = {10.1007/978-0-387-35608-2\_44},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/PalamidessiH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcs/PalamidessiP02,
author = {Catuscia Palamidessi and
M. Pilquist},
editor = {Selim G. Akl and
Teofilo F. Gonzalez},
title = {A Randomized Solution to the Distributed Resource Allocation Problem},
booktitle = {International Conference on Parallel and Distributed Computing Systems,
{PDCS} 2002, November 4-6, 2002, Cambridge, {USA}},
pages = {247--252},
publisher = {{IASTED/ACTA} Press},
year = {2002},
timestamp = {Tue, 26 Sep 2006 13:37:10 +0200},
biburl = {https://dblp.org/rec/conf/pdcs/PalamidessiP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Palamidessi02,
author = {Catuscia Palamidessi},
title = {Mobile calculi for distributed programming},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {74--75},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571165},
doi = {10.1145/571157.571165},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/Palamidessi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/NielsenPV02,
author = {Mogens Nielsen and
Catuscia Palamidessi and
Frank D. Valencia},
title = {On the expressive power of temporal concurrent constraint programming
languages},
booktitle = {Proceedings of the 4th international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, October 6-8, 2002,
Pittsburgh, PA, {USA} (Affiliated with {PLI} 2002)},
pages = {156--167},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571157.571173},
doi = {10.1145/571157.571173},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/NielsenPV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Palamidessi02,
author = {Catuscia Palamidessi},
editor = {Uwe Nestmann and
Prakash Panangaden},
title = {On the Expressive Power of Temporal Concurrent Constraint Programming
Languages (invited talk)},
booktitle = {9th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2002, Satellite Workshop from {CONCUR} 2002, Brno, Czech Republic,
August 19, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {68},
number = {2},
pages = {3},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80359-7},
doi = {10.1016/S1571-0661(05)80359-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Palamidessi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Palamidessi01,
author = {Catuscia Palamidessi},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {253},
number = {2},
pages = {153},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00092-X},
doi = {10.1016/S0304-3975(00)00092-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Palamidessi01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PalamidessiV01,
author = {Catuscia Palamidessi and
Frank D. Valencia},
editor = {Toby Walsh},
title = {A Temporal Concurrent Constraint Programming Calculus},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2239},
pages = {302--316},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45578-7\_21},
doi = {10.1007/3-540-45578-7\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PalamidessiV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/HerescuP01,
author = {Oltea Mihaela Herescu and
Catuscia Palamidessi},
editor = {Ajay D. Kshemkalyani and
Nir Shavit},
title = {On the generalized dining philosophers problem},
booktitle = {Proceedings of the Twentieth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2001, Newport, Rhode Island, USA,
August 26-29, 2001},
pages = {81--89},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/383962.383994},
doi = {10.1145/383962.383994},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/HerescuP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0109002,
author = {Oltea Mihaela Herescu and
Catuscia Palamidessi},
title = {Probabilistic asynchronous pi-calculus},
journal = {CoRR},
volume = {cs.PL/0109002},
year = {2001},
url = {https://arxiv.org/abs/cs/0109002},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0109002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0109003,
author = {Oltea Mihaela Herescu and
Catuscia Palamidessi},
title = {On the generalized dining philosophers problem},
journal = {CoRR},
volume = {cs.PL/0109003},
year = {2001},
url = {https://arxiv.org/abs/cs/0109003},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0109003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PalamidessiPG00,
author = {Catuscia Palamidessi and
Joachim Parrow and
Rob J. van Glabbeek},
title = {Preface},
journal = {Inf. Comput.},
volume = {156},
number = {1-2},
pages = {1},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2815},
doi = {10.1006/INCO.1999.2815},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/PalamidessiPG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/GilbertP00,
author = {David R. Gilbert and
Catuscia Palamidessi},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Concurrent Constraint Programming with Process Mobility},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {463--477},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_31},
doi = {10.1007/3-540-44957-4\_31},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cl/GilbertP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HerescuP00,
author = {Oltea Mihaela Herescu and
Catuscia Palamidessi},
editor = {Jerzy Tiuryn},
title = {Probabilistic Asynchronous pi-Calculus},
booktitle = {Foundations of Software Science and Computation Structures, Third
International Conference, {FOSSACS} 2000, Held as Part of the Joint
European Conferences on Theory and Practice of Software,ETAPS 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1784},
pages = {146--160},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46432-8\_10},
doi = {10.1007/3-540-46432-8\_10},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HerescuP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cl/2000,
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4},
doi = {10.1007/3-540-44957-4},
isbn = {3-540-67797-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cl/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2000,
editor = {Catuscia Palamidessi},
title = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4},
doi = {10.1007/3-540-44618-4},
isbn = {3-540-67897-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MillerP99,
author = {Dale Miller and
Catuscia Palamidessi},
title = {Foundational Aspects of Syntax},
journal = {{ACM} Comput. Surv.},
volume = {31},
number = {3es},
pages = {11},
year = {1999},
url = {https://doi.org/10.1145/333580.333590},
doi = {10.1145/333580.333590},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/MillerP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Palamidessi99,
author = {Catuscia Palamidessi},
title = {Editorial: Selected Papers from the Joint International Symposium
PLILP/ALP'98},
journal = {J. Funct. Log. Program.},
volume = {1999},
number = {Special Issue 2},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/Palamidessi99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BertolinoEP99,
author = {Marco Bertolino and
Sandro Etalle and
Catuscia Palamidessi},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {The Replacement Operation for {CCP} Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {441--454},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/BertolinoEP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Palamidessi99,
author = {Catuscia Palamidessi},
editor = {Jos C. M. Baeten and
Sjouke Mauw},
title = {Expressiveness and Distributed Implementation of Conciurrent Calculi
with Link Mobility},
booktitle = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven,
The Netherlands, August 24-27, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1664},
pages = {28--29},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48320-9\_4},
doi = {10.1007/3-540-48320-9\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Palamidessi99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BertolinoEP99,
author = {Marco Bertolino and
Sandro Etalle and
Catuscia Palamidessi},
editor = {Annalisa Bossi},
title = {The Replacement Operation for {CCP} Programs},
booktitle = {Logic Programming Synthesis and Transformation, 9th International
Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1817},
pages = {216--233},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720327\_13},
doi = {10.1007/10720327\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BertolinoEP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastellaniP98,
author = {Ilaria Castellani and
Catuscia Palamidessi},
editor = {Ilaria Castellani and
Catuscia Palamidessi},
title = {Preface},
booktitle = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
7, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {2},
pages = {171--172},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80566-3},
doi = {10.1016/S1571-0661(05)80566-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CastellaniP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/1998,
editor = {Ilaria Castellani and
Catuscia Palamidessi},
title = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
7, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {2},
publisher = {Elsevier},
year = {1998},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/16/issue/2},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1998,
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {1490},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056603},
doi = {10.1007/BFB0056603},
isbn = {3-540-65012-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-9809008,
author = {Catuscia Palamidessi},
title = {Comparing the expressive power of the Synchronous and the Asynchronous
pi-calculus},
journal = {CoRR},
volume = {cs.PL/9809008},
year = {1998},
url = {https://arxiv.org/abs/cs/9809008},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-9809008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FalaschiGMP97,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Kim Marriott and
Catuscia Palamidessi},
title = {Constraint Logic Programming with Dynamic Scheduling: {A} Semantics
Based on Closure Operators},
journal = {Inf. Comput.},
volume = {137},
number = {1},
pages = {41--67},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2638},
doi = {10.1006/INCO.1997.2638},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FalaschiGMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BoerPP97,
author = {Frank S. de Boer and
Alessandra Di Pierro and
Catuscia Palamidessi},
title = {An Algebraic Perspective of Constraint Logic Programming},
journal = {J. Log. Comput.},
volume = {7},
number = {1},
pages = {1--38},
year = {1997},
url = {https://doi.org/10.1093/logcom/7.1.1},
doi = {10.1093/LOGCOM/7.1.1},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BoerPP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FalaschiGMP97,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Kim Marriott and
Catuscia Palamidessi},
title = {Confluence in Concurrent Constraint Programming},
journal = {Theor. Comput. Sci.},
volume = {183},
number = {2},
pages = {281--315},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)00328-9},
doi = {10.1016/S0304-3975(97)00328-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FalaschiGMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CortesiFGPR97,
author = {Agostino Cortesi and
Gilberto Fil{\'{e}} and
Roberto Giacobazzi and
Catuscia Palamidessi and
Francesco Ranzato},
title = {Complementation in Abstract Interpretation},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {1},
pages = {7--47},
year = {1997},
url = {https://doi.org/10.1145/239912.239914},
doi = {10.1145/239912.239914},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/CortesiFGPR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BoerGMP97,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Elena Marchiori and
Catuscia Palamidessi},
title = {Proving Concurrent Constraint Programs Correct},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {19},
number = {5},
pages = {685--725},
year = {1997},
url = {https://doi.org/10.1145/265943.265954},
doi = {10.1145/265943.265954},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BoerGMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BestBP97,
author = {Eike Best and
Frank S. de Boer and
Catuscia Palamidessi},
editor = {David Garlan and
Daniel Le M{\'{e}}tayer},
title = {Partial Order and {SOS} Semantics for Linear Constraint Programs},
booktitle = {Coordination Languages and Models, Second International Conference,
{COORDINATION} '97, Berlin, Germany, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1282},
pages = {256--273},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63383-9\_85},
doi = {10.1007/3-540-63383-9\_85},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BestBP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Palamidessi97,
author = {Catuscia Palamidessi},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Constraint programming for concurrent and distributed computing},
booktitle = {JFPLC'97, Sixi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et Programmation par Contraintes, 26-28 mai 1997, Orl{\'{e}}ans,
France},
pages = {11},
publisher = {Hermes},
year = {1997},
timestamp = {Thu, 27 May 2004 08:38:46 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Palamidessi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Palamidessi97,
author = {Catuscia Palamidessi},
editor = {Peter Lee and
Fritz Henglein and
Neil D. Jones},
title = {Comparing the Expressive Power of the Synchronous and the Asynchronous
pi-calculus},
booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Papers Presented at the Symposium,
Paris, France, 15-17 January 1997},
pages = {256--265},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/263699.263731},
doi = {10.1145/263699.263731},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/Palamidessi97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PalamidessiP97,
author = {Catuscia Palamidessi and
Joachim Parrow},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Foreword},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {1--2},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80461-X},
doi = {10.1016/S1571-0661(05)80461-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PalamidessiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/express/1997,
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
publisher = {Elsevier},
year = {1997},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/7/suppl/C},
timestamp = {Wed, 15 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/express/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BestP96,
author = {Eike Best and
Catuscia Palamidessi},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Linear Constraint Systems as High-Level Nets},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {498--513},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_72},
doi = {10.1007/3-540-61604-7\_72},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BestP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BoerGP96,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Catuscia Palamidessi},
editor = {Radhia Cousot and
David A. Schmidt},
title = {Proving Correctness of Constraint Logic Programs with Dynamic Scheduling},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {83--97},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_35},
doi = {10.1007/3-540-61739-6\_35},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/BoerGP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/McDowellMP96,
author = {Raymond McDowell and
Dale Miller and
Catuscia Palamidessi},
editor = {Jean{-}Yves Girard and
Mitsuhiro Okada and
Andre Scedrov},
title = {Encoding Transition Systems in Sequent Calculus},
booktitle = {Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo,
Japan, March 29 - April 2, 1996},
series = {Electronic Notes in Theoretical Computer Science},
volume = {3},
pages = {138--152},
publisher = {Elsevier},
year = {1996},
url = {https://doi.org/10.1016/S1571-0661(05)80412-8},
doi = {10.1016/S1571-0661(05)80412-8},
timestamp = {Fri, 11 Nov 2022 13:19:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/McDowellMP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PierroMP95,
author = {Alessandra Di Pierro and
Maurizio Martelli and
Catuscia Palamidessi},
title = {Negation as Instantiation},
journal = {Inf. Comput.},
volume = {120},
number = {2},
pages = {263--278},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1113},
doi = {10.1006/INCO.1995.1113},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/PierroMP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoerPP95,
author = {Frank S. de Boer and
Alessandra Di Pierro and
Catuscia Palamidessi},
title = {Nondeterminism and Infinite Computations in Constraint Programming},
journal = {Theor. Comput. Sci.},
volume = {151},
number = {1},
pages = {37--78},
year = {1995},
url = {https://doi.org/10.1016/0304-3975(95)00047-Z},
doi = {10.1016/0304-3975(95)00047-Z},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoerPP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FalaschiGMP95,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Kim Marriott and
Catuscia Palamidessi},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Confluence in Concurrent Constraint Programming},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {531--545},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_76},
doi = {10.1007/3-540-60043-4\_76},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/FalaschiGMP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccp2/BoerPB95,
author = {Frank S. de Boer and
Catuscia Palamidessi and
Eike Best},
editor = {Agostino Cortesi and
Philippe Codognet},
title = {Concurrent Constraint Programming with Information Removal},
booktitle = {First International Workshop on Concurrent Constraint Programming,
{CCP} 1995, C{\`{a}} Dolfin, Venice, Italy, May 29-31, 1995},
pages = {1:1--1:13},
publisher = {{INRIA} Rocquencourt},
year = {1995},
timestamp = {Tue, 18 Apr 2023 16:18:59 +0200},
biburl = {https://dblp.org/rec/conf/ccp2/BoerPB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CortesiFGPR95,
author = {Agostino Cortesi and
Gilberto Fil{\'{e}} and
Roberto Giacobazzi and
Catuscia Palamidessi and
Francesco Ranzato},
editor = {Alan Mycroft},
title = {Complementation in Abstract Interpretation},
booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
UK, September 25-27, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {983},
pages = {100--117},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60360-3\_35},
doi = {10.1007/3-540-60360-3\_35},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CortesiFGPR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/AptMP94,
author = {Krzysztof R. Apt and
Elena Marchiori and
Catuscia Palamidessi},
title = {A Declarative Approach for First-Order Built-in's of Prolog},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {5},
pages = {159--191},
year = {1994},
url = {https://doi.org/10.1007/BF01190828},
doi = {10.1007/BF01190828},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/AptMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BoerP94,
author = {Frank S. de Boer and
Catuscia Palamidessi},
title = {Embedding as a Tool for Language Comparison},
journal = {Inf. Comput.},
volume = {108},
number = {1},
pages = {128--157},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1004},
doi = {10.1006/INCO.1994.1004},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BoerP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FalaschiGMP94,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Kim Marriott and
Catuscia Palamidessi},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {Confluence and Concurrent Constraint Programming},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 1},
pages = {140--154},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:38 +0100},
biburl = {https://dblp.org/rec/conf/agp/FalaschiGMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MartelliMPH94,
author = {Maurizio Martelli and
Alessandro Messora and
Catuscia Palamidessi and
Alain Hui{-}Bon{-}Hoa},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {Fixpoint Semantics of {L} lambda},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 1},
pages = {187--201},
year = {1994},
timestamp = {Tue, 30 Nov 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/MartelliMPH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Palamidessi94,
author = {Catuscia Palamidessi},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Concurrent Constraint Programming},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {1--2},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_1},
doi = {10.1007/3-540-58431-5\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/Palamidessi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PierroP94,
author = {Alessandra Di Pierro and
Catuscia Palamidessi},
editor = {Donald Sannella},
title = {A Logical Denotational Semantics for Constraint Logic Programming},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {195--210},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_13},
doi = {10.1007/3-540-57880-3\_13},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/PierroP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoerGMP94,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Elena Marchiori and
Catuscia Palamidessi},
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {Proving correctness of Concurrent Constraint Programs},
booktitle = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
Logic Languages, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoerGMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FalaschiGMP94,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Kim Marriott and
Catuscia Palamidessi},
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {Denotational semantics for Concurrent Constraint Programs analyses},
booktitle = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
Logic Languages, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FalaschiGMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Palamidessi94,
author = {Catuscia Palamidessi},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Concurrent Constraint Programming},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {1--2},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_1},
doi = {10.1007/3-540-58402-1\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Palamidessi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BoerGMP94,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Elena Marchiori and
Catuscia Palamidessi},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {Proving Concurrent Constraint Programs Correct},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {98--108},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.176925},
doi = {10.1145/174675.176925},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/BoerGMP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FalaschiLMP93,
author = {Moreno Falaschi and
Giorgio Levi and
Maurizio Martelli and
Catuscia Palamidessi},
title = {A Model-Theoretic Reconstruction of the Operational Semantics of Logic
Programs},
journal = {Inf. Comput.},
volume = {103},
number = {1},
pages = {86--113},
year = {1993},
url = {https://doi.org/10.1006/inco.1993.1015},
doi = {10.1006/INCO.1993.1015},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FalaschiLMP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FalaschiGMP93,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Kim Marriott and
Catuscia Palamidessi},
title = {Compositional Analysis for Concurrent Constraint Programming},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {210--221},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287586},
doi = {10.1109/LICS.1993.287586},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FalaschiGMP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BoerKPR93,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Dale Miller},
title = {Non-monotonic Concurrent Constraint Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {315--334},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/BoerKPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MartelliMP93,
author = {Maurizio Martelli and
Alessandro Messora and
Catuscia Palamidessi},
editor = {Dale Miller},
title = {Fixpoint Semantics of L-lambda},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {666},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MartelliMP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/HaridiJP92,
author = {Seif Haridi and
Sverker Janson and
Catuscia Palamidessi},
title = {Structural operational semantics for {AKL}},
journal = {Future Gener. Comput. Syst.},
volume = {8},
number = {4},
pages = {409--421},
year = {1992},
url = {https://doi.org/10.1016/0167-739X(92)90072-J},
doi = {10.1016/0167-739X(92)90072-J},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/HaridiJP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoerKPR92,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
title = {From Failure to Success: Comparing a Denotational and a Declarative
Semantics for Horn Clause Logic},
journal = {Theor. Comput. Sci.},
volume = {101},
number = {2},
pages = {239--263},
year = {1992},
url = {https://doi.org/10.1016/0304-3975(92)90051-G},
doi = {10.1016/0304-3975(92)90051-G},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoerKPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AptMP92,
author = {Krzysztof R. Apt and
Elena Marchiori and
Catuscia Palamidessi},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {A Theory of First-Order Built-in's of Prolog},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {69--83},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013820},
doi = {10.1007/BFB0013820},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AptMP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alpuk/BoerP92,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Krysia Broda},
title = {On the Semantics of Concurrent Constraint Programming},
booktitle = {ALPUK92, Proceedings of the 4th {UK} Conference on Logic Programming,
London, 30 March - 1 April 1992},
series = {Workshops in Computing},
pages = {145--173},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3421-3\_9},
doi = {10.1007/978-1-4471-3421-3\_9},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/alpuk/BoerP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoerP92,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Krzysztof R. Apt},
title = {A Process Algebra of Concurrent Constraint Programming},
booktitle = {Logic Programming, Proceedings of the Joint International Conference
and Symposium on Logic Programming, {JICSLP} 1992, Washington, DC,
USA, November 1992},
pages = {463--477},
publisher = {{MIT} Press},
year = {1992},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoerP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BoerKP92,
author = {Frank S. de Boer and
Jan Willem Klop and
Catuscia Palamidessi},
title = {Asynchronous Communication in Process Algebra},
booktitle = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
{(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
pages = {137--147},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/LICS.1992.185528},
doi = {10.1109/LICS.1992.185528},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BoerKP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BoerKPR92,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {On Blocks: Locality and Asynchronous Communication (Extended Abstract)},
booktitle = {Sematics: Foundations and Applications, {REX} Workshop, Beekbergen,
The Netherlands, June 1-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {666},
pages = {73--90},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56596-5\_29},
doi = {10.1007/3-540-56596-5\_29},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rex/BoerKPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GiovannettiLMP91,
author = {Elio Giovannetti and
Giorgio Levi and
Corrado Moiso and
Catuscia Palamidessi},
title = {Kernel-LEAF: {A} Logic plus Functional Language},
journal = {J. Comput. Syst. Sci.},
volume = {42},
number = {2},
pages = {139--185},
year = {1991},
url = {https://doi.org/10.1016/0022-0000(91)90009-T},
doi = {10.1016/0022-0000(91)90009-T},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/GiovannettiLMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BoscoGMP91,
author = {Pier Giorgio Bosco and
Elio Giovannetti and
Corrado Moiso and
Catuscia Palamidessi},
title = {Comments on "Logic-Programming with Equations"},
journal = {J. Log. Program.},
volume = {11},
number = {1{\&}2},
pages = {85--89},
year = {1991},
url = {https://doi.org/10.1016/0743-1066(91)90010-M},
doi = {10.1016/0743-1066(91)90010-M},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/BoscoGMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BoerRKP91,
author = {Frank S. de Boer and
Jan J. M. M. Rutten and
Joost N. Kok and
Catuscia Palamidessi},
title = {Semantic Models for Concurrent Logic Languages},
journal = {Theor. Comput. Sci.},
volume = {86},
number = {1},
pages = {3--33},
year = {1991},
url = {https://doi.org/10.1016/0304-3975(91)90003-K},
doi = {10.1016/0304-3975(91)90003-K},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BoerRKP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerKPR91,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {The Failure of Failures in a Paradigm for Asynchronous Communication},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {111--126},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_84},
doi = {10.1007/3-540-54430-5\_84},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerKPR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerP91,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Embedding as a Tool for Language Comparison: On the {CSP} Hierarchy},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {127--141},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_85},
doi = {10.1007/3-540-54430-5\_85},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PierroMP91,
author = {Alessandra Di Pierro and
Maurizio Martelli and
Catuscia Palamidessi},
editor = {Koichi Furukawa},
title = {Negation as Instantitation: {A} New Rule for the Treatment of Negation
in Logic Programming},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {32--45},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PierroMP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/HaridiP91,
author = {Seif Haridi and
Catuscia Palamidessi},
editor = {Emile H. L. Aarts and
Jan van Leeuwen and
Martin Rem},
title = {Structural Operational Semantics for Kernel Andorra Prolog},
booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:}
Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {506},
pages = {238--253},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54152-7\_68},
doi = {10.1007/3-540-54152-7\_68},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parle/HaridiP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BoerP91,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Samson Abramsky and
T. S. E. Maibaum},
title = {A Fully Abstract Model for Concurrent Constraint Programming},
booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Brighton, UK, April 8-12, 1991,
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
series = {Lecture Notes in Computer Science},
volume = {493},
pages = {296--319},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-53982-4\_17},
doi = {10.1007/3-540-53982-4\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BoerP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BoerP90,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {On the Asynchronous Nature of Communication in Concurrent Logic Languages:
{A} Fully Abstract Model Based on Sequences},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {99--114},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039054},
doi = {10.1007/BFB0039054},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BoerP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Palamidessi90,
author = {Catuscia Palamidessi},
editor = {Mike Paterson},
title = {Algebraic Properties of Idempotent Substitutions},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {386--399},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032046},
doi = {10.1007/BFB0032046},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Palamidessi90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LeviMP90,
author = {Giorgio Levi and
Maurizio Martelli and
Catuscia Palamidessi},
editor = {Saumya K. Debray and
Manuel V. Hermenegildo},
title = {Failure and Success made Symmetric},
booktitle = {Logic Programming, Proceedings of the 1990 North American Conference,
Austin, Texas, USA, October 29 - November 1, 1990},
pages = {3--22},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/LeviMP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BoerP90,
author = {Frank S. de Boer and
Catuscia Palamidessi},
editor = {Saumya K. Debray and
Manuel V. Hermenegildo},
title = {Concurrent Logic Programming: Asynchronism and Language Comparison},
booktitle = {Logic Programming, Proceedings of the 1990 North American Conference,
Austin, Texas, USA, October 29 - November 1, 1990},
pages = {175--194},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BoerP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FalaschiLPM89,
author = {Moreno Falaschi and
Giorgio Levi and
Catuscia Palamidessi and
Maurizio Martelli},
title = {Declarative Modeling of the Operational Behavior of Logic Languages},
journal = {Theor. Comput. Sci.},
volume = {69},
number = {3},
pages = {289--318},
year = {1989},
url = {https://doi.org/10.1016/0304-3975(89)90070-4},
doi = {10.1016/0304-3975(89)90070-4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FalaschiLPM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoerKPR89,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {Semantic Models for a Version of {PARLOG}},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {621--636},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoerKPR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BoerKPR89,
author = {Frank S. de Boer and
Joost N. Kok and
Catuscia Palamidessi and
Jan J. M. M. Rutten},
editor = {Antoni Kreczmar and
Grazyna Mirkowska},
title = {Control Flow versus Logic: {A} Denotational and a Declarative Model
for Guarded Horn Clauses},
booktitle = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik,
Poland, August 28 - September 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {379},
pages = {165--176},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51486-4\_64},
doi = {10.1007/3-540-51486-4\_64},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BoerKPR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LeviP88,
author = {Giorgio Levi and
Catuscia Palamidessi},
title = {Contributions to the Semantics of Logic Perpetual Processes},
journal = {Acta Informatica},
volume = {25},
number = {6},
pages = {691--711},
year = {1988},
url = {https://doi.org/10.1007/BF00291055},
doi = {10.1007/BF00291055},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LeviP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FalaschiLMP88,
author = {Moreno Falaschi and
Giorgio Levi and
Maurizio Martelli and
Catuscia Palamidessi},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {A New Declarative Semantics for Logic Languages},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {993--1005},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Sat, 23 Jun 2018 18:45:26 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FalaschiLMP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeviP87,
author = {Giorgio Levi and
Catuscia Palamidessi},
editor = {Jean{-}Louis Lassez},
title = {An Approach to the Declarative Semantics of Synchronization in Logic
Languages},
booktitle = {Logic Programming, Proceedings of the Fourth International Conference,
Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
pages = {877--893},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/LeviP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BelliaBGLMP87,
author = {Marco Bellia and
Pier Giorgio Bosco and
Elio Giovannetti and
Giorgio Levi and
Corrado Moiso and
Catuscia Palamidessi},
editor = {J. W. de Bakker and
A. J. Nijman and
Philip C. Treleaven},
title = {A Two-Level Approach to Logic plus Functional Programming Integration},
booktitle = {PARLE, Parallel Architectures and Languages Europe, Volume {I:} Parallel
Architectures, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {258},
pages = {374--393},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-17943-7\_140},
doi = {10.1007/3-540-17943-7\_140},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parle/BelliaBGLMP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LeviPBGM87,
author = {Giorgio Levi and
Catuscia Palamidessi and
Pier Giorgio Bosco and
Elio Giovannetti and
Corrado Moiso},
title = {A Complete Semantic Characterization of K-Leaf: {A} Logic Language
with Partial Functions},
booktitle = {Proceedings of the 1987 Symposium on Logic Programming, San Francisco,
California, USA, August 31 - September 4, 1987},
pages = {318--327},
publisher = {{IEEE-CS}},
year = {1987},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/LeviPBGM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/LeviP85,
author = {Giorgio Levi and
Catuscia Palamidessi},
title = {The Declarative Semantics of Logical Read-Only Variables},
booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts,
USA, July 15-18, 1985},
pages = {128--137},
publisher = {{IEEE-CS}},
year = {1985},
timestamp = {Wed, 04 Dec 2013 14:42:59 +0100},
biburl = {https://dblp.org/rec/conf/slp/LeviP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FalaschiLP84,
author = {Moreno Falaschi and
Giorgio Levi and
Catuscia Palamidessi},
title = {A Synchronization Logic: Axiomatics and Formal Semantics of Generalized
Horn Clauses},
journal = {Inf. Control.},
volume = {60},
number = {1-3},
pages = {36--69},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80021-2},
doi = {10.1016/S0019-9958(84)80021-2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FalaschiLP84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FalaschiLP83,
author = {Moreno Falaschi and
Giorgio Levi and
Catuscia Palamidessi},
editor = {Lu{\'{\i}}s Moniz Pereira and
Ant{\'{o}}nio Porto and
Lu{\'{\i}}s Monteiro and
Miguel Figueiras},
title = {On the Fixed-Point Semantics of Horn Clauses with Infinite Terms},
booktitle = {Logic Programming Workshop '83, Praia da Fal{\'{e}}sia, Algarve,
Portugal, 26 June - 1 July, 1983, Proceedings},
pages = {474--484},
publisher = {N{\'{u}}cleo de Intellig{\^{e}}ncia Artificial, Universidade
Nova De Lisboa, Portugal},
year = {1983},
url = {http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p474-Falaschi.pdf},
timestamp = {Thu, 12 Mar 2020 11:37:20 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FalaschiLP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
