Publications
From LRDE
Here you will find the various forms of communication from LRDE members.
LRDE Progress Report
- Rapport d'activité 2015 (PDF in French)
- Rapport d'activité 2010 (PDF in French)
- Progress Report 2010 (PDF in English)
LRDE Bibliography
Publications
- Book chapters
- Journal papers
- Conference papers
- PHD Theses and Habilitations
- Technical reports
- Student reports
Or
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| boutry.20.iwcia2 | A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D | Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 July 2020 |
| boutry.20.iwcia1 | Euler Well-Composedness | Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 July 2020 |
| verna.20.hdr | (Dynamic (Programming Paradigms)) ;; Performance and Expressivity | Didier Verna | 10 July 2020 | |
| renkin.20.atva | Practical “Paritizing” of Emerson-Lei Automata | Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet | Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20) | 7 July 2020 |
| movn.20.cviu | A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation | Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio, Thierry Géraud | Computer Vision and Image Understanding | 2 June 2020 |
| renault.20.isse | Improving swarming using genetic algorithms | Etienne Renault | Innovations in Systems and Software Engineering: a NASA journal (ISSE) | 2 June 2020 |
| boutry.20.brainles | Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures | Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud | Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019 | 1 June 2020 |
| pommellet.20.isse | LTL Model Checking for Communicating Concurrent Programs | Adrien Pommellet, Tayssir Touili | Innovations in Systems and Software Engineering: a NASA journal (ISSE) | 15 May 2020 |
| blahoudek.20.cav | Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization | František Blahoudek, Alexandre Duret-Lutz, Jan Strejček | Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20) | 14 May 2020 |
| movn.20.phd | Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms | Minh Ôn Vũ Ngoc | 18 February 2020 |