| Ambient noise multimode Rayleigh and Love wave tomography to determine the shear velocity structure above the Groningen gas field M Chmiel, A Mordret, P Boué, F Brenguier, T Lecocq, R Courbis, D Hollis, ... Geophysical Journal International 218 (3), 1781-1795, 2019 | 51 | 2019 |
| Noise-based ballistic wave passive seismic monitoring–Part 2: surface waves A Mordret, R Courbis, F Brenguier, M Chmiel, S Garambois, S Mao, ... Geophysical Journal International 221 (1), 692-705, 2020 | 34 | 2020 |
| Noise-based ballistic wave passive seismic monitoring. Part 1: body waves F Brenguier, R Courbis, A Mordret, X Campman, P Boué, M Chmiel, ... Geophysical Journal International 221 (1), 683-691, 2020 | 32 | 2020 |
| Finer is better: Abstraction refinement for rewriting approximations Y Boichut, R Courbis, PC Héam, O Kouchnarenko Rewriting Techniques and Applications: 19th International Conference, RTA …, 2008 | 29 | 2008 |
| Formal verification of industrial critical software M Petit-Doche, N Breton, R Courbis, Y Fonteneau, M Güdemann International Workshop on Formal Methods for Industrial Critical Systems, 1-11, 2015 | 9 | 2015 |
| Taged approximations for temporal properties model-checking R Courbis, PC Héam, O Kouchnarenko International Conference on Implementation and Application of Automata, 135-144, 2009 | 8 | 2009 |
| Handling non left-linear rules when completing tree automata Y Boichut, R Courbis, PC Héam, O Kouchnarenko International Journal of Foundations of Computer Science 20 (05), 837-849, 2009 | 7 | 2009 |
| Vs imaging from ambient noise Rayleigh wave tomography for oil exploration in Nevada, USA A Boué, R Courbis, M Chmiel, N Arndt, T Lecocq, A Mordret, P Boué, ... SEG Technical Program Expanded Abstracts 2019, 5382-5385, 2019 | 4 | 2019 |
| Rewriting approximations for properties verification over CCS specifications R Courbis Fundamentals of Software Engineering: 4th IPM International Conference, FSEN …, 2012 | 3 | 2012 |
| Handling left-quadratic rules when completing tree automata Y Boichut, R Courbis, PC Héam, O Kouchnarenko Electronic Notes in Theoretical Computer Science 223, 61-70, 2008 | 3 | 2008 |
| Ambient Noise Rayleigh and Love Wave Tomography beneath the Sally Palladium Copper Deposit (Ontario, Canada) A Lavoué, N Arndt, J McBride, A Mordret, F Brenguier, P Boué, R Courbis, ... NSG2020 3rd Conference on Geophysics for Mineral Exploration and Mining 2020 …, 2020 | 2 | 2020 |
| Monitoring of fields using body and surface waves reconstructed from passive seismic ambient noise F Brenguier, A Mordret, R Lynch, R Courbis, X Campbell, P Boué, ... SEG International Exposition and Annual Meeting, D043S104R007, 2019 | 2 | 2019 |
| Noise-based Ballistic Body-wave Passive Seismic Monitoring. F Brenguier, R Courbis, A Mordret, X Campman, P Boué, M Chmiel, ... Geophysical Research Abstracts 21, 2019 | 2 | 2019 |
| TAGED approximations for veriying temporal patterns R Courbis, PC Héam, O Kouchnarenko Proc. of CIAA 9, 2009 | 2 | 2009 |
| Contributions à l'analyse de systèmes par approximation d'ensembles réguliers R Courbis Université de Franche-Comté, 2011 | 1 | 2011 |
| Une approche parallèle et distribuée pour la complétion d'automates d'arbre A Caciula, R Courbis, V Felea, PC Heam, R Ionescu 10es Journées Francophones Internationales sur les Approches Formelles dans …, 2010 | 1 | 2010 |
| Approximations par réécriture pour deux problèmes indécidables R Courbis, PC Héam, P Jourdan, O Kouchnarenko AFADL 10, 7, 2010 | 1 | 2010 |
| The mobile Finnish Seismic Instrument Pool R Courbis, G Hillers, E Koivisto, P Haapanala, I Kukkonen, Y Ding, ... EGU24, 2024 | | 2024 |
| Ambient noise monitoring of the Bayou Corne sinkhole evolution A Mordret, A Lavoué, B Witten, A Baig, S Beaupretre, R Courbis, ... EGU General Assembly Conference Abstracts, EGU-4500, 2023 | | 2023 |
| Detecting earthen dam defects using seismic interferometry monitoring on Distributed Acoustic Sensing data A Mordret, A Stork, S Johansson, A Lavoue, S Beaupretre, R Courbis, ... EGU General Assembly Conference Abstracts, EGU22-3728, 2022 | | 2022 |
