# Conference papers

### From LRDE

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

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 |

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 |

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 |

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 |

newton.20.tfp | Performance Comparison of Several Folding Strategies | Jim Newton | Trends in Functional Programming | 14 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, HuignardJean-Pierre | 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, 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 |

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 |

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 | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM) | 13 March 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 | 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 |

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 |

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 |

newton.18.meta | Recognizing heterogeneous sequences by rational type expression | Jim Newton, Didier Verna | Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection | 14 September 2018 |

renault.18.vecos | Improving Parallel State-Space Exploration Using Genetic Algorithms | Etienne Renault | Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18) | 14 June 2018 |

michaud.18.synt | Reactive Synthesis from LTL Specification with Spot | Thibaud Michaud, Maximilien Colange | Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018 | 7 June 2018 |

boldo.18.arith | A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers | Sylvie Boldo, Florian Faissole, TourneurVincent | 25th IEEE Symposium on Computer Arithmetic | 1 June 2018 |

carlinet.18.icip | The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm | Edwin Carlinet, Thierry Géraud, Sébastien Crozet | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |

puybareau.18.icip | Real-Time Document Detection in Smartphone Videos | Élodie Puybareau, Thierry Géraud | Proceedings of the 24th IEEE International Conference on Image Processing (ICIP) | 10 May 2018 |

carlinet.18.rfiap | Un algorithme de complexité linéaire pour le calcul de l'arbre des formes | Edwin Carlinet, Sébastien Crozet, Thierry Géraud | Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP) | 4 May 2018 |

puybareau.18.rfiap | Segmentation des hyperintensités de la matière blanche en quelques secondes à l'aide d'un réseau de neurones convolutif et de transfert d'apprentissage | Élodie Puybareau, Yongchao Xu, Joseph Chazalon, Isabelle Bloch, Thierry Géraud | Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France” | 4 May 2018 |

newton.18.els | Approaches in Typecase Optimization | Jim Newton, Didier Verna | European Lisp Symposium | 5 April 2018 |

verna.18.els | Method Combinators | Didier Verna | 11th European Lisp Symposium | 25 March 2018 |

xu.18.brainles | White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning | Yongchao Xu, Thierry Géraud, Élodie Puybareau, Isabelle Bloch, Joseph Chazalon | Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries— 3rd International WorkshopBrainLes 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14 2017, Revised Selected Papers | 6 February 2018 |

movn.18.das | Saliency-Based Detection of Identity Documents Captured by Smartphones | Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud | Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) | 2 February 2018 |

dangla.18.das | A first step toward a fair comparison of evaluation protocols for text detection algorithms | Aliona Dangla, Élodie Puybareau, Guillaume Tochon, Jonathan Fabrizio | Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS) | 2 February 2018 |

metin.18.tacas | CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving | Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon | Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18) | 5 January 2018 |

drapeau.17.grec | Extraction of Ancient Map Contents Using Trees of Connected Components | Jordan Drapeau, Thierry Géraud, Mickaël Coustaty, Joseph Chazalon, Jean-Christophe Burie, Véronique Eglin, Stéphane Bres | Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC) | 20 October 2017 |

chazalon.17.icdar-ost | SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode | J Chazalon, P Gomez-Krämer, J -C Burie, M Coustaty, S Eskenazi, M Luqman, N Nayef, M Rusiñol, N Sidère, J M Ogier. | Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis, (ICDAR-OST) | 21 July 2017 |

demaille.17.ictac | Derived-Term Automata of Weighted Rational Expressions with Quotient Operators | Akim Demaille, Thibaud Michaud | Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) | 5 July 2017 |

royer.17.icdar | Benchmarking Keypoint Filtering Approaches for Document Image Matching | E Royer, J Chazalon, M Rusiñol, F Bouchara | Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR) | 4 July 2017 |

jacobs.17.synt | The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results | Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, FaymonvillePeter, Bernd Finkbeiner, Ayrat Khalimov, KleinFelix, Thibaud Michaud, Guillermo A Pérez, Jean-François Raskin, Ocan Sankur, TentrupLeander | Proceedings Sixth Workshop on Synthesis | 1 July 2017 |

le-frioux.17.sat | PaInleSS: a Framework for Parallel SAT Solving | Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon | Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17) | 30 June 2017 |