Alexandre Duret-Lutz

	2011
13		Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg: Self-Loop Aggregation Product - A New Hybrid Approach to On-the-Fly LTL Model Checking. ATVA 2011: 336-350
12		Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud, Yann Thierry-Mieg: Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking CoRR abs/1106.5700: (2011)
	2009
11		Alexandre Duret-Lutz, Denis Poitrenaud, Jean-Michel Couvreur: On-the-fly Emptiness Check of Transition-Based Streett Automata. ATVA 2009: 213-227
	2008
10		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
9		Souheib Baarir, Alexandre Duret-Lutz: Emptiness Check of Powerset Buchi Automata using Inclusion Tests. ACSD 2007: 41-50
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. Computational Aesthetics 2007: 23-28
	2005
7		Jean-Michel Couvreur, Alexandre Duret-Lutz, Denis Poitrenaud: On-the-Fly Emptiness Checks for Generalized Büchi Automata. SPIN 2005: 169-184
	2004
6		Alexandre Duret-Lutz, Denis Poitrenaud: SPOT: An Extensible Model Checking Library Using Transition-Based Generalized Büchi Automata. MASCOTS 2004: 76-83
	2003
5		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
4		Alexandre Duret-Lutz: Expression Templates in Ada. Ada-Europe 2001: 191-202
3		Alexandre Duret-Lutz, Thierry Géraud, Akim Demaille: Design Patterns for Generic Programming in C++. COOTS 2001: 189-202
	2000
2		Thierry Géraud, Alexandre Duret-Lutz: Generic Programming Redesign of Patterns. EuroPLoP 2000: 283-294
1		Thierry Géraud, Yoann Fabre, Alexandre Duret-Lutz: Obtaining Genericity for Image Processing and Pattern Recognition Algorithms. ICPR 2000: 4816-4819

Coauthor Index

1	Souheib Baarir	[9]
2	Lloyd Burchill	[8]
3	Jean-Michel Couvreur	[7] [11]
4	Akim Demaille	[3] [10]
5	Yoann Fabre	[1]
6	Thierry Géraud	[1] [2] [3] [5]
7	Daniel M. Germán	[8]
8	Kais Klai	[12] [13]
9	Florian Lesaint	[10]
10	Sylvain Lombardy	[10]
11	Emmanuel Pérez-Duarte	[8]
12	Sébastien Pérez-Duarte	[8]
13	Denis Poitrenaud	[6] [7] [11] [12] [13]
14	Jacques Sakarovitch	[10]
15	Josh Sommers	[8]
16	Florent Terrones	[10]
17	Yann Thierry-Mieg	[12] [13]
18	H. Xue	[5]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page