# Conference papers

### From LRDE

Title | Authors | Published in | Date | |
---|---|---|---|---|

movn.21.bmvc | Introducing the Boundary-Aware Loss for Deep Image Segmentation | Minh Ôn Vũ Ngoc, Yizi Chen, Nicolas C Boutry, Joseph Chazalon, Edwin Carlinet, Jonathan Fabrizio, Clément Mallet, Thierry Géraud | Proceedings of the 32nd British Machine Vision Conference (BMVC) | 28 November 2021 |

kheireddine.21.cp | Towards better Heuristics for solving Bounded Model Checking Problems | Souheib Baarrir, Anissa Kheireddine, Étienne Renault | Proceedings of the 27th International Conference on Principles and Practice of Constraint Programmings (CP) | 31 August 2021 |

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, Vincent Nguyen, Nam Nguyen, Josef Baloun, Ladislav Lenc, Pavel Král | 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 | Proceedings of the 14th European Lisp Symposium (ELS) | 1 May 2021 |

newton.21.els | A Portable, Simple, Embeddable Type System | Jim Newton, Adrien Pommellet | Proceedings of the 14th European Lisp Symposium (ELS) | 26 April 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 |

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 |

kirszenberg.21.dgmm | Going beyond p-convolutions to learn grayscale morphological operators | Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesus Angulo | 16 February 2021 | |

bloch.21.dgmm | On Some Associations Between Mathematical Morphology and Artificial Intelligence | Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon | 16 February 2021 | |

chen.21.dgmm | Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation | Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret | 16 February 2021 | |

zhao.20.icpr.1 | FOANet: A Focus of Attention Network with Application to Myocardium Segmentation | Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud | Proceedings of the 25th International Conference on Pattern Recognition (ICPR) | 2 November 2020 |

zhao.20.icpr.2 | Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation | Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud | Proceedings of the 25th International Conference on Pattern Recognition (ICPR) | 2 November 2020 |

buatois.19.brainles | Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival | Thibault Buatois, Élodie Puybareau, Joseph Chazalon, Guillaume Tochon | International MICCAI Brainlesion Workshop | 3 September 2020 |

nejati.20.cp | A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers | Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh | Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20) | 1 September 2020 |

vallade.20.nfm | On the Usefulness of Clause Strengthening in Parallel SAT Solving | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 12th NASA Formal Methods Symposium (NFM'20) | 1 August 2020 |

boutry.20.iwcia2 | A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D | Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 July 2020 |

boutry.20.iwcia1 | Euler Well-Composedness | Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago | Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020 | 21 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 |

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 |

vallade.20.sat | Community and LBD-based Clause Sharing Policy for Parallel SAT Solving | Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon | Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20) | 1 June 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 |

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 |

atlan.20.spie | Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation) | Michael Atlan, Julie Rivet, Antoine Taliercio, Guillaume Tochon, Nicolas Boutry, Jean-Pierre Huignard | Label-free Biomedical Imaging and Sensing (LBIS) 2020 | 1 January 2020 |

verna.19.tug | Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo | Didier Verna | TUGboat | 6 November 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 |

boutry.19.dgci | One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures | Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez | Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI) | 18 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 |

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.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 |

verna.19.els | Parallelizing Quickref | Didier Verna | 12th European Lisp Symposium | 1 April 2019 |

valais.19.els | Implementing Baker's SUBTYPEP decision procedure | Léo Valais, Jim Newton, Didier Verna | 12th European Lisp Symposium | 1 April 2019 |

puybareau.19.ismm | Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy | Élodie Puybareau, Edwin Carlinet, Alessandro Benfenati, Hugues Talbot | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |

tochon.19.ismm | Constructing a braid of partitions from hierarchies of partitions | Guillaume Tochon, Mauro Dalla Mura, Jocelyn Chanussot | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |

boutry.19.ismm | An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D | Nicolas Boutry, Thierry Géraud, Laurent Najman | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 2019 |

carlinet.19.ismm | Introducing Multivariate Connected Openings and Closings | Edwin Carlinet, Thierry Géraud | 13 March 2019 | |

le-frioux.19.tacas | Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19) | 13 February 2019 |

newton.19.els | Finite Automata Theory Based Optimization of Conditional Variable Binding | Jim Newton, Didier Verna | European Lisp Symposium | 14 January 2019 |

rivet.19.isbi | Motion Compensation in Digital Holography for Retinal Imaging | Julie Rivet, Guillaume Tochon, Michael Atlan, Serge Meimon, Thierry Géraud, Michel Paques | Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI) | 19 December 2018 |

carlinet.19.csi | Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach | Edwin Carlinet, Thierry Géraud | Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI) | 26 November 2018 |

puybareau.18.brainles | Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure | Élodie Puybareau, Guillaume Tochon, Joseph Chazalon, Jonathan Fabrizio | Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI | 5 November 2018 |

rivet.19.spie | Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina | Julie Rivet, Guillaume Tochon, Serge Meimon, Michel Pâques, Thierry Géraud, Michael Atlan | Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V | 25 October 2018 |

roynard.18.rrpr | An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming | Michaël Roynard, Edwin Carlinet, Thierry Géraud | Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018) | 25 October 2018 |

puybareau.18.stacom | Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Élodie Puybareau, Zhou Zhao, Younes Khoudli, Yongchao Xu, Thierry Géraud, Edwin Carlinet, Jérôme Lacotte | Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI | 25 October 2018 |