Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ftpl/Bernardo22,
  author       = {Marco Bernardo},
  title        = {Probabilistic Trace and Testing Semantics: The Importance of Being
                  Coherent},
  journal      = {Found. Trends Program. Lang.},
  volume       = {7},
  number       = {4},
  pages        = {244--332},
  year         = {2022},
  url          = {https://doi.org/10.1561/2500000056},
  doi          = {10.1561/2500000056},
  timestamp    = {Wed, 31 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ftpl/Bernardo22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ftpl/Albarghouthi21,
  author       = {Aws Albarghouthi},
  title        = {Introduction to Neural Network Verification},
  journal      = {Found. Trends Program. Lang.},
  volume       = {7},
  number       = {1-2},
  pages        = {1--157},
  year         = {2021},
  url          = {https://doi.org/10.1561/2500000051},
  doi          = {10.1561/2500000051},
  timestamp    = {Tue, 21 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ftpl/Albarghouthi21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ftpl/ChaudhuriEPSSY21,
  author       = {Swarat Chaudhuri and
                  Kevin Ellis and
                  Oleksandr Polozov and
                  Rishabh Singh and
                  Armando Solar{-}Lezama and
                  Yisong Yue},
  title        = {Neurosymbolic Programming},
  journal      = {Found. Trends Program. Lang.},
  volume       = {7},
  number       = {3},
  pages        = {158--243},
  year         = {2021},
  url          = {https://doi.org/10.1561/2500000049},
  doi          = {10.1561/2500000049},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ftpl/ChaudhuriEPSSY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}