# Semantic search

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

blahoudek.17.lpar | Seminator: A Tool for Semi-Determinization of Omega-Automata | František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček | Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21) | 3 April 2017 |

carlinet.17.orasis | La pseudo-distance du dahu | Edwin Carlinet, Yongchao Xu, Nicolas Boutry, Thierry Géraud | Actes d'ORASIS | 21 March 2017 |

menouer.17.pdp | Parallel Satisfiability Solver Based on Hybrid Partitioning Method | Tarek Menouer, Souheib Baarir | Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) | 1 March 2017 |

geraud.17.ismm | Introducing the Dahu Pseudo-Distance | Thierry Géraud, Yongchao Xu, Edwin Carlinet, Nicolas Boutry | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |

puybareau.17.ismm | Morphological Analysis of Brownian Motion for Physical Measurements | Élodie Puybareau, Hugues Talbot, Noha Gaber, Tarik Bourouina | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |

huynh.17.ismm | Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings | Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |

puybareau.17.isbi | Periodic Area-of-Motion characterization for Bio-Medical applications | Élodie Puybareau, Hugues Talbot, Laurent Najman | Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI) | 20 February 2017 |

newton.17.els | Programmatic Manipulation of Common Lisp Type Specifiers | Jim Newton, Didier Verna, Maximilien Colange | European Lisp Symposium | 6 February 2017 |

dehak.16.nistsre | The MIT Lincoln Laboratory 2016 speaker recognition system | Pedro A Torres-Carrasquillo, Frederick Richardson, Shahan Nercessian, Douglas Sturim, William Campbell, Youngjune Gwon, Swaroop Vattam, Réda Dehak, Harish Mallidi, Phani Sankar Nidadavolu, Ruizhi Li, Raghavendra Reddy Pappagari, Nanxin Chen, Najim Dehak, Ruben Zazo | NIST Speaker Recognition Evaluation 2016 | 12 December 2016 |

drumetz.17.lva-ica | Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity | Lucas Drumetz, Guillaume Tochon, Jocelyn Chanussot, Christian Jutten | Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA) | 22 November 2016 |

calarasanu.16.iwrr | From text detection to text segmentation: a unified evaluation scheme | Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson | Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV) | 1 October 2016 |

huynh.16.icpr | Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images | Lê Duy Huỳnh, Yongchao Xu, Thierry Géraud | Proceedings of the 23st International Conference on Pattern Recognition (ICPR) | 13 July 2016 |

demaille.16.ictac | Derived-term Automata for Extended Weighted Rational Expressions | Akim Demaille | Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC) | 6 July 2016 |

duret.16.atva2 | Spot 2.0 — a framework for LTL and ω-automata manipulation | Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu | Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) | 17 June 2016 |

duret.16.atva | Heuristics for Checking Liveness Properties with Partial Order Reductions | Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud, Etienne Renault | Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA'16) | 17 June 2016 |

morel.16.embc | A Challenging Issue: Detection of White Matter Hyperintensities in Neonatal Brain MRI | Baptiste Morel, Yongchao Xu, Alessio Virzi, Thierry Géraud, Catherine Adamsbaum, Isabelle Bloch | Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society | 20 May 2016 |

demaille.16.ciaa | Derived-Term Automata of Multitape Rational Expressions | Akim Demaille | Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) | 26 April 2016 |

cavallaro.16.igarss | Region-Based Classification of Remote Sensing Images with the Morphological Tree of Shapes | Gabriele Cavallaro, Mauro Dalla Mura, Edwin Carlinet, Thierry Géraud, Nicola Falco, Jón Atli Benediktsson | Proceedings of the IEEE International Geoscience and Remote Sensing Symposium (IGARSS) | 12 April 2016 |

newton.16.els | Type-Checking of Heterogeneous Sequences in Common Lisp | Jim Newton, Akim Demaille, Didier Verna | European Lisp Symposium | 25 March 2016 |

calarasanu.16.visapp | Towards the rectification of highly distorted texts | Stefania Calarasanu, Séverine Dubuisson, Jonathan Fabrizio | Proceedings of the 11th International Conference on Computer Vision Theory and Applications (VISAPP) | 1 February 2016 |

baarir.15.lpar | SAT-based Minimization of Deterministic ω-Automata | Souheib Baarir, Alexandre Duret-Lutz | Proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'15) | 1 September 2015 |

calarasanu.15.icdar | Using histogram representation and Earth Mover's Distance as an evaluation tool for text detection | Stefania Calarasanu, Jonathan Fabrizio, Séverine Dubuisson | Proceedings of the 13th IAPR International Conference on Document Analysis and Recognition (ICDAR) | 1 August 2015 |

carlinet.15.ipta | Morphological Object Picking Based on the Color Tree of Shapes | Edwin Carlinet, Thierry Géraud | Proceedings of 5th International Conference on Image Processing Theory, Tools and Applications (IPTA'15) | 29 June 2015 |

carlinet.15.gretsi | Une approche morphologique de segmentation interactive avec l'arbre des formes couleur | Edwin Carlinet, Thierry Géraud | Actes du 15e Colloque GRETSI | 16 June 2015 |

blahoudek.15.spin | On Refinement of Büchi Automata for Explicit Model Checking | František Blahoudek, Alexandre Duret-Lutz, Vojtčech Rujbr, Jan Strejček | Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) | 15 June 2015 |

