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 | |
|---|---|---|---|---|
| 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 |
| carlinet.19.gretsi | Filtres connexes multivariés par fusion d'arbres de composantes | Edwin Carlinet, Thierry Géraud | Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) | 14 June 2019 |
| esteban.19.gretsi | Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques | Baptiste Esteban, Guillaume Tochon, Thierry Géraud | Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI) | 14 June 2019 |
| esteban.19.caip | Estimating the noise level function with the tree of shapes and non-parametric statistics | Baptiste Esteban, Guillaume Tochon, Thierry Géraud | Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP) | 7 June 2019 |
| wang.19.tmi | Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge | Adrià Casamitjana, Andrew Doyle, Christian Desrosiers, Dinggang Shen, Dong Nie, Fan Wang, Gang Li, Gerard Sanroma, Guannan Li, Guodong Zeng, Guoyan Zheng, Ismail Ben Ayed, Jiawei Chen, Jing Xia, Jitae Shin, Jose Dolz, Josien P W Pluim, Kim-Han Thung, Li Wang, Oualid M Benkarim, Pim Moeskops, Qian Zhang, Toan Duc Bui, Verónica Vilaplana, Vladimir S Fonov, Weili Lin, Yongchao Xu, Zhengwang Wu, Élodie Puybareau | IEEE Transactions on Medical Imaging | 11 April 2019 |
| kuijf.19.tmi | Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge | H J Kuijf, J M Biesbroek, J de Bresser, R Heinen, S Andermatt, M Bento, M Berseth, M Belyaev, M J Cardoso, A Casamitjana, D L Collins, M Dadar, A Georgiou, M Ghafoorian, D Jin, A Khademi, J Knight, H Li, X Lladó, M Luna, Q Mahmood, R McKinley, A Mehrtash, S Ourselin, B Park, H Park, S H Park, S Pezold, L Rittner, C H Sudre, S Valverde, V Vilaplana, R Wiest, Z Xu, G Zeng, J Zhang, G Zheng, C Chen, W van der Flier, F Barkhof, M A Viergever, G J Biessels, Élodie Puybareau, Yongchao Xu | IEEE Transactions on Medical Imaging | 10 April 2019 |
| bloemen.19.sttt | Model checking with generalized Rabin and Fin-less automata | Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol | International Journal on Software Tools for Technology Transfer | 1 April 2019 |