Journal papers


Title Authors Published in Date
newton.18.tocl A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams Jim Newton, Didier Verna ACM Transactions on Computational Logic 28 August 2018 Weakly Well-Composed Cell Complexes over nD Pictures Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez Information Sciences 4 July 2018
goetz.18.tpds Parallel Computation of Component Trees on Distributed Memory Machines Markus Götz, Gabriele Cavallaro, Thierry Géraud, Matthias Book, Morris Riedel 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 Medical Image Analysis 22 March 2018
verna.18.programming Lisp, Jazz, Aikido Didier Verna The Art, Science and Engineering of Programming Journal 5 February 2018
demaille.17.sacs Derived-Term Automata of Multitape Expressions with Composition Akim Demaille Scientific Annals of Computer Science 29 December 2017
boutry.17.jmiv A Tutorial on Well-Composedness Nicolas Boutry, Thierry Géraud, Laurent Najman Journal of Mathematical Imaging and Vision 12 October 2017
rusinol.17.mtap Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness Marçal Rusiñol, Joseph Chazalon, Katerine Diaz-Chito Multimedia Tools and Applications 29 June 2017
tochon.17.tgrs Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking Guillaume Tochon, Jocelyn Chanussot, Mauro Dalla Mura, Andrea Bertozzi IEEE Transactions on Geoscience and Remote Sensing 20 April 2017
xu.16.prl Hierarchical image simplification and segmentation based on Mumford-Shah-salient level line selection Laurent Najman, Thierry Géraud, Yongchao Xu Pattern Recognition Letters 20 May 2016
xu.16.pami Hierarchical Segmentation Using Tree-Based Shape Spaces Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman IEEE Transactions on Pattern Analysis and Machine Intelligence 11 April 2016
fabrizio.16.ijdar 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 International Journal on Document Analysis and Recognition 8 April 2016
calarasanu.16.ivc What is a good evaluation protocol for text localization systems? Concerns, arguments, comparisons and solutions Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson Image and Vision Computing 1 February 2016
carlinet.15.itip MToS: A Tree of Shapes for Multivariate Images Edwin Carlinet, Thierry Géraud IEEE Transactions on Image Processing 26 October 2015
renault.16.sttt Variations on Parallel Explicit Model Checking for Generalized Büchi Automata Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud International Journal on Software Tools for Technology Transfer (STTT) 26 October 2015
xu.15.pami Connected Filtering on Tree-Based Shape-Spaces Yongchao Xu, Thierry Géraud, Laurent Najman IEEE Transactions on Pattern Analysis and Machine Intelligence 5 June 2015
xu.14.itip Tree-Based Morse Regions: A Topological Approach to Local Feature Detection Yongchao Xu, Thierry Géraud, Pascal Monasse, Laurent Najman IEEE Transactions on Image Processing 3 October 2014
carlinet.14.itip A Comparative Review of Component Tree Computation Algorithms Edwin Carlinet, Thierry Géraud IEEE Transactions on Image Processing 16 June 2014
duret.14.ijccbs LTL Translation Improvements in Spot 1.0 Alexandre Duret-Lutz International Journal on Critical Computer-Based Systems 6 March 2014
fabrizio.13.paa Text detection in street level image Jonathan Fabrizio, Beatriz Marcotegui, Matthieu Cord Pattern Analysis and Applications 5 November 2013
shum.13.taslp Unsupervised Methods for Speaker Diarization: An Integrated and Iterative Approach S Shum, Najim Dehak, Réda Dehak, J Glass IEEE Transactions on Audio, Speech, and Language Processing 7 June 2013
lazzara.13.ijdar Efficient Multiscale Sauvola's Binarization Guillaume Lazzara, Thierry Géraud International Journal of Document Analysis and Recognition (IJDAR) 25 April 2013
fabrizio.12.spic Motion compensation based on Tangent Distance prediction for video compression Jonathan Fabrizio, Séverine Dubuisson, Dominique Béréziat Signal Processing: Image Communication 9 February 2012
bensalem.12.topnoc Model Checking using Generalized Testing Automata Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon Transactions on Petri Nets and Other Models of Concurrency (ToPNoC VI) 1 January 2012
dehak.11.taslp Front-End Factor Analysis For Speaker Verification Najim Dehak, P Kenny, Réda Dehak, P Dumouchel, P Ouellet IEEE Transactions on Audio, Speech, and Language Processing 1 May 2011
dolstra.10.jfp NixOS: A purely functional Linux distribution Eelco Dolstra, Andres Löh, Nicolas Pierron Journal of Functional Programming 15 October 2010
verna.10.jucs Revisiting the Visitor: the Just Do It Pattern Didier Verna 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 Fundamenta Informaticae 1 January 2009
verna.08.jucs Binary Methods Programming: the CLOS Perspective (extended version) Didier Verna Journal of Universal Computer Science 1 January 2008
verna.06.ijcs How to make Lisp go faster than C Didier Verna IAENG International Journal of Computer Science 1 December 2006
yoruk.06.itip Shape-based hand recognition Erdem Yörük, Ender Konukoglu, Bülent Sankur, Jérôme Darbon IEEE Transactions on Image Processing 1 July 2006
darbon.06.jmiv Image restoration with discrete constrained Total Variation—Part~I: Fast and exact optimization Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 2006
darbon.06.jmivb Image restoration with discrete constrained Total Variation—Part~II: Levelable functions, convex priors and non-convex case Jérôme Darbon, Marc Sigelle Journal of Mathematical Imaging and Vision 24 March 2006
laplante.07.tocl Probabilistic abstraction for model checking: an approach based on property testing Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont ACM Transactions on Computational Logic 21 November 2005
borghi.06.crossroads C-Transformers — A Framework to Write C Program Transformations Alexandre Borghi, Valentin David, Akim Demaille ACM Crossroads 16 October 2005
dehak.05.pami Spatial reasoning with relative incomplete information on relative positioning Réda Dehak, Isabelle Bloch, Henri Maître IEEE Transactions on Pattern Analysis and Machine Intelligence 1 September 2005
lombardy.04.tcs Introducing Vaucanson Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch Theoretical Computer Science 1 November 2004
geraud.04.jasp Fast road network extraction in satellite images using mathematical morphology and Markov random fields Thierry Géraud, Jean-Baptiste Mouret EURASIP Journal on Applied Signal Processing 5 September 2004
bloch.05.prl Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI Isabelle Bloch, Olivier Colliot, Oscar Camara, Thierry Géraud 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 Artificial Intelligence 1 August 2003