Publications
From LRDE
Here you will find the various forms of communication from LRDE members.
LRDE Progress Report
- Rapport d'activité 2015 (PDF in French)
- Rapport d'activité 2010 (PDF in French)
- Progress Report 2010 (PDF in English)
LRDE Bibliography
Publications
- Book chapters
- Journal papers
- Conference papers
- PHD Theses and Habilitations
- Technical reports
- Student reports
Or
Title | Authors | Published in | Date | |
---|---|---|---|---|
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.constraints | Towards Better Heuristics for Solving Bounded Model Checking Problems | Anissa Kheireddine, Étienne Renault, Souheib Baarrir | Constraints | 9 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 |
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 |
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 |
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 |