|
|
Title
|
Authors
|
Published in
|
Date
|
| dolstra.10.jfp
|
NixOS: A purely functional Linux distribution
|
Eelco Dolstra, Andres Löh, Nicolas Pierron
|
Journal of Functional Programming
|
15 October 2010
|
| verna.10.jucs
|
Revisiting the Visitor: the Just Do It Pattern
|
Didier Verna
|
Journal of Universal Computer Science
|
1 January 2010
|
| hamez.09.fi
|
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation
|
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon
|
Fundamenta Informaticae
|
1 January 2009
|
| verna.08.jucs
|
Binary Methods Programming: the CLOS Perspective (extended version)
|
Didier Verna
|
Journal of Universal Computer Science
|
1 January 2008
|
| verna.06.ijcs
|
How to make Lisp go faster than C
|
Didier Verna
|
IAENG International Journal of Computer Science
|
1 December 2006
|
| yoruk.06.itip
|
Shape-based hand recognition
|
Erdem Yörük, Ender Konukoglu, Bülent Sankur, Jérôme Darbon
|
IEEE Transactions on Image Processing
|
1 July 2006
|
| darbon.06.jmiv
|
Image restoration with discrete constrained Total Variation—Part I: Fast and exact optimization
|
Jérôme Darbon, Marc Sigelle
|
Journal of Mathematical Imaging and Vision
|
24 March 2006
|
| darbon.06.jmivb
|
Image restoration with discrete constrained Total Variation—Part II: Levelable functions, convex priors and non-convex case
|
Jérôme Darbon, Marc Sigelle
|
Journal of Mathematical Imaging and Vision
|
24 March 2006
|
| laplante.07.tocl
|
Probabilistic abstraction for model checking: an approach based on property testing
|
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
|
ACM Transactions on Computational Logic
|
21 November 2005
|
| borghi.06.crossroads
|
C-Transformers — A Framework to Write C Program Transformations
|
Alexandre Borghi, Valentin David, Akim Demaille
|
ACM Crossroads
|
16 October 2005
|
| dehak.05.pami
|
Spatial reasoning with relative incomplete information on relative positioning
|
Réda Dehak, Isabelle Bloch, Henri Maître
|
IEEE Transactions on Pattern Analysis and Machine Intelligence
|
1 September 2005
|
| lombardy.04.tcs
|
Introducing Vaucanson
|
Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch
|
Theoretical Computer Science
|
1 November 2004
|
| geraud.04.jasp
|
Fast road network extraction in satellite images using mathematical morphology and Markov random fields
|
Thierry Géraud, Jean-Baptiste Mouret
|
EURASIP Journal on Applied Signal Processing
|
5 September 2004
|
| bloch.05.prl
|
Fusion of spatial relationships for guiding recognitionexample of brain structure recognition in 3D MRI
|
Isabelle Bloch, Olivier Colliot, Oscar Camara, Thierry Géraud
|
Pattern Recognition Letters
|
9 July 2004
|
| bloch.03.ai
|
Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—application to 3D brain imaging
|
Isabelle Bloch, Thierry Géraud, Henri Maître
|
Artificial Intelligence
|
1 August 2003
|
