Personal tools

PHD Theses and Habilitations

From LRDE

Revision as of 15:18, 15 September 2017 by Clément Démoulins (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Title Authors Published in Date
duret.17.hdr Contributions to LTL and ω-Automata for Model Checking Alexandre Duret-Lutz 1 February 2017
boutry.16.phd A Study of Well-Composedness in $n$-D Nicolas Boutry 1 December 2016
calarasanu.15.phd Improvement of a text detection chain and the proposition of a new evaluation protocol for text detection algorithms Stefania Calarasanu 1 December 2015
carlinet.15.phd A Tree of Shapes for Multivariate Images Edwin Carlinet 1 November 2015
renault.14.phd Contribution aux tests de vacuité pour le model checking explicite Etienne Renault 5 December 2014
bensalem.14.phd Improving the Model Checking of Stutter-Invariant LTL Properties Ala Eddine Ben Salem 25 September 2014
xu.13.phd Tree-based shape spaces: Definition and applications in image processing and computer vision Yongchao Xu 12 December 2013
geraud.12.hdr Outil logiciel pour le traitement d'images: Bibliothèque, paradigmes, types et algorithmes Thierry Géraud 1 June 2012
levillain.11.phd Towards a Software Architecture for Generic Image Processing Roland Levillain 1 November 2011
darbon.05.phd Composants logiciels et algorithmes de minimisation exacte d'énergies dédidées au traitement d'images Jérôme Darbon 1 October 2005