Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/igarss/HesselMFGC23,
  author       = {Charles Hessel and
                  Jean{-}Michel Morel and
                  Carlo de Franchis and
                  Rafael Grompone von Gioi and
                  Thomas Coquet},
  title        = {A-Contrario Detection of Hot Sources in Night-Time Viirs Images},
  booktitle    = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2023, Pasadena, CA, USA, July 16-21, 2023},
  pages        = {6557--6560},
  year         = {2023},
  crossref     = {DBLP:conf/igarss/2023},
  url          = {https://doi.org/10.1109/IGARSS52108.2023.10282608},
  doi          = {10.1109/IGARSS52108.2023.10282608},
  timestamp    = {Tue, 07 Nov 2023 16:21:25 +0100},
  biburl       = {https://dblp.org/rec/conf/igarss/HesselMFGC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fdgth/CoquetZHHAOCH22,
  author       = {Jean Coquet and
                  Alban Zammit and
                  Oualid El Hajouji and
                  Keith Humphreys and
                  Steven M. Asch and
                  Thomas F. Osborne and
                  Catherine M. Curtin and
                  Tina Hernandez{-}Boussard},
  title        = {Changes in postoperative opioid prescribing across three diverse healthcare
                  systems, 2010-2020},
  journal      = {Frontiers Digit. Health},
  volume       = {4},
  year         = {2022},
  url          = {https://doi.org/10.3389/fdgth.2022.995497},
  doi          = {10.3389/FDGTH.2022.995497},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fdgth/CoquetZHHAOCH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/embc/LiuHXNCBY17,
  author       = {Zichuan Liu and
                  Yifei Hu and
                  Hang Xu and
                  Lamees Nasser and
                  Philippe Coquet and
                  Thomas Boudier and
                  Hao Yu},
  title        = {NucleiNet: {A} convolutional encoder-decoder network for bio-image
                  denoising},
  booktitle    = {2017 39th Annual International Conference of the {IEEE} Engineering
                  in Medicine and Biology Society (EMBC), Jeju Island, South Korea,
                  July 11-15, 2017},
  pages        = {1986--1989},
  year         = {2017},
  crossref     = {DBLP:conf/embc/2017},
  url          = {https://doi.org/10.1109/EMBC.2017.8037240},
  doi          = {10.1109/EMBC.2017.8037240},
  timestamp    = {Sat, 18 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/embc/LiuHXNCBY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Braibant11,
  author       = {Thomas Braibant},
  title        = {Coquet: {A} Coq Library for Verifying Hardware},
  booktitle    = {Certified Programs and Proofs - First International Conference, {CPP}
                  2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
  pages        = {330--345},
  year         = {2011},
  crossref     = {DBLP:conf/cpp/2011},
  url          = {https://doi.org/10.1007/978-3-642-25379-9\_24},
  doi          = {10.1007/978-3-642-25379-9\_24},
  timestamp    = {Thu, 14 Oct 2021 10:14:33 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/Braibant11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1108-4253,
  author       = {Thomas Braibant},
  title        = {Coquet: a Coq library for verifying hardware},
  journal      = {CoRR},
  volume       = {abs/1108.4253},
  year         = {2011},
  url          = {http://arxiv.org/abs/1108.4253},
  eprinttype    = {arXiv},
  eprint       = {1108.4253},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-4253.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/igarss/2023,
  title        = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
                  2023, Pasadena, CA, USA, July 16-21, 2023},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/IGARSS52108.2023},
  doi          = {10.1109/IGARSS52108.2023},
  isbn         = {979-8-3503-2010-7},
  timestamp    = {Mon, 12 Aug 2024 16:14:25 +0200},
  biburl       = {https://dblp.org/rec/conf/igarss/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/embc/2017,
  title        = {2017 39th Annual International Conference of the {IEEE} Engineering
                  in Medicine and Biology Society (EMBC), Jeju Island, South Korea,
                  July 11-15, 2017},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/8026122/proceeding},
  isbn         = {978-1-5090-2809-2},
  timestamp    = {Mon, 12 Aug 2024 16:14:25 +0200},
  biburl       = {https://dblp.org/rec/conf/embc/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cpp/2011,
  editor       = {Jean{-}Pierre Jouannaud and
                  Zhong Shao},
  title        = {Certified Programs and Proofs - First International Conference, {CPP}
                  2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7086},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-25379-9},
  doi          = {10.1007/978-3-642-25379-9},
  isbn         = {978-3-642-25378-2},
  timestamp    = {Mon, 12 Aug 2024 16:14:25 +0200},
  biburl       = {https://dblp.org/rec/conf/cpp/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}