Weiwen Xu

	2009
3		Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu: Timed verification of the generic architecture of a memory circuit using parametric timed automata. Formal Methods in System Design 34(1): 59-81 (2009)
	2006
2		Remy Chevallier, Emmanuelle Encrenaz-Tiphène, Laurent Fribourg, Weiwen Xu: Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata. FORMATS 2006: 113-127
1		Jean-Pierre Jouannaud, Weiwen Xu: Automatic Complexity Analysis for Programs Extracted from Coq Proof. Electr. Notes Theor. Comput. Sci. 153(1): 35-53 (2006)

Coauthor Index

1	Remy Chevallier	[2] [3]
2	Emmanuelle Encrenaz-Tiphène (Emmanuelle Encrenaz)	[2] [3]
3	Laurent Fribourg	[2] [3]
4	Jean-Pierre Jouannaud	[1]

Colors in the list of coauthors