Semantic search
2006
- An Efficient Algorithm for Connected Attribute Thinnings and Thickenings (Published in Proceedings of the second International Conference on Visual Computing)
- Approximate Probabilistic Model Checking for Programs (Published in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06))
- Attribute Grammars for Modular Disambiguation (Published in Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06))
- Beating C in Scientific Computing Applications (Published in Third European Lisp Workshop at ECOOP)
An Efficient Algorithm for Connected Attribute Thinnings and Thickenings
Approximate Probabilistic Model Checking for Programs
Attribute Grammars for Modular Disambiguation
Beating C in Scientific Computing Applications
2019
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D (Published in Mathematical Morphology and Its Application to Signal and Image Processing – Proceedings of the 14th International Symposium on Mathematical Morphology (ISMM))
- Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge (Published in IEEE Transactions on Medical Imaging)
- Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images (Published in Pattern Recognition)
- Combining Parallel Emptiness Checks with Partial Order Reductions (Published in Proceedings of the 21st International Conference on Formal Engineering Methods (ICFEM'19))
- Connected Filters on Generalized Shape-Spaces (Published in Pattern Recognition Letters)
An Equivalence Relation between Morphological Dynamics and Persistent Homology in 1D
Benchmark on Automatic 6-month-old Infant Brain Segmentation Algorithms: The iSeg-2017 Challenge
Braids of Partitions for the Hierarchical Representation and Segmentation of Multimodal Images
Combining Parallel Emptiness Checks with Partial Order Reductions
Connected Filters on Generalized Shape-Spaces
2021
- An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D (Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
- An Innovative and Decentralized Identity Framework Based on Blockchain Technology (Published in 2021 11th IFIP International Conference on New Technologies, Mobility and Security (NTMS))
- Automation of Binary Analysis: From Open Source Collection to Threat Intelligence (Published in Proceedings of the 28th C&ESAR)
- Blockchain-Based Solution for Detecting and Preventing Fake Check Scams (Published in IEEE Transactions on Engineering Management)
- Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation (Published in Proceedings of the IAPR International Conference on Discrete Geometry and Mathematical Morphology (DGMM))
An Equivalence Relation between Morphological Dynamics and Persistent Homology in n-D
An Innovative and Decentralized Identity Framework Based on Blockchain Technology
Automation of Binary Analysis: From Open Source Collection to Threat Intelligence
Blockchain-Based Solution for Detecting and Preventing Fake Check Scams
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation
2023
- An Experience Report on the Optimization of the Product Configuration System of Renault (Published in 26th International Conference on Engineering of Complex Computer Systems)
- Catoids and Modal Convolution Algebras (Published in Algebra Universalis)
An Experience Report on the Optimization of the Product Configuration System of Renault
Catoids and Modal Convolution Algebras
2018
- An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming (Published in Proceedings of the 2nd Workshop on Reproducible Research in Pattern Recognition (RRPR 2018))
- Approaches in Typecase Optimization (Published in European Lisp Symposium)
- CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving (Published in Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18))
An Image Processing Library in Modern C++: Getting Simplicity and Efficiency with Generic Programming
Approaches in Typecase Optimization
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving
2008
- An XML format proposal for the description of weighted automata, transducers, and regular expressions (Published in Post-proceedings of the seventh international workshop on Finite-State Methods and Natural Language Processing (FSMNLP'08))
- Approximate Nash Equilibria for Multi-Player Games (Published in 1st International Symposium on Algorithmic Games Theory)
- Binary Methods Programming: the CLOS Perspective (extended version) (Published in Journal of Universal Computer Science)
An XML format proposal for the description of weighted automata, transducers, and regular expressions
Approximate Nash Equilibria for Multi-Player Games
Binary Methods Programming: the CLOS Perspective (extended version)
2000
- An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments (Published in Virtual Environments 2000, Proceedings of the 6th Eurographics Workshop on Virtual Environments (EGVE))
An asynchronous architecture to manage communicationdisplay, and user interaction in distributed virtual environments
2005
- An efficient algorithm for attribute openings and closings (Published in Proceedings of the 13th European Signal Processing Conference (EUSIPCO))
An efficient algorithm for attribute openings and closings
C-Transformers — A Framework to Write C Program Transformations
Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images
2017
- Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness (Published in Multimedia Tools and Applications)
- Benchmarking Keypoint Filtering Approaches for Document Image Matching (Published in Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR))
- Caractérisation des zones de mouvement périodiques pour applications bio-médicales (Published in Actes du 26e Colloque GRETSI)
Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set
Augmented Songbook: an Augmented Reality Educational Application for Raising Music Awareness
Benchmarking Keypoint Filtering Approaches for Document Image Matching
Caractérisation des zones de mouvement périodiques pour applications bio-médicales
2022
- Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks (Published in Robotics and AI for Cybersecurity and Critical Infrastructure in Smart Cities)
- Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map (Published in Symposium on Implementation and Application of Functional Languages)
Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks
Automatically Guided Selection of a Set of Underwater Calibration Images
Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map
2001
- Applying generic programming to image processing (Published in Proceedings of the IASTED International Conference on Applied Informatics (AI)—Symposium on Advances in Computer Applications)
- Color image segmentation based on automatic morphological clustering (Published in Proceedings of the IEEE International Conference on Image Processing (ICIP))
Applying generic programming to image processing
Color image segmentation based on automatic morphological clustering
1999
- Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information (Published in Proceeding of CIMAF Symposium on Artificial Intelligence)
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information
2009
- Binary Methods Programming: the CLOS Perspective (Published in Proceedings of the First European Lisp Symposium)
- Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation (Published in Fundamenta Informaticae)
- CLOS Efficiency: Instantiation (Published in Proceedings of the International Lisp Conference)
Binary Methods Programming: the CLOS Perspective
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation
CLOS Efficiency: Instantiation
Cepstral and Long-Term Features for Emotion Recognition
2011
- Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them (Published in Onward! 2011)
Biological Realms in Computer Science: the Way You Don't (Want To) Think About Them
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
2007
- CLOS solutions to binary methods (Published in Proceedings of the International MultiConference of Engineers and Computer Scientists)
- Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification (Published in Proceedings of the Speaker and Language Recognition Workshop (IEEE-Odyssey 2008))
CLOS solutions to binary methods
Comparison Between Factor Analysis and GMM Support Vector Machines for Speaker Verification
2010
- CLoX: Common Lisp objects for XEmacs (Published in Proceedings of the 3rd European Lisp Symposium)
CLoX: Common Lisp objects for XEmacs
Classes, Styles, Conflicts: the Biological Realm of LaTeX
2015
- Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata (Published in Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD'15))
- Connected Filtering on Tree-Based Shape-Spaces (Published in IEEE Transactions on Pattern Analysis and Machine Intelligence)
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata
Connected Filtering on Tree-Based Shape-Spaces
2020
- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving (Published in Proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT'20))
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving
2013
- Compositional Approach to Suspension and Other Improvements to LTL Translation (Published in Proceedings of the 20th International SPIN Symposium on Model Checking of Software (SPIN'13))
Compositional Approach to Suspension and Other Improvements to LTL Translation