BibTeX records: Enea Zaffanella

download as .bib file

@inproceedings{DBLP:conf/pldi/ArceriDZ23,
  author       = {Vincenzo Arceri and
                  Greta Dolcetti and
                  Enea Zaffanella},
  editor       = {Pietro Ferrara and
                  Liana Hadarean},
  title        = {Speeding up Static Analysis with the Split Operator},
  booktitle    = {Proceedings of the 12th {ACM} {SIGPLAN} International Workshop on
                  the State Of the Art in Program Analysis, {SOAP} 2023, Orlando, FL,
                  USA, 17 June 2023},
  pages        = {14--19},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3589250.3596141},
  doi          = {10.1145/3589250.3596141},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/ArceriDZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ArceriDZ23,
  author       = {Vincenzo Arceri and
                  Greta Dolcetti and
                  Enea Zaffanella},
  editor       = {Manuel V. Hermenegildo and
                  Jos{\'{e}} F. Morales},
  title        = {Unconstrained Variable Oracles for Faster Numeric Static Analyses},
  booktitle    = {Static Analysis - 30th International Symposium, {SAS} 2023, Cascais,
                  Portugal, October 22-24, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14284},
  pages        = {65--83},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-44245-2\_5},
  doi          = {10.1007/978-3-031-44245-2\_5},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/ArceriDZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/ArceriMZ22,
  author       = {Vincenzo Arceri and
                  Isabella Mastroeni and
                  Enea Zaffanella},
  editor       = {Ilya Sergey},
  title        = {Decoupling the Ascending and Descending Phases in Abstract Interpretation},
  booktitle    = {Programming Languages and Systems - 20th Asian Symposium, {APLAS}
                  2022, Auckland, New Zealand, December 5, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13658},
  pages        = {25--44},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21037-2\_2},
  doi          = {10.1007/978-3-031-21037-2\_2},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/ArceriMZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FrehseGZ22,
  author       = {Goran Frehse and
                  Mirco Giacobbe and
                  Enea Zaffanella},
  editor       = {Jean{-}Fran{\c{c}}ois Raskin and
                  Krishnendu Chatterjee and
                  Laurent Doyen and
                  Rupak Majumdar},
  title        = {Symbolic Analysis of Linear Hybrid Automata - 25 Years Later},
  booktitle    = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
                  on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {13660},
  pages        = {39--60},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-22337-2\_3},
  doi          = {10.1007/978-3-031-22337-2\_3},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/FrehseGZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-10893,
  author       = {Vincenzo Arceri and
                  Isabella Mastroeni and
                  Enea Zaffanella},
  title        = {Decoupling the ascending and descending phases in Abstract Interpretation},
  journal      = {CoRR},
  volume       = {abs/2206.10893},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2206.10893},
  doi          = {10.48550/ARXIV.2206.10893},
  eprinttype    = {arXiv},
  eprint       = {2206.10893},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2206-10893.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gandalf/BecchiCZ21,
  author       = {Anna Becchi and
                  Alessandro Cimatti and
                  Enea Zaffanella},
  editor       = {Dario Della Monica and
                  Gian Luca Pozzato and
                  Enrico Scala},
  title        = {Reverse engineering with P-stable Abstractions},
  booktitle    = {Proceedings of the 3rd Workshop on Artificial Intelligence and Formal
                  Verification, Logic, Automata, and Synthesis hosted by the Twelfth
                  International Symposium on Games, Automata, Logics, and Formal Verification
                  (GandALF 2021), Padua, Italy, September 22, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2987},
  pages        = {91--95},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2987/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:43 +0100},
  biburl       = {https://dblp.org/rec/conf/gandalf/BecchiCZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BecchiZ20,
  author       = {Anna Becchi and
                  Enea Zaffanella},
  title        = {PPLite: Zero-overhead encoding of {NNC} polyhedra},
  journal      = {Inf. Comput.},
  volume       = {275},
  pages        = {104620},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.ic.2020.104620},
  doi          = {10.1016/J.IC.2020.104620},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BecchiZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arch/BuAAMRWZ20,
  author       = {Lei Bu and
                  Alessandro Abate and
                  Dieky Adzkiya and
                  Muhammad Syifa'ul Mufid and
                  Rajarshi Ray and
                  Yuming Wu and
                  Enea Zaffanella},
  title        = {{ARCH-COMP20} Category Report: Hybrid Systems with Piecewise Constant
                  Dynamics and Bounded Model Checking},
  booktitle    = {{ARCH20.} 7th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
  series       = {EPiC Series in Computing},
  volume       = {74},
  pages        = {1--15},
  publisher    = {EasyChair},
  year         = {2020},
  url          = {https://doi.org/10.29007/bhwx},
  doi          = {10.29007/BHWX},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arch/BuAAMRWZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BecchiCZ20,
  author       = {Anna Becchi and
                  Alessandro Cimatti and
                  Enea Zaffanella},
  editor       = {Frank S. de Boer and
                  Antonio Cerone},
  title        = {Synthesis of P-Stable Abstractions},
  booktitle    = {Software Engineering and Formal Methods - 18th International Conference,
                  {SEFM} 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12310},
  pages        = {214--230},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58768-0\_12},
  doi          = {10.1007/978-3-030-58768-0\_12},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/BecchiCZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/FrehseAABBCGGMM19,
  author       = {Goran Frehse and
                  Alessandro Abate and
                  Dieky Adzkiya and
                  Anna Becchi and
                  Lei Bu and
                  Alessandro Cimatti and
                  Mirco Giacobbe and
                  Alberto Griggio and
                  Sergio Mover and
                  Muhammad Syifa'ul Mufid and
                  Idriss Riouak and
                  Stefano Tonetta and
                  Enea Zaffanella},
  editor       = {Goran Frehse and
                  Matthias Althoff},
  title        = {{ARCH-COMP19} Category Report: Hybrid Systems with Piecewise Constant
                  Dynamics},
  booktitle    = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
                  and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
                  April 15, 2019},
  series       = {EPiC Series in Computing},
  volume       = {61},
  pages        = {1--13},
  publisher    = {EasyChair},
  year         = {2019},
  url          = {https://doi.org/10.29007/rjwn},
  doi          = {10.29007/RJWN},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpsweek/FrehseAABBCGGMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BecchiZ19,
  author       = {Anna Becchi and
                  Enea Zaffanella},
  editor       = {Bor{-}Yuh Evan Chang},
  title        = {Revisiting Polyhedral Analysis for Hybrid Systems},
  booktitle    = {Static Analysis - 26th International Symposium, {SAS} 2019, Porto,
                  Portugal, October 8-11, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11822},
  pages        = {183--202},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32304-2\_10},
  doi          = {10.1007/978-3-030-32304-2\_10},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BecchiZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/FrehseAABGMZ18,
  author       = {Goran Frehse and
                  Alessandro Abate and
                  Dieky Adzkiya and
                  Lei Bu and
                  Mirco Giacobbe and
                  Muhammad Syifa'ul Mufid and
                  Enea Zaffanella},
  editor       = {Goran Frehse and
                  Matthias Althoff and
                  Sergiy Bogomolov and
                  Taylor T. Johnson},
  title        = {{ARCH-COMP18} Category Report: Hybrid Systems with Piecewise Constant
                  Dynamics},
  booktitle    = {{ARCH18.} 5th International Workshop on Applied Verification of Continuous
                  and Hybrid Systems, ARCH@ADHS 2018, Oxford, UK, July 13, 2018},
  series       = {EPiC Series in Computing},
  volume       = {54},
  pages        = {1--13},
  publisher    = {EasyChair},
  year         = {2018},
  url          = {https://doi.org/10.29007/p11g},
  doi          = {10.29007/P11G},
  timestamp    = {Sun, 15 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adhs/FrehseAABGMZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BecchiZ18,
  author       = {Anna Becchi and
                  Enea Zaffanella},
  editor       = {Hana Chockler and
                  Georg Weissenbacher},
  title        = {A Direct Encoding for {NNC} Polyhedra},
  booktitle    = {Computer Aided Verification - 30th International Conference, {CAV}
                  2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
                  UK, July 14-17, 2018, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10981},
  pages        = {230--248},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-96145-3\_13},
  doi          = {10.1007/978-3-319-96145-3\_13},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BecchiZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BecchiZ18,
  author       = {Anna Becchi and
                  Enea Zaffanella},
  editor       = {Andreas Podelski},
  title        = {An Efficient Abstract Domain for Not Necessarily Closed Polyhedra},
  booktitle    = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
                  Germany, August 29-31, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11002},
  pages        = {146--165},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-99725-4\_11},
  doi          = {10.1007/978-3-319-99725-4\_11},
  timestamp    = {Mon, 28 Aug 2023 21:17:53 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BecchiZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zaffanella18,
  author       = {Enea Zaffanella},
  editor       = {Francesca Scozzari},
  title        = {On the Efficiency of Convex Polyhedra},
  booktitle    = {Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS
                  2017, New York City, NY, USA, August 29, 2017},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {334},
  pages        = {31--44},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.004},
  doi          = {10.1016/J.ENTCS.2018.03.004},
  timestamp    = {Thu, 10 Nov 2022 10:42:52 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Zaffanella18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-09593,
  author       = {Anna Becchi and
                  Enea Zaffanella},
  title        = {A Conversion Procedure for {NNC} Polyhedra},
  journal      = {CoRR},
  volume       = {abs/1711.09593},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.09593},
  eprinttype    = {arXiv},
  eprint       = {1711.09593},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-09593.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmatoSZ14,
  author       = {Gianluca Amato and
                  Francesca Scozzari and
                  Enea Zaffanella},
  editor       = {Axel Simon and
                  Arnaud Venet},
  title        = {Efficient Constraint/Generator Removal from Double Description of
                  Polyhedra},
  booktitle    = {Fifth International Workshop on Numerical and Symbolic Abstract Domains,
                  NSAD@SAS 2014, Munich, Germany, September 10, 2014},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {307},
  pages        = {3--15},
  publisher    = {Elsevier},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.entcs.2014.08.002},
  doi          = {10.1016/J.ENTCS.2014.08.002},
  timestamp    = {Thu, 10 Nov 2022 15:51:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AmatoSZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BagnaraMPZ12,
  author       = {Roberto Bagnara and
                  Fred Mesnard and
                  Andrea Pescetti and
                  Enea Zaffanella},
  title        = {A new look at the automatic synthesis of linear ranking functions},
  journal      = {Inf. Comput.},
  volume       = {215},
  pages        = {47--67},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ic.2012.03.003},
  doi          = {10.1016/J.IC.2012.03.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BagnaraMPZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comgeo/BagnaraHZ10,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Exact join detection for convex polyhedra and other numerical abstractions},
  journal      = {Comput. Geom.},
  volume       = {43},
  number       = {5},
  pages        = {453--473},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.comgeo.2009.09.002},
  doi          = {10.1016/J.COMGEO.2009.09.002},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comgeo/BagnaraHZ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-0944,
  author       = {Roberto Bagnara and
                  Fred Mesnard and
                  Andrea Pescetti and
                  Enea Zaffanella},
  title        = {The Automatic Synthesis of Linear Ranking Functions: The Complete
                  Unabridged Version},
  journal      = {CoRR},
  volume       = {abs/1004.0944},
  year         = {2010},
  url          = {http://arxiv.org/abs/1004.0944},
  eprinttype    = {arXiv},
  eprint       = {1004.0944},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1004-0944.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BagnaraHZ09,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Weakly-relational shapes for numeric abstractions: improved algorithms
                  and proofs of correctness},
  journal      = {Formal Methods Syst. Des.},
  volume       = {35},
  number       = {3},
  pages        = {279--323},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10703-009-0073-1},
  doi          = {10.1007/S10703-009-0073-1},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BagnaraHZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BagnaraHZ09,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Applications of polyhedral computations to the analysis and verification
                  of hardware and software systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {410},
  number       = {46},
  pages        = {4672--4691},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.tcs.2009.07.033},
  doi          = {10.1016/J.TCS.2009.07.033},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BagnaraHZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-1783,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions},
  journal      = {CoRR},
  volume       = {abs/0904.1783},
  year         = {2009},
  url          = {http://arxiv.org/abs/0904.1783},
  eprinttype    = {arXiv},
  eprint       = {0904.1783},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0904-1783.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BagnaraHZ08,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {The Parma Polyhedra Library: Toward a complete set of numerical abstractions
                  for the analysis and verification of hardware and software systems},
  journal      = {Sci. Comput. Program.},
  volume       = {72},
  number       = {1-2},
  pages        = {3--21},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.scico.2007.08.001},
  doi          = {10.1016/J.SCICO.2007.08.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BagnaraHZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BagnaraHZ08,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  editor       = {Francesco Logozzo and
                  Doron A. Peled and
                  Lenore D. Zuck},
  title        = {An Improved Tight Closure Algorithm for Integer Octagonal Constraints},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 9th International
                  Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4905},
  pages        = {8--21},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78163-9\_6},
  doi          = {10.1007/978-3-540-78163-9\_6},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/BagnaraHZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BagnaraHZ07,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Widening operators for powerset domains},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {9},
  number       = {3-4},
  pages        = {413--414},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10009-007-0029-y},
  doi          = {10.1007/S10009-007-0029-Y},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/BagnaraHZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0705-4618,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {An Improved Tight Closure Algorithm for Integer Octagonal Constraints},
  journal      = {CoRR},
  volume       = {abs/0705.4618},
  year         = {2007},
  url          = {http://arxiv.org/abs/0705.4618},
  eprinttype    = {arXiv},
  eprint       = {0705.4618},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0705-4618.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0345,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {A Prolog-based Environment for Reasoning about Programming Languages
                  (Extended abstract)},
  journal      = {CoRR},
  volume       = {abs/0711.0345},
  year         = {2007},
  url          = {http://arxiv.org/abs/0711.0345},
  eprinttype    = {arXiv},
  eprint       = {0711.0345},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0711-0345.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701122,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Applications of Polyhedral Computations to the Analysis and Verification
                  of Hardware and Software Systems},
  journal      = {CoRR},
  volume       = {abs/cs/0701122},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701122},
  eprinttype    = {arXiv},
  eprint       = {cs/0701122},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701122.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0703116,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Andrea Pescetti and
                  Enea Zaffanella},
  title        = {On the Design of Generic Static Analyzers for Modern Imperative Languages},
  journal      = {CoRR},
  volume       = {abs/cs/0703116},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0703116},
  eprinttype    = {arXiv},
  eprint       = {cs/0703116},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0703116.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BagnaraHZ06,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Widening operators for powerset domains},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {8},
  number       = {4-5},
  pages        = {449--466},
  year         = {2006},
  url          = {https://doi.org/10.1007/s10009-005-0215-8},
  doi          = {10.1007/S10009-005-0215-8},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/BagnaraHZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BagnaraDHMZ06,
  author       = {Roberto Bagnara and
                  Katy Louise Dobson and
                  Patricia M. Hill and
                  Matthew Mundell and
                  Enea Zaffanella},
  editor       = {Germ{\'{a}}n Puebla},
  title        = {Grids: {A} Domain for Analyzing the Distribution of Numerical Values},
  booktitle    = {Logic-Based Program Synthesis and Transformation, 16th International
                  Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4407},
  pages        = {219--235},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-71410-1\_16},
  doi          = {10.1007/978-3-540-71410-1\_16},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/BagnaraDHMZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0612085,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions
                  for the Analysis and Verification of Hardware and Software Systems},
  journal      = {CoRR},
  volume       = {abs/cs/0612085},
  year         = {2006},
  url          = {http://arxiv.org/abs/cs/0612085},
  eprinttype    = {arXiv},
  eprint       = {cs/0612085},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0612085.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BagnaraHZ05,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Not necessarily closed convex polyhedra and the double description
                  method},
  journal      = {Formal Aspects Comput.},
  volume       = {17},
  number       = {2},
  pages        = {222--257},
  year         = {2005},
  url          = {https://doi.org/10.1007/s00165-005-0061-1},
  doi          = {10.1007/S00165-005-0061-1},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BagnaraHZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BagnaraHRZ05,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Elisa Ricci and
                  Enea Zaffanella},
  title        = {Precise widening operators for convex polyhedra},
  journal      = {Sci. Comput. Program.},
  volume       = {58},
  number       = {1-2},
  pages        = {28--56},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.scico.2005.02.003},
  doi          = {10.1016/J.SCICO.2005.02.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BagnaraHRZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BagnaraZH05,
  author       = {Roberto Bagnara and
                  Enea Zaffanella and
                  Patricia M. Hill},
  title        = {Enhanced sharing analysis techniques: a comprehensive evaluation},
  journal      = {Theory Pract. Log. Program.},
  volume       = {5},
  number       = {1-2},
  pages        = {1--43},
  year         = {2005},
  url          = {https://doi.org/10.1017/S1471068404001978},
  doi          = {10.1017/S1471068404001978},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BagnaraZH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BagnaraHMZ05,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Elena Mazzi and
                  Enea Zaffanella},
  editor       = {Chris Hankin and
                  Igor Siveroni},
  title        = {Widening Operators for Weakly-Relational Numeric Abstractions},
  booktitle    = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
                  UK, September 7-9, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3672},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11547662\_3},
  doi          = {10.1007/11547662\_3},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BagnaraHMZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BagnaraRZ05,
  author       = {Roberto Bagnara and
                  Enric Rodr{\'{\i}}guez{-}Carbonell and
                  Enea Zaffanella},
  editor       = {Chris Hankin and
                  Igor Siveroni},
  title        = {Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra},
  booktitle    = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
                  UK, September 7-9, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3672},
  pages        = {19--34},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11547662\_4},
  doi          = {10.1007/11547662\_4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/BagnaraRZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0512056,
  author       = {Roberto Bagnara and
                  Andrea Pescetti and
                  Alessandro Zaccagnini and
                  Enea Zaffanella},
  title        = {{PURRS:} Towards Computer Algebra Support for Fully Automatic Worst-Case
                  Complexity Analysis},
  journal      = {CoRR},
  volume       = {abs/cs/0512056},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0512056},
  eprinttype    = {arXiv},
  eprint       = {cs/0512056},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0512056.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BagnaraGHZ04,
  author       = {Roberto Bagnara and
                  Roberta Gori and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Finite-tree analysis for constraint logic-based languages},
  journal      = {Inf. Comput.},
  volume       = {193},
  number       = {2},
  pages        = {84--116},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ic.2004.04.005},
  doi          = {10.1016/J.IC.2004.04.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BagnaraGHZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HillZB04,
  author       = {Patricia M. Hill and
                  Enea Zaffanella and
                  Roberto Bagnara},
  title        = {A correct, precise and efficient integration of set-sharing, freeness
                  and linearity for the analysis of finite and rational tree languages},
  journal      = {Theory Pract. Log. Program.},
  volume       = {4},
  number       = {3},
  pages        = {289--323},
  year         = {2004},
  url          = {https://doi.org/10.1017/S1471068403001868},
  doi          = {10.1017/S1471068403001868},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/HillZB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BagnaraHZ04,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  editor       = {Bernhard Steffen and
                  Giorgio Levi},
  title        = {Widening Operators for Powerset Domains},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 5th International
                  Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2937},
  pages        = {135--148},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24622-0\_13},
  doi          = {10.1007/978-3-540-24622-0\_13},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/BagnaraHZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0412043,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Elena Mazzi and
                  Enea Zaffanella},
  title        = {Widening Operators for Weakly-Relational Numeric Abstractions (Extended
                  Abstract)},
  journal      = {CoRR},
  volume       = {abs/cs/0412043},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0412043},
  eprinttype    = {arXiv},
  eprint       = {cs/0412043},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0412043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0401021,
  author       = {Patricia M. Hill and
                  Enea Zaffanella and
                  Roberto Bagnara},
  title        = {A correct, precise and efficient integration of set-sharing, freeness
                  and linearity for the analysis of finite and rational tree languages},
  journal      = {CoRR},
  volume       = {cs.PL/0401021},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0401021},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0401021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0401022,
  author       = {Roberto Bagnara and
                  Enea Zaffanella and
                  Patricia M. Hill},
  title        = {Enhanced sharing analysis techniques: a comprehensive evaluation},
  journal      = {CoRR},
  volume       = {cs.PL/0401022},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0401022},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0401022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0404055,
  author       = {Roberto Bagnara and
                  Roberta Gori and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete
                  Unabridged Version},
  journal      = {CoRR},
  volume       = {cs.PL/0404055},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs/0404055},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0404055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BagnaraHRZ03,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Elisa Ricci and
                  Enea Zaffanella},
  editor       = {Radhia Cousot},
  title        = {Precise Widening Operators for Convex Polyhedra},
  booktitle    = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
                  CA, USA, June 11-13, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2694},
  pages        = {337--354},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44898-5\_19},
  doi          = {10.1007/3-540-44898-5\_19},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BagnaraHRZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BagnaraHZ02,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Set-sharing is redundant for pair-sharing},
  journal      = {Theor. Comput. Sci.},
  volume       = {277},
  number       = {1-2},
  pages        = {3--46},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0304-3975(00)00312-1},
  doi          = {10.1016/S0304-3975(00)00312-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BagnaraHZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HillBZ02,
  author       = {Patricia M. Hill and
                  Roberto Bagnara and
                  Enea Zaffanella},
  title        = {Soundness, idempotence and commutativity of set-sharing},
  journal      = {Theory Pract. Log. Program.},
  volume       = {2},
  number       = {2},
  pages        = {155--201},
  year         = {2002},
  url          = {https://doi.org/10.1017/S1471068401001338},
  doi          = {10.1017/S1471068401001338},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/HillBZ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/ZaffanellaHB02,
  author       = {Enea Zaffanella and
                  Patricia M. Hill and
                  Roberto Bagnara},
  title        = {Decomposing non-redundant sharing by complementation},
  journal      = {Theory Pract. Log. Program.},
  volume       = {2},
  number       = {2},
  pages        = {233--261},
  year         = {2002},
  url          = {https://doi.org/10.1017/S1471068401001351},
  doi          = {10.1017/S1471068401001351},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/ZaffanellaHB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BagnaraRZH02,
  author       = {Roberto Bagnara and
                  Elisa Ricci and
                  Enea Zaffanella and
                  Patricia M. Hill},
  editor       = {Manuel V. Hermenegildo and
                  Germ{\'{a}}n Puebla},
  title        = {Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library},
  booktitle    = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
                  Spain, September 17-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2477},
  pages        = {213--229},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45789-5\_17},
  doi          = {10.1007/3-540-45789-5\_17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BagnaraRZH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Zaffanella01,
  author       = {Enea Zaffanella},
  title        = {Correctness, precision and efficiency in the sharing analysis of real
                  logic languages},
  school       = {University of Leeds, {UK}},
  year         = {2001},
  url          = {http://etheses.whiterose.ac.uk/1306/},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Zaffanella01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BagnaraGHZ01,
  author       = {Roberto Bagnara and
                  Roberta Gori and
                  Patricia M. Hill and
                  Enea Zaffanella},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Paulo Quaresma},
  title        = {Finite-tree analysis for constraint logic-based languages},
  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        = {63--79},
  publisher    = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
  year         = {2001},
  url          = {http://www.di.uevora.pt/\%7Epq/agp01/finals/11.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BagnaraGHZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BagnaraZGH01,
  author       = {Roberto Bagnara and
                  Enea Zaffanella and
                  Roberta Gori and
                  Patricia M. Hill},
  editor       = {Lu{\'{\i}}s Moniz Pereira and
                  Paulo Quaresma},
  title        = {Boolean functions for finite-tree dependencies},
  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        = {81--96},
  publisher    = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
  year         = {2001},
  url          = {http://www.di.uevora.pt/\%7Epq/agp01/finals/12.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BagnaraZGH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BagnaraZGH01,
  author       = {Roberto Bagnara and
                  Enea Zaffanella and
                  Roberta Gori and
                  Patricia M. Hill},
  editor       = {Robert Nieuwenhuis and
                  Andrei Voronkov},
  title        = {Boolean Functions for Finite-Tree Dependencies},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
                  International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
                  2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2250},
  pages        = {579--594},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45653-8\_40},
  doi          = {10.1007/3-540-45653-8\_40},
  timestamp    = {Sun, 02 Oct 2022 16:11:18 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BagnaraZGH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BagnaraGHZ01,
  author       = {Roberto Bagnara and
                  Roberta Gori and
                  Patricia M. Hill and
                  Enea Zaffanella},
  editor       = {Patrick Cousot},
  title        = {Finite-Tree Analysis for Constraint Logic-Based Languages},
  booktitle    = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
                  July 16-18, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2126},
  pages        = {165--184},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-47764-0\_10},
  doi          = {10.1007/3-540-47764-0\_10},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BagnaraGHZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0101025,
  author       = {Enea Zaffanella and
                  Patricia M. Hill and
                  Roberto Bagnara},
  title        = {Decomposing Non-Redundant Sharing by Complementation},
  journal      = {CoRR},
  volume       = {cs.PL/0101025},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0101025},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0101025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0102030,
  author       = {Patricia M. Hill and
                  Roberto Bagnara and
                  Enea Zaffanella},
  title        = {Soundness, Idempotence and Commutativity of Set-Sharing},
  journal      = {CoRR},
  volume       = {cs.PL/0102030},
  year         = {2001},
  url          = {https://arxiv.org/abs/cs/0102030},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0102030.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BagnaraHZ00,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  editor       = {Michel Parigot and
                  Andrei Voronkov},
  title        = {Efficient Structural Information Analysis for Real {CLP} Languages},
  booktitle    = {Logic for Programming and Automated Reasoning, 7th International Conference,
                  {LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1955},
  pages        = {189--206},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44404-1\_13},
  doi          = {10.1007/3-540-44404-1\_13},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BagnaraHZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/BagnaraZH00,
  author       = {Roberto Bagnara and
                  Enea Zaffanella and
                  Patricia M. Hill},
  editor       = {Maurizio Gabbrielli and
                  Frank Pfenning},
  title        = {Enhanced sharing analysis techniques: a comprehensive evaluation},
  booktitle    = {Proceedings of the 2nd international {ACM} {SIGPLAN} conference on
                  on Principles and practice of declarative programming, Montreal, Canada,
                  September 20-23, 2000},
  pages        = {103--114},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/351268.351280},
  doi          = {10.1145/351268.351280},
  timestamp    = {Tue, 27 Nov 2018 15:37:24 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/BagnaraZH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BagnaraZH99,
  author       = {Roberto Bagnara and
                  Enea Zaffanella and
                  Patricia M. Hill},
  editor       = {Maria Chiara Meo and
                  Manuel Vilares Ferro},
  title        = {Enhancing Sharing for Precision},
  booktitle    = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
                  Italy, September 6-9, 1999},
  pages        = {213--228},
  year         = {1999},
  timestamp    = {Wed, 01 Dec 2004 15:33:47 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BagnaraZH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/ZaffanellaBH99,
  author       = {Enea Zaffanella and
                  Roberto Bagnara and
                  Patricia M. Hill},
  editor       = {Maria Chiara Meo and
                  Manuel Vilares Ferro},
  title        = {Widening Sharing},
  booktitle    = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
                  Italy, September 6-9, 1999},
  pages        = {559--574},
  year         = {1999},
  timestamp    = {Wed, 01 Dec 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/ZaffanellaBH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ZaffanellaBH99,
  author       = {Enea Zaffanella and
                  Roberto Bagnara and
                  Patricia M. Hill},
  editor       = {Gopalan Nadathur},
  title        = {Widening Sharing},
  booktitle    = {Principles and Practice of Declarative Programming, International
                  Conference PPDP'99, Paris, France, September 29 - October 1, 1999,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1702},
  pages        = {414--432},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/10704567\_25},
  doi          = {10.1007/10704567\_25},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/ppdp/ZaffanellaBH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ZaffanellaHB99,
  author       = {Enea Zaffanella and
                  Patricia M. Hill and
                  Roberto Bagnara},
  editor       = {Agostino Cortesi and
                  Gilberto Fil{\'{e}}},
  title        = {Decomposing Non-redundant Sharing by Complementation},
  booktitle    = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
                  September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1694},
  pages        = {69--84},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48294-6\_5},
  doi          = {10.1007/3-540-48294-6\_5},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/ZaffanellaHB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/HillBZ98,
  author       = {Patricia M. Hill and
                  Roberto Bagnara and
                  Enea Zaffanella},
  editor       = {Jos{\'{e}} Luis Freire{-}Nistal and
                  Moreno Falaschi and
                  Manuel Vilares Ferro},
  title        = {The Correctness of Set-Sharing},
  booktitle    = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
                  {A} Coru{\~{n}}a, Spain, July 20-23, 1998},
  pages        = {255--268},
  year         = {1998},
  timestamp    = {Wed, 21 Nov 2007 11:59:17 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/HillBZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HillBZ98,
  author       = {Patricia M. Hill and
                  Roberto Bagnara and
                  Enea Zaffanella},
  editor       = {Giorgio Levi},
  title        = {The Correctness of Set-Sharing},
  booktitle    = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
                  September 14-16, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1503},
  pages        = {99--114},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49727-7\_6},
  doi          = {10.1007/3-540-49727-7\_6},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/HillBZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/ZaffanellaGL97,
  author       = {Enea Zaffanella and
                  Roberto Giacobazzi and
                  Giorgio Levi},
  title        = {Abstracting Synchronization in Concurrent Constraint Programming},
  journal      = {J. Funct. Log. Program.},
  volume       = {1997},
  number       = {6},
  year         = {1997},
  url          = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-06/A97-06.html},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jflp/ZaffanellaGL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BagnaraHZ97,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  editor       = {Moreno Falaschi and
                  Marisa Navarro and
                  Alberto Policriti},
  title        = {Sharing Revisited},
  booktitle    = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97,
                  Grado, Italy, June 16-19, 1997},
  pages        = {69--80},
  year         = {1997},
  timestamp    = {Thu, 02 Dec 2004 11:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BagnaraHZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BagnaraHZ97,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  editor       = {Pascal Van Hentenryck},
  title        = {Set-Sharing is Redundant for Pair-Sharing},
  booktitle    = {Static Analysis, 4th International Symposium, {SAS} '97, Paris, France,
                  September 8-10, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1302},
  pages        = {53--67},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0032733},
  doi          = {10.1007/BFB0032733},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/BagnaraHZ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BagnaraCSZ96,
  author       = {Roberto Bagnara and
                  Marco Comini and
                  Francesca Scozzari and
                  Enea Zaffanella},
  editor       = {Paqui Lucio and
                  Maurizio Martelli and
                  Marisa Navarro},
  title        = {The And-compositionality of {CLP} Computed Answer Constraints},
  booktitle    = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
                  Donostia-San Sebastian, Spain, July 15-18, 1996},
  pages        = {355--366},
  year         = {1996},
  timestamp    = {Thu, 02 Dec 2004 11:12:18 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/BagnaraCSZ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Zaffanella96,
  author       = {Enea Zaffanella},
  editor       = {Paqui Lucio and
                  Maurizio Martelli and
                  Marisa Navarro},
  title        = {Modular Analysis of Suspension Free cc Programs},
  booktitle    = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
                  Donostia-San Sebastian, Spain, July 15-18, 1996},
  pages        = {367--378},
  year         = {1996},
  timestamp    = {Thu, 02 Dec 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Zaffanella96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Zaffanella95,
  author       = {Enea Zaffanella},
  editor       = {Mar{\'{\i}}a Alpuente and
                  Maria I. Sessa},
  title        = {Domain Independent Ask Approximation in {CCP}},
  booktitle    = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina
                  di Vietri, Italy, September 11-14, 1995},
  pages        = {89--100},
  year         = {1995},
  timestamp    = {Wed, 01 Dec 2004 15:33:44 +0100},
  biburl       = {https://dblp.org/rec/conf/agp/Zaffanella95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccp2/Zaffanella95,
  author       = {Enea Zaffanella},
  editor       = {Agostino Cortesi and
                  Philippe Codognet},
  title        = {Domain Independent Ask Approximation in {CCP}},
  booktitle    = {First International Workshop on Concurrent Constraint Programming,
                  {CCP} 1995, C{\`{a}} Dolfin, Venice, Italy, May 29-31, 1995},
  pages        = {8:1--8:16},
  publisher    = {{INRIA} Rocquencourt},
  year         = {1995},
  timestamp    = {Tue, 18 Apr 2023 16:18:59 +0200},
  biburl       = {https://dblp.org/rec/conf/ccp2/Zaffanella95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Zaffanella95,
  author       = {Enea Zaffanella},
  editor       = {Ugo Montanari and
                  Francesca Rossi},
  title        = {Domain Independent Ask Approximation in {CCP}},
  booktitle    = {Principles and Practice of Constraint Programming - CP'95, First International
                  Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {976},
  pages        = {362--379},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60299-2\_22},
  doi          = {10.1007/3-540-60299-2\_22},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Zaffanella95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ZaffanellaLG94,
  author       = {Enea Zaffanella and
                  Giorgio Levi and
                  Roberto Giacobazzi},
  editor       = {Frank S. de Boer and
                  Maurizio Gabbrielli},
  title        = {Abstracting Synchronization in Concurrent Constraint Programming},
  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/ZaffanellaLG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/ZffanellaGL94,
  author       = {Enea Zaffanella and
                  Roberto Giacobazzi and
                  Giorgio Levi},
  editor       = {Manuel V. Hermenegildo and
                  Jaan Penjam},
  title        = {Abstracting Synchronization in 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        = {57--72},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58402-1\_6},
  doi          = {10.1007/3-540-58402-1\_6},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/ZffanellaGL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics