Personal tools

Publications

From LRDE

Jump to: navigation, search

Contents


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

LRDE Progress Report

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
… further results