michaud.15.spin | Practical Stutter-Invariance Checks for ω-Regular Languages | Thibaud Michaud, Alexandre Duret-Lutz | Proceedings of the 22th International SPIN Symposium on Model Checking of Software (SPIN'15) | 15 June 2015 |

bensalem.15.forte | Extending Testing Automata to All LTL | Ala Eddine Ben Salem | Proceedings of the 35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15) | 19 May 2015 |

bensalem.15.acsd | Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata | Ala Eddine Ben Salem, Mohamed Graiet | Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15) | 19 May 2015 |

boutry.15.icip | How to Make nD Images Well-Composed Without Interpolation | Nicolas Boutry, Thierry Géraud, Laurent Najman | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 14 May 2015 |

babiak.15.cav | The Hanoi Omega-Automata Format | Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Kv retínský, David Müller, David Parker, Jan Strejček | Proceedings of the 27th International Conference on Computer Aided Verification (CAV'15) | 27 April 2015 |

xu.15.ismm | Efficient Computation of Attributes and Saliency Maps on Tree-Based Image Representations | Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) | 7 April 2015 |

boutry.15.ismm | How to Make nD Functions Digitally Well-Composed in a Self-Dual Way | Nicolas Boutry, Thierry Géraud, Laurent Najman | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) | 7 April 2015 |

carlinet.15.ismm | A Color Tree of Shapes with Illustrations on FilteringSimplification, and Segmentation | Edwin Carlinet, Thierry Géraud | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 12th International Symposium on Mathematical Morphology (ISMM) | 7 April 2015 |

geraud.15.ismm | Self-Duality and Digital Topology: Links Between the Morphological Tree of Shapes and Well-Composed Gray-Level Images | Thierry Géraud, Edwin Carlinet, Sébastien Crozet | 7 April 2015 | |

robert-seidowsky.15.visapp | TextTrail: A Robust Text Tracking Algorithm In Wild Environments | Myriam Robert-Seidowsky, Jonathan Fabrizio, Séverine Dubuisson | Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) | 1 March 2015 |

bensalem.15.lata | Single-pass Testing Automata for LTL Model Checking | Ala Eddine Ben Salem | Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA'15) | 1 March 2015 |

dubuisson.15.visapp | A self-adaptive likelihood function for tracking with particle filter | Séverine Dubuisson, Myriam Robert-Seidowsky, Jonathan Fabrizio | Proceedings of the 10th International Conference on Computer Vision Theory and Applications (VISAPP) | 1 March 2015 |

renault.15.tacas | Parallel Explicit Model Checking for Generalized Büchi Automata | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud | Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15) | 13 January 2015 |

verna.15.cop | Context-Oriented Image Processing | Didier Verna, François Ripault | Context-Oriented Programming Workshop | 1 January 2015 |

levillain.14.ciarp | Practical Genericity: Writing Image Processing Algorithms Both Reusable and Efficient | Roland Levillain, Thierry Géraud, Laurent Najman, Edwin Carlinet | Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications – Proceedings of the 19th Iberoamerican Congress on Pattern Recognition (CIARP) | 10 September 2014 |

widynski.14.ius | Speckle Spot Detection in Ultrasound Images: Application to Speckle Reduction and Speckle Tracking | Nicolas Widynski, Thierry Géraud, Damien Garcia | Proceedings of the IEEE International Ultrasonics Symposium (IUS) | 10 September 2014 |

xu.14.rfia | Espaces des formes basés sur des arbres : définition et applications en traitement d'images et vision par ordinateur | Yongchao Xu, Thierry Géraud, Laurent Najman | Actes du 19ème Congrès National sur Reconnaissance des Formes et l'Intelligence Artificielle (RFIA) | 1 July 2014 |

dehak.14.odyssey | GMM Weights Adaptation Based on Subspace Approaches for Speaker Verification | Najim Dehak, O Plchot, M H Bahari, L Burget, H Van hamme, Réda Dehak | Odyssey 2014, The Speaker and Language Recognition Workshop | 16 June 2014 |

blahoudek.14.spin | Is There a Best Büchi Automaton for Explicit Model Checking? | František Blahoudek, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček | Proceedings of the 21th International SPIN Symposium on Model Checking of Software (SPIN'14) | 16 June 2014 |

geraud.14.icip | A Morphological Method for Music Score Staff Removal | Thierry Géraud | Proceedings of the 21st International Conference on Image Processing (ICIP) | 3 June 2014 |

boutry.14.dgci | On Making nD Images Well-Composed by a Self-Dual Local Interpolation | Nicolas Boutry, Thierry Géraud, Laurent Najman | Proceedings of the 18th International Conference on Discrete Geometry for Computer Imagery (DGCI) | 28 May 2014 |

carlinet.14.icip | Getting a morphological Tree of Shapes for Multivariate Images: Paths, Traps and Pitfalls | Edwin Carlinet, Thierry Géraud | Proceedings of the 21st International Conference on Image Processing (ICIP) | 26 May 2014 |

fabrizio.14.icip | A precise skew estimation algorithm for document images using KNN clustering and Fourier transform | Jonathan Fabrizio | Proceedings of the 21st International Conference on Image Processing (ICIP) | 26 May 2014 |

crozet.14.icip | A First Parallel Algorithm to Compute the Morphological Tree of Shapes of nD Images | Sébastien Crozet, Thierry Géraud | Proceedings of the 21st International Conference on Image Processing (ICIP) | 26 May 2014 |

xu.14.icip | Meaningful disjoint level lines selection | Yongchao Xu, Edwin Carlinet, Thierry Géraud, Laurent Najman | Proceedings of the 21st International Conference on Image Processing (ICIP) | 26 May 2014 |

demaille.14.ciaa | A Type System for Weighted Automata and Rational Expressions | Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Luca Saiu, Jacques Sakarovitch | Proceedings of Implementation and Application of Automata19th International Conference (CIAA'14) | 20 May 2014 |

carlinet.14.icpr | A Morphological Tree of Shapes for Color Images | Edwin Carlinet, Thierry Géraud | Proceedings of the 22nd International Conference on Pattern Recognition (ICPR) | 2 April 2014 |

bensalem.14.tacas | Symbolic Model Checking of Stutter Invariant Properties Using Generalized Testing Automata | Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon, Yann Thierry-Mieg | Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'14) | 1 April 2014 |

baarir.14.forte | Mechanizing the Minimization of Deterministic Generalized Büchi Automata | Souheib Baarir, Alexandre Duret-Lutz | Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) | 21 March 2014 |

lazzara.14.das | Planting, Growing and Pruning Trees: Connected Filters Applied to Document Image Analysis | Guillaume Lazzara, Thierry Géraud, Roland Levillain | Proceedings of the 11th IAPR International Workshop on Document Analysis Systems (DAS) | 10 December 2013 |

renault.13.lpar | Three SCC-based Emptiness Checks for Generalized Büchi Automata | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud | Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'13) | 9 October 2013 |

duret.13.atva | Manipulating LTL formulas using Spot 1.0 | Alexandre Duret-Lutz | Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) | 15 June 2013 |

fronc.13.atva | LTL Model Checking with Neco | Łukasz Fronc, Alexandre Duret-Lutz | Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13) | 15 June 2013 |

xu.13.icip | Salient Level Lines Selection Using the Mumford-Shah Functional | Yongchao Xu, Thierry Géraud, Laurent Najman | Proceedings of the 20th International Conference on Image Processing (ICIP) | 27 May 2013 |

demaille.13.ciaa | Implementation Concepts in Vaucanson 2 | Akim Demaille, Alexandre Duret-Lutz, Sylvain Lombardy, Jacques Sakarovitch | Proceedings of Implementation and Application of Automata18th International Conference (CIAA'13) | 2 May 2013 |

babiak.13.spin | Compositional Approach to Suspension and Other Improvements to LTL Translation | Tomáš Babiak, Thomas Badie, Alexandre Duret-Lutz, Mojmír Křetínský, Jan Strejček | Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13) | 28 April 2013 |

carlinet.13.ismm | A comparison of many max-tree computation algorithms | Edwin Carlinet, Thierry Géraud | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) | 14 March 2013 |

geraud.13.ismm | A Quasi-Linear Algorithm to Compute the Tree of Shapes of n-D Images | Thierry Géraud, Edwin Carlinet, Sébastien Crozet, Laurent Najman | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) | 14 March 2013 |

xu.13.ismm | Two applications of shape-based morphology: blood vessels segmentation and a generalization of constrained connectivity | Yongchao Xu, Thierry Géraud, Laurent Najman | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 11th International Symposium on Mathematical Morphology (ISMM) | 14 March 2013 |

najman.13.ismm | Discrete set-valued continuity and interpolation | Laurent Najman, Thierry Géraud | 14 March 2013 | |

renault.13.tacas | Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking | Etienne Renault, Alexandre Duret-Lutz, Fabrice Kordon, Denis Poitrenaud | Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13) | 8 January 2013 |

verna.13.tug-1 | The incredible tale of the author who didn't want to do the publisher's job | Didier Verna | TUGboat | 1 January 2013 |

verna.13.tug-2 | TiCL: the Prototype (Star TeX: the Next GenerationSeason 2) | Didier Verna | TUGboat | 1 January 2013 |

borgstrom.12.nistsre | MITLL 2012 Speaker Recognition Evaluation System Description | Jonas Borgstrom, William Campbell, Najim Dehak, Réda Dehak, Daniel Garcia-Romero, Kara Greenfieldand Alan McCree, Doug Reynold, Fred Richardsony, Elliot Singery, Douglas Sturim, Pedro A Torres-Carrasquillo | NIST Speaker Recognition Evaluation | 1 December 2012 |

levillain.12.wadgmm-lncs | Writing Reusable Digital Topology Algorithms in a Generic Image Processing Framework | Roland Levillain, Thierry Géraud, Laurent Najman | WADGMM 2010 | 8 August 2012 |

levillain.10.wadgmm | Writing Reusable Digital Geometry Algorithms in a Generic Image Processing Framework | Roland Levillain, Thierry Géraud, Laurent Najman | Proceedings of the Workshop on Applications of Digital Geometry and Mathematical Morphology (WADGMM) | 30 July 2012 |

xu.12.icpr | Morphological Filtering in Shape Spaces : Applications using Tree-Based Image Representations | Yongchao Xu, Thierry Géraud, Laurent Najman | Proceedings of the 21st International Conference on Pattern Recognition (ICPR) | 16 June 2012 |

