Journal papers

	Authors	Title	Published in	Date
A global benchmark of algorithms for segmenting the left atrium from late gadolinium-enhanced cardiac magnetic resonance imaging	Zhaohan Xiong Qing Xia Zhiqiang Hu Ning Huang Cheng Bian Yefeng Zheng Sulaiman Vesal Nishant Ravikumar Andreas Maier Xin Yang Pheng-Ann Heng Dong Ni Caizi Li Qianqian Tong Weixin Si Elodie Puybareau Younes Khoudli Thierry Géraud Chen Chen Wenjia Bai Daniel Rueckert Lingchao Xu Xiahai Zhuang Xinzhe Luo Shuman Jia Maxime Sermesant Yashu Liu Kuanquan Wang Davide Borra Alessandro Masci Cristiana Corsi Coen de Vente Mitko Veta Rashed Karim Chandrakanth Jayachandran Preetha Sandy Engelhardt Menyun Qiao Yuanyuan Wang Qian Tao Marta Nunez-Garcia Oscar Camara Nicolo Savioli Pablo Lamata Jichao Zhao	A global benchmark of algorithms for segmenting the left atrium from late gadolinium-enhanced cardiac magnetic resonance imaging	Medical Image Analysis	10 November 2020
PAIP 2019: Liver cancer segmentation challenge	Yoo Jung Kim Hyungjoon Jang Kyoungbun Lee Seongkeun Park Sung-Gyu Min Choyeon Hong Jeong Hwan Park Kanggeun Lee Jisoo Kim Wonjae Hong Hyun Jung Yanling Liu Haran Rajkumar Mahendra Khened Ganapathy Krishnamurthi Sen Yang Xiyue Wang Chang Hee Han Jin Tae Kwak Jianqiang Ma Zhe Tang Bahram Marami Jack Zeineh Zixu Zhao Pheng-Ann Heng Rudiger Schmitz Frederic Madesta Thomas Rosch Rene Werner Jie Tian Elodie Puybareau Matteo Bovio Xiufeng Zhang Yifeng Zhu Se Young Chun Won-Ki Jeong Peom Park Jinwook Choi	PAIP 2019: Liver cancer segmentation challenge	Medical Image Analysis	10 November 2020
Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids	Nicolas Boutry Laurent Najman Thierry Géraud	Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids	Journal of Mathematical Imaging and Vision	3 September 2020
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids	Nicolas Boutry Laurent Najman Thierry Géraud	Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids	Journal of Mathematical Imaging and Vision	3 September 2020
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation	Minh Ôn Vũ Ngoc Nicolas Boutry Jonathan Fabrizio Thierry Géraud	A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation	Computer Vision and Image Understanding	2 June 2020
Improving swarming using genetic algorithms	Etienne Renault	Improving swarming using genetic algorithms	Innovations in Systems and Software Engineering: a NASA journal (ISSE)	2 June 2020
LTL Model Checking for Communicating Concurrent Programs	Adrien Pommellet Tayssir Touili	LTL Model Checking for Communicating Concurrent Programs	Innovations in Systems and Software Engineering: a NASA journal (ISSE)	15 May 2020
A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy	Sharib Ali Mariia Dmitrieva Noha Ghatwary Gorkem Polat Alptekin Temizel Adrian Krenzer Amar Hekalo Yun Bo Guo Bogdan Matuszewski others Sophia Bano	A translational pathway of deep learning methods in Gastro-Intestinal Endoscopy	arXiv preprint arXiv:2010.06034	1 January 2020
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 Catherine Adamsbaum Isabelle Bloch Thierry Géraud	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 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
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
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
... further results