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    = {{IGARSS}},
  pages        = {6557--6560},
  publisher    = {{IEEE}},
  year         = {2023}
}

@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}
}

@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    = {{EMBC}},
  pages        = {1986--1989},
  publisher    = {{IEEE}},
  year         = {2017}
}

@inproceedings{DBLP:conf/cpp/Braibant11,
  author       = {Thomas Braibant},
  title        = {Coquet: {A} Coq Library for Verifying Hardware},
  booktitle    = {{CPP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7086},
  pages        = {330--345},
  publisher    = {Springer},
  year         = {2011}
}

@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}
}