News

2023

• Discrete Morse Functions and Watersheds (Has title Discrete Morse Functions and Watersheds, Published in Journal of Mathematical Imaging and Vision (Special Edition))
• Forecasting Electricity Prices: An Optimize Then Predict-Based Approach (Has title Forecasting Electricity Prices: An Optimize Then Predict-Based Approach, Published in Advances in Intelligent Data Analysis XXI)
• An Experience Report on the Optimization of the Product Configuration System of Renault (Has title An Experience Report on the Optimization of the Product Configuration System of Renault, Published in 26th International Conference on Engineering of Complex Computer Systems)
• Optimization of the Product Configuration System of Renault (Has title Optimization of the Product Configuration System of Renault, Published in SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing)
• Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) (Has title Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950))
• Catoids and Modal Convolution Algebras (Has title Catoids and Modal Convolution Algebras, Published in Algebra Universalis)
• A Myhill-Nerode Theorem for Higher-Dimensional Automata (Has title A Myhill-Nerode Theorem for Higher-Dimensional Automata, Published in Application and Theory of Petri Nets and Concurrency (PETRI NETS))

2022

• Tuning SAT Solvers for LTL Model Checking (Has title Tuning SAT Solvers for LTL Model Checking, Published in Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22))
• Towards Better Heuristics for Solving Bounded Model Checking Problems (Has title Towards Better Heuristics for Solving Bounded Model Checking Problems, Published in Constraints)
• Automatically Guided Selection of a Set of Underwater Calibration Images (Has title Automatically Guided Selection of a Set of Underwater Calibration Images)
• How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education (Has title How to help digital-native students to successfully take control of their learning : A return of 8 years of experience on a computer science e-learning platform in higher education)
• CosySEL: Improving SAT Solving Using Local Symmetries (Has title CosySEL: Improving SAT Solving Using Local Symmetries, Published in 24th International Conference on Verification, Model Checking, and Abstract Interpretation)
• Anomaly Detection on Static and Dynamic Graphs using Graph Convolutional Neural Networks (Has title 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)
• GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux (Has title GenIDA, une base de données participative internationale permettant de mieux connaître l'histoire naturelle et les comorbidités des formes génétiques de troubles neurodéveloppementaux, Published in Assises de Génétique Humaine et Médicale)
• Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey (Has title Current Trends in Blockchain Implementations on the Paradigm of Public Key Infrastructure: A Survey, Published in IEEE Access)
• Hate Speech and Toxic Comment Detection using Transformers (Has title Hate Speech and Toxic Comment Detection using Transformers, Published in Workshop EGC 2022 DL for NLP)
• New Security Protocols for Offline Point-of-Sale Machines (Has title New Security Protocols for Offline Point-of-Sale Machines, Published in 36th International Conference on Advanced Information Networking and Applications (AINA))
• Energy Problems in Finite and Timed Automata with Büchi Conditions (Has title Energy Problems in Finite and Timed Automata with Büchi Conditions, Published in International Symposium on Formal Methods (FM))
• How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions (Has title How to Boost Close-Range Remote Sensing Courses Using a Serious Game: Uncover in a Fun Way the Complexity and Transversality of Multi-Domain Field Acquisitions, Published in Remote Sensing)
• Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning (Has title Label-Efficient Self-Supervised Speaker Verification With Information Maximization and Contrastive Learning, Published in Proc. Interspeech 2022)
• Go2Pins: A framework for the LTL verification of Go programs (Extended Version) (Has title Go2Pins: A framework for the LTL verification of Go programs (Extended Version), Published in International Journal on Software Tools for Technology Transfer (STTT))
• Learning Diversity Attributes in Multi-Session Recommendations (Has title Learning Diversity Attributes in Multi-Session Recommendations, Published in 2022 IEEE International Conference on Big Data (Big Data))
• Improving the Quality of Rule-Based GNN Explanations (Has title Improving the Quality of Rule-Based GNN Explanations, Published in Workshop on eXplainable Knowledge Discovery in Data Mining. Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2022, GrenobleFrance, September 19-23, 2022, Proceedings, Part I)
• Methods for Explaining Top-N Recommendations Through Subgroup Discovery (Has title Methods for Explaining Top-N Recommendations Through Subgroup Discovery, Published in Data Mining and Knowledge Discovery)
• Trie-based Output Itemset Sampling (Has title Trie-based Output Itemset Sampling, Published in 2022 IEEE International Conference on Big Data (Big Data))
• Diversifying a Parallel SAT Solver with Bayesian Moment Matching (Has title Diversifying a Parallel SAT Solver with Bayesian Moment Matching, Published in Symposium on Dependable Software Engineering TheoriesTools and Applications)
• Données, Transparence et Démocratie (Has title Données, Transparence et Démocratie)
• Higher-Dimensional Timed and Hybrid Automata (Has title Higher-Dimensional Timed and Hybrid Automata, Published in Leibniz Transactions on Embedded Systems)
• Introduction to the Special Issue on Distributed Hybrid Systems (Has title Introduction to the Special Issue on Distributed Hybrid Systems, Published in Leibniz Transactions on Embedded Systems)
• QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results (Has title QU-BraTS: MICCAI BraTS 2020 Challenge on Quantifying Uncertainty in Brain Tumor Segmentation — Analysis of Ranking Scores and Benchmarking Results, Published in Journal of Machine Learning for Biomedical Imaging (MELBA))
• The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images (Has title The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images, Published in Pattern Recognition)
• Effective Reductions of Mealy Machines (Has title Effective Reductions of Mealy Machines, Published in Proceedings of the 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE'22))
• Featured Games (Has title Featured Games, Published in Science of Computer Programming)
• Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata (Has title Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, Published in Information and Computation)
• In Pursuit of the Hidden Features of GNN's Internal Representations (Has title In Pursuit of the Hidden Features of GNN's Internal Representations, Published in Data & Knowledge Engineering)
• Topology-Aware Method to Segment 3D Plan Tissue Images (Has title Topology-Aware Method to Segment 3D Plan Tissue Images, Published in 36th Conference on Neural Information Processing SystemsAI for Science Workshop)
• On GNN Explainability with Activation Rules (Has title On GNN Explainability with Activation Rules, Published in Data Mining and Knowledge Discovery)
• A Modern C++ Point of View of Programming in Image Processing (Has title A Modern C++ Point of View of Programming in Image Processing, Published in Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022))
• The Cost of Dynamism in Static Languages for Image Processing (Has title The Cost of Dynamism in Static Languages for Image Processing, Published in Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022))
• A Kleene Theorem for Higher-Dimensional Automata (Has title A Kleene Theorem for Higher-Dimensional Automata, Published in 33rd International Conference on Concurrency Theory (CONCUR 2022))
• Comparing Use-Cases of Tree-Fold vs Fold-Left, How to Fold and Color a Map (Has title 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)
• Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor (Has title Multi-purpose Tactile Perception Based on Deep Learning in a New Tendon-driven Optical Tactile Sensor, Published in 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems)
• What Does my GNN Really Capture? On Exploring Internal GNN Representations (Has title What Does my GNN Really Capture? On Exploring Internal GNN Representations, Published in International Joint Conference on Artificial Intelligence 2022)
• Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents (Has title Découverte de sous-groupes de prédictions interprétables pour le triage d'incidents, Published in Extraction et Gestion des Connaissances, EGC 2022Blois, France, 24 au 28 janvier 2022)
• Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions (Has title Using subgroup discovery to relate odor pleasantness and intensity to peripheral nervous system reactions, Published in IEEE Transactions on Affective Computing)
• Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery (Has title Discovering and Visualizing Tactics in Table Tennis Games Based on Subgroup Discovery, Published in Machine Learning and Data Mining for Sports Analytics - 9th International Workshop, MLSA 2022)
• On Robustness for the Skolem and Positivity Problems (Has title On Robustness for the Skolem and Positivity Problems, Published in 39th International Symposium on Theoretical Aspects of Computer Science STACS)
• Posets With Interfaces as a Model for Concurrency (Has title Posets With Interfaces as a Model for Concurrency, Published in Information and Computation)
• Généricité dynamique pour des algorithmes morphologiques (Has title Généricité dynamique pour des algorithmes morphologiques, Published in 28e Colloque sur le traitement du signal et des images)
• Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique (Has title Estimation de la fonction de niveau de bruit pour des images couleurs en utilisant la morphologie mathématique, Published in 28e Colloque sur le traitement du signal et des images)

... further results