Publications

From LRDE

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

LRDE Progress Report

LRDE Bibliography

Publications

Or


Title Authors Published in Date
kirszenberg.21.spin Go2Pins: a framework for the LTL verification of Go programs Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault Proceedings of the 27th International SPIN Symposium on Model Checking of Software (SPIN'21) 8 June 2021
chen.21.icdar Vectorization of Historical Maps Using Deep Edge Filtering and Closed Shape Extraction Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
chazalon.21.icdar.1 Revisiting the Coco Panoptic Metric to Enable Visual and Qualitative Analysis of Historical Map Instance Segmentation Joseph Chazalon, Edwin Carlinet Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
chazalon.21.icdar.2 ICDAR 2021 Competition on Historical Map Segmentation Joseph Chazalon, Edwin Carlinet, Yizi Chen, Julien Perret, Bertrand Duménieu, Clément Mallet, Thierry Géraud Proceedings of the 16th International Conference on Document Analysis and Recognition (ICDAR'21) 17 May 2021
estopinan.21.eusipco Learning Sentinel-2 Spectral Dynamics for Long-Run Predictions Using Residual Neural Networks Joaquim Estopinan, Guillaume Tochon, Lucas Drumetz Proceedings of the 29th European Signal Processing Conference (EUSIPCO) 4 May 2021
hacquard.21.els A Corpus Processing and Analysis Pipeline for Quickref Antoine Hacquard, Didier Verna 14th European Lisp Symposium 1 May 2021
newton.21.els A Portable, Simple, Embeddable Type System Jim Newton, Adrien Pommellet European Lisp Symposium 26 April 2021
boutry.21.dgmm.1 An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D Nicolas Boutry, Thierry Géraud, Laurent Najman Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
boutry.21.dgmm.2 A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation Nicolas Boutry, Thierry Géraud Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021
boutry.21.dgmm.3 Stability of the Tree of Shapes to Additive Noise Nicolas Boutry, Guillaume Tochon Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM) 2 March 2021

... further results