sennoussaoui.12.odyssey | First Attempt at Boltzmann Machines for Speaker Recognition | M Sennoussaoui, Najim Dehak, P Kenny, Réda Dehak, P Dumouchel | Odyssey Speaker and Language Recognition Workshop | 1 June 2012 |

senta.12.els | Generic Image Processing with Climb | Laurent Senta, Christopher Chedeau, Didier Verna | European Lisp Symposium | 1 May 2012 |

xu.12.icip | Context-Based Energy Estimator: Application to Object Segmentation on the Tree of Shapes | Yongchao Xu, Thierry Géraud, Laurent Najman | Proceedings of the 19th International Conference on Image Processing (ICIP) | 17 April 2012 |

verna.12.tug | Star TeX : the Next Generation | Didier Verna | TUGboat | 1 January 2012 |

dehak.11.interspeech | Language Recognition via I-Vectors and Dimensionality Reduction | Najim Dehak, Pedro A Torres-Carrasquillo, Douglas Reynolds, Réda Dehak | INTERSPEECH 2011 | 1 August 2011 |

duret.11.vecos | LTL Translation Improvements in Spot | Alexandre Duret-Lutz | Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'11) | 25 July 2011 |

duret.11.atva | Self-Loop Aggregation Product — A New Hybrid Approach to On-the-Fly LTL Model Checking | Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg | Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11) | 23 June 2011 |

lazzara.11.icdar | The SCRIBO Module of the Olena Platform: a Free Software Framework for Document Image Analysis | Guillaume Lazzara, Roland Levillain, Thierry Géraud, Yann Jacquelet, Julien Marquegnies, Arthur Crépin-Leblond | Proceedings of the 11th International Conference on Document Analysis and Recognition (ICDAR) | 1 June 2011 |

bensalem.11.sumo | Generalized Büchi Automata versus Testing Automata for Model Checking | Ala Eddine Ben Salem, Alexandre Duret-Lutz, Fabrice Kordon | Proceedings of the second International Workshop on Scalable and Usable Model Checking for Petri Net and other models of Concurrency (SUMO'11) | 25 May 2011 |

levillain.11.gretsi | Une approche générique du logiciel pour le traitement d'images préservant les performances | Roland Levillain, Thierry Géraud, Laurent Najman | Proceedings of the 23rd Symposium on Signal and Image Processing (GRETSI) | 13 May 2011 |

dehak.11.icassp | A Channel-Blind System for Speaker Verification | Najim Dehak, Z Karam, D Reynolds, Réda Dehak, W Campbell, J Glass | International Conference on Acoustics, Speech and Signal Processing (ICASSP) | 1 May 2011 |

verna.11.tug | Towards LaTeX Coding Standards | Didier Verna | TUGboat | 1 January 2011 |

verna.11.onward | Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them | Didier Verna | Onward! 2011 | 1 January 2011 |

minetto.10.icip | SnooperText: A Multiresolution System for Text Detection in Complex Visual Scenes | Rodrigo Minetto, Nicolas Thome, Matthieu Cord, Jonathan Fabrizio, Beatriz Marcotegui | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 1 September 2010 |

linard.10.acsd | polyDD: Towards a Framework Generalizing Decision Diagrams | Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron | Proceedings of the 10th International Conference on Application of Concurrency to System Design (ACSD) | 1 June 2010 |

levillain.10.icip | Why and How to Design a Generic and Efficient Image Processing Framework: The Case of the Milena Library | Roland Levillain, Thierry Géraud, Laurent Najman | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 26 May 2010 |

verna.10.tug | Classes, Styles, Conflicts: the Biological Realm of LaTeX | Didier Verna | TUGboat | 9 March 2010 |

verna.10.els | CLoX: Common Lisp objects for XEmacs | Didier Verna | Proceedings of the 3rd European Lisp Symposium | 9 March 2010 |

dehak.10.odyssey2 | Unsupervised Speaker Adaptation based on the Cosine Similarity for Text-Independent Speaker Verification | S Shum, Najim Dehak, Réda Dehak, J Glass | Odyssey The Speaker and Language Recognition | 1 January 2010 |

dehak.10.nist | LRDE Speaker Recognition System for NIST-SRE 2010 | Réda Dehak, Najim Dehak | NIST 2010 Speaker Recognition Evaluation | 1 January 2010 |

dehak.10.odyssey | Cosine Similarity Scoring without Score Normalization Techniques | Najim Dehak, Réda Dehak, J Glass, D Reynolds, P Kenny | Odyssey The Speaker and Language Recognition | 1 January 2010 |

dehak.09.interspeech | Support Vector Machines versus Fast Scoring in the Low-Dimensional Total Variability Space for Speaker Verification | Najim Dehak, Réda Dehak, Patrick Kenny, Niko Brummer, Pierre Ouellet, Pierre Dumouchel | Interspeech | 22 June 2009 |

dehak.09.interspeechb | Cepstral and Long-Term Features for Emotion Recognition | Pierre Dumouchel, Najim Dehak, Yazid Attabi, Réda Dehak, Narjès Boufaden | Interspeech | 22 June 2009 |

dehak.09.icassp | Support Vector Machines and Joint Factor Analysis for Speaker Verification | Najim Dehak, Patrick Kenny, Réda Dehak, Ondrej Glember, Pierre Dumouchel, Lukas Burget, Valiantsina Hubeika, Fabio Castaldo | IEEE-ICASSP | 19 April 2009 |

levillain.09.ismm | Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images | Roland Levillain, Thierry Géraud, Laurent Najman | Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the Ninth International Symposium on Mathematical Morphology (ISMM) | 9 April 2009 |

verna.08.els | Binary Methods Programming: the CLOS Perspective | Didier Verna | Proceedings of the First European Lisp Symposium | 31 March 2009 |

verna.09.ilc | CLOS Efficiency: Instantiation | Didier Verna | Proceedings of the International Lisp Conference | 13 January 2009 |

duret.09.atva | On-the-fly Emptiness Check of Transition-based Streett Automata | Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur | Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09) | 1 January 2009 |

