Albert Liu Vis

*	2009
2	EE	Jason Cong, Albert Liu, Bin Liu: A variation-tolerant scheduler for better than worst-case behavioral synthesis. CODES+ISSS 2009: 221-228
	2008
1	EE	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