Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/nsad/2017,
  editor       = {Francesca Scozzari},
  title        = {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},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/334/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsad/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AmatoR18,
  author       = {Gianluca Amato and
                  Marco Rubino},
  editor       = {Francesca Scozzari},
  title        = {Experimental Evaluation of Numerical Domains for Inferring Ranges},
  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        = {3--16},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.002},
  doi          = {10.1016/J.ENTCS.2018.03.002},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/AmatoR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/LidmanS18,
  author       = {Jacob Lidman and
                  Josef Svenningsson},
  editor       = {Francesca Scozzari},
  title        = {Fuzzy Set Abstraction},
  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        = {17--29},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.003},
  doi          = {10.1016/J.ENTCS.2018.03.003},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/LidmanS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Scozzari18,
  author       = {Francesca Scozzari},
  editor       = {Francesca Scozzari},
  title        = {Preface},
  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        = {1--2},
  publisher    = {Elsevier},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.entcs.2018.03.001},
  doi          = {10.1016/J.ENTCS.2018.03.001},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Scozzari18.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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Zaffanella18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}