verna.09.accu | Revisiting the Visitor: the Just Do It Pattern | Didier Verna | Proceedings of the ACCU Conference 2009 | 29 December 2008 |

demaille.09.sac | TWEAST: A Simple and Effective Technique to Implement Concrete-Syntax AST Rewriting Using Partial Parsing | Akim Demaille, Roland Levillain, Benoît Sigoure | Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09) | 11 October 2008 |

demaille.08.fsmnlp | An XML format proposal for the description of weighted automata, transducers, and regular expressions | Akim Demaille, Alexandre Duret-Lutz, Florian Lesaint, Sylvain Lombardy, Jacques Sakarovitch, Florent Terrones | Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08) | 28 July 2008 |

ricou.08.eceg | A Survey of French Local e-Democracy | Olivier Ricou | Proceedings of the 8th European Conference on e-Government (ECEG) | 1 July 2008 |

verna.08.lncs | Report on the 5th Workshop ELW at ECOOP 2008 | Didier Verna, Charlotte Herzeel, Christophe Rhodes, Hans Hübner | Object-Oriented Technology. ECOOP 2008 Workshop Reader | 1 July 2008 |

dehak.08.nist | The LRDE Systems for the 2008 NIST Speaker Recognition Evaluation | Réda Dehak, Najim Dehak, Patrick Kenny | NIST-SRE 2008 | 1 June 2008 |

geraud.08.mpool | Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) | Thierry Géraud, Roland Levillain | Proceedings of the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL) | 26 May 2008 |

demaille.08.iticse | A Set of Tools to Teach Compiler Construction | Akim Demaille, Roland Levillain, Benoît Perrot | Proceedings of the Thirteenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'08) | 29 March 2008 |

hamez.08.atpn | Hierarchical Set Decision Diagrams and Automatic Saturation | Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon | Petri Nets and Other Models of Concurrency –ICATPN 2008 | 1 March 2008 |

demaille.08.ldta | Semantics driven disambiguation: A comparison of different approaches | Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure | Proceedings of the 8th workshop on Language DescriptionsTools and Applications (LDTA'08) | 8 February 2008 |

le-quoc.08.ispec | Towards the World-Wide Quantum Network | Cuong Le Quoc, Patrick Bellot, Akim Demaille | Proceedings of the 4th Information Security Practice and Experience Conference (ISPEC'08) | 25 January 2008 |

hemon.08.sagt | Approximate Nash Equilibria for Multi-Player Games | Sébastien Hémon, Michel de Rougemont, Miklos Santha | 1st International Symposium on Algorithmic Games Theory | 18 January 2008 |

darbon.08.iwcia | Global Optimization for First Order Markov Random Fields with Submodular Priors | Jérôme Darbon | Proceedings of the twelfth International Workshop on Combinatorial Image Analysis (IWCIA'08) | 3 January 2008 |

dehak.08.odysseya | Kernel Combination for SVM Speaker Verification | Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel | Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) | 25 September 2007 |

kenny.08.odyssey | The Role of Speaker Factors in the NIST Extended Data Task | Patrick Kenny, Najim Dehak, Réda Dehak, Vishwa Gupta, Pierre Dumouchel | Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) | 25 September 2007 |

dehak.08.odysseyb | Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification | Najim Dehak, Réda Dehak, Patrick Kenny, Pierre Dumouchel | Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008) | 25 September 2007 |

ricou.07.adass | Web services at TERAPIX | Olivier Ricou, Anthony Baillard, Emmanuel Bertin, Frederic Magnard, Chiara Marmo, Yannick Mellier | Proceedings of the XVII conference on Astronomical Data Analysis Software & Systems (ADASS) | 23 September 2007 |

