 | 2009 |
|---|
| 10 |       | Alexandre Duret-Lutz,
Denis Poitrenaud,
Jean-Michel Couvreur:
On-the-fly Emptiness Check of Transition-Based Streett Automata.
ATVA 2009: 213-227 |
| 2008 |
|---|
| 9 | | Akim Demaille,
Alexandre Duret-Lutz,
Florian Lesaint,
Sylvain Lombardy,
Jacques Sakarovitch,
Florent Terrones:
An XML Format Proposal for the Description of Weighted Automata, Transducers and Regular Expressions.
FSMNLP 2008: 199-206 |
| 2007 |
|---|
| 8 | | Souheib Baarir,
Alexandre Duret-Lutz:
Emptiness Check of Powerset Buchi Automata using Inclusion Tests.
ACSD 2007: 41-50 |
| 7 | | Daniel M. Germán,
Lloyd Burchill,
Alexandre Duret-Lutz,
Sébastien Pérez-Duarte,
Emmanuel Pérez-Duarte,
Josh Sommers:
Flattening the Viewable Sphere.
Computational Aesthetics 2007: 23-28 |
| 2005 |
|---|
| 6 | | Jean-Michel Couvreur,
Alexandre Duret-Lutz,
Denis Poitrenaud:
On-the-Fly Emptiness Checks for Generalized Büchi Automata.
SPIN 2005: 169-184 |
| 2004 |
|---|
| 5 | | Alexandre Duret-Lutz,
Denis Poitrenaud:
SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata.
MASCOTS 2004: 76-83 |
| 2003 |
|---|
| 4 |  | H. Xue,
Thierry Géraud,
Alexandre Duret-Lutz:
Multiband segmentation using morphological clustering and fusion $application to color image segmentation.
ICIP (1) 2003: 353-356 |
| 2001 |
|---|
| 3 | | Alexandre Duret-Lutz:
Expression Templates in Ada.
Ada-Europe 2001: 191-202 |
| 2 | | Alexandre Duret-Lutz,
Thierry Géraud,
Akim Demaille:
Design Patterns for Generic Programming in C++.
COOTS 2001: 189-202 |
| 2000 |
|---|
| 1 | | Thierry Géraud,
Yoann Fabre,
Alexandre Duret-Lutz:
Obtaining Genericity for Image Processing and Pattern Recognition Algorithms.
ICPR 2000: 4816-4819 |
