Marc Aiguier

2009
23	EE	Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès: Spatial Information and Boolean Genetic Regulatory Networks. BICoB 2009: 270-281
2008
22	EE	Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall: Property Preservation along Embedding of Biological Regulatory Networks. AB 2008: 125-138
21	EE	Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki: A Formal Definition of Complex Software. ICSEA 2008: 415-420
2007
20	EE	Delphine Longuet, Marc Aiguier: Specification-Based Testing for CoCasl's Modal Specifications. CALCO 2007: 356-371
19	EE	Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet: Test Selection Criteria for Quantifier-Free First-Order Specifications. FSEN 2007: 144-159
18	EE	Marc Aiguier, Delphine Longuet: Test Selection Criteria for Modal Specifications of Reactive Systems. TASE 2007: 159-170
17	EE	Marc Aiguier, Razvan Diaconescu: Stratified institutions and elementary homomorphisms. Inf. Process. Lett. 103(1): 5-13 (2007)
16	EE	Marc Aiguier, Diane Bahrami: Structures for Abstract Rewriting. J. Autom. Reasoning 38(4): 303-351 (2007)
15	EE	Marc Aiguier, Fabrice Barbier: An Institution-independent Proof of the Beth Definability Theorem. Studia Logica 85(3): 333-359 (2007)
2006
14	EE	Marc Aiguier, Karim Berkani, Pascale Le Gall: Feature Specification and Static Analysis for Interaction Resolution. FM 2006: 364-379
13	EE	Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet: Automatic Generation of Functional Programs from CASL Specifications. ICSEA 2006: 34
12	EE	Marc Aiguier, Diane Bahrami, Delphine Longuet: An Abstract Way to Define Rewriting Logic. Electr. Notes Theor. Comput. Sci. 159: 205-226 (2006)
2005
11	EE	Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil: A Temporal Logic for Input Output Symbolic Transition Systems. APSEC 2005: 43-50
10	EE	Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre: Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. FATES 2005: 203-217
9	EE	Roxane Adle, Marc Aiguier, Franck Delaplace: Toward an automatic parallelization of sparse matrix computations. J. Parallel Distrib. Comput. 65(3): 313-330 (2005)
2004
8	EE	Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens: An Algebraic Approach for Codesign. ICTAC 2004: 415-430
7	EE	Marc Aiguier, Fabrice Barbier, Pascal Poizat: A Logic with Temporal Glue for Mixed Specifications. Electr. Notes Theor. Comput. Sci. 97: 155-174 (2004)
6	EE	Marc Aiguier: ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. J. Log. Comput. 14(2): 145-178 (2004)
2003
5	EE	Marc Aiguier, Diane Bahrami: Une approche générique de la réécriture. Technique et Science Informatiques 22(4): 401-433 (2003)
2002
4	EE	Marc Aiguier, Diane Bahrami, Catherine Dubois: On a Generalised Logicality Theorem. AISC 2002: 51-63
3	EE	Marc Aiguier, Christophe Gaston, Pascale Le Gall: Feature Logics and Refinement. APSEC 2002: 385-
2000
2	EE	Roxane Adle, Marc Aiguier, Franck Delaplace: Automatic Parallelization of Sparse Matrix Computations: A Static Analysis. Euro-Par 2000: 340-348
1994
1		Gilles Bernot, Pascale Le Gall, Marc Aiguier: Label Algebras and Exception Handling. Sci. Comput. Program. 23(2-3): 227-286 (1994)

Coauthor Index

1	Roxane Adle	[2] [9]
2	Agnès Arnould	[10] [13] [19]
3	Diane Bahrami	[4] [5] [12] [16]
4	Fabrice Barbier	[7] [15]
5	Karim Berkani	[14]
6	Gilles Bernot	[1]
7	Stefan Béroff	[8]
8	Clément Boin	[10]
9	Thibaud Brunet	[13]
10	Jean-Paul Comet	[22]
11	Franck Delaplace	[2] [9]
12	Razvan Diaconescu	[17]
13	Catherine Dubois	[4]
14	Laurent Fuchs	[13]
15	Pascale Le Gall	[1] [3] [10] [11] [14] [19] [21] [22] [23]
16	Christophe Gaston	[3]
17	Joan Hérisson	[23]
18	Ivan Junier	[23]
19	François Képès	[23]
20	Delphine Longuet	[11] [12] [18] [19] [20]
21	Mbarka Mabrouki	[21] [22]
22	Matthieu Manceny	[23]
23	Bruno Marre	[10]
24	Pascal Poizat	[7]
25	Pierre-Yves Schobbens	[8]
26	Assia Touil	[11]

Colors in the list of coauthors