dehak.07.interspeech | Linear and Non Linear Kernel GMM SuperVector Machines for Speaker Verification | Réda Dehak, Najim Dehak, Patrick Kenny, Pierre Dumouchel | Proceedings of the European Conference on Speech Communication and Technologies (Interspeech'07) | 27 August 2007 |

verna.06.imecs | How to make Lisp go faster than C | Didier Verna | Proceedings of the International MultiConference of Engineers and Computer Scientists | 11 June 2007 |

ricou.07.eceg | 10 years of confrontation between French Internet users and their successive governments | Olivier Ricou | Proceedings of the 7th European Conference on e-Government (ECEG) | 1 June 2007 |

baillard.07.gretsi | Algorithme de calcul de l'arbre des composantes avec applications à la reconnaissance des formes en imagerie satellitaire | Anthony Baillard, Christophe Berger, Emmanuel Bertin, Thierry Géraud, Roland Levillain, Nicolas Widynski | Proceedings of the 21st Symposium on Signal and Image Processing (GRETSI) | 11 May 2007 |

berger.07.icip | Effective Component Tree Computation with Application to Pattern Recognition in Astronomical Imaging | Christophe Berger, Thierry Géraud, Roland Levillain, Nicolas Widynski, Anthony Baillard, Emmanuel Bertin | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 3 May 2007 |

hamez.07.pohll | libDMC: a library to Operate Efficient Distributed Model Checking | Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg | Workshop on Performance Optimization for High-Level Languages and Libraries — associated to IPDPS'2007 | 13 March 2007 |

le-quoc.07.ntms | On the security of quantum networks: a proposal framework and its capacity | Cuong Le Quoc, Patrick Bellot, Akim Demaille | Proceedings of the 2007 International Conference on New Technologies, Mobility and Security (NTMS'07) | 10 March 2007 |

fouquier.07.gbr | Local reasoning in fuzzy attribute graphs for optimizing sequential segmentation | Geoffroy Fouquier, Jamal Atif, Isabelle Bloch | Proceedings of the 6th IAPR TC-15 Workshop on Graph-based Representations in Pattern Recognition (GBR) | 15 February 2007 |

verna.07.imecs | CLOS solutions to binary methods | Didier Verna | Proceedings of the International MultiConference of Engineers and Computer Scientists | 22 January 2007 |

darbon.07.mirage | A Note on the Discrete Binary Mumford-Shah Model | Jérôme Darbon | Proceedings of the international Computer Vision / Computer Graphics Collaboration Techniques and Applications (MIRAGE 2007) | 29 December 2006 |

fouquier.07.icassp | The Biosecure Geometry-based System for Hand Modality | Geoffroy Fouquier, Laurence Likforman, Jérôme Darbon, Bulent Sankur | Proceedings of the 32nd IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) | 18 December 2006 |

le-quoc.07.rivf | Stochastic routing in large grid-shaped quantum networks | Cuong Le Quoc, Patrick Bellot, Akim Demaille | Proceedings of the Fifth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'07) | 4 December 2006 |

darbon.07.ei | The use of levelable regularization functions for MRF restoration of SAR images | Jérôme Darbon, Marc Sigelle, Florence Tupin | Proceedings of the 19th Symposium SPIE on Electronic Imaging | 30 September 2006 |

baillard.05.adass | Project EFIGI: Automatic classification of galaxies | Anthony Baillard, Emmanuel Bertin, Yannic Mellier, Henry Joy McCracken, Thierry Géraud, Roser Pelló, Jean-François LeBorgne, Pascal Fouqué | Astronomical Data Analysis Software and Systems XV | 20 September 2006 |

demaille.06.isola | Modeling of Sensor Networks Using XRM | Akim Demaille, Sylvain Peyronnet, Benoît Sigoure | Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06) | 14 September 2006 |

lesage.06.isvc | An Efficient Algorithm for Connected Attribute Thinnings and Thickenings | David Lesage, Jérôme Darbon, Ceyhun Burak Akgül | Proceedings of the second International Conference on Visual Computing | 9 August 2006 |

cadilhac.06.avocs | Evaluating complex MAC protocols for sensor networks with APMC | Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sebastien Tixeuil | Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS) | 27 July 2006 |

darbon.06.iccp | Approximate Probabilistic Model Checking for Programs | Jérôme Darbon, Richard Lassaigne, Sylvain Peyronnet | Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) | 27 July 2006 |

david.06.iccp | Attribute Grammars for Modular Disambiguation | Valentin David, Akim Demaille, Olivier Gournet | Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) | 12 July 2006 |

verna.06.ecoop | Beating C in Scientific Computing Applications | Didier Verna | Third European Lisp Workshop at ECOOP | 11 July 2006 |

dehak.06.nist | LRDE System description | Réda Dehak, Charles-Alban Deledalle, Najim Dehak | NIST SRE'06 Workshop: speaker recognition evaluation campaign | 1 June 2006 |

perrot.06.nist | ENST-IRCGN System Description | Patrick Perrot, Réda Dehak, Gérard Chollet | NIST SRE'06 Workshop: speaker recognition evaluation campaign | 30 May 2006 |

denise.06.rt | Uniform Random Sampling of Traces in Very Large Models | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet | Proceedings of the 1st international workshop on Random Testing 2006 (RT06) | 30 May 2006 |

chekroun.06.iciar | On a Polynomial Vector Field Model for Shape Representation | Mickael Chekroun, Jérôme Darbon, Igor Ciril | Proceedings of the International Conference on Image Analysis and Recognition (ICIAR) | 28 April 2006 |

darbon.06.siam | Fast and Exact Discrete Image Restoration Based on Total Variation and on Its Extensions to Levelable Potentials | Jérôme Darbon, Marc Sigelle | SIAM Conference on Imaging Sciences | 22 February 2006 |

