Weiwen Xu

2006
2	EE	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	EE	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]
2	Emmanuelle Encrenaz-Tiphène	[2]
3	Laurent Fribourg	[2]
4	Jean-Pierre Jouannaud	[1]

Colors in the list of coauthors