Albert Liu

	2009
2		Jason Cong, Albert Liu, Bin Liu: A variation-tolerant scheduler for better than worst-case behavioral synthesis. CODES+ISSS 2009: 221-228
	2008
1		Dave Barker-Plummer, John Etchemendy, Albert Liu, Michael Murray, Nik Swoboda: Openproof - A Flexible Framework for Heterogeneous Reasoning. Diagrams 2008: 347-349

Coauthor Index

1	Dave Barker-Plummer	[1]
2	Jason Cong	[2]
3	John Etchemendy	[1]
4	Bin Liu	[2]
5	Michael Murray	[1]
6	Nik Swoboda	[1]

Colors in the list of coauthors