Search the dblp DataBase

Publications of Author

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