Semantic search
- Publication Forecasting Electricity Prices: An Optimize Then Predict-Based Approach in Advances in Intelligent Data Analysis XXI — 10 April 2023
- Publication An Experience Report on the Optimization of the Product Configuration System of Renault in 26th International Conference on Engineering of Complex Computer Systems — 3 April 2023
- Publication Optimization of the Product Configuration System of Renault in SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing — 3 April 2023
- Publication Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950) — 22 March 2023
- Publication Catoids and Modal Convolution Algebras in Algebra Universalis — 5 March 2023
- Publication A Myhill-Nerode Theorem for Higher-Dimensional Automata in Application and Theory of Petri Nets and Concurrency (PETRI NETS) — 5 March 2023
- Publication Discrete Morse Functions and Watersheds in Journal of Mathematical Imaging and Vision (Special Edition) — 1 January 2023
- Publication Learning Diversity Attributes in Multi-Session Recommendations in 2022 IEEE International Conference on Big Data (Big Data) — 12 December 2022
- Publication Trie-based Output Itemset Sampling in 2022 IEEE International Conference on Big Data (Big Data) — 12 December 2022
- Publication Methods for Explaining Top-N Recommendations Through Subgroup Discovery in Data Mining and Knowledge Discovery — 10 December 2022
- Publication Tuning SAT Solvers for LTL Model Checking in Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) — 9 December 2022
- Publication Towards Better Heuristics for Solving Bounded Model Checking Problems in Constraints — 9 December 2022
- Publication Go2Pins: A framework for the LTL verification of Go programs (Extended Version) in International Journal on Software Tools for Technology Transfer (STTT) — 9 December 2022
- Publication CosySEL: Improving SAT Solving Using Local Symmetries in 24th International Conference on Verification, Model Checking, and Abstract Interpretation — 8 December 2022
- Publication Energy Problems in Finite and Timed Automata with Büchi Conditions in International Symposium on Formal Methods (FM) — 8 December 2022
- Publication Diversifying a Parallel SAT Solver with Bayesian Moment Matching in Symposium on Dependable Software Engineering TheoriesTools and Applications — 8 December 2022
- Publication Higher-Dimensional Timed and Hybrid Automata in Leibniz Transactions on Embedded Systems — 8 December 2022
- Publication Introduction to the Special Issue on Distributed Hybrid Systems in Leibniz Transactions on Embedded Systems — 8 December 2022
- Publication The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images in Pattern Recognition — 3 December 2022
- Thierry Géraud represents LRE at EDITE-Day — 30 November 2022
The doctoral school of Paris EDITE has organized a conference day Journée de l’EDITE dedicated to PhD-students, their supervisors and the best PhD Thesis Award. Among the labs attending, Thierry has presented the unified EPITA Research Laboratory (LRE) with its newly defined research groups and axes.