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 | |
|---|---|---|---|---|
| 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 | |
| zhao.19.stacom | A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images | Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud | Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers | 7 February 2020 |
| drumetz.20.icassp | Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation | Lucas Drumetz, Mauro Dalla Mura, Guillaume Tochon, Ronan Fablet | Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) | 24 January 2020 |