Diane Bahrami

	2009
5		Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre: Symbolic Execution Techniques Extended to Systems. ICSEA 2009: 78-85
	2007
4		Marc Aiguier, Diane Bahrami: Structures for Abstract Rewriting. J. Autom. Reasoning 38(4): 303-351 (2007)
	2006
3		Marc Aiguier, Diane Bahrami, Delphine Longuet: An Abstract Way to Define Rewriting Logic. Electr. Notes Theor. Comput. Sci. 159: 205-226 (2006)
	2003
2		Marc Aiguier, Diane Bahrami: Une approche générique de la réécriture. Technique et Science Informatiques 22(4): 401-433 (2003)
	2002
1		Marc Aiguier, Diane Bahrami, Catherine Dubois: On a Generalised Logicality Theorem. AISC 2002: 51-63

Coauthor Index

1	Marc Aiguier	[1] [2] [3] [4] [5]
2	Catherine Dubois	[1]
3	Christophe Gaston	[5]
4	Arnault Lapitre	[5]
5	Delphine Longuet	[3]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page