Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ftpl/MadhavanRV15,
  author       = {Ravichandhran Madhavan and
                  G. Ramalingam and
                  Kapil Vaswani},
  title        = {A Framework For Efficient Modular Heap Analysis},
  journal      = {Found. Trends Program. Lang.},
  volume       = {1},
  number       = {4},
  pages        = {269--381},
  year         = {2015},
  url          = {https://doi.org/10.1561/2500000020},
  doi          = {10.1561/2500000020},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ftpl/MadhavanRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ftpl/Burckhardt14,
  author       = {Sebastian Burckhardt},
  title        = {Principles of Eventual Consistency},
  journal      = {Found. Trends Program. Lang.},
  volume       = {1},
  number       = {1-2},
  pages        = {1--150},
  year         = {2014},
  url          = {https://doi.org/10.1561/2500000011},
  doi          = {10.1561/2500000011},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ftpl/Burckhardt14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ftpl/CortierK14,
  author       = {V{\'{e}}ronique Cortier and
                  Steve Kremer},
  title        = {Formal Models and Techniques for Analyzing Security Protocols: {A}
                  Tutorial},
  journal      = {Found. Trends Program. Lang.},
  volume       = {1},
  number       = {3},
  pages        = {151--267},
  year         = {2014},
  url          = {https://doi.org/10.1561/2500000001},
  doi          = {10.1561/2500000001},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ftpl/CortierK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}