Hongyan Sun

2004
2	EE	Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl: The Succinct Solver Suite. TACAS 2004: 251-265
2002
1		Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002)

Coauthor Index

1	Tobias Amnell	[1]
2	Mikael Buchholtz	[2]
3	Elena Fersman	[1]
4	René Rydhof Hansen	[2]
5	Flemming Nielson	[2]
6	Hanne Riis Nielson	[2]
7	Paul Pettersson	[1]
8	Henrik Pilegaard	[2]
9	Helmut Seidl	[2]
10	Wang Yi	[1]

Colors in the list of coauthors