demaille.06.rivf | Probabilistic Verification of Sensor Networks | Akim Demaille, Sylvain Peyronnet, Thomas Hérault | Proceedings of the Fourth International Conference on Computer Sciences, Research, Innovation and Vision for the Future (RIVF'06) | 1 February 2006 |

herault.06.qest | APMC 3.0: Approximate verification of Discrete and Continuous Time Markov Chains | Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet | Proceedings of Qest 2006 | 1 January 2006 |

darbon.05.isvc | A Vectorial Self-Dual Morphological Filter based on Total Variation Minimization | Jérôme Darbon, Sylvain Peyronnet | Proceedings of the First International Conference on Visual Computing | 20 August 2005 |

claveirole.05.ciaa | Inside Vaucanson | Thomas Claveirole, Sylvain Lombardy, Sarah O'Connor, Louis-Noël Pouchet, Jacques Sakarovitch | Proceedings of Implementation and Application of Automata10th International Conference (CIAA) | 25 May 2005 |

guirado.05.pdmc | Distribution, approximation and probabilistic model checking | Guillaume Guirado, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet | Proceedings of the 4th international workshop on Parallel and Distributed Model Checking (PDMC) | 23 May 2005 |

darbon.05.ispa | Total Variation Minimization with L^1 Data Fidelity as a Contrast Invariant Filter | Jérôme Darbon | Proceedings of the 4th International Symposium on Image and Signal Processing and Analysis (ISPA 2005) | 27 April 2005 |

darbon.05.eusipco | An efficient algorithm for attribute openings and closings | Jérôme Darbon, Ceyhun Burak Akgül | Proceedings of the 13th European Signal Processing Conference (EUSIPCO) | 14 April 2005 |

lassaigne.05.wollic | Probabilistic verification and approximation | Richard Lassaigne, Sylvain Peyronnet | Proceedings of 12th Workshop on Logic, LanguageInformation and Computation (Wollic) | 11 April 2005 |

demaille.05.iticse | Making Compiler Construction Projects Relevant to Core Curriculums | Akim Demaille | Proceedings of the Tenth Annual Conference on Innovation and Technology in Computer Science Education (ITICSE'05) | 6 February 2005 |

darbon.05.ibpria | A Fast and Exact Algorithm for Total Variation Minimization | Jérôme Darbon, Marc Sigelle | Proceedings of the 2nd Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) | 18 January 2005 |

geraud.05.ismm | Ruminations on Tarjan's Union-Find algorithm and connected operators | Thierry Géraud | Proceedings of the 7th International Symposium on Mathematical Morphology (ISMM'05) | 5 January 2005 |

darbon.04.iwcia | Exact optimization of discrete constrained total variation minimization problems | Jérôme Darbon, Marc Sigelle | Proceedings of the 10th International Workshop on Combinatorial Image Analysis (IWCIA) | 1 September 2004 |

yoruk.04.eusipco | Person authentication based on hand shape | Erdem Yoruk, Ender Konukoglu, Bulent Sankur, Jérôme Darbon | Proceedings of 12th European Signal Processing Conference (EUSIPCO) | 1 September 2004 |

geraud.04.iccvg | Fast color image segmentation based on levellings in feature Space | Thierry Géraud, Giovanni Palma, Niels Van Vliet | Computer Vision and Graphics—International Conference on Computer Vision and Graphics (ICCVG), Warsaw, PolandSeptember 2004 | 11 August 2004 |

grosicki.04.icc | A novel method to fight the non line of sight error in AOA measurements for mobile location | Emmanuel Grosicki, Karim Abed-Meraim, Réda Dehak | Proceedings of the IEEE International Conference on Communications (ICC) | 1 June 2004 |

maes.04.mpool | Metagene, a C++ meta-program generation tool | Francis Maes | Proceedings of the Workshop on Multiple Paradigm with OO Languages (MPOOL; in conjunction with ECOOP) | 25 May 2004 |

darbon.04.ecoopphd | Generic algorithmic blocks dedicated to image processing | Jérôme Darbon, Thierry Géraud, Patrick Bellot | Proceedings of the ECOOP Workshop for PhD Students | 10 March 2004 |

duflot.04.avocs | Probabilistic model checking of the CSMA/CD, protocol using PRISM and APMC | Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Frédéric Magniette, Stephane Messika, Sylvain Peyronnet, Claudine Picaronny | Proceedings of the 4th International Workshop on Automated Verification of Critical Systems (AVoCS) | 1 January 2004 |

burrus.03.mpool | A static C++ object-oriented programming (SCOOP) paradigm mixing benefits of traditional OOP and generic programming | Nicolas Burrus, Alexandre Duret-Lutz, Thierry Géraud, David Lesage, Raphaël Poss | Proceedings of the Workshop on Multiple Paradigm with Object-Oriented Languages (MPOOL) | 29 October 2003 |

maes.03.dpcool | Program templates: expression templates applied to program evaluation | Francis Maes | Proceedings of the Workshop on Declarative Programming in the Context of Object-Oriented Languages (DP-COOL; in conjunction with PLI) | 31 July 2003 |

geraud.03.icisp | Segmentation d'objets curvilignes à l'aide des champs de Markov sur un graphe d'adjacence de courbes issu de l'algorithme de la ligne de partage des eaux | Thierry Géraud | Proceedings of the International Conference on Image and Signal Processing (ICISP) | 1 June 2003 |

regisgianas.03.poosc | On orthogonal specialization in C++: dealing with efficiency and algebraic abstraction in Vaucanson | Yann Régis-Gianas, Raphaël Poss | Proceedings of the Parallel/High-performance Object-Oriented Scientific Computing (POOSC; in conjunction with ECOOP) | 26 May 2003 |

