Laurence Rideau Vis

*	2009
6	EE	François Garillot, Georges Gonthier, Assia Mahboubi, Laurence Rideau: Packaging Mathematical Structures. TPHOLs 2009: 327-342
	2008
5	EE	Laurence Rideau, Bernard P. Serpette, Xavier Leroy: Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. J. Autom. Reasoning 40(4): 307-326 (2008)
	2007
4	EE	Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry: A Modular Formalisation of Finite Group Theory. TPHOLs 2007: 86-101
	2004
3	EE	Philippe Audebaud, Laurence Rideau: TEXmacs as Authoring Tool for Formal Developments. Electr. Notes Theor. Comput. Sci. 103: 27-48 (2004)
	2001
2	EE	Marc Daumas, Laurence Rideau, Laurent Théry: A Generic Library for Floating-Point Numbers and Its Application to Exact Computing. TPHOLs 2001: 169-184
	1994
1	EE	Michel Auguin, Mohamed Belhadj, Judith Benzakki, C. Carrière, Guy Durrieu, Thierry Gautier, Michel Israël, Paul Le Guernic, Michel Lemaître, E. Martin, P. Quinton, Laurence Rideau, François Rousseau, Olivier Sentieys: Towards a multi-formalism framework for architectural synthesis: the ASAR project. CODES 1994: 25-32

Coauthor Index

1	Philippe Audebaud	[3]
2	Michel Auguin	[1]
3	Mohamed Belhadj	[1]
4	Judith Benzakki	[1]
5	C. Carrière	[1]
6	Marc Daumas	[2]
7	Guy Durrieu	[1]
8	François Garillot	[6]
9	Thierry Gautier	[1]
10	Georges Gonthier	[4] [6]
11	Paul Le Guernic	[1]
12	Michel Israël	[1]
13	Michel Lemaître	[1]
14	Xavier Leroy	[5]
15	Assia Mahboubi	[4] [6]
16	E. Martin	[1]
17	P. Quinton	[1]
18	François Rousseau	[1]
19	Olivier Sentieys	[1]
20	Bernard P. Serpette	[5]
21	Enrico Tassi	[4]
22	Laurent Théry	[2] [4]

Colors in the list of coauthors