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 | |
|---|---|---|---|---|
| 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 |
| 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 Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Shenzhen, 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 |
| newton.20.tfp | Performance Comparison of Several Folding Strategies | Jim Newton | Trends in Functional Programming | 14 January 2020 |
| bib/verna.19.tug | Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo | Didier Verna | TUGboat | 6 November 2019 |
| huynh.19.prl | Connected Filters on Generalized Shape-Spaces | Lê Duy Huỳnh, Nicolas Boutry, Thierry Géraud | Pattern Recognition Letters | 20 September 2019 |
| poitrenaud.19.icfem | Combining Parallel Emptiness Checks with Partial Order Reductions | Denis Poitrenaud, Etienne Renault | Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19) | 2 August 2019 |
| baier.19.atva | Generic Emptiness Check for Fun and Profit | Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček | Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19) | 29 July 2019 |
| tochon.19.pr | Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images | Guillaume Tochon, Mauro Dalla Mura, Miguel Angel Veganzones, Thierry Géraud, Jocelyn Chanussot | Pattern Recognition | 1 July 2019 |
| boutry.19.dgci | One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures | Nicolas Boutry, Rocio Gonzalez-Diaz, JimenezMaria-Jose | Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI) | 18 June 2019 |