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 = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS} 2023, Pasadena, CA, USA, July 16-21, 2023}, pages = {6557--6560}, publisher = {{IEEE}}, year = {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}, publisher = {{IEEE}}, year = {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}, editor = {Jean{-}Pierre Jouannaud and Zhong Shao}, 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}, series = {Lecture Notes in Computer Science}, volume = {7086}, pages = {330--345}, publisher = {Springer}, year = {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} }
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.