default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Carla Piazza
@article{DBLP:journals/algorithms/PiazzaRS24,
author = {Carla Piazza and
Sabina Rossi and
Daria Smuseva},
title = {Efficient Algorithm for Proportional Lumpability and Its Application
to Selfish Mining in Public Blockchains},
journal = {Algorithms},
volume = {17},
number = {4},
pages = {159},
year = {2024},
url = {https://doi.org/10.3390/a17040159},
doi = {10.3390/A17040159},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/PiazzaRS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/GiustinaLPRR24,
author = {Davide Della Giustina and
C. Londero and
Carla Piazza and
Brian Riccardi and
Riccardo Romanello},
title = {Quantum encoding of dynamic directed graphs},
journal = {J. Log. Algebraic Methods Program.},
volume = {136},
pages = {100925},
year = {2024},
url = {https://doi.org/10.1016/j.jlamp.2023.100925},
doi = {10.1016/J.JLAMP.2023.100925},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/GiustinaLPRR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/RessiRPR24,
author = {Dalila Ressi and
Riccardo Romanello and
Carla Piazza and
Sabina Rossi},
title = {AI-enhanced blockchain technology: {A} review of advancements and
opportunities},
journal = {J. Netw. Comput. Appl.},
volume = {225},
pages = {103858},
year = {2024},
url = {https://doi.org/10.1016/j.jnca.2024.103858},
doi = {10.1016/J.JNCA.2024.103858},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jnca/RessiRPR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/RessiRRP24,
author = {Dalila Ressi and
Riccardo Romanello and
Sabina Rossi and
Carla Piazza},
title = {Compressing neural networks via formal methods},
journal = {Neural Networks},
volume = {178},
pages = {106411},
year = {2024},
url = {https://doi.org/10.1016/j.neunet.2024.106411},
doi = {10.1016/J.NEUNET.2024.106411},
timestamp = {Fri, 19 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/RessiRRP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/RossiGVP24,
author = {Nicol{\`{o}} Rossi and
Nicola Gigante and
Nicola Vitacolonna and
Carla Piazza},
title = {Inferring Markov Chains to Describe Convergent Tumor Evolution With
{CIMICE}},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {21},
number = {1},
pages = {106--119},
year = {2024},
url = {https://doi.org/10.1109/TCBB.2023.3337258},
doi = {10.1109/TCBB.2023.3337258},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcbb/RossiGVP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwbbio/PagliariniMPGMGMP24,
author = {Roberto Pagliarini and
Fabio Marroni and
Carla Piazza and
Giovanni Gabelli and
Gabriele Magris and
Gabriele Di Gaspero and
Michele Morgante and
Alberto Policriti},
editor = {Ignacio Rojas and
Francisco Ortu{\~{n}}o and
Fernando Rojas and
Luis Javier Herrera and
Olga Valenzuela},
title = {Towards a Computational Approach to Quantification of Allele Specific
Expression at Population Level},
booktitle = {Bioinformatics and Biomedical Engineering - 11th International Conference,
{IWBBIO} 2024, Meloneras, Gran Canaria, Spain, July 15-17, 2024, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14849},
pages = {127--139},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-64636-2\_10},
doi = {10.1007/978-3-031-64636-2\_10},
timestamp = {Mon, 09 Sep 2024 16:23:28 +0200},
biburl = {https://dblp.org/rec/conf/iwbbio/PagliariniMPGMGMP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-18639,
author = {Dalila Ressi and
Alvise Span{\`{o}} and
Lorenzo Benetollo and
Carla Piazza and
Michele Bugliesi and
Sabina Rossi},
title = {Vulnerability Detection in Ethereum Smart Contracts via Machine Learning:
{A} Qualitative Analysis},
journal = {CoRR},
volume = {abs/2407.18639},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.18639},
doi = {10.48550/ARXIV.2407.18639},
eprinttype = {arXiv},
eprint = {2407.18639},
timestamp = {Sat, 24 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-18639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiqxqia/PiazzaR23,
author = {Carla Piazza and
Riccardo Romanello},
editor = {Marco Baioletti and
Miguel {\'{A}}ngel Gonz{\'{a}}lez and
Angelo Oddi and
Riccardo Rasconi and
Ramiro Varela},
title = {Synthesis of {CNOT} minimal quantum circuits with topological constraints
through {ASP}},
booktitle = {Proceedings of the International Workshop on {AI} for Quantum and
Quantum for {AI} (AIQxQIA 2023) co-located with 22nd International
Conference of the Italian Association for Artificial Intelligence
(AIxIA 2023), November 6 - November 9, 2023, Roma Tre University,
Rome, Italy},
series = {{CEUR} Workshop Proceedings},
volume = {3586},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3586/paper2.pdf},
timestamp = {Tue, 02 Jan 2024 17:44:44 +0100},
biburl = {https://dblp.org/rec/conf/aiqxqia/PiazzaR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/CasagrandeCDPT23,
author = {Alberto Casagrande and
Alessandro Cimatti and
Luca Dorigo and
Carla Piazza and
Stefano Tonetta},
editor = {Agostino Dovier and
Andrea Formisano},
title = {Set-Based Invariants over Polynomial Systems},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic,
Udine, Italy, June 21-23, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3428},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3428/paper8.pdf},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cilc/CasagrandeCDPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/PiazzaRW23,
author = {Carla Piazza and
Riccardo Romanello and
Robert Wille},
editor = {Agostino Dovier and
Andrea Formisano},
title = {An {ASP} Approach for the Synthesis of {CNOT} Minimal Quantum Circuits},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic,
Udine, Italy, June 21-23, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3428},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3428/paper18.pdf},
timestamp = {Wed, 05 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cilc/PiazzaRW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/SchiavaPR23,
author = {Alex Della Schiava and
Carla Piazza and
Riccardo Romanello},
editor = {Agostino Dovier and
Andrea Formisano},
title = {Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic,
Udine, Italy, June 21-23, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3428},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3428/paper13.pdf},
timestamp = {Wed, 05 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cilc/SchiavaPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/CasagrandeP23,
author = {Alberto Casagrande and
Carla Piazza},
editor = {Olivier Bournez and
Enrico Formenti and
Igor Potapov},
title = {Adaptive Directions for Bernstein-Based Polynomial Set Evolution},
booktitle = {Reachability Problems - 17th International Conference, {RP} 2023,
Nice, France, October 11-13, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14235},
pages = {113--126},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45286-4\_9},
doi = {10.1007/978-3-031-45286-4\_9},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/CasagrandeP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/MarinPR22,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {Proportional lumpability and proportional bisimilarity},
journal = {Acta Informatica},
volume = {59},
number = {2-3},
pages = {211--244},
year = {2022},
url = {https://doi.org/10.1007/s00236-021-00404-y},
doi = {10.1007/S00236-021-00404-Y},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/MarinPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/RossiCIP22,
author = {Nicol{\`{o}} Rossi and
Andrea Colautti and
L. Iacumin and
Carla Piazza},
title = {{WGA-LP:} a pipeline for whole genome assembly of contaminated reads},
journal = {Bioinform.},
volume = {38},
number = {3},
pages = {846--848},
year = {2022},
url = {https://doi.org/10.1093/bioinformatics/btab719},
doi = {10.1093/BIOINFORMATICS/BTAB719},
timestamp = {Sat, 11 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/RossiCIP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CasagrandeDDDPP22,
author = {Alberto Casagrande and
Thao Dang and
Luca Dorigo and
Tommaso Dreossi and
Carla Piazza and
Eleonora Pippia},
title = {Parameter synthesis of polynomial dynamical systems},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104941},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104941},
doi = {10.1016/J.IC.2022.104941},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CasagrandeDDDPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/RessiRPR22,
author = {Dalila Ressi and
Riccardo Romanello and
Carla Piazza and
Sabina Rossi},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {Neural Networks Reduction via Lumping},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {75--90},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_6},
doi = {10.1007/978-3-031-27181-6\_6},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aiia/RessiRPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PiazzaR22,
author = {Carla Piazza and
Riccardo Romanello},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marco Paolieri},
title = {Mirrors and Memory in Quantum Automata},
booktitle = {Quantitative Evaluation of Systems - 19th International Conference,
{QEST} 2022, Warsaw, Poland, September 12-16, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13479},
pages = {359--380},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16336-4\_18},
doi = {10.1007/978-3-031-16336-4\_18},
timestamp = {Tue, 21 Mar 2023 20:54:44 +0100},
biburl = {https://dblp.org/rec/conf/qest/PiazzaR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/GiustinaPRR22,
author = {Davide Della Giustina and
Carla Piazza and
Brian Riccardi and
Riccardo Romanello},
editor = {Claudio Antares Mezzina and
Krzysztof Podlaski},
title = {Directed Graph Encoding in Quantum Computing Supporting Edge-Failures},
booktitle = {Reversible Computation - 14th International Conference, {RC} 2022,
Urbino, Italy, July 5-6, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13354},
pages = {75--92},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09005-9\_6},
doi = {10.1007/978-3-031-09005-9\_6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/GiustinaPRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-07475,
author = {Dalila Ressi and
Riccardo Romanello and
Sabina Rossi and
Carla Piazza},
title = {Neural Networks Reduction via Lumping},
journal = {CoRR},
volume = {abs/2209.07475},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.07475},
doi = {10.48550/ARXIV.2209.07475},
eprinttype = {arXiv},
eprint = {2209.07475},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-07475.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HillstonMPR21,
author = {Jane Hillston and
Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {Persistent Stochastic Non-Interference},
journal = {Fundam. Informaticae},
volume = {181},
number = {1},
pages = {1--35},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2049},
doi = {10.3233/FI-2021-2049},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/HillstonMPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MarinPR21,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {\emph{D}{\_}\emph{PSNI}: Delimited persistent stochastic non-interference},
journal = {Theor. Comput. Sci.},
volume = {884},
pages = {116--135},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2021.08.007},
doi = {10.1016/J.TCS.2021.08.007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MarinPR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/PiazzaR21,
author = {Carla Piazza and
Sabina Rossi},
editor = {Alessandro Abate and
Andrea Marin},
title = {Reasoning About Proportional Lumpability},
booktitle = {Quantitative Evaluation of Systems - 18th International Conference,
{QEST} 2021, Paris, France, August 23-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12846},
pages = {372--390},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85172-9\_20},
doi = {10.1007/978-3-030-85172-9\_20},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/PiazzaR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/MarinPR19,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {A Process Algebra for (Delimited) Persistent Stochastic Non-Interference},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
publisher = {CEUR-WS.org},
year = {2019},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/MarinPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MarinPR19,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
editor = {{\'{E}}tienne Andr{\'{e}} and
Mari{\"{e}}lle Stoelinga},
title = {Proportional Lumpability},
booktitle = {Formal Modeling and Analysis of Timed Systems - 17th International
Conference, {FORMATS} 2019, Amsterdam, The Netherlands, August 27-29,
2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11750},
pages = {265--281},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29662-9\_16},
doi = {10.1007/978-3-030-29662-9\_16},
timestamp = {Thu, 05 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MarinPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/MarinPR19,
author = {Andrea Marin and
Carla Piazza and
Sabina Rossi},
editor = {David Parker and
Verena Wolf},
title = {A Process Algebra for (Delimited) Persistent Stochastic Non-Interference},
booktitle = {Quantitative Evaluation of Systems, 16th International Conference,
{QEST} 2019, Glasgow, UK, September 10-12, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11785},
pages = {222--238},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30281-8\_13},
doi = {10.1007/978-3-030-30281-8\_13},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/MarinPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/HillstonMPR19,
author = {Jane Hillston and
Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {Delimited Persistent Stochastic Non-Interference},
booktitle = {Proceedings of the 12th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, {VALUETOOLS} 2019, Universitat
de les Illes Balears, Palma de Mallorca, Spain, March 12-15, 2019},
pages = {135--142},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3306309.3306329},
doi = {10.1145/3306309.3306329},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/HillstonMPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/DangDFMPR19,
author = {Thao Dang and
Tommaso Dreossi and
Eric Fanchon and
Oded Maler and
Carla Piazza and
Alexandre Rocca},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Set-Based Analysis for Biological Modeling},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {157--189},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_6},
doi = {10.1007/978-3-030-17297-8\_6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/cb/DangDFMPR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlzettaMPR18,
author = {Giacomo Alzetta and
Andrea Marin and
Carla Piazza and
Sabina Rossi},
title = {Lumping-based equivalences in Markovian automata: Algorithms and applications
to product-form analyses},
journal = {Inf. Comput.},
volume = {260},
pages = {99--125},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.04.002},
doi = {10.1016/J.IC.2018.04.002},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlzettaMPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/HillstonMPR18,
author = {Jane Hillston and
Andrea Marin and
Carla Piazza and
Sabina Rossi},
editor = {Rena Bakhshi and
Paolo Ballarini and
Beno{\^{\i}}t Barbot and
Hind Castel{-}Taleb and
Anne Remke},
title = {Information Flow Security for Stochastic Processes},
booktitle = {Computer Performance Engineering - 15th European Workshop, {EPEW}
2018, Paris, France, October 29-30, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11178},
pages = {142--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02227-3\_10},
doi = {10.1007/978-3-030-02227-3\_10},
timestamp = {Tue, 07 May 2024 20:13:41 +0200},
biburl = {https://dblp.org/rec/conf/epew/HillstonMPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1808-08650,
author = {Jane Hillston and
Carla Piazza and
Sabina Rossi},
editor = {Jorge A. P{\'{e}}rez and
Simone Tini},
title = {Persistent Stochastic Non-Interference},
booktitle = {Proceedings Combined 25th International Workshop on Expressiveness
in Concurrency and 15th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2018, Beijing, China, September 3, 2018},
series = {{EPTCS}},
volume = {276},
pages = {53--68},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.276.6},
doi = {10.4204/EPTCS.276.6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-08650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DreossiDP17,
author = {Tommaso Dreossi and
Thao Dang and
Carla Piazza},
title = {Reachability computation for polynomial dynamical systems},
journal = {Formal Methods Syst. Des.},
volume = {50},
number = {1},
pages = {1--38},
year = {2017},
url = {https://doi.org/10.1007/s10703-016-0266-3},
doi = {10.1007/S10703-016-0266-3},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/DreossiDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/PeronP17,
author = {Adriano Peron and
Carla Piazza},
title = {Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface},
journal = {Inf. Comput.},
volume = {253},
pages = {179--180},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2016.07.005},
doi = {10.1016/J.IC.2016.07.005},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/PeronP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/SottanaPA17,
author = {Matteo Sottana and
Carla Piazza and
Andrea Albarelli},
editor = {Andrea Marin and
Benny Van Houdt and
Giuliano Casale and
Dorina C. Petriu and
Sabina Rossi},
title = {Efficient Computation of Renaming Functions for {\(\rho\)}-reversible
Discrete and Continuous Time Markov Chains},
booktitle = {Proceedings of the 11th {EAI} International Conference on Performance
Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy,
December 05-07, 2017},
pages = {52--59},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3150928.3150942},
doi = {10.1145/3150928.3150942},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/SottanaPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/AnticoliPTZ17,
author = {Linda Anticoli and
Carla Piazza and
Leonardo Taglialegne and
Paolo Zuliani},
editor = {Simonetta Balsamo and
Andrea Marin and
Enrico Vicario},
title = {{\textbackslash}mathtt Entang{\(\lambda\)} Entang {\(\lambda\)} e:
{A} Translation Framework from Quipper Programs to Quantum Markov
Chains},
booktitle = {New Frontiers in Quantitative Methods in Informatics - 7th Workshop,
InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {825},
pages = {113--126},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-91632-3\_9},
doi = {10.1007/978-3-319-91632-3\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/valuetools/AnticoliPTZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-06312,
author = {Linda Anticoli and
Carla Piazza and
Leonardo Taglialegne and
Paolo Zuliani},
title = {Verifying Quantum Programs: From Quipper to {QPMC}},
journal = {CoRR},
volume = {abs/1708.06312},
year = {2017},
url = {http://arxiv.org/abs/1708.06312},
eprinttype = {arXiv},
eprint = {1708.06312},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-06312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/DreossiDP16,
author = {Tommaso Dreossi and
Thao Dang and
Carla Piazza},
editor = {Alessandro Abate and
Georgios Fainekos},
title = {Parallelotope Bundles for Polynomial Reachability},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
pages = {297--306},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817.2883838},
doi = {10.1145/2883817.2883838},
timestamp = {Fri, 13 Aug 2021 11:37:40 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/DreossiDP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/AnticoliPTZ16,
author = {Linda Anticoli and
Carla Piazza and
Leonardo Taglialegne and
Paolo Zuliani},
editor = {Simon J. Devitt and
Ivan Lanese},
title = {Towards Quantum Programs Verification: From Quipper Circuits to {QPMC}},
booktitle = {Reversible Computation - 8th International Conference, {RC} 2016,
Bologna, Italy, July 7-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9720},
pages = {213--219},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40578-0\_16},
doi = {10.1007/978-3-319-40578-0\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/rc/AnticoliPTZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GentiliniPP15,
author = {Raffaella Gentilini and
Carla Piazza and
Alberto Policriti},
title = {Rank and simulation: the well-founded case},
journal = {J. Log. Comput.},
volume = {25},
number = {6},
pages = {1331--1349},
year = {2015},
url = {https://doi.org/10.1093/logcom/ext066},
doi = {10.1093/LOGCOM/EXT066},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GentiliniPP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CasagrandeP15,
author = {Alberto Casagrande and
Carla Piazza},
title = {Unwinding biological systems},
journal = {Theor. Comput. Sci.},
volume = {587},
pages = {26--48},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.02.045},
doi = {10.1016/J.TCS.2015.02.045},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CasagrandeP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DangDP15,
author = {Thao Dang and
Tommaso Dreossi and
Carla Piazza},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Parameter Synthesis Through Temporal Logic Specifications},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {213--230},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_14},
doi = {10.1007/978-3-319-19249-9\_14},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/DangDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CasagrandePP16,
author = {Alberto Casagrande and
Carla Piazza and
Alberto Policriti},
editor = {Pierluigi Crescenzi and
Michele Loreti},
title = {Is Hyper-extensionality Preservable Under Deletions of Graph Elements?},
booktitle = {Proceedings of the 16th Italian Conference on Theoretical Computer
Science, {ICTCS} 2015, Firenze, Italy, September 9-11, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {322},
pages = {103--118},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.03.008},
doi = {10.1016/J.ENTCS.2016.03.008},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CasagrandePP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hsb/2014,
editor = {Oded Maler and
{\'{A}}d{\'{a}}m M. Hal{\'{a}}sz and
Thao Dang and
Carla Piazza},
title = {Hybrid Systems Biology - Second International Workshop, {HSB} 2013,
Taormina, Italy, September 2, 2013 and Third International Workshop,
{HSB} 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7699},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27656-4},
doi = {10.1007/978-3-319-27656-4},
isbn = {978-3-319-27655-7},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CasagrandeDFP14,
author = {Alberto Casagrande and
Tommaso Dreossi and
Jana Fabrikov{\'{a}} and
Carla Piazza},
title = {{\unicode{1013}}-Semantics computations on biological systems},
journal = {Inf. Comput.},
volume = {236},
pages = {35--51},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.01.011},
doi = {10.1016/J.IC.2014.01.011},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CasagrandeDFP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/OmodeoPPT14,
author = {Eugenio G. Omodeo and
Carla Piazza and
Alberto Policriti and
Alexandru I. Tomescu},
editor = {Laura Giordano and
Valentina Gliozzi and
Gian Luca Pozzato},
title = {Hyper-Extensionality and One-Node Elimination on Membership Graphs},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic,
Torino, Italy, June 16-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1195},
pages = {341--346},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1195/short7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/OmodeoPPT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmmb/CasagrandeP14,
author = {Alberto Casagrande and
Carla Piazza},
editor = {Fran{\c{c}}ois Fages and
Carla Piazza},
title = {External Interactions on Hybrid Models of Biological Systems},
booktitle = {Formal Methods in Macro-Biology - First International Conference,
{FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8738},
pages = {63--81},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10398-3\_6},
doi = {10.1007/978-3-319-10398-3\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmmb/CasagrandeP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/DangDP14,
author = {Thao Dang and
Tommaso Dreossi and
Carla Piazza},
editor = {Oded Maler and
{\'{A}}d{\'{a}}m M. Hal{\'{a}}sz and
Thao Dang and
Carla Piazza},
title = {Parameter Synthesis Using Parallelotopic Enclosure and Applications
to Epidemic Models},
booktitle = {Hybrid Systems Biology - Second International Workshop, {HSB} 2013,
Taormina, Italy, September 2, 2013 and Third International Workshop,
{HSB} 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7699},
pages = {67--82},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-27656-4\_4},
doi = {10.1007/978-3-319-27656-4\_4},
timestamp = {Tue, 03 Aug 2021 16:22:18 +0200},
biburl = {https://dblp.org/rec/conf/hsb/DangDP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmmb/2014,
editor = {Fran{\c{c}}ois Fages and
Carla Piazza},
title = {Formal Methods in Macro-Biology - First International Conference,
{FMMB} 2014, Noum{\'{e}}a, New Caledonia, September 22-24, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8738},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10398-3},
doi = {10.1007/978-3-319-10398-3},
isbn = {978-3-319-10397-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmmb/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/PeronP14,
editor = {Adriano Peron and
Carla Piazza},
title = {Proceedings Fifth International Symposium on Games, Automata, Logics
and Formal Verification, GandALF 2014, Verona, Italy, September 10-12,
2014},
series = {{EPTCS}},
volume = {161},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.161},
doi = {10.4204/EPTCS.161},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PeronP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/FranceschetGMP13,
author = {Massimo Franceschet and
Donatella Gubiani and
Angelo Montanari and
Carla Piazza},
title = {A graph-theoretic approach to map conceptual designs to {XML} schemas},
journal = {{ACM} Trans. Database Syst.},
volume = {38},
number = {1},
pages = {6},
year = {2013},
url = {https://doi.org/10.1145/2445583.2445589},
doi = {10.1145/2445583.2445589},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tods/FranceschetGMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/valuetools/HillstonMRP13,
author = {Jane Hillston and
Andrea Marin and
Sabina Rossi and
Carla Piazza},
editor = {Andr{\'{a}}s Horv{\'{a}}th and
Peter Buchholz and
Vittorio Cortellessa and
Luca Muscariello and
Mark S. Squillante},
title = {Contextual lumpability},
booktitle = {7th International Conference on Performance Evaluation Methodologies
and Tools, ValueTools '13, Torino, Italy, December 10-12, 2013},
pages = {194--203},
publisher = {{ICST/ACM}},
year = {2013},
url = {https://doi.org/10.4108/icst.valuetools.2013.254408},
doi = {10.4108/ICST.VALUETOOLS.2013.254408},
timestamp = {Tue, 25 Sep 2018 18:26:26 +0200},
biburl = {https://dblp.org/rec/conf/valuetools/HillstonMRP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CasagrandeDP13,
author = {Alberto Casagrande and
Tommaso Dreossi and
Carla Piazza},
editor = {Luca Bortolussi and
Manuela{-}Luminita Bujorianu and
Giordano Pola},
title = {Approximated Symbolic Computations over Hybrid Automata},
booktitle = {Proceedings Third International Workshop on Hybrid Autonomous Systems,
{HAS} 2013, Rome, Italy, 17th March 2013},
series = {{EPTCS}},
volume = {124},
pages = {43--57},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.124.6},
doi = {10.4204/EPTCS.124.6},
timestamp = {Tue, 21 Sep 2021 18:08:28 +0200},
biburl = {https://dblp.org/rec/journals/corr/CasagrandeDP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DangP13,
editor = {Thao Dang and
Carla Piazza},
title = {Proceedings Second International Workshop on Hybrid Systems and Biology,
{HSB} 2013, Taormina, Italy, 2nd September 2013},
series = {{EPTCS}},
volume = {125},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.125},
doi = {10.4204/EPTCS.125},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DangP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/GentiliniPP12,
author = {Raffaella Gentilini and
Carla Piazza and
Alberto Policriti},
editor = {Francesca A. Lisi},
title = {Rank-Based Simulation on Acyclic Graphs},
booktitle = {Proceedings of the 9th Italian Convention on Computational Logic,
Rome, Italy, June 6-7, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {857},
pages = {149--160},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-857/paper\_f11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/GentiliniPP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/CasagrandeP12,
author = {Alberto Casagrande and
Carla Piazza},
title = {Model Checking on Hybrid Automata},
booktitle = {15th Euromicro Conference on Digital System Design, {DSD} 2012, Cesme,
Izmir, Turkey, September 5-8, 2012},
pages = {493--500},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSD.2012.87},
doi = {10.1109/DSD.2012.87},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/CasagrandeP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-3852,
author = {Alberto Casagrande and
Tommaso Dreossi and
Carla Piazza},
editor = {Ezio Bartocci and
Luca Bortolussi},
title = {Hybrid Automata and {\(\epsilon\)}-Analysis on a Neural Oscillator},
booktitle = {Proceedings First International Workshop on Hybrid Systems and Biology,
{HSB} 2012, Newcastle Upon Tyne, UK, 3rd September 2012},
series = {{EPTCS}},
volume = {92},
pages = {58--72},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.92.5},
doi = {10.4204/EPTCS.92.5},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-3852.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CampagnaRDMP10,
author = {Dario Campagna and
Christian De Rosa and
Agostino Dovier and
Angelo Montanari and
Carla Piazza},
title = {Morphos Configuration Engine: the Core of a Commercial Configuration
System in {CLP(FD)}},
journal = {Fundam. Informaticae},
volume = {105},
number = {1-2},
pages = {105--133},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-360},
doi = {10.3233/FI-2010-360},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CampagnaRDMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CampagnaP10,
author = {Dario Campagna and
Carla Piazza},
title = {Hybrid automata, reachability, and Systems Biology},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {20},
pages = {2037--2051},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2009.12.015},
doi = {10.1016/J.TCS.2009.12.015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CampagnaP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/FranceschetGMP10,
author = {Massimo Franceschet and
Donatella Gubiani and
Angelo Montanari and
Carla Piazza},
editor = {Sonia Bergamaschi and
Stefano Lodi and
Riccardo Martoglia and
Claudio Sartori},
title = {From Entity Relationship to {XML} Schema: a Graph-Theoretic Approach
(Extended Abstract)},
booktitle = {Proceedings of the Eighteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2010, Rimini, Italy, June 20-23, 2010},
pages = {382--389},
publisher = {Esculapio Editore},
year = {2010},
timestamp = {Sat, 05 Nov 2016 11:53:38 +0100},
biburl = {https://dblp.org/rec/conf/sebd/FranceschetGMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/deds/CasagrandePP09,
author = {Alberto Casagrande and
Carla Piazza and
Alberto Policriti},
title = {Discrete Semantics for Hybrid Automata},
journal = {Discret. Event Dyn. Syst.},
volume = {19},
number = {4},
pages = {471--493},
year = {2009},
url = {https://doi.org/10.1007/s10626-009-0082-7},
doi = {10.1007/S10626-009-0082-7},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/deds/CasagrandePP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xsym/FranceschetGMP09,
author = {Massimo Franceschet and
Donatella Gubiani and
Angelo Montanari and
Carla Piazza},
editor = {Zohra Bellahsene and
Ela Hunt and
Michael Rys and
Rainer Unland},
title = {From Entity Relationship to {XML} Schema: {A} Graph-Theoretic Approach},
booktitle = {Database and {XML} Technologies, 6th International {XML} Database
Symposium, XSym 2009, Lyon, France, August 24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5679},
pages = {165--179},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03555-5\_14},
doi = {10.1007/978-3-642-03555-5\_14},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/xsym/FranceschetGMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/GentiliniPP08,
author = {Raffaella Gentilini and
Carla Piazza and
Alberto Policriti},
title = {Symbolic Graphs: Linear Solutions to Connectivity Related Problems},
journal = {Algorithmica},
volume = {50},
number = {1},
pages = {120--158},
year = {2008},
url = {https://doi.org/10.1007/s00453-007-9079-5},
doi = {10.1007/S00453-007-9079-5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/GentiliniPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CasagrandePPM08,
author = {Alberto Casagrande and
Carla Piazza and
Alberto Policriti and
Bud Mishra},
title = {Inclusion dynamics hybrid automata},
journal = {Inf. Comput.},
volume = {206},
number = {12},
pages = {1394--1424},
year = {2008},
url = {https://doi.org/10.1016/j.ic.2008.09.001},
doi = {10.1016/J.IC.2008.09.001},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/CasagrandePPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/DovierPR08,
author = {Agostino Dovier and
Carla Piazza and
Gianfranco Rossi},
title = {A uniform approach to constraint-solving for lists, multisets, compact
lists, and sets},
journal = {{ACM} Trans. Comput. Log.},
volume = {9},
number = {3},
pages = {15:1--15:30},
year = {2008},
url = {https://doi.org/10.1145/1352582.1352583},
doi = {10.1145/1352582.1352583},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/DovierPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CrafaMMPR08,
author = {Silvia Crafa and
Matteo Mio and
Marino Miculan and
Carla Piazza and
Sabina Rossi},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {PicNIc - Pi-calculus non-interference checker},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {33--38},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574592},
doi = {10.1109/ACSD.2008.4574592},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/CrafaMMPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/CasagrandeCPM08,
author = {Alberto Casagrande and
Pietro Corvaja and
Carla Piazza and
Bud Mishra},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Decidable Compositions of O-Minimal Automata},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {274--288},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_25},
doi = {10.1007/978-3-540-88387-6\_25},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/CasagrandeCPM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PiazzaP08,
author = {Carla Piazza and
Alberto Policriti},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Systems Biology: Models and Logics},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {14},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_5},
doi = {10.1007/978-3-540-89982-2\_5},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PiazzaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CampagnaP09,
author = {Dario Campagna and
Carla Piazza},
editor = {Nicola Cannata and
Emanuela Merelli and
Irek Ulidowski},
title = {Hybrid Automata in Systems Biology: How Far Can We Go?},
booktitle = {Proceedings of the Second Workshop From Biology to Concurrency and
Back, FBTC@ICALP 2008, Reykjavik, Iceland, July 12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {229},
number = {1},
pages = {93--108},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.02.007},
doi = {10.1016/J.ENTCS.2009.02.007},
timestamp = {Fri, 24 Feb 2023 11:25:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CampagnaP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TedescoP09,
author = {Filippo Del Tedesco and
Carla Piazza},
editor = {Gabriel Ciobanu},
title = {External Control in Process Algebra for Systems Biology},
booktitle = {Proceedings of the Second International Meeting on Membrane Computing
and Biologically Inspired Process Calculi, MeCBIC 2008, Ia{\c{s}}i,
Romania, September 3-4, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {227},
pages = {161--177},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.110},
doi = {10.1016/J.ENTCS.2008.12.110},
timestamp = {Fri, 24 Feb 2023 10:20:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TedescoP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BossiPR07,
author = {Annalisa Bossi and
Carla Piazza and
Sabina Rossi},
title = {Compositional information flow security for concurrent programs},
journal = {J. Comput. Secur.},
volume = {15},
number = {3},
pages = {373--416},
year = {2007},
url = {https://doi.org/10.3233/jcs-2007-15303},
doi = {10.3233/JCS-2007-15303},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BossiPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/CasagrandeCFPRVM07,
author = {Alberto Casagrande and
Kevin Casey and
Rachele Falchi and
Carla Piazza and
Benedetto Ruperti and
Giannina Vizzotto and
Bud Mishra},
editor = {Hirokazu Anai and
Katsuhisa Horimoto and
Temur Kutsia},
title = {Translating Time-Course Gene Expression Profiles into Semi-algebraic
Hybrid Automata Via Dimensionality Reduction},
booktitle = {Algebraic Biology, Second International Conference, {AB} 2007, Castle
of Hagenberg, Austria, July 2-4, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4545},
pages = {51--65},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73433-8\_5},
doi = {10.1007/978-3-540-73433-8\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ab/CasagrandeCFPRVM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/CasagrandeCPM07,
author = {Alberto Casagrande and
Pietro Corvaja and
Carla Piazza and
Bud Mishra},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Composing Semi-algebraic O-Minimal Automata},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {668--671},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_57},
doi = {10.1007/978-3-540-71493-4\_57},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/CasagrandeCPM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiPR07,
author = {Annalisa Bossi and
Carla Piazza and
Sabina Rossi},
editor = {Andy King},
title = {Action Refinement in Process Algebra and Security Issues},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {201--217},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_14},
doi = {10.1007/978-3-540-78769-3\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/BossiMPR05,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
title = {Information flow in secure contexts},
journal = {J. Comput. Secur.},
volume = {13},
number = {3},
pages = {391--422},
year = {2005},
url = {https://doi.org/10.3233/jcs-2005-13303},
doi = {10.3233/JCS-2005-13303},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/BossiMPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/MysorePM05,
author = {Venkatesh Mysore and
Carla Piazza and
Bud Mishra},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Algorithmic Algebraic Model Checking {II:} Decidability of Semi-algebraic
Model Checking and Its Applications to Systems Biology},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3707},
pages = {217--233},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_18},
doi = {10.1007/11562948\_18},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/MysorePM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PiazzaAMPWM05,
author = {Carla Piazza and
Marco Antoniotti and
Venkatesh Mysore and
Alberto Policriti and
Franz Winkler and
Bud Mishra},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Algorithmic Algebraic Model Checking {I:} Challenges from Systems
Biology},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {5--19},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_3},
doi = {10.1007/11513988\_3},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/PiazzaAMPWM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CasagrandePM05,
author = {Alberto Casagrande and
Carla Piazza and
Bud Mishra},
title = {Semi-Algebraic Constant Reset Hybrid Automata - SACoRe},
booktitle = {44th {IEEE} {IEEE} Conference on Decision and Control and 8th European
Control Conference Control, {CDC/ECC} 2005, Seville, Spain, 12-15
December, 2005},
pages = {678--683},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/CDC.2005.1582234},
doi = {10.1109/CDC.2005.1582234},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/CasagrandePM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BraghinCFLP04,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi and
Flaminia L. Luccio and
Carla Piazza},
title = {Nesting analysis of mobile ambients},
journal = {Comput. Lang. Syst. Struct.},
volume = {30},
number = {3-4},
pages = {207--230},
year = {2004},
url = {https://doi.org/10.1016/j.cl.2004.02.004},
doi = {10.1016/J.CL.2004.02.004},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/BraghinCFLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/BossiFPR04,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
title = {Verifying persistent security properties},
journal = {Comput. Lang. Syst. Struct.},
volume = {30},
number = {3-4},
pages = {231--258},
year = {2004},
url = {https://doi.org/10.1016/j.cl.2004.02.005},
doi = {10.1016/J.CL.2004.02.005},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/BossiFPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/DovierPP04,
author = {Agostino Dovier and
Carla Piazza and
Enrico Pontelli},
title = {Disunification in \emph{ACI}1 Theories},
journal = {Constraints An Int. J.},
volume = {9},
number = {1},
pages = {35--91},
year = {2004},
url = {https://doi.org/10.1023/B:CONS.0000006182.84033.6e},
doi = {10.1023/B:CONS.0000006182.84033.6E},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/DovierPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DovierPP04,
author = {Agostino Dovier and
Carla Piazza and
Alberto Policriti},
title = {An efficient algorithm for computing bisimulation equivalence},
journal = {Theor. Comput. Sci.},
volume = {311},
number = {1-3},
pages = {221--256},
year = {2004},
url = {https://doi.org/10.1016/S0304-3975(03)00361-X},
doi = {10.1016/S0304-3975(03)00361-X},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DovierPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AntoniottiPPSM04,
author = {Marco Antoniotti and
Carla Piazza and
Alberto Policriti and
Marta Simeoni and
Bud Mishra},
title = {Taming the complexity of biochemical models through bisimulation and
collapsing: theory and practice},
journal = {Theor. Comput. Sci.},
volume = {325},
number = {1},
pages = {45--67},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.064},
doi = {10.1016/J.TCS.2004.03.064},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AntoniottiPPSM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PiazzaP04,
author = {Carla Piazza and
Alberto Policriti},
title = {Ackermann Encoding, Bisimulations, and OBDDs},
journal = {Theory Pract. Log. Program.},
volume = {4},
number = {5-6},
pages = {695--718},
year = {2004},
url = {https://doi.org/10.1017/S1471068404002091},
doi = {10.1017/S1471068404002091},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/PiazzaP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BossiPR04,
author = {Annalisa Bossi and
Carla Piazza and
Sabina Rossi},
title = {Modelling Downgrading in Information Flow Security},
booktitle = {17th {IEEE} Computer Security Foundations Workshop, {(CSFW-17} 2004),
28-30 June 2004, Pacific Grove, CA, {USA}},
pages = {187},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2004.14},
doi = {10.1109/CSFW.2004.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BossiPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiPR04,
author = {Annalisa Bossi and
Carla Piazza and
Sabina Rossi},
editor = {Sandro Etalle},
title = {Unwinding Conditions for Security in Imperative Languages},
booktitle = {Logic Based Program Synthesis and Transformation, 14th International
Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3573},
pages = {85--100},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11506676\_6},
doi = {10.1007/11506676\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PiazzaPR04,
author = {Carla Piazza and
Enrico Pivato and
Sabina Rossi},
editor = {Kurt Jensen and
Andreas Podelski},
title = {CoPS - Checker of Persistent Security},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {144--152},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_11},
doi = {10.1007/978-3-540-24730-2\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PiazzaPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GentiliniPP03,
author = {Raffaella Gentilini and
Carla Piazza and
Alberto Policriti},
title = {From Bisimulation to Simulation: Coarsest Partition Problems},
journal = {J. Autom. Reason.},
volume = {31},
number = {1},
pages = {73--103},
year = {2003},
url = {https://doi.org/10.1023/A:1027328830731},
doi = {10.1023/A:1027328830731},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GentiliniPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GoguadzePV03,
author = {George Goguadze and
Carla Piazza and
Yde Venema},
title = {Simulating polyadic modal logics by monadic ones},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {419--462},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669058},
doi = {10.2178/JSL/1052669058},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GoguadzePV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/DovierP03,
author = {Agostino Dovier and
Carla Piazza},
title = {The Subgraph Bisimulation Problem},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {15},
number = {4},
pages = {1055--1056},
year = {2003},
url = {https://doi.org/10.1109/TKDE.2003.1209024},
doi = {10.1109/TKDE.2003.1209024},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/DovierP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/AntoniottiMPPS03,
author = {Marco Antoniotti and
Bhubaneswar Mishra and
Carla Piazza and
Alberto Policriti and
Marta Simeoni},
editor = {Corrado Priami},
title = {Modeling Cellular Behavior with Hybrid Automata: Bisimulation and
Collapsing},
booktitle = {Computational Methods in Systems Biology, First International Workshop,
{CMSB} 2003, Roverto, Italy, February 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2602},
pages = {57--74},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36481-1\_6},
doi = {10.1007/3-540-36481-1\_6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/AntoniottiMPPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/BossiMPR03,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
title = {Secure Contexts for Confidential Data},
booktitle = {16th {IEEE} Computer Security Foundations Workshop {(CSFW-16} 2003),
30 June - 2 July 2003, Pacific Grove, CA, {USA}},
pages = {14--28},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSFW.2003.1212702},
doi = {10.1109/CSFW.2003.1212702},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/BossiMPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/BossiMPR03,
author = {Annalisa Bossi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
editor = {Carlo Blundo and
Cosimo Laneve},
title = {Information Flow Security and Recursive Systems},
booktitle = {Theoretical Computer Science, 8th Italian Conference, {ICTCS} 2003,
Bertinoro, Italy, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2841},
pages = {369--382},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45208-9\_29},
doi = {10.1007/978-3-540-45208-9\_29},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/BossiMPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BossiFPR03,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
title = {Refinement Operators and Information Flow Security},
booktitle = {1st International Conference on Software Engineering and Formal Methods
{(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
pages = {44--53},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SEFM.2003.1236206},
doi = {10.1109/SEFM.2003.1236206},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BossiFPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/GentiliniPP03,
author = {Raffaella Gentilini and
Carla Piazza and
Alberto Policriti},
title = {Computing strongly connected components in a linear number of symbolic
steps},
booktitle = {Proceedings of the Fourteenth Annual {ACM-SIAM} Symposium on Discrete
Algorithms, January 12-14, 2003, Baltimore, Maryland, {USA}},
pages = {573--582},
publisher = {{ACM/SIAM}},
year = {2003},
url = {http://dl.acm.org/citation.cfm?id=644108.644204},
timestamp = {Fri, 07 Dec 2012 17:02:08 +0100},
biburl = {https://dblp.org/rec/conf/soda/GentiliniPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BraghinCFFLP03,
author = {Chiara Braghin and
Agostino Cortesi and
Stefano Filippone and
Riccardo Focardi and
Flaminia L. Luccio and
Carla Piazza},
editor = {Hubert Garavel and
John Hatcliff},
title = {{BANANA} - {A} Tool for Boundary Ambients Nesting ANAlysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {437--441},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_32},
doi = {10.1007/3-540-36577-X\_32},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BraghinCFFLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BraghinCFLP03,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi and
Flaminia L. Luccio and
Carla Piazza},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Complexity of Nesting Analysis in Mobile Ambients},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {86--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_10},
doi = {10.1007/3-540-36384-X\_10},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BraghinCFLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BossiFPR03,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Bisimulation and Unwinding for Verifying Possibilistic Security Properties},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {223--237},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_19},
doi = {10.1007/3-540-36384-X\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BossiFPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BossiFMPR04,
author = {Annalisa Bossi and
Riccardo Focardi and
Damiano Macedonio and
Carla Piazza and
Sabina Rossi},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Unwinding in Information Flow Security},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {127--154},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.006},
doi = {10.1016/J.ENTCS.2004.02.006},
timestamp = {Thu, 08 Dec 2022 22:44:21 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BossiFMPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraghinP04,
author = {Chiara Braghin and
Carla Piazza},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Checking Integrity via CoPS and Banana: the E-Commerce Case Study},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {295--317},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.013},
doi = {10.1016/J.ENTCS.2004.02.013},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraghinP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BraghinCFLP04,
author = {Chiara Braghin and
Agostino Cortesi and
Riccardo Focardi and
Flaminia L. Luccio and
Carla Piazza},
editor = {Mario Bravetti and
Roberto Gorrieri},
title = {Behind {BANANA:} Design and Implementation of a Tool for Nesting Analysis
of Mobile Ambients},
booktitle = {Formal Methods for Security and Time: Proceedings of the {MEFISTO}
Project 2003, {MEFISTO} 2003, Pisa, Italy, November 3-5, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {99},
pages = {319--337},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.02.014},
doi = {10.1016/J.ENTCS.2004.02.014},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BraghinCFLP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0311018,
author = {Carla Piazza and
Alberto Policriti},
title = {Ackermann Encoding, Bisimulations, and OBDDs},
journal = {CoRR},
volume = {cs.LO/0311018},
year = {2003},
url = {http://arxiv.org/abs/cs/0311018},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0311018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0309045,
author = {Agostino Dovier and
Carla Piazza and
Gianfranco Rossi},
title = {A uniform approach to constraint-solving for lists, multisets, compact
lists, and sets},
journal = {CoRR},
volume = {cs.PL/0309045},
year = {2003},
url = {http://arxiv.org/abs/cs/0309045},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0309045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BossiFPR02,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Transforming Processes to Check and Ensure Information Flow Security},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {271--286},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_19},
doi = {10.1007/3-540-45719-4\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/BossiFPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BossiFPR02,
author = {Annalisa Bossi and
Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
editor = {Michael Leuschel},
title = {A Proof System for Information Flow Security},
booktitle = {Logic Based Program Synthesis and Tranformation, 12th International
Workshop, {LOPSTR} 2002, Madrid, Spain, September 17-20,2002, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2664},
pages = {199--218},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45013-0\_16},
doi = {10.1007/3-540-45013-0\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BossiFPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GentiliniPP02,
author = {Raffaella Gentilini and
Carla Piazza and
Alberto Policriti},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Simulation as Coarsest Partition Problem},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {415--430},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_29},
doi = {10.1007/3-540-46002-0\_29},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GentiliniPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/FocardiPR02,
author = {Riccardo Focardi and
Carla Piazza and
Sabina Rossi},
editor = {Agostino Cortesi},
title = {Proofs Methods for Bisimulation Based Information Flow Security},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {16--31},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_2},
doi = {10.1007/3-540-47813-2\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/FocardiPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GentiliniPP02,
author = {Raffaella Gentilini and
Carla Piazza and
Alberto Policriti},
editor = {Marco Comini and
Moreno Falaschi},
title = {Simulation Reduction as Constraint},
booktitle = {11th International Workshop on Functional and (Constraint) Logic Programming,
{WFLP} 2002, Grado, Italy, June 20-22, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {76},
pages = {145--161},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80791-6},
doi = {10.1016/S1571-0661(04)80791-6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GentiliniPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DovierGPP02,
author = {Agostino Dovier and
Raffaella Gentilini and
Carla Piazza and
Alberto Policriti},
editor = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {Rank-Based Symbolic Bisimulation (and Model Checking)},
booktitle = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {67},
pages = {166--183},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80547-4},
doi = {10.1016/S1571-0661(04)80547-4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DovierGPP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DovierPR01,
author = {Agostino Dovier and
Carla Piazza and
Gianfranco Rossi},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Multiset constraints and {P} systems},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {97--112},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/6.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/DovierPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PiazzaP01,
author = {Carla Piazza and
Alberto Policriti},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Deciding modal logics using tableaux and set theory},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {261--276},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\%7Epq/agp01/finals/5.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/PiazzaP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DovierPP01,
author = {Agostino Dovier and
Carla Piazza and
Alberto Policriti},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {A Fast Bisimulation Algorithm},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {79--90},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_8},
doi = {10.1007/3-540-44585-4\_8},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DovierPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DovierPPR00,
author = {Agostino Dovier and
Carla Piazza and
Enrico Pontelli and
Gianfranco Rossi},
title = {Sets and constraint logic programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {22},
number = {5},
pages = {861--931},
year = {2000},
url = {https://doi.org/10.1145/365151.365169},
doi = {10.1145/365151.365169},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DovierPPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/DovierPP00,
author = {Agostino Dovier and
Carla Piazza and
Alberto Policriti},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Comparing Expressiveness of Set Constructor Symbols},
booktitle = {Frontiers of Combining Systems, Third International Workshop, FroCoS
2000, Nancy, France, March 22-24, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1794},
pages = {275--289},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10720084\_18},
doi = {10.1007/10720084\_18},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/DovierPP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/PiazzaP00,
author = {Carla Piazza and
Alberto Policriti},
editor = {Roy Dyckhoff},
title = {Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments
of Set Theory},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1847},
pages = {368--382},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722086\_29},
doi = {10.1007/10722086\_29},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/PiazzaP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmp/DovierPR00,
author = {Agostino Dovier and
Carla Piazza and
Gianfranco Rossi},
editor = {Cristian Calude and
Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Multiset Constraints and {P} Systems},
booktitle = {Multiset Processing, Mathematical, Computer Science, and Molecular
Computing Points of View [Workshop on Multiset Processing, {WMP} 2000,
Curtea de Arges, Romania, August 21-25, 2000]},
series = {Lecture Notes in Computer Science},
volume = {2235},
pages = {103--122},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45523-X\_6},
doi = {10.1007/3-540-45523-X\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/wmp/DovierPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DovierPP99,
author = {Agostino Dovier and
Carla Piazza and
Alberto Policriti},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Comparing expressiveness of set constructor symbols},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {151--166},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/DovierPP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DovierPPR99,
author = {Agostino Dovier and
Carla Piazza and
Enrico Pontelli and
Gianfranco Rossi},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {{ACI1} constraints},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {305--320},
year = {1999},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/DovierPPR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DovierPPR99,
author = {Agostino Dovier and
Carla Piazza and
Enrico Pontelli and
Gianfranco Rossi},
editor = {Danny De Schreye},
title = {{ACI1} Constraints},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {573--587},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DovierPPR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DovierPR98,
author = {Agostino Dovier and
Carla Piazza and
Gianfranco Rossi},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {43--56},
year = {1998},
timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
biburl = {https://dblp.org/rec/conf/agp/DovierPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DovierPRP98,
author = {Agostino Dovier and
Carla Piazza and
Gianfranco Rossi and
Enrico Pontelli},
editor = {Joxan Jaffar},
title = {On the Representation and Management of Finite Sets in {CLP} Languages},
booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
on Logic Programming, Manchester, UK, June 15-19, 1998},
pages = {40--54},
publisher = {{MIT} Press},
year = {1998},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DovierPRP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-11 00:34 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:
