| No sexual pheromones in Anopheles mosquitoes? K Adams, O Roux Current Opinion in Insect Science, 101227, 2024 | | 2024 |
| Identification of Semiochemical Candidates Involved in Glossina Palpalis Gambiensis Larviposition Site Selection and Behavioural Responses of Adult Gravid … G Gimonneau, B Buatois, B Lapeyre, E Wendemanegde Salou, N Sanon, ... Journal of Chemical Ecology, 1-14, 2024 | | 2024 |
| Multisensory integration in Anopheles mosquito swarms: The role of visual and acoustic information in mate tracking and collision avoidance S Gupta, A Cribellier, SB Poda, O Roux, FT Muijres, JA Riffell bioRxiv, 2024 | | 2024 |
| Weakly strong semantics of Time Petri Nets for performance evaluations J Komenda, S Lahaye, R Parrot, OH Roux IFAC-PapersOnLine 58 (1), 66-71, 2024 | | 2024 |
| Spatial and temporal characteristics of laboratory-induced Anopheles coluzzii swarms: shape, structure and flight kinematics BS Poda, A Cribellier, L Feugère, M Fatou, C Nignan, DFS Hien, P Müller, ... bioRxiv, 2024.03. 25.586329, 2024 | 2 | 2024 |
| Non-interference temporisée avec observation partielle et mémoire bornée A Spriet, D Lime, OH Roux Modélisation des Systèmes Réactifs (MSR'23), 2023 | | 2023 |
| Dense integer-complete synthesis for bounded parametric timed automata É André, D Lime, OH Roux arXiv preprint arXiv:2310.09109, 2023 | 1 | 2023 |
| Timed non-interference under partial observability and bounded memory A Spriet, D Lime, OH Roux International Conference on Formal Modeling and Analysis of Timed Systems …, 2023 | 1 | 2023 |
| Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches I Haur, JL Béchennec, OH Roux Cybernetics and Systems, 1-31, 2023 | | 2023 |
| The Challenges of Inferring Dynamic Models from Time Series T Ribeiro, M Folschette, L Trilling, N Glade, K Inoue, M Magnin, O Roux, ... Symbolic Approaches to Modeling and Analysis of Biological Systems, 89, 2023 | | 2023 |
| MORTEM: a new runtime for intermittent computing A Bernabeu, JL Béchennec, M Briday, S Faucou, OH Roux Conférence francophone d'informatique en Parallélisme, Architecture et …, 2023 | | 2023 |
| Correction: Behavioural analysis of swarming mosquitoes reveals high hearing sensitivity in Anopheles coluzzii L Feugère, O Roux, G Gibson Journal of Experimental Biology 226 (13), 2023 | | 2023 |
| A state class based controller synthesis approach for time Petri nets L Leclercq, D Lime, OH Roux International Conference on Applications and Theory of Petri Nets and …, 2023 | 4 | 2023 |
| Unraveling the 3D swarming flight behavior of Anopheles mosquitoes in laboratory-induced swarms S Poda, A Cribellier, L Feugère, O Gnankiné, RK Dabiré, FT Muijres, ... Biomechanics in Nature: Conference & Farewell Address of Johan van Leeuwen, 2023 | | 2023 |
| Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems A Bernabeu, JL Béchennec, M Briday, S Faucou, O Roux Discrete Event Dynamic Systems 33 (1), 63-93, 2023 | 2 | 2023 |
| Design and verification of pipelined circuits with Timed Petri Nets R Parrot, M Briday, OH Roux Discrete Event Dynamic Systems 33 (1), 1-24, 2023 | 1 | 2023 |
| Proving Unreachability in Automata Networks by Mixing Static Analysis and Bounded Model Checking S Buchet, M Magnin, O Roux | | 2023 |
| No evidence for long-range male sex pheromones in two malaria mosquitoes SB Poda, B Buatois, B Lapeyre, L Dormont, A Diabaté, O Gnankiné, ... Nature Ecology & Evolution 6 (11), 1676-1686, 2022 | 12 | 2022 |
| EPICeA: A comprehensive radiobiological assay using dynamic single cells phenotypic tracking under videomicroscopy F Paris, LI Renaud, T Ribeiro, P Delgado-Rodriguez, M Taupin, M Magnin, ... | 2 | 2022 |
| pylfit T Ribeiro, M Folschette, M Magnin, K Inoue, C Sakama, O Roux, S Tourret, ... | | 2022 |
Didier LimeÉcole Centrale de NantesVerified email at ec-nantes.fr
