default search action
Search dblp for Publications
export results for "Thomas Coquet"
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.