|
Title
|
Authors
|
Published in
|
Date
|
tschora.23.ida
|
Forecasting Electricity Prices: An Optimize Then Predict-Based Approach
|
Léonard Tschora, Erwan Pierre, Marc Plantevit, Céline Robardet
|
Advances in Intelligent Data Analysis XXI
|
10 April 2023
|
Xu.23.iceccs
|
An Experience Report on the Optimization of the Product Configuration System of Renault
|
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah
|
26th International Conference on Engineering of Complex Computer Systems
|
3 April 2023
|
Xu.23.sac
|
Optimization of the Product Configuration System of Renault
|
Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham EssodaiguiYves Bossu, Lom Messan Hillah
|
SAC '23: The 38th ACM/SIGAPP Symposium on Applied Computing
|
3 April 2023
|
chen.23.phd
|
Modern vectorization and alignement of historical maps: An application to Paris atlas (1789-1950)
|
Yizi Chen
|
|
22 March 2023
|
fahrenberg.23.alguniv
|
Catoids and Modal Convolution Algebras
|
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
|
Algebra Universalis
|
5 March 2023
|
fahrenberg.23.pn
|
A Myhill-Nerode Theorem for Higher-Dimensional Automata
|
Uli Fahrenberg, Krzysztof Ziemiański
|
Application and Theory of Petri Nets and Concurrency (PETRI NETS)
|
5 March 2023
|
boutry.23.jmiv
|
Discrete Morse Functions and Watersheds
|
Gilles Bertrand, Nicolas Boutry, Laurent Najman
|
Journal of Mathematical Imaging and Vision (Special Edition)
|
1 January 2023
|
diop.22.ieeebigdata
|
Trie-based Output Itemset Sampling
|
Lamine Diop, Cheikh Talibouya Diop, Dominique Li, Arnaud Soulet, GiacomettiArnaud
|
2022 IEEE International Conference on Big Data (Big Data)
|
12 December 2022
|
bouarour.22.ieeebigdata
|
Learning Diversity Attributes in Multi-Session Recommendations
|
Nassim Bouarour, Idir Benouaret, Amer-YahiaSihem
|
2022 IEEE International Conference on Big Data (Big Data)
|
12 December 2022
|
iferroudjene.22.dami
|
Methods for Explaining Top-N Recommendations Through Subgroup Discovery
|
Mouloud Iferroudjene, Corentin Lonjarret, Céline Robardet, Marc Plantevit, AtzmuellerMartin
|
Data Mining and Knowledge Discovery
|
10 December 2022
|
renault.22.sttt
|
Go2Pins: A framework for the LTL verification of Go programs (Extended Version)
|
Etienne Renault, Alexandre Kirszenberg, Antoine Martin, Hugo Moreau
|
International Journal on Software Tools for Technology Transfer (STTT)
|
9 December 2022
|
kheireddine.22.apsec
|
Tuning SAT Solvers for LTL Model Checking
|
Anissa Kheireddine, Étienne Renault, Souheib Baarir
|
Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22)
|
9 December 2022
|
kheireddine.22.constraints
|
Towards Better Heuristics for Solving Bounded Model Checking Problems
|
Anissa Kheireddine, Étienne Renault, Souheib Baarir
|
Constraints
|
9 December 2022
|
vallade.22.setta
|
Diversifying a Parallel SAT Solver with Bayesian Moment Matching
|
V Vallade, S Nejati, J Sopena, V Ganesh, S Baarir
|
Symposium on Dependable Software Engineering TheoriesTools and Applications
|
8 December 2022
|
abate.22.lites
|
Introduction to the Special Issue on Distributed Hybrid Systems
|
Alessandro Abate, Uli Fahrenberg, FränzleMartin
|
Leibniz Transactions on Embedded Systems
|
8 December 2022
|
fahrenberg.22.lites
|
Higher-Dimensional Timed and Hybrid Automata
|
Uli Fahrenberg
|
Leibniz Transactions on Embedded Systems
|
8 December 2022
|
saouli.23.vmcai
|
CosySEL: Improving SAT Solving Using Local Symmetries
|
S Saouli, S Baarir, C Dutheillet, J Devriendt
|
24th International Conference on Verification, Model Checking, and Abstract Interpretation
|
8 December 2022
|
dziadek.23.fm
|
Energy Problems in Finite and Timed Automata with Büchi Conditions
|
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
|
International Symposium on Formal Methods (FM)
|
8 December 2022
|
movn.22.pr
|
The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images
|
Minh Ôn Vũ Ngoc, Edwin Carlinet, Jonathan Fabrizio, Thierry Géraud
|
Pattern Recognition
|
3 December 2022
|
fahrenberg.22.scp
|
Featured Games
|
Uli Fahrenberg, Axel Legay
|
Science of Computer Programming
|
1 November 2022
|