,"News year","Has title","Published in"
Publications/roynard.18.rrpr,2018,"An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming","Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018)"
Publications/puybareau.18.stacom,2018,"Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning","Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI"
Publications/newton.18.meta,2018,"Recognizing heterogeneous sequences by rational type expression","Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection"
Publications/newton.18.tocl,2018,"A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams","ACM Transactions on Computational Logic"
Publications/boutry.18.is,2018,"Weakly Well-Composed Cell Complexes over nD Pictures","Information Sciences"
Publications/renault.18.vecos,2018,"Improving Parallel State-Space Exploration Using Genetic Algorithms","Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18)"
Publications/michaud.18.synt,2018,"Reactive Synthesis from LTL Specification with Spot","Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018"
Publications/boldo.18.arith,2018,"A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers","25th IEEE Symposium on Computer Arithmetic"
Publications/carlinet.18.icip,2018,"The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm","Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)"
Publications/puybareau.18.icip,2018,"Real-Time Document Detection in Smartphone Videos","Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)"
Publications/carlinet.18.rfiap,2018,"Un algorithme de complexité linéaire pour le calcul de l'arbre des formes","Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP)"
Publications/puybareau.18.rfiap,2018,"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","Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”"
Publications/barnat.18.hpcr,2018,"Parallel Model Checking Algorithms for Linear-Time Temporal Logic","Handbook of Parallel Constraint Reasoning"
Publications/newton.18.els,2018,"Approaches in Typecase Optimization","European Lisp Symposium"
Publications/goetz.18.tpds,2018,"Parallel Computation of Component Trees on Distributed Memory Machines","IEEE Transactions on Parallel and Distributed Systems"
Publications/verna.18.els,2018,"Method Combinators","11th European Lisp Symposium"
Publications/xu.18.media,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","Medical Image Analysis"
Publications/xu.18.brainles,2018,"White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning","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"
Publications/verna.18.programming,2018,"Lisp, Jazz, Aikido","The Art, Science and Engineering of Programming Journal"
Publications/movn.18.das,2018,"Saliency-Based Detection of Identity Documents Captured by Smartphones","Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)"
Publications/dangla.18.das,2018,"A first step toward a fair comparison of evaluation protocols for text detection algorithms","Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)"
Publications/metin.18.tacas,2018,"CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving","Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)"
Publications/demaille.17.sacs,2017,"Derived-Term Automata of Multitape Expressions with Composition","Scientific Annals of Computer Science"
Publications/tochon.17.chapter,2017,"Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis","Comprehensive Remote Sensing, 1st Edition"
Publications/drapeau.17.grec,2017,"Extraction of Ancient Map Contents Using Trees of Connected Components","Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC)"
Publications/boutry.17.jmiv,2017,"A Tutorial on Well-Composedness","Journal of Mathematical Imaging and Vision"
Publications/chazalon.17.icdar-ost,2017,"SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode","Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis, (ICDAR-OST)"
Publications/demaille.17.ictac,2017,"Derived-Term Automata of Weighted Rational Expressions with Quotient Operators","Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)"
Publications/royer.17.icdar,2017,"Benchmarking Keypoint Filtering Approaches for Document Image Matching","Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR)"
Publications/jacobs.17.synt,2017,"The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results","Proceedings Sixth Workshop on Synthesis"
Publications/le-frioux.17.sat,2017,"PaInleSS: a Framework for Parallel SAT Solving","Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17)"
Publications/rusinol.17.mtap,2017,"Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness","Multimedia Tools and Applications"
Publications/puybareau.17.gretsi,2017,"Caractérisation des zones de mouvement périodiques pour applications bio-médicales","Actes du 26e Colloque GRETSI"
Publications/xu.17.gretsi,2017,"Segmentation d'IRM de cerveaux de nouveau-nés en quelques secondes à l'aide d'un réseau de neurones convolutif pseudo-3D et de transfert d'apprentissage","Actes du 26e Colloque GRETSI"
Publications/xu.17.icip,2017,"From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning","Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP)"
Publications/menouer.17.iccs,2017,"Parallel Learning Portfolio-Based Solvers","Proceedings of the International Conference on Computational Science (ICCS)"
Publications/boutry.17.dgci,2017,"Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n","Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI)"
Publications/bloemen.17.spin,2017,"Explicit State Model Checking with Generalized Büchi and Rabin Automata","Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17)"
Publications/tochon.17.tgrs,2017,"Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking","IEEE Transactions on Geoscience and Remote Sensing"
Publications/blahoudek.17.lpar,2017,"Seminator: A Tool for Semi-Determinization of Omega-Automata","Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21)"
Publications/carlinet.17.orasis,2017,"La pseudo-distance du dahu","Actes d'ORASIS"
Publications/menouer.17.pdp,2017,"Parallel Satisfiability Solver Based on Hybrid Partitioning Method","Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)"
Publications/geraud.17.ismm,2017,"Introducing the Dahu Pseudo-Distance","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)"
Publications/huynh.17.ismm,2017,"Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)"
Publications/puybareau.17.ismm,2017,"Morphological Analysis of Brownian Motion for Physical Measurements","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)"
Publications/puybareau.17.isbi,2017,"Periodic Area-of-Motion characterization for Bio-Medical applications","Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI)"
Publications/newton.17.els,2017,"Programmatic Manipulation of Common Lisp Type Specifiers","European Lisp Symposium"
Publications/newton.17.dtd.report,2017,"Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set",
Publications/duret.17.hdr,2017,"Contributions to LTL and ω-Automata for Model Checking",
Publications/dehak.16.nistsre,2016,"The MIT Lincoln Laboratory 2016 speaker recognition system","NIST Speaker Recognition Evaluation 2016"