Jérôme Leroux

	2009
29		Bernard Boigelot, Julien Brusten, Jérôme Leroux: A Generalization of Semenov's Theorem to Automata over Real Numbers. CADE 2009: 469-484
28		Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm: Polynomial Precise Interval Analysis Revisited. Efficient Algorithms 2009: 422-437
27		Jérôme Leroux, Gérald Point: TaPAS: The Talence Presburger Arithmetic Suite. TACAS 2009: 182-185
	2008
26		Jérôme Leroux: Convex Hull of Arithmetic Automata. SAS 2008: 47-61
25		Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun: Accelerating Interpolation-Based Model-Checking. TACAS 2008: 428-442
24		Florent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals. TIME 2008: 147-155
23		Alain Finkel, Jérôme Leroux: The convex hull of a regular set of integer vectors is polyhedral and effectively computable CoRR abs/0812.1951: (2008)
22		Florent Bouchy, Alain Finkel, Jérôme Leroux: Decomposition of Decidable First-Order Logics over Integers and Reals CoRR abs/0812.1967: (2008)
21		Jérôme Leroux, Grégoire Sutre: Accelerated Data-Flow Analysis CoRR abs/0812.2011: (2008)
20		Jérôme Leroux: Convex Hull of Arithmetic Automata CoRR abs/0812.2014: (2008)
19		Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: acceleration from theory to practice. STTT 10(5): 401-424 (2008)
18		Jérôme Leroux: Structural Presburger digit vector automata. Theor. Comput. Sci. 409(3): 549-556 (2008)
	2007
17		Jérôme Leroux, Grégoire Sutre: Acceleration in Convex Data-Flow Analysis. FSTTCS 2007: 520-531
16		Jérôme Leroux, Grégoire Sutre: Accelerated Data-Flow Analysis. SAS 2007: 184-199
	2006
15		Sébastien Bardin, Jérôme Leroux, Gérald Point: FAST Extended Release. CAV 2006: 63-66
14		Jérôme Leroux, Grégoire Sutre: Flat counter automata almost everywhere!. Software Verification: Infinite-State Model Checking and Static Program Analysis 2006
13		Jérôme Leroux: Least Significant Digit First Presburger Automata CoRR abs/cs/0612037: (2006)
	2005
12		Sébastien Bardin, Alain Finkel, Jérôme Leroux, Ph. Schnoebelen: Flat Acceleration in Symbolic Model Checking. ATVA 2005: 474-488
11		Jérôme Leroux, Grégoire Sutre: Flat Counter Automata Almost Everywhere! ATVA 2005: 489-503
10		Jérôme Leroux: A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams. LICS 2005: 147-156
9		Alain Finkel, Jérôme Leroux: The convex hull of a regular set of integer vectors is polyhedral and effectively computable. Inf. Process. Lett. 96(1): 30-35 (2005)
	2004
8		Jérôme Leroux: Disjunctive Invariants for Numerical Systems. ATVA 2004: 93-107
7		Alain Finkel, Jérôme Leroux: Image Computation in Infinite State Model Checking. CAV 2004: 361-371
6		Jérôme Leroux, Grégoire Sutre: On Flatness for 2-Dimensional Vector Addition Systems with States. CONCUR 2004: 402-416
5		Alain Finkel, Jérôme Leroux: Polynomial Time Image Computation with Interval-Definable Counters Systems. SPIN 2004: 182-197
4		Sébastien Bardin, Alain Finkel, Jérôme Leroux: FASTer Acceleration of Counter Automata in Practice. TACAS 2004: 576-590
3		Jérôme Leroux: The Affine Hull of a Binary Automaton is Computable in Polynomial Time. Electr. Notes Theor. Comput. Sci. 98: 89-104 (2004)
	2003
2		Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci: FAST: Fast Acceleration of Symbolikc Transition Systems. CAV 2003: 118-121
	2002
1		Alain Finkel, Jérôme Leroux: How to Compose Presburger-Accelerations: Applications to Broadcast Protocols. FSTTCS 2002: 145-156

Coauthor Index

1	Sébastien Bardin	[2] [4] [12] [15] [19]
2	Bernard Boigelot	[29]
3	Florent Bouchy	[22] [24]
4	Julien Brusten	[29]
5	Nicolas Caniart	[25]
6	Alain Finkel	[1] [2] [4] [5] [7] [9] [12] [19] [22] [23] [24]
7	Emmanuel Fleury	[25]
8	Thomas Gawlitza	[28]
9	Laure Petrucci (Laure Petrucci-Dauchy)	[2] [19]
10	Gérald Point	[15] [27]
11	Jan Reineke	[28]
12	Ph. Schnoebelen	[12]
13	Helmut Seidl	[28]
14	Grégoire Sutre	[6] [11] [14] [16] [17] [21] [28]
15	Reinhard Wilhelm	[28]
16	Marc Zeitoun	[25]

Colors in the list of coauthors