,id,"news date","published in",publication,title
Publications/michaud.18.synt,michaud.18.synt,"7 June 2018","Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018",true,"Reactive Synthesis from LTL Specification with Spot"
Publications/boldo.18.arith,boldo.18.arith,"1 June 2018","25th IEEE Symposium on Computer Arithmetic",true,"A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers"
Publications/carlinet.18.icip,carlinet.18.icip,"10 May 2018","Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)",true,"The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm"
Publications/puybareau.18.icip,puybareau.18.icip,"10 May 2018","Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)",true,"Real-Time Document Detection in Smartphone Videos"
Publications/carlinet.18.rfiap,carlinet.18.rfiap,"4 May 2018","Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP)",true,"Un algorithme de complexité linéaire pour le calcul de l'arbre des formes"
Publications/puybareau.18.rfiap,puybareau.18.rfiap,"4 May 2018","Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”",true,"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"
Publications/barnat.18.hpcr,barnat.18.hpcr,"10 April 2018","Handbook of Parallel Constraint Reasoning",true,"Parallel Model Checking Algorithms for Linear-Time Temporal Logic"
Publications/newton.18.els,newton.18.els,"5 April 2018","European Lisp Symposium",true,"Approaches in Typecase Optimization"
Publications/goetz.18.tpds,goetz.18.tpds,"2 April 2018","IEEE Transactions on Parallel and Distributed Systems",true,"Parallel Computation of Component Trees on Distributed Memory Machines"
Publications/verna.18.els,verna.18.els,"25 March 2018","11th European Lisp Symposium",true,"Method Combinators"
Publications/xu.18.media,xu.18.media,"22 March 2018","Medical Image Analysis",true,"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"
Publications/xu.18.brainles,xu.18.brainles,"6 February 2018","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",true,"White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning"
Publications/verna.18.programming,verna.18.programming,"5 February 2018","The Art, Science and Engineering of Programming Journal",true,"Lisp, Jazz, Aikido"
Publications/movn.18.das,movn.18.das,"2 February 2018","Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)",true,"Saliency-Based Detection of Identity Documents Captured by Smartphones"
Publications/dangla.18.das,dangla.18.das,"2 February 2018","Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)",true,"A first step toward a fair comparison of evaluation protocols for text detection algorithms"
Publications/metin.18.tacas,metin.18.tacas,"5 January 2018","Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)",true,"CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving"
Publications/demaille.17.sacs,demaille.17.sacs,"29 December 2017","Scientific Annals of Computer Science",true,"Derived-Term Automata of Multitape Expressions with Composition"
Publications/tochon.17.chapter,tochon.17.chapter,"8 November 2017","Comprehensive Remote Sensing, 1st Edition",true,"Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis"
Publications/drapeau.17.grec,drapeau.17.grec,"20 October 2017","Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC)",true,"Extraction of Ancient Map Contents Using Trees of Connected Components"
Publications/boutry.17.jmiv,boutry.17.jmiv,"12 October 2017","Journal of Mathematical Imaging and Vision",true,"A Tutorial on Well-Composedness"
Publications/chazalon.17.icdar-ost,chazalon.17.icdar-ost,"21 July 2017","Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis, (ICDAR-OST)",true,"SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode"
Publications/demaille.17.ictac,demaille.17.ictac,"5 July 2017","Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)",true,"Derived-Term Automata of Weighted Rational Expressions with Quotient Operators"
Publications/royer.17.icdar,royer.17.icdar,"4 July 2017","Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR)",true,"Benchmarking Keypoint Filtering Approaches for Document Image Matching"
Publications/jacobs.17.synt,jacobs.17.synt,"1 July 2017","Proceedings Sixth Workshop on Synthesis",true,"The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results"
Publications/le-frioux.17.sat,le-frioux.17.sat,"30 June 2017","Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17)",true,"PaInleSS: a Framework for Parallel SAT Solving"
Publications/rusinol.17.mtap,rusinol.17.mtap,"29 June 2017","Multimedia Tools and Applications",true,"Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness"
Publications/puybareau.17.gretsi,puybareau.17.gretsi,"28 June 2017","Actes du 26e Colloque GRETSI",true,"Caractérisation des zones de mouvement périodiques pour applications bio-médicales"
Publications/xu.17.gretsi,xu.17.gretsi,"20 June 2017","Actes du 26e Colloque GRETSI",true,"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"
Publications/xu.17.icip,xu.17.icip,"12 June 2017","Proceedings of the 23rd IEEE International Conference on Image Processing (ICIP)",true,"From Neonatal to Adult Brain MR Image Segmentation in a Few Seconds Using 3D-Like Fully Convolutional Network and Transfer Learning"
Publications/menouer.17.iccs,menouer.17.iccs,"1 June 2017","Proceedings of the International Conference on Computational Science (ICCS)",true,"Parallel Learning Portfolio-Based Solvers"
Publications/boutry.17.dgci,boutry.17.dgci,"1 June 2017","Discrete Geometry for Computer Imagery – Proceedings of the 20th IAPR International Conference on Discrete Geometry for Computer Imagery (DGCI)",true,"Well-Composedness in Alexandrov spaces implies Digital Well-Composedness in Z^n"
Publications/bloemen.17.spin,bloemen.17.spin,"22 May 2017","Proceedings of the 24th International SPIN Symposium on Model Checking of Software (SPIN'17)",true,"Explicit State Model Checking with Generalized Büchi and Rabin Automata"
Publications/tochon.17.tgrs,tochon.17.tgrs,"20 April 2017","IEEE Transactions on Geoscience and Remote Sensing",true,"Object tracking by hierarchical decomposition of hyperspectral video sequences: Application to chemical gas plume tracking"
Publications/blahoudek.17.lpar,blahoudek.17.lpar,"3 April 2017","Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21)",true,"Seminator: A Tool for Semi-Determinization of Omega-Automata"
Publications/carlinet.17.orasis,carlinet.17.orasis,"21 March 2017","Actes d'ORASIS",true,"La pseudo-distance du dahu"
Publications/menouer.17.pdp,menouer.17.pdp,"1 March 2017","Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)",true,"Parallel Satisfiability Solver Based on Hybrid Partitioning Method"
Publications/geraud.17.ismm,geraud.17.ismm,"23 February 2017","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)",true,"Introducing the Dahu Pseudo-Distance"
Publications/huynh.17.ismm,huynh.17.ismm,"23 February 2017","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)",true,"Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings"
Publications/puybareau.17.ismm,puybareau.17.ismm,"23 February 2017","Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM)",true,"Morphological Analysis of Brownian Motion for Physical Measurements"
Publications/puybareau.17.isbi,puybareau.17.isbi,"20 February 2017","Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI)",true,"Periodic Area-of-Motion characterization for Bio-Medical applications"
Publications/newton.17.els,newton.17.els,"6 February 2017","European Lisp Symposium",true,"Programmatic Manipulation of Common Lisp Type Specifiers"
Publications/newton.17.dtd.report,newton.17.dtd.report,"2 February 2017",,true,"Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set"
Publications/duret.17.hdr,duret.17.hdr,"1 February 2017",,true,"Contributions to LTL and ω-Automata for Model Checking"
Publications/dehak.16.nistsre,dehak.16.nistsre,"12 December 2016","NIST Speaker Recognition Evaluation 2016",true,"The MIT Lincoln Laboratory 2016 speaker recognition system"
Publications/boutry.16.phd,boutry.16.phd,"1 December 2016",,true,"A Study of Well-Composedness in n-D"
Publications/drumetz.17.lva-ica,drumetz.17.lva-ica,"22 November 2016","Proceedings of the 13th International Conference on Latent Variable Analysis and Signal Separation (LVA-ICA)",true,"Estimating the Number of Endmembers to Use in Spectral Unmixing of Hyperspectral Data with Collaborative Sparsity"
Publications/newton.16.monad.report,newton.16.monad.report,"18 November 2016",,true,"Monads in Common Lisp"
Publications/newton.16.dag.report,newton.16.dag.report,"17 November 2016",,true,"Finding maximal common joins in a DAG"
Publications/calarasanu.16.iwrr,calarasanu.16.iwrr,"1 October 2016","Proceedings of the 2nd International Workshop on Robust Reading Conference (IWRR-ECCV)",true,"From text detection to text segmentation: a unified evaluation scheme"
Publications/huynh.16.icpr,huynh.16.icpr,"13 July 2016","Proceedings of the 23st International Conference on Pattern Recognition (ICPR)",true,"Morphology-Based Hierarchical Representation with Application to Text Segmentation in Natural Images"