Home
From LRDE
(Redirected from Main Page)
The LRDE is a research laboratory under the tutelage of EPITA, Graduate School of Computer Science.
Our main areas of expertise are « Image processing and pattern recognition » and « Automata and verification » with a transverse research axis « Performance and genericity ».
Building on its solid scientific production and academic collaborations, the laboratory has industrial contracts and participates in academic research projects.
Latest news (more…) RSS
- Publication A Morphological Tree of Shapes for Color Images in Proceedings of the 22nd International Conference on Pattern Recognition (ICPR) — 2 April 2014
- Seminar MeFoSyLoMa at LRDE. — 28 March 2014
- Publication Mechanizing the Minimization of Deterministic Generalized Büchi Automata in Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'14) — 21 March 2014
- Publication of the lab's bulletin L'air de rien 30 — 21 March 2014
- LRDE Seminar on Performance and Genericity -- Programmation d'applications Web client-serveur avec Ocsigen by Vincent Balat, Université Paris Diderot et INRIA — 12 March 2014
- Publication LTL Translation Improvements in Spot 1.0 in International Journal on Critical Computer-Based Systems — 6 March 2014
