Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/CastiglioniCP20,
  author       = {Valentina Castiglioni and
                  Konstantinos Chatzikokolakis and
                  Catuscia Palamidessi},
  title        = {A logical characterization of differential privacy},
  journal      = {Sci. Comput. Program.},
  volume       = {188},
  pages        = {102388},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102388},
  doi          = {10.1016/J.SCICO.2019.102388},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/CastiglioniCP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/KringsLSSF20,
  author       = {Sebastian Krings and
                  Michael Leuschel and
                  Joshua Schmidt and
                  David Schneider and
                  Marc Frappier},
  title        = {Translating Alloy and extensions to classical {B}},
  journal      = {Sci. Comput. Program.},
  volume       = {188},
  pages        = {102378},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102378},
  doi          = {10.1016/J.SCICO.2019.102378},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/KringsLSSF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/NeeleWG20,
  author       = {Thomas Neele and
                  Tim A. C. Willemse and
                  Jan Friso Groote},
  title        = {Finding compact proofs for infinite-data parameterised Boolean equation
                  systems},
  journal      = {Sci. Comput. Program.},
  volume       = {188},
  pages        = {102389},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.scico.2019.102389},
  doi          = {10.1016/J.SCICO.2019.102389},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/NeeleWG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}