Publications

From LRDE

Revision as of 11:03, 26 November 2018 by Clément Démoulins (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Here you will find the various forms of communication from LRDE members.

LRDE Progress Report

LRDE Bibliography

Publications

Or


Title Authors Published in Date
sbaarir.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 1 January 2023
dziadek.22.fm Energy Problems in Finite and Timed Automata with Büchi Conditions Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier 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
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
veyrin-forrer.22.dke In Pursuit of the Hidden Features of GNN's Internal Representations Luca Veyrin-Forrer, Ataollah Kamal, Stefan Duffner, Marc Plantevit, Céline Robardet Data & Knowledge Engineering 26 October 2022
movn.22.nips Topology-Aware Method to Segment 3D Plan Tissue Images Minh Ôn Vũ Ngoc, Nicolas Boutry, Jonathan Fabrizio 36th Conference on Neural Information Processing SystemsAI for Science Workshop 25 October 2022
veyrin-forrer.22.dami On GNN explainability with activation rules Luca Veyrin-Forrer, Ataollah Kamal, Marc Plantevit, Céline Robardet, DuffnerStefan Data Mining and Knowledge Discovery 20 October 2022
roynard.22.gpce A Modern C++ Point of View of Programming in Image Processing Michaël Roynard, Edwin Carlinet, Thierry Géraud Proceedings of the 21st International Conference on Generative Programming: Concepts & Experiences (GPCE 2022) 10 October 2022

... further results