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 | |
---|---|---|---|---|
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 |
fahrenberg.23.alguniv | Catoids and Modal Convolution Algebras | Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański | Algebra Universalis | 5 March 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 |
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 |