Publications
From LRDE
Contents |
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
Or
| Title | Authors | Published in | Date | |
|---|---|---|---|---|
| bloemen.17.spin | Explicit State Model Checking with Generalized Büchi and Rabin Automata | Vincent Bloemen, Alexandre Duret-Lutz, Jaco van de Pol | Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN'17) | 22 May 2017 |
| tochon.17.tgrs | Object tracking by hierarchical decomposition of hyperspectral video sequences: application to chemical gas plume tracking | Guillaume Tochon, Jocelyn Chanussot, Mauro Dalla Mura, Andrea Bertozzi | IEEE Transactions on Geoscience and Remote Sensing | 20 April 2017 |
| blahoudek.17.lpar | Seminator: A Tool for Semi-Determinization of Omega-Automata | František Blahoudek, Alexandre Duret-Lutz, Mikuláš Klokočka, Mojmír Křetínský, Jan Strejček | Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-21) | 3 April 2017 |
| carlinet.17.orasis | La pseudo-distance du dahu | Edwin Carlinet, Yongchao Xu, Nicolas Boutry, Thierry Geraud | Actes d'ORASIS | 21 March 2017 |
| huynh.17.ismm | Morphological Hierarchical Image Decomposition Based on Laplacian 0-Crossings | Lê Duy Hu`ynh, Yongchao Xu, Thierry Geraud | Mathematical Morphology and Its Application to Signal and Image Processing -- Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |
| geraud.17.ismm | Introducing the Dahu Pseudo-Distance | Thierry Geraud, Yongchao Xu, Edwin Carlinet, Nicolas Boutry | Mathematical Morphology and Its Application to Signal and Image Processing -- Proceedings of the 13th International Symposium on Mathematical Morphology (ISMM) | 23 February 2017 |
| puybareau.17.isbi | Periodic Area-of-Motion characterization for Bio-Medical applications | Elodie Puybareau, Hugues Talbot, Laurent Najman | Proceedings of the IEEE International Symposium on Bio-Medical Imaging (ISBI) | 20 February 2017 |
| newton.17.els | Programmatic Manipulation of Common Lisp Type Specifiers | Jim Newton, Didier Verna, Maximilien Colange | European Lisp Symposium | 6 February 2017 |
| newton.17.dtd.report | Analysis of Algorithms Calculating the Maximal Disjoint Decomposition of a Set | Jim Newton | 2 February 2017 | |
| duret.17.hdr | Contributions to LTL and ω-Automata for Model Checking | Alexandre Duret-Lutz | 1 February 2017 |
