,"Has bibtex id","Has author","Has title","Published in",Date
Publications/roynard.18.rrpr,roynard.18.rrpr,"Michaël Roynard,Edwin Carlinet,Thierry Géraud","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)","25 October 2018"
Publications/puybareau.18.stacom,puybareau.18.stacom,"Élodie Puybareau,Zhou Zhao,Younes Khoudli,Yongchao Xu,Thierry Géraud,Edwin Carlinet,Jérôme Lacotte","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","25 October 2018"
Publications/rivet.19.spie,rivet.19.spie,"Julie Rivet,Guillaume Tochon,Serge Meimon,Michel Pâques,Thierry Géraud,Michael Atlan","Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina","Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V","25 October 2018"
Publications/newton.18.meta.pdf,newton.18.meta.pdf,"Jim Newton,Didier Verna","Recognizing heterogeneous sequences by rational type expression","Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection","14 September 2018"
Publications/newton.18.tocl,newton.18.tocl,"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"
Publications/boutry.18.is,boutry.18.is,"Nicolas Boutry,Rocio Gonzalez-Diaz,Maria-Jose Jimenez","Weakly Well-Composed Cell Complexes over nD Pictures","Information Sciences","4 July 2018"
Publications/renault.18.vecos,renault.18.vecos,"Etienne Renault","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)","14 June 2018"
Publications/michaud.18.synt,michaud.18.synt,"Thibaud Michaud,Maximilien Colange","Reactive Synthesis from LTL Specification with Spot","Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018","7 June 2018"
Publications/boldo.18.arith,boldo.18.arith,"Sylvie Boldo,Florian Faissole,TourneurVincent","A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers","25th IEEE Symposium on Computer Arithmetic","1 June 2018"
Publications/carlinet.18.icip,carlinet.18.icip,"Edwin Carlinet,Thierry Géraud,Sébastien Crozet","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)","10 May 2018"