Journal papers

	Authors	Title	Published in	Date
Connected Filters on Generalized Shape-Spaces	Lê Duy Huỳnh Nicolas Boutry Thierry Géraud	Connected Filters on Generalized Shape-Spaces	Pattern Recognition Letters	20 September 2019
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	Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images	Pattern Recognition	1 July 2019
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge	Li Wang Dong Nie Guannan Li Élodie Puybareau Jose Dolz Qian Zhang Fan Wang Jing Xia Zhengwang Wu Jiawei Chen Kim-Han Thung Toan Duc Bui Jitae Shin Guodong Zeng Guoyan Zheng Vladimir S Fonov Andrew Doyle Yongchao Xu Pim Moeskops Josien P W Pluim Christian Desrosiers Ismail Ben Ayed Gerard Sanroma Oualid M Benkarim Adrià Casamitjana Verónica Vilaplana Weili Lin Gang Li Dinggang Shen	Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge	IEEE Transactions on Medical Imaging	11 April 2019
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	Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge	IEEE Transactions on Medical Imaging	10 April 2019
Model checking with generalized Rabin and Fin-less automata	Vincent Bloemen Alexandre Duret-Lutz Jaco van de Pol	Model checking with generalized Rabin and Fin-less automata	International Journal on Software Tools for Technology Transfer	1 April 2019
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way	Nicolas Boutry Thierry Géraud Laurent Najman	How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way	Journal of Mathematical Imaging and Vision	4 February 2019
High throughput automated detection of axial malformations in Medaka embryo	Diane Genest Élodie Puybareau Marc Léonard Jean Cousty Noémie De Crozé Hugues Talbot	High throughput automated detection of axial malformations in Medaka embryo	Computers in Biology and Medicine	22 January 2019
A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams	Jim Newton Didier Verna	A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams	ACM Transactions on Computational Logic	28 August 2018
Weakly Well-Composed Cell Complexes over nD Pictures	Nicolas Boutry Rocio Gonzalez-Diaz Maria-Jose Jimenez	Weakly Well-Composed Cell Complexes over nD Pictures	Information Sciences	4 July 2018
Parallel Computation of Component Trees on Distributed Memory Machines	Markus Götz Gabriele Cavallaro Thierry Géraud Matthias Book Morris Riedel	Parallel Computation of Component Trees on Distributed Memory Machines	IEEE Transactions on Parallel and Distributed Systems	2 April 2018
The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities	Yongchao Xu Baptiste Morel Sonia Dahdouh Élodie Puybareau Alessio Virzì Hélène Urien Thierry~Géraud Catherine Adamsbaum Isabelle Bloch	The Challenge of Cerebral Magnetic Resonance Imaging in Neonates: A New Method using Mathematical Morphology for the Segmentation of Structures Including Diffuse Excessive High Signal Intensities	Medical Image Analysis	22 March 2018
Lisp, Jazz, Aikido	Didier Verna	Lisp, Jazz, Aikido	The Art, Science and Engineering of Programming Journal	5 February 2018
Derived-Term Automata of Multitape Expressions with Composition	Akim Demaille	Derived-Term Automata of Multitape Expressions with Composition	Scientific Annals of Computer Science	29 December 2017
A Tutorial on Well-Composedness	Nicolas Boutry Thierry Géraud Laurent Najman	A Tutorial on Well-Composedness	Journal of Mathematical Imaging and Vision	12 October 2017
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness	Marçal Rusiñol Joseph Chazalon Katerine Diaz-Chito	Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness	Multimedia Tools and Applications	29 June 2017
Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking	Guillaume Tochon Jocelyn Chanussot Mauro Dalla Mura Andrea Bertozzi	Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking	IEEE Transactions on Geoscience and Remote Sensing	20 April 2017
Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection	Yongchao Xu Thierry Géraud Laurent Najman	Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection	Pattern Recognition Letters	20 May 2016
Hierarchical Segmentation Using Tree-Based Shape Spaces	Yongchao Xu Edwin Carlinet Thierry Géraud Laurent Najman	Hierarchical Segmentation Using Tree-Based Shape Spaces	IEEE Transactions on Pattern Analysis and Machine Intelligence	11 April 2016
TextCatcher: a method to detect curved and challenging text in natural scenes	Jonathan Fabrizio Myriam Robert-Seidowsky Séverine Dubuisson Stefania Calarasanu Raphaël Boissel	TextCatcher: a method to detect curved and challenging text in natural scenes	International Journal on Document Analysis and Recognition	8 April 2016
What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions	Stefania Calarasanu Jonathan Fabrizio Séverine Dubuisson	What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions	Image and Vision Computing	1 February 2016
Variations on Parallel Explicit Model Checking for Generalized Büchi Automata	Etienne Renault Alexandre Duret-Lutz Fabrice Kordon Denis Poitrenaud	Variations on Parallel Explicit Model Checking for Generalized Büchi Automata	International Journal on Software Tools for Technology Transfer (STTT)	26 October 2015
MToS: A Tree of Shapes for Multivariate Images	Edwin Carlinet Thierry Géraud	MToS: A Tree of Shapes for Multivariate Images	IEEE Transactions on Image Processing	26 October 2015
Connected Filtering on Tree-Based Shape-Spaces	Yongchao Xu Thierry Géraud Laurent Najman	Connected Filtering on Tree-Based Shape-Spaces	IEEE Transactions on Pattern Analysis and Machine Intelligence	5 June 2015
Tree-Based Morse Regions: A Topological Approach to Local Feature Detection	Yongchao Xu Thierry Géraud Pascal Monasse Laurent Najman	Tree-Based Morse Regions: A Topological Approach to Local Feature Detection	IEEE Transactions on Image Processing	3 October 2014
A Comparative Review of Component Tree Computation Algorithms	Edwin Carlinet Thierry Géraud	A Comparative Review of Component Tree Computation Algorithms	IEEE Transactions on Image Processing	16 June 2014
LTL Translation Improvements in Spot 1.0	Alexandre Duret-Lutz	LTL Translation Improvements in Spot 1.0	International Journal on Critical Computer-Based Systems	6 March 2014
Text detection in street level image	Jonathan Fabrizio Beatriz Marcotegui Matthieu Cord	Text detection in street level image	Pattern Analysis and Applications	5 November 2013
Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach	S Shum Najim Dehak Réda Dehak J Glass	Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach	IEEE Transactions on Audio, Speech, and Language Processing	7 June 2013
Efficient Multiscale Sauvola's Binarization	Guillaume Lazzara Thierry Géraud	Efficient Multiscale Sauvola's Binarization	International Journal of Document Analysis and Recognition (IJDAR)	25 April 2013
Motion compensation based on Tangent Distance prediction for video compression	Jonathan Fabrizio Séverine Dubuisson Dominique Béréziat	Motion compensation based on Tangent Distance prediction for video compression	Signal Processing: Image Communication	9 February 2012
Model Checking using Generalized Testing Automata	Ala Eddine Ben Salem Alexandre Duret-Lutz Fabrice Kordon	Model Checking using Generalized Testing Automata	Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI)	1 January 2012
Front-End Factor Analysis For Speaker Verification	Najim Dehak P Kenny Réda Dehak P Dumouchel P Ouellet	Front-End Factor Analysis For Speaker Verification	IEEE Transactions on Audio, Speech, and Language Processing	1 May 2011
NixOS: A purely functional Linux distribution	Eelco Dolstra Andres Löh Nicolas Pierron	NixOS: A purely functional Linux distribution	Journal of Functional Programming	15 October 2010
Revisiting the Visitor: the Just Do It Pattern	Didier Verna	Revisiting the Visitor: the Just Do It Pattern	Journal of Universal Computer Science	1 January 2010
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation	Alexandre Hamez Yann Thierry-Mieg Fabrice Kordon	Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation	Fundamenta Informaticae	1 January 2009
Binary Methods Programming: the CLOS Perspective (extended version)	Didier Verna	Binary Methods Programming: the CLOS Perspective (extended version)	Journal of Universal Computer Science	1 January 2008
How to make Lisp go faster than C	Didier Verna	How to make Lisp go faster than C	IAENG International Journal of Computer Science	1 December 2006
Shape-based hand recognition	Erdem Yörük Ender Konukoglu Bülent Sankur Jérôme Darbon	Shape-based hand recognition	IEEE Transactions on Image Processing	1 July 2006
Image restoration with discrete constrained Total Variation—Part~I: Fast and exact optimization	Jérôme Darbon Marc Sigelle	Image restoration with discrete constrained Total Variation—Part~I: Fast and exact optimization	Journal of Mathematical Imaging and Vision	24 March 2006
Image restoration with discrete constrained Total Variation—Part~II: Levelable functions, convex priors and non-convex case	Jérôme Darbon Marc Sigelle	Image restoration with discrete constrained Total Variation—Part~II: Levelable functions, convex priors and non-convex case	Journal of Mathematical Imaging and Vision	24 March 2006
Probabilistic abstraction for model checking: an approach based on property testing	Sophie Laplante Richard Lassaigne Frédéric Magniez Sylvain Peyronnet Michel de Rougemont	Probabilistic abstraction for model checking: an approach based on property testing	ACM Transactions on Computational Logic	21 November 2005
C-Transformers — A Framework to Write C Program Transformations	Alexandre Borghi Valentin David Akim Demaille	C-Transformers — A Framework to Write C Program Transformations	ACM Crossroads	16 October 2005
Spatial reasoning with relative incomplete information on relative positioning	Réda Dehak Isabelle Bloch Henri Maître	Spatial reasoning with relative incomplete information on relative positioning	IEEE Transactions on Pattern Analysis and Machine Intelligence	1 September 2005
Introducing Vaucanson	Sylvain Lombardy Yann Régis-Gianas Jacques Sakarovitch	Introducing Vaucanson	Theoretical Computer Science	1 November 2004
Fast road network extraction in satellite images using mathematical morphology and Markov random fields	Thierry Géraud Jean-Baptiste Mouret	Fast road network extraction in satellite images using mathematical morphology and Markov random fields	EURASIP Journal on Applied Signal Processing	5 September 2004
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI	Isabelle Bloch Olivier Colliot Oscar Camara Thierry Géraud	Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI	Pattern Recognition Letters	9 July 2004
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging	Isabelle Bloch Thierry Géraud Henri Maître	Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging	Artificial Intelligence	1 August 2003