Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Enea Zaffanella
@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} }
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.