Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fteda/BenvenisteCNPRR18,
  author       = {Albert Benveniste and
                  Beno{\^{\i}}t Caillaud and
                  Dejan Nickovic and
                  Roberto Passerone and
                  Jean{-}Baptiste Raclet and
                  Philipp Reinkemeier and
                  Alberto L. Sangiovanni{-}Vincentelli and
                  Werner Damm and
                  Thomas A. Henzinger and
                  Kim G. Larsen},
  title        = {Contracts for System Design},
  journal      = {Found. Trends Electron. Des. Autom.},
  volume       = {12},
  number       = {2-3},
  pages        = {124--400},
  year         = {2018},
  url          = {https://doi.org/10.1561/1000000053},
  doi          = {10.1561/1000000053},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fteda/BenvenisteCNPRR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fteda/RoxyB18,
  author       = {Kawsher A. Roxy and
                  Sanjukta Bhanja},
  title        = {Non-Boolean Computing with Spintronic Devices},
  journal      = {Found. Trends Electron. Des. Autom.},
  volume       = {12},
  number       = {1},
  pages        = {1--123},
  year         = {2018},
  url          = {https://doi.org/10.1561/1000000046},
  doi          = {10.1561/1000000046},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fteda/RoxyB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fteda/YinAMJ18,
  author       = {Hongxu Yin and
                  Ayten Ozge Akmandor and
                  Arsalan Mosenia and
                  Niraj K. Jha},
  title        = {Smart Healthcare},
  journal      = {Found. Trends Electron. Des. Autom.},
  volume       = {12},
  number       = {4},
  pages        = {401--466},
  year         = {2018},
  url          = {https://doi.org/10.1561/1000000054},
  doi          = {10.1561/1000000054},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fteda/YinAMJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}