|
|
Title
|
Authors
|
Published in
|
Date
|
| maldonado-ruiz.21.ifip
|
An Innovative and Decentralized Identity Framework Based on Blockchain Technology
|
Daniel Maldonado-Ruiz, Jenny Torres, El MadhounNour, Mohamad Badra
|
2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS)
|
1 April 2021
|
| boutry.21.dgmm.1
|
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
| boutry.21.dgmm.2
|
A New Matching Algorithm between Trees of Shapes and its Application to Brain Tumor Segmentation
|
Nicolas Boutry, Thierry Géraud
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
| boutry.21.dgmm.3
|
Stability of the Tree of Shapes to Additive Noise
|
Nicolas Boutry, Guillaume Tochon
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
2 March 2021
|
| boutry.21.media
|
Deep Learning for Detection and Segmentation of Artefact and Disease Instances in Gastrointestinal Endoscopy
|
Sharib Ali, Mariia Dmitrieva, Noha Ghatwary, Sophia Bano, Gorkem Polat, Alptekin Temizel, Adrian Krenzer, Amar Hekalo, Yun Bo Guo, Bogdan Matuszewski, Mourad Gridach, Irina Voiculescu, Vishnusai Yoganand, Arnav Chavan, Aryan Raj, Nhan T Nguyen, Dat Q Tran, Le Duy Huynh, Nicolas Boutry, Shahadate Rezvy, Haijian Chen, Yoon Ho Choi, Anand Subramanian, Velmurugan Balasubramanian, Xiaohong W Gao, Hongyu Hu, Yusheng Liao, Danail Stoyanov, Christian Daul, Stefano Realdon, Renato Cannizzaro, Dominique Lamarque, Terry Tran-Nguyen, Adam Bailey, Barbara Braden, James East, Jens Rittscher
|
Medical Image Analysis
|
24 February 2021
|
| chen.21.dgmm
|
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation
|
Yizi Chen, Edwin Carlinet, Joseph Chazalon, Clément Mallet, Bertrand Duménieu, Julien Perret
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
| bloch.21.dgmm
|
On Some Associations Between Mathematical Morphology and Artificial Intelligence
|
Isabelle Bloch, Samy Blusseau, Ramón Pino Pérez, Élodie Puybareau, Guillaume Tochon
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
| kirszenberg.21.dgmm
|
Going beyond p-convolutions to learn grayscale morphological operators
|
Alexandre Kirszenberg, Guillaume Tochon, Élodie Puybareau, Jesus Angulo
|
Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM)
|
16 February 2021
|
| espie.21.eurocon
|
Debug Packages in OpenBSD
|
Marc Espie
|
EuroBSDCon 2021
|
1 January 2021
|
| christian.21.cs
|
A blockchain-based certificate revocation management and status verification system
|
Yves Christian Elloh Adja, Badis Hammi, Ahmed Serhrouchni, Sherali Zeadally
|
Computers & Security
|
1 January 2021
|
| grelot.21.cesar
|
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence
|
Frederic Grelot, Sébastien Larinier, SalmonMarie
|
Proceedings of the 28th C&ESAR
|
1 January 2021
|
| hammi.21.ieee
|
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams
|
Badis Hammi, Sherali Zeadally, Yves Christian Elloh Adja, Manlio Del Giudice, Jamel Nebhen
|
IEEE Transactions on Engineering Management
|
1 January 2021
|
| nejati.20.cp
|
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers
|
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
|
Proceedings of the 26 th International Conference on Principles and Practice of Constraint Programming (CP'20)
|
31 December 2020
|
| kim.20.media
|
PAIP 2019: Liver Cancer Segmentation Challenge
|
Yoo Jung Kim, Hyungjoon Jang, Kyoungbun Lee, Seongkeun Park, Sung-Gyu Min, Choyeon Hong, Jeong Hwan Park, Kanggeun Lee, Jisoo Kim, Wonjae Hong, Hyun Jung, Yanling Liu, Haran Rajkumar, Mahendra Khened, Ganapathy Krishnamurthi, Sen Yang, Xiyue Wang, Chang Hee Han, Jin Tae Kwak, Jianqiang Ma, Zhe Tang, Bahram Marami, Jack Zeineh, Zixu Zhao, Pheng-Ann Heng, Rudiger Schmitz, Frederic Madesta, Thomas Rosch, Rene Werner, Jie Tian, Matteo Bovio, Xiufeng Zhang, Yifeng Zhu, Se Young Chun, Won-Ki Jeong, Peom Park, Jinwook Choi, Élodie Puybareau
|
Medical Image Analysis
|
10 November 2020
|
| xiong.20.media
|
A Global Benchmark of Algorithms for Segmenting the Left Atrium from Late Gadolinium-Enhanced Cardiac Magnetic Resonance Imaging
|
Zhaohan Xiong, Qing Xia, Zhiqiang Hu, Ning Huang, Cheng Bian, Yefeng Zheng, Sulaiman Vesal, Nishant Ravikumar, Andreas Maier, Xin Yang, Pheng-Ann Heng, Dong Ni, Caizi Li, Qianqian Tong, Weixin Si, Younes Khoudli, Thierry Géraud, Chen Chen, Wenjia Bai, Daniel Rueckert, Lingchao Xu, Xiahai Zhuang, Xinzhe Luo, Shuman Jia, Maxime Sermesant, Yashu Liu, Kuanquan Wang, Davide Borra, Alessandro Masci, Cristiana Corsi, Coen de Vente, Mitko Veta, Rashed Karim, Chandrakanth Jayachandran Preetha, Sandy Engelhardt, Menyun Qiao, Yuanyuan Wang, Qian Tao, Marta Nunez-Garcia, Oscar Camara, Nicolo Savioli, Pablo Lamata, Jichao Zhao, Élodie Puybareau
|
Medical Image Analysis
|
10 November 2020
|
| zhao.20.icpr.1
|
FOANet: A Focus of Attention Network with Application to Myocardium Segmentation
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Proceedings of the 25th International Conference on Pattern Recognition (ICPR)
|
2 November 2020
|
| zhao.20.icpr.2
|
Do not Treat Boundaries and Regions Differently: An Example on Heart Left Atrial Segmentation
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Proceedings of the 25th International Conference on Pattern Recognition (ICPR)
|
2 November 2020
|
| buatois.19.brainles
|
Two Stages CNN-Based Segmentation of GliomasUncertainty Quantification and Prediction of Overall Patient Survival
|
Thibault Buatois, Élodie Puybareau, Joseph Chazalon, Guillaume Tochon
|
International MICCAI Brainlesion Workshop
|
3 September 2020
|
| boutry.20.jmiv.1
|
Topological Properties of the First Non-Local Digitally Well-Composed Interpolation on n-D Cubical Grids
|
Nicolas Boutry, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
3 September 2020
|
| boutry.20.jmiv.2
|
Equivalence between Digital Well-Composedness and Well-Composedness in the Sense of Alexandrov on n-D Cubical Grids
|
Nicolas Boutry, Laurent Najman, Thierry Géraud
|
Journal of Mathematical Imaging and Vision
|
3 September 2020
|
| vallade.20.nfm
|
On the Usefulness of Clause Strengthening in Parallel SAT Solving
|
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
|
Proceedings of the 12th NASA Formal Methods Symposium (NFM'20)
|
1 August 2020
|
| boutry.20.iwcia2
|
A 4D Counter-Example Showing that DWCness Does Not Imply CWCness in n-D
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Laurent Najman, Thierry Géraud
|
Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020
|
21 July 2020
|
| boutry.20.iwcia1
|
Euler Well-Composedness
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Eduardo Paluzo-Hildago
|
Combinatorial Image Analysis: Proceedings of the 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020
|
21 July 2020
|
| rivet.20.phd
|
Non-iterative methods for image improvement in digital holography of the retina
|
Julie Rivet
|
|
17 July 2020
|
| verna.20.hdr
|
(Dynamic (Programming Paradigms)) ;; Performance and Expressivity
|
Didier Verna
|
|
10 July 2020
|
| renkin.20.atva
|
Practical “Paritizing” of Emerson–Lei Automata
|
Florian Renkin, Alexandre Duret-Lutz, Adrien Pommellet
|
Proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis (ATVA'20)
|
7 July 2020
|
| renault.20.isse
|
Improving swarming using genetic algorithms
|
Etienne Renault
|
Innovations in Systems and Software Engineering: a NASA journal (ISSE)
|
2 June 2020
|
| movn.20.cviu
|
A New Minimum Barrier Distance for Multivariate Images with Applications to Salient Object Detection, Shortest Path Finding, and Segmentation
|
Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio, Thierry Géraud
|
Computer Vision and Image Understanding
|
2 June 2020
|
| vallade.20.sat
|
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving
|
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
|
Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20)
|
1 June 2020
|
| boutry.20.brainles
|
Using Separated Inputs for Multimodal Brain Tumor Segmentation with 3D U-Net-like Architectures
|
Nicolas Boutry, Joseph Chazalon, Élodie Puybareau, Guillaume Tochon, Hugues Talbot, Thierry Géraud
|
Proceedings of the 4th International Workshop, BrainLes 2019, Held in Conjunction with MICCAI 2019
|
1 June 2020
|
| pommellet.20.isse
|
LTL Model Checking for Communicating Concurrent Programs
|
Adrien Pommellet, Tayssir Touili
|
Innovations in Systems and Software Engineering: a NASA journal (ISSE)
|
15 May 2020
|
| blahoudek.20.cav
|
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-Determinization
|
František Blahoudek, Alexandre Duret-Lutz, Jan Strejček
|
Proceedings of the 32nd International Conference on Computer-Aided Verification (CAV'20)
|
14 May 2020
|
| movn.20.phd
|
Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms
|
Minh Ôn Vũ Ngoc
|
|
18 February 2020
|
| zhao.19.stacom
|
A Two-Stage Temporal-Like Fully Convolutional Network Framework for Left Ventricle Segmentation and Quantification on MR Images
|
Zhou Zhao, Nicolas Boutry, Élodie Puybareau, Thierry Géraud
|
Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges—10th International WorkshopSTACOM 2019, Held in Conjunction with MICCAI 2019Shenzhen, China, October 13, 2019, Revised Selected Papers
|
7 February 2020
|
| drumetz.20.icassp
|
Learning Endmember Dynamics in Multitemporal Hyperspectral Data using a State-Space Model Formulation
|
Lucas Drumetz, Mauro Dalla Mura, Guillaume Tochon, Ronan Fablet
|
Proceedings of the 45th IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP)
|
24 January 2020
|
| atlan.20.spie
|
Experimental digital Gabor hologram rendering of C. elegans worms by a model-trained convolutional neural network (Conference Presentation)
|
Michael Atlan, Julie Rivet, Antoine Taliercio, Guillaume Tochon, Nicolas Boutry, Jean-Pierre Huignard
|
Label-free Biomedical Imaging and Sensing (LBIS) 2020
|
1 January 2020
|
| zhao.19.myops
|
Stacked and parallel U-nets with multi-output for myocardial pathology segmentation
|
Zhou Zhao, Nicolas Boutry, Elodie Puybareau
|
Myocardial Pathology Segmentation Combining Multi-Sequence CMR Challenge
|
1 January 2020
|
| verna.19.tug
|
Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo
|
Didier Verna
|
TUGboat
|
6 November 2019
|
| huynh.19.prl
|
Connected Filters on Generalized Shape-Spaces
|
Lê Duy Huỳnh, Nicolas Boutry, Thierry Géraud
|
Pattern Recognition Letters
|
20 September 2019
|
| poitrenaud.19.icfem
|
Combining Parallel Emptiness Checks with Partial Order Reductions
|
Denis Poitrenaud, Etienne Renault
|
Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19)
|
2 August 2019
|
| baier.19.atva
|
Generic Emptiness Check for Fun and Profit
|
Christel Baier, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, David Müller, Jan Strejček
|
Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA'19)
|
29 July 2019
|
| le-frioux.19.phd
|
Towards more efficient parallel SAT solving
|
Ludovic Le Frioux
|
|
3 July 2019
|
| tochon.19.pr
|
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images
|
Guillaume Tochon, Mauro Dalla Mura, Miguel Angel Veganzones, Thierry Géraud, Jocelyn Chanussot
|
Pattern Recognition
|
1 July 2019
|
| boutry.19.dgci
|
One More Step Towards Well-Composedness of Cell Complexes over n-D Pictures
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez
|
Proceedings of the 21st International Conference on Discrete Geometry for Computer Imagery (DGCI)
|
18 June 2019
|
| carlinet.19.gretsi
|
Filtres connexes multivariés par fusion d'arbres de composantes
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)
|
14 June 2019
|
| esteban.19.gretsi
|
Estimation du niveau de bruit par arbre des formes et statistiques non paramétriques
|
Baptiste Esteban, Guillaume Tochon, Thierry Géraud
|
Proceedings of the 27st Symposium on Signal and Image Processing (GRETSI)
|
14 June 2019
|
| esteban.19.caip
|
Estimating the noise level function with the tree of shapes and non-parametric statistics
|
Baptiste Esteban, Guillaume Tochon, Thierry Géraud
|
Proceedings of the 18th International Conference on Computer Analysis of Images and Patterns (CAIP)
|
7 June 2019
|
| wang.19.tmi
|
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge
|
Li Wang, Dong Nie, Guannan Li, Élodie Puybareau, Jose Dolz, Qian Zhang, Fan Wang, Jing Xia, Zhengwang Wu, Jiawei Chen, Kim-Han Thung, Toan Duc Bui, Jitae Shin, Guodong Zeng, Guoyan Zheng, Vladimir S Fonov, Andrew Doyle, Yongchao Xu, Pim Moeskops, Josien P W Pluim, Christian Desrosiers, Ismail Ben Ayed, Gerard Sanroma, Oualid M Benkarim, Adrià Casamitjana, Verónica Vilaplana, Weili Lin, Gang Li, Dinggang Shen
|
IEEE Transactions on Medical Imaging
|
11 April 2019
|
| kuijf.19.tmi
|
Standardized Assessment of Automatic Segmentation of White Matter Hyperintensities: Results of the WMH Segmentation Challenge
|
H J Kuijf, J M Biesbroek, J de Bresser, R Heinen, S Andermatt, M Bento, M Berseth, M Belyaev, M J Cardoso, A Casamitjana, D L Collins, M Dadar, A Georgiou, M Ghafoorian, D Jin, A Khademi, J Knight, H Li, X Lladó, M Luna, Q Mahmood, R McKinley, A Mehrtash, S Ourselin, B Park, H Park, S H Park, S Pezold, L Rittner, C H Sudre, S Valverde, V Vilaplana, R Wiest, Z Xu, G Zeng, J Zhang, G Zheng, C Chen, W van der Flier, F Barkhof, M A Viergever, G J Biessels, Élodie Puybareau, Yongchao Xu
|
IEEE Transactions on Medical Imaging
|
10 April 2019
|
| bloemen.19.sttt
|
Model checking with generalized Rabin and Fin-less automata
|
Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol
|
International Journal on Software Tools for Technology Transfer
|
1 April 2019
|
| verna.19.els
|
Parallelizing Quickref
|
Didier Verna
|
12th European Lisp Symposium
|
1 April 2019
|
| valais.19.els
|
Implementing Baker's SUBTYPEP decision procedure
|
Léo Valais, Jim Newton, Didier Verna
|
12th European Lisp Symposium
|
1 April 2019
|
| carlinet.19.ismm
|
Introducing Multivariate Connected Openings and Closings
|
Edwin Carlinet, Thierry Géraud
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
| puybareau.19.ismm
|
Spherical fluorescent particle segmentation and tracking in 3D confocal microscopy
|
Élodie Puybareau, Edwin Carlinet, Alessandro Benfenati, Hugues Talbot
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
| boutry.19.ismm
|
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
| tochon.19.ismm
|
Constructing a braid of partitions from hierarchies of partitions
|
Guillaume Tochon, Mauro Dalla Mura, Jocelyn Chanussot
|
Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM)
|
13 March 2019
|
| le-frioux.19.tacas
|
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework
|
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
|
Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)
|
13 February 2019
|
| boutry.19.jmiv
|
How to Make n-D Plain Maps Alexandrov-Well-Composed in a Self-dual Way
|
Nicolas Boutry, Thierry Géraud, Laurent Najman
|
Journal of Mathematical Imaging and Vision
|
4 February 2019
|
| puybareau.19.cbm
|
High Throughput Automated Detection of Axial Malformations in Medaka Embryo
|
Diane Genest, Élodie Puybareau, Marc Léonard, Jean Cousty, Noémie De Crozé, Hugues Talbot
|
Computers in Biology and Medicine
|
22 January 2019
|
| newton.19.els
|
Finite Automata Theory Based Optimization of Conditional Variable Binding
|
Jim Newton, Didier Verna
|
European Lisp Symposium
|
14 January 2019
|
| rivet.19.isbi
|
Motion Compensation in Digital Holography for Retinal Imaging
|
Julie Rivet, Guillaume Tochon, Michael Atlan, Serge Meimon, Thierry Géraud, Michel Paques
|
Proceedings of the IEEE International Symposium on Biomedical Imaging (ISBI)
|
19 December 2018
|
| huynh.18.phd
|
Taking into account inclusion and adjacency information in morphological hierarchical representations, with application to the extraction of text in natural images and videos.
|
Lê Duy Huỳnh
|
|
1 December 2018
|
| carlinet.19.csi
|
Intervertebral Disc Segmentation Using Mathematical Morphology—A CNN-Free Approach
|
Edwin Carlinet, Thierry Géraud
|
Proceedings of the 5th MICCAI Workshop & Challenge on Computational Methods and Clinical Applications for Spine Imaging (CSI)
|
26 November 2018
|
| puybareau.18.brainles
|
Segmentation of Gliomas and Prediction of Patient Overall Survival: A Simple and Fast Procedure
|
Élodie Puybareau, Guillaume Tochon, Joseph Chazalon, Jonathan Fabrizio
|
Proceedings of the Workshop on Brain Lesions (BrainLes)in conjunction with MICCAI
|
5 November 2018
|
| newton.18.phd
|
Representing and Computing with Types in Dynamically Typed Languages
|
Jim Newton
|
|
1 November 2018
|
| puybareau.18.stacom
|
Left Atrial Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning
|
Élodie Puybareau, Zhou Zhao, Younes Khoudli, Yongchao Xu, Thierry Géraud, Edwin Carlinet, Jérôme Lacotte
|
Proceedings of the Workshop on Statistical Atlases and Computational Modelling of the Heart (STACOM 2018), in conjunction with MICCAI
|
25 October 2018
|
| rivet.19.spie
|
Deep Neural Networks for Aberrations Compensation in Digital Holographic Imaging of the Retina
|
Julie Rivet, Guillaume Tochon, Serge Meimon, Michel Pâques, Thierry Géraud, Michael Atlan
|
Proceedings of the SPIE Conference on Adaptive Optics and Wavefront Control for Biological Systems V
|
25 October 2018
|
| roynard.18.rrpr
|
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming
|
Michaël Roynard, Edwin Carlinet, Thierry Géraud
|
Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018)
|
25 October 2018
|
| movn.19.icdarw
|
Document detection in videos captured by smartphones using a saliency-based method
|
Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud
|
International Conference on Document Analysis and Recognition Workshops (ICDARW)
|
20 September 2018
|
| newton.18.meta
|
Recognizing Heterogeneous Sequences by Rational Type Expression
|
Jim Newton, Didier Verna
|
Proceedings of the Meta'18: Workshop on Meta-Programming Techniques and Reflection
|
14 September 2018
|
| 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
|
| boutry.18.is
|
Weakly Well-Composed Cell Complexes over nD Pictures
|
Nicolas Boutry, Rocio Gonzalez-Diaz, Maria-Jose Jimenez
|
Information Sciences
|
4 July 2018
|
| renault.18.vecos
|
Improving Parallel State-Space Exploration Using Genetic Algorithms
|
Etienne Renault
|
Proceedings of the 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECOS'18)
|
14 June 2018
|
| michaud.18.synt
|
Reactive Synthesis from LTL Specification with Spot
|
Thibaud Michaud, Maximilien Colange
|
Proceedings of the 7th Workshop on Synthesis, SYNT@CAV 2018
|
7 June 2018
|
| boldo.18.arith
|
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers
|
Sylvie Boldo, Florian Faissole, TourneurVincent
|
25th IEEE Symposium on Computer Arithmetic
|
1 June 2018
|
| carlinet.18.icip
|
The Tree of Shapes Turned into a Max-Tree: A Simple and Efficient Linear Algorithm
|
Edwin Carlinet, Thierry Géraud, Sébastien Crozet
|
Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)
|
10 May 2018
|
| puybareau.18.icip
|
Real-Time Document Detection in Smartphone Videos
|
Élodie Puybareau, Thierry Géraud
|
Proceedings of the 24th IEEE International Conference on Image Processing (ICIP)
|
10 May 2018
|
| carlinet.18.rfiap
|
Un algorithme de complexité linéaire pour le calcul de l'arbre des formes
|
Edwin Carlinet, Sébastien Crozet, Thierry Géraud
|
Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP)
|
4 May 2018
|
| puybareau.18.rfiap
|
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
|
Élodie Puybareau, Yongchao Xu, Joseph Chazalon, Isabelle Bloch, Thierry Géraud
|
Actes du congrès Reconnaissance des Formes, ImageApprentissage et Perception (RFIAP), session spéciale “Deep Learning, deep in France”
|
4 May 2018
|
| barnat.18.hpcr
|
Parallel Model Checking Algorithms for Linear-Time Temporal Logic
|
Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault
|
Handbook of Parallel Constraint Reasoning
|
10 April 2018
|
| newton.18.els
|
Approaches in Typecase Optimization
|
Jim Newton, Didier Verna
|
European Lisp Symposium
|
5 April 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
|
| verna.18.els
|
Method Combinators
|
Didier Verna
|
11th European Lisp Symposium
|
25 March 2018
|
| xu.18.media
|
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, Catherine Adamsbaum, Isabelle Bloch, Thierry Géraud
|
Medical Image Analysis
|
22 March 2018
|
| xu.18.brainles
|
White Matter Hyperintensities Segmentation In a Few Seconds Using Fully Convolutional Network and Transfer Learning
|
Yongchao Xu, Thierry Géraud, Élodie Puybareau, Isabelle Bloch, Joseph Chazalon
|
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
|
6 February 2018
|
| verna.18.programming
|
Lisp, Jazz, Aikido
|
Didier Verna
|
The Art, Science and Engineering of Programming Journal
|
5 February 2018
|
| movn.18.das
|
Saliency-Based Detection of Identity Documents Captured by Smartphones
|
Minh Ôn Vũ Ngoc, Jonathan Fabrizio, Thierry Géraud
|
Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)
|
2 February 2018
|
| dangla.18.das
|
A first step toward a fair comparison of evaluation protocols for text detection algorithms
|
Aliona Dangla, Élodie Puybareau, Guillaume Tochon, Jonathan Fabrizio
|
Proceedings of the IAPR International Workshop on Document Analysis Systems (DAS)
|
2 February 2018
|
| metin.18.tacas
|
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving
|
Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon
|
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18)
|
5 January 2018
|
| demaille.17.sacs
|
Derived-Term Automata of Multitape Expressions with Composition
|
Akim Demaille
|
Scientific Annals of Computer Science
|
29 December 2017
|
| tochon.17.chapter
|
Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis
|
Guillaume Tochon, Mauro Dalla Mura, Philippe Salembier, Jocelyn Chanussot, Miguel-Angel Veganzones, Silvia Valero
|
Comprehensive Remote Sensing, 1st Edition
|
8 November 2017
|
| drapeau.17.grec
|
Extraction of Ancient Map Contents Using Trees of Connected Components
|
Jordan Drapeau, Thierry Géraud, Mickaël Coustaty, Joseph Chazalon, Jean-Christophe Burie, Véronique Eglin, Stéphane Bres
|
Proceedings of the 12th IAPR International Workshop on Graphics Recognition (GREC)
|
20 October 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
|
| chazalon.17.icdar-ost
|
SmartDoc 2017 Video Capture: Mobile Document Acquisition in Video Mode
|
J Chazalon, P Gomez-Krämer, J -C Burie, M Coustaty, S Eskenazi, M Luqman, N Nayef, M Rusiñol, N Sidère, J M Ogier.
|
Proceedings of the 1st International Workshop on Open Services and Tools for Document Analysis (ICDAR-OST)
|
21 July 2017
|
| demaille.17.ictac
|
Derived-Term Automata of Weighted Rational Expressions with Quotient Operators
|
Akim Demaille, Thibaud Michaud
|
Proceedings of the Thirteenth International Colloquium on Theoretical Aspects of Computing (ICTAC)
|
5 July 2017
|
| royer.17.icdar
|
Benchmarking Keypoint Filtering Approaches for Document Image Matching
|
E Royer, J Chazalon, M Rusiñol, F Bouchara
|
Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR)
|
4 July 2017
|
| jacobs.17.synt
|
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
|
Swen Jacobs, Nicolas Basset, Roderick Bloem, Romain Brenguier, Maximilien Colange, FaymonvillePeter, Bernd Finkbeiner, Ayrat Khalimov, KleinFelix, Thibaud Michaud, Guillermo A Pérez, Jean-François Raskin, Ocan Sankur, TentrupLeander
|
Proceedings Sixth Workshop on Synthesis
|
1 July 2017
|
| le-frioux.17.sat
|
PaInleSS: a Framework for Parallel SAT Solving
|
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
|
Proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT'17)
|
30 June 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
|
| puybareau.17.gretsi
|
Caractérisation des zones de mouvement périodiques pour applications bio-médicales
|
Élodie Puybareau, Hugues Talbot, Laurent Najman
|
Actes du 26e Colloque GRETSI
|
28 June 2017
|
