Publications

From LRDE

Revision as of 12:03, 26 November 2018 by Cd (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Here you will find the various forms of communication from LRDE members.

LRDE Progress Report

LRDE Bibliography

Publications

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

... further results