Journal Papers

: image processing (IP) and pattern recognition (PR)

: software tools for IP and PR, Olena Project

: programming paradigms and languages / software engineering

: distributed virtual environments / virtual reality

: Vaucanson Project

: APMC
A. Hamez and Y. Thierry-Mieg and F. Kordon.
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation.
Fundamenta Informaticae
,

Didier Verna.
Binary Methods Programming: the CLOS Perspective. In
Journal of Universal Computer Science, Volume 14, Issue 20, Pages 3389 - 3411 2008
http://www.jucs.org/jucs_14_20/binary_methods_programming_the
Jérôme Darbon and Marc Sigelle.
Image Restoration with Discrete Constrained Total Variation Part II: Levelable Functions, Convex Priors and Non-Convex Cases. in
Journal on Mathematical Imaging and Vision vol. 26, no.3 pages 277-291 December 2006
Jérôme Darbon and Marc Sigelle.
Image Restoration with Discrete Constrained Total Variation Part I: Fast and Exact Optimization. in
Journal on Mathematical Imaging and Vision vol. 26, no.3 pages 261-276 December 2006

Sophie Laplante, Richard Lassaigne, Frederic Magniez and
Sylvain Peyronnet, Michel de Rougemont.
Probabilistic abstraction for model checking: an approach based on property testing. In
ACM Transactions on Computational Logic 2006

Ender Konukoglu and Erdem Yörük and Bülent Sankur and
Jérôme Darbon.
Shape-based hand recognition. in
IEEE Transactions on Image Processing vol. 15, no. 7, pp1803--1815 July 2006
DidierVerna.
LaTeX Curricula Vitae with the CurVe Class.
The PracTeX Journal, number 3, August 2006 http://www.tug.org/pracjourn 08/15/2006

Marie Duflot and M. Kwiatkowska and G. Norman and D. Parker and Sylvain Peyronnet and Claudine Picaronny and J. Sproston.
Practical Application of Probabilistic Model Checking to Communication Protocols. in
__

Alexandre Borghi, Valentin David, Akim Demaille.
C-Transformers - A Framework to Write C Program Transformations.
ACM Crossroads

Réda Dehak and Isabelle Bloch and Henri Maître.
Spatial reasoning with relative incomplete information on relative positioning.
IEEE Transactions on Pattern Analysis and Machine Intelligence vol. 27, pages 1473--1484, September 2005.

Sylvain Lombardy, Yann Régis-Gianas and Jacques Sakarovitch.
Introducing Vaucanson.
Theoretical Computer Science Vol. 328, pp. 77 - 96 November 2004

Thierry Géraud and Jean-Baptiste Mouret.
Fast Road Network Extraction in Satellite Images using Mathematical Morphology and Markov Random Fields. In
EURASIP Journal on Applied Signal Processing (special issue on Nonlinear Signal and Image Processing - Part II), num. 16, pp. 2503-2514, November 2004.

Isabelle Bloch, Olivier Colliot, Oscar Camara, Thierry Géraud.
Fusion of Spatial Relationships for Guiding Recognition, Example of Brain Structure Recognition in 3D MRI.
Pattern Recognition Letters vol. 26, num. 4, pp. 449-457, March 2005.

Isabelle Bloch, Thierry Géraud, and Henri Maître.
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition --Application to 3D brain imaging.
Artificial Intelligence vol. 148, num. 1-2, pp. 141-175, August 2003.
to top