lombardy.03.ciaa | Introducing Vaucanson | Sylvain Lombardy, Raphaël Poss, Yann Régis-Gianas, Jacques Sakarovitch | Proceedings of Implementation and Application of Automata8th International Conference (CIAA'03) | 5 May 2003 |

geraud.03.grec | Document type recognition using evidence theory | Thierry Géraud, Geoffroy Fouquier, Quoc Peyrot, Nicolas Lucas, Franck Signorile | Proceedings of the 5th IAPR International Workshop on Graphics Recognition (GREC) | 29 April 2003 |

xue.03.icip | Multi-band segmentation using morphological clustering and fusion application to color image segmentation | Heru Xue, Thierry Géraud, Alexandre Duret-Lutz | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 10 April 2003 |

geraud.03.ibpria | Segmentation of curvilinear objects using a watershed-based curve adjacency graph | Thierry Géraud | Proceedings of the 1st Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) | 10 March 2003 |

geraud.03.nsip | Fast Road Network Extraction in Satellite Images using Mathematical Morphology and MRF | Thierry Géraud | Proceedings of the EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP) | 31 January 2003 |

carlier.02.itrs | Polar type inference with intersection types and ω | Sébastien Carlier | Proceedings of the 2nd Workshop on Intersection Types and Related Systems (ITRS), published in: Electronic Notes in Theoretical Computer Science | 1 July 2002 |

darbon.02.ismm | Generic implementation of morphological image operators | Jérôme Darbon, Thierry Géraud, Alexandre Duret-Lutz | Mathematical Morphology, Proceedings of the 6th International Symposium (ISMM) | 1 April 2002 |

geraud.01.icip | Color image segmentation based on automatic morphological clustering | Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon | Proceedings of the IEEE International Conference on Image Processing (ICIP) | 1 October 2001 |

verna.01.sci | Virtual reality and tele-operation: a common framework | Didier Verna | Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI)—Emergent Computing and Virtual Engineering | 1 July 2001 |

geraud.01.icisp | Segmentation d'images en couleur par classification morphologique non supervisée | Thierry Géraud, Pierre-Yves Strub, Jérôme Darbon | Proceedings of the International Conference on Image and Signal Processing (ICISP) | 1 May 2001 |

duret.01.ae | Expression templates in Ada~95 | Alexandre Duret-Lutz | Proceedings of the 6th International Conference on Reliable Software Technologies (Ada-Europe) | 1 May 2001 |

geraud.01.ai | Applying generic programming to image processing | Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz | Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications | 1 February 2001 |

angelidis.01.wscg | Visualization issues in virtual environments: from computer graphics techniques to intentional visualization | Alexis Angelidis, Geoffroy Fouquier | Proceedings of the 9th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG) | 1 February 2001 |

darbon.01.ei | Error correcting code performance for watermark protection | Jérôme Darbon, Bulent Sankur, Henri Maître | Proceedings of the 13th Symposium SPIE on Electronic Imaging—-Security and Watermarking of Multimedia Contents III (EI27) | 1 January 2001 |

duret.01.coots | Generic design patterns in C++ | Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille | Proceedings of the 6th USENIX Conference on Object-Oriented Technologies and Systems (COOTS) | 1 January 2001 |

duret.00.gcse | Olena: a component-based platform for image processingmixing generic, generative and OO programming | Alexandre Duret-Lutz | Proceedings of the 2nd International Symposium on Generative and Component-Based Software Engineering (GCSE)—Young Researchers Workshop; published in “Net.ObjectDays2000” | 1 October 2000 |

fabre.00.vsmm | Urbi et Orbi: unusual design and implementation choices for distributed virtual environments | Yoann Fabre, Guillaume Pitel, Didier Verna | Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop | 1 October 2000 |

verna.00.vsmm | Action recognition: how intelligent virtual environments can ease human-machine interaction | Didier Verna | Proceedings of the 6th International Conference on Virtual Systems and MultiMedia (VSMM)—Intelligent Environments Workshop | 1 October 2000 |

geraud.00.icpr | Obtaining genericity for image processing and pattern recognition algorithms | Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz, Dimitri Papadopoulos-Orfanos, Jean-François Mangin | Proceedings of the 15th International Conference on Pattern Recognition (ICPR) | 1 September 2000 |

fabre.00.vw | A framework to dynamically manage distributed virtual environments | Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille | Proceedings of the 2nd International Conference on Virtual Worlds (VW) | 1 July 2000 |

geraud.00.europlop | Generic programming redesign of patterns | Thierry Géraud, Alexandre Duret-Lutz | Proceedings of the 5th European Conference on Pattern Languages of Programs (EuroPLoP) | 1 July 2000 |

fabre.00.egve | An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments | Yoann Fabre, Guillaume Pitel, Laurent Soubrevilla, Emmanuel Marchand, Thierry Géraud, Akim Demaille | Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE) | 1 June 2000 |

geraud.00.rfia | Reconnaissance de structures cérébrales à l'aide d'un atlas et par fusion d'informations structurelles floues | Thierry Géraud, Isabelle Bloch, Henri Maître | Actes du 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA) | 1 February 2000 |

geraud.99.gretsi | Vers une réutilisabilité totale des algorithmes de traitement d'images | Thierry Géraud, Yoann Fabre, Dimitri Papadopoulos-Orfanos, Jean-François Mangin | Proceedings of the 17th Symposium on Signal and Image Processing (GRETSI) | 1 September 1999 |

geraud.99.cimaf | Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information | Thierry Géraud, Isabelle Bloch, Henri Maître | Proceeding of CIMAF Symposium on Artificial Intelligence | 1 January 1999 |