Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1808-07827,
  author       = {Vincenzo Arceri and
                  Isabella Mastroeni},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {An Automata-based Abstract Semantics for String Manipulation Languages},
  booktitle    = {Proceedings Seventh International Workshop on Verification and Program
                  Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
  series       = {{EPTCS}},
  volume       = {299},
  pages        = {19--33},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.299.5},
  doi          = {10.4204/EPTCS.299.5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-07827.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1902-09685,
  author       = {Isaac Oscar Gariano and
                  Marco Servetto and
                  Alex Potanin and
                  Hrshikesh Arora},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Iteratively Composing Statically Verified Traits},
  booktitle    = {Proceedings Seventh International Workshop on Verification and Program
                  Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
  series       = {{EPTCS}},
  volume       = {299},
  pages        = {49--55},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.299.7},
  doi          = {10.4204/EPTCS.299.7},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1902-09685.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1908-07188,
  author       = {Emanuele {De Angelis} and
                  Fabio Fioravanti and
                  Alberto Pettorossi and
                  Maurizio Proietti},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Lemma Generation for Horn Clause Satisfiability: {A} Preliminary Study},
  booktitle    = {Proceedings Seventh International Workshop on Verification and Program
                  Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
  series       = {{EPTCS}},
  volume       = {299},
  pages        = {4--18},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.299.4},
  doi          = {10.4204/EPTCS.299.4},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-07188.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1908-07189,
  author       = {John P. Gallagher},
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Polyvariant Program Specialisation with Property-based Abstraction},
  booktitle    = {Proceedings Seventh International Workshop on Verification and Program
                  Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
  series       = {{EPTCS}},
  volume       = {299},
  pages        = {34--48},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.299.6},
  doi          = {10.4204/EPTCS.299.6},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-07189.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1908-06723,
  editor       = {Alexei Lisitsa and
                  Andrei P. Nemytykh},
  title        = {Proceedings Seventh International Workshop on Verification and Program
                  Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019},
  series       = {{EPTCS}},
  volume       = {299},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.299},
  doi          = {10.4204/EPTCS.299},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-06723.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}