Author: Albert Liu

Albert Liu

Albert Liu

Publications

Publication period start: 2008
Publication period end: 2008
Number of co-authors: 4

Co-authors

Number of publications with favourite co-authors
John Etchemendy
1
Michael Murray
1
Nik Swoboda
1

Productive Colleagues

Most productive colleagues in number of publications
John Etchemendy
3
Dave Barker-Plummer
5
Nik Swoboda
9

Publications

Barker-Plummer, Dave, Etchemendy, John, Liu, Albert, Murray, Michael, Swoboda, Nik (2008): Openproof - A Flexible Framework for Heterogeneous Reasoning. In: Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany. pp. 347-349. http://dx.doi.org/10.1007/978-3-540-87730-1_32