K. Lau
发表
P. Flener,
W. Bibel,
K. Lau,
2000
.
Yves Deville,
Kung-Kiu Lau,
Y. Deville,
1994,
J. Log. Program..
K. Lau,
Shui-Ming Ho,
2006
.
K. Lau,
1992
.
K. Lau,
Shui-Ming Ho,
2003
.
Kung-Kiu Lau,
Frank Lüders,
Shui-Ming Ho,
2002
.
Mario Ornaghi,
K. Lau,
C. Kreitz,
2007
.
K. Lau,
2003
.
Mario Ornaghi,
K. Lau,
C. Kreitz,
1995
.
K. Lau,
M. V. Bossche,
2022
.
Pierre Flener,
Kung-Kiu Lau,
Mario Ornaghi,
1999
.
K. Lau,
C. M. Tran,
S. Cola,
2016
.
K. Lau,
F. M. Taweel,
2006
.
Kung-Kiu Lau,
K. Lau,
2004
.
K. Lau,
I. Crnkovic,
M. Larsson,
1999
.
Mario Ornaghi,
K. Lau,
2007
.
Kung-Kiu Lau,
Simone Di Cola,
K. Lau,
2017,
Series on Component-Based Software Development.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1993,
ICLP.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1997,
J. Log. Program..
François Goasdoué,
Chen Qian,
Vincent Claveau,
2015
.
Kung-Kiu Lau,
Tauseef Rana,
K. Lau,
2010,
2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications.
Kung-Kiu Lau,
Mario Ornaghi,
Alberto Momigliano,
2004,
LOPSTR.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
2004,
Program Development in Computational Logic.
Kung-Kiu Lau,
Damian Arellanes,
K. Lau,
2020,
Future Gener. Comput. Syst..
Kung-Kiu Lau,
Chen Qian,
K. Lau,
2017,
2017 International Conference on Computational Science and Computational Intelligence (CSCI).
Kung-Kiu Lau,
Geraint A. Wiggins,
K. Lau,
1994,
ICLP.
Kung-Kiu Lau,
K. Lau,
Zheng Wang,
2006,
IEEE Transactions on Software Engineering.
Kung-Kiu Lau,
Faris M. Taweel,
K. Lau,
2007,
CBSE.
Kung-Kiu Lau,
Simone Di Cola,
Cuong M. Tran,
2015,
2015 41st Euromicro Conference on Software Engineering and Advanced Applications.
Kung-Kiu Lau,
Vladyslav Ukis,
K. Lau,
2006,
CBSE.
Kung-Kiu Lau,
Ioannis Ntalamagkas,
K. Lau,
2009,
2009 35th Euromicro Conference on Software Engineering and Advanced Applications.
Kung-Kiu Lau,
Ioannis Ntalamagkas,
K. Lau,
2008,
2008 34th Euromicro Conference Software Engineering and Advanced Applications.
Kung-Kiu Lau,
Xiang-Zhen Qiao,
K. Lau,
1986,
CONPAR.
Kung-Kiu Lau,
Petr Stepan,
K. Lau,
2012,
CBSE '12.
Kung-Kiu Lau,
Ling Ling,
Vladyslav Ukis,
2007,
SC@ETAPS.
Kung-Kiu Lau,
Tauseef Rana,
Cuong M. Tran,
2010,
CBSE.
Kung-Kiu Lau,
Ling Ling,
Perla Velasco-Elizondo,
2007,
CBSE.
Kung-Kiu Lau,
Vladyslav Ukis,
K. Lau,
2007,
CBSE.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
2000,
Computational Logic.
Kung-Kiu Lau,
Zheng Wang,
K. Lau,
2005,
31st EUROMICRO Conference on Software Engineering and Advanced Applications.
Kung-Kiu Lau,
Simone Di Cola,
Cuong M. Tran,
2016,
2016 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).
Alberto Pettorossi,
Maurizio Proietti,
Kung-Kiu Lau,
1995,
ILPS.
Kung-Kiu Lau,
Cuong M. Tran,
K. Lau,
2007,
WEWST.
Kung-Kiu Lau,
Iman Poernomo,
John N. Crossley,
2006
.
Kung-Kiu Lau,
Simone Di Cola,
K. Lau,
2017
.
Kung-Kiu Lau,
K. Lau,
2014,
CBSE '14.
Kung-Kiu Lau,
Petr Stepan,
Cuong M. Tran,
2011,
CBSE '11.
Kung-Kiu Lau,
Timothy Paul Clement,
K. Lau,
1992,
Workshops in Computing.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1999,
International Conference on Logic Programming.
Kung-Kiu Lau,
Damian Arellanes Molina,
K. Lau,
2019,
International Conference on Automation and Computing.
K. Lau,
R. Sakellariou,
Damian Arellanes,
2022
.
Kung-Kiu Lau,
Damian Arellanes,
K. Lau,
2019,
2019 IEEE 5th World Forum on Internet of Things (WF-IoT).
Kung-Kiu Lau,
Damian Arellanes,
K. Lau,
2018,
2018 IEEE International Congress on Internet of Things (ICIOT).
K. Lau,
Damian Arellanes,
2018,
ICIOT.
Kung-Kiu Lau,
Damian Arellanes,
K. Lau,
2017,
2017 IEEE 10th Conference on Service-Oriented Computing and Applications (SOCA).
Kung-Kiu Lau,
Damian Arellanes,
K. Lau,
2017,
2017 IEEE 7th International Symposium on Cloud and Service Computing (SC2).
Kung-Kiu Lau,
John Newsome Crossley,
Iman Poernomo,
2005,
CLASE.
Kung-Kiu Lau,
K. Lau,
1991,
Computer/law journal.
Kung-Kiu Lau,
Cuong M. Tran,
Faris M. Taweel,
2011,
2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.
Kung-Kiu Lau,
K. Lau,
2004
.
Kung-Kiu Lau,
Steven David Prestwich,
K. Lau,
1991,
ISLP.
Kung-Kiu Lau,
Mario Ornaghi,
Sten-Åke Tärnlund,
1999,
J. Log. Program..
Pierre Flener,
Kung-Kiu Lau,
Mario Ornaghi,
1997,
Proceedings 12th IEEE International Conference Automated Software Engineering.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1994,
International Workshop/Symposium on Logic-based Program Synthesis and Transformation.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
2003,
LOPSTR.
Pierre Flener,
Kung-Kiu Lau,
Mario Ornaghi,
2000,
J. Symb. Comput..
Shaoying Liu,
Kung-Kiu Lau,
Mario Ornaghi,
1998,
Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1998,
LOPSTR.
Kung-Kiu Lau,
Mario Ornaghi,
Alan Wills,
1997,
First IEEE International Conference on Formal Engineering Methods.
Chris Moss,
Kung-Kiu Lau,
Mario Ornaghi,
1996,
FME 1996.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1996,
LOPSTR.
Christoph Kreitz,
Kung-Kiu Lau,
Mario Ornaghi,
1996,
FAPR.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1995,
LOPSTR.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1997,
APPIA-GULP-PRODE.
Christoph Kreitz,
Kung-Kiu Lau,
Mario Ornaghi,
1997
.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1996
.
Kung-Kiu Lau,
Mario Ornaghi,
Mario Ornaghi,
1995,
ILPS.
Kung-Kiu Lau,
Mario Ornaghi,
Sten-Åke Tärnlund,
1994,
ICLP.
Kung-Kiu Lau,
Simone Di Cola,
K. Lau,
2017
.
Richard Banach,
Kung-Kiu Lau,
K. Lau,
2005
.
Kung-Kiu Lau,
Simone Di Cola,
K. Lau,
2017
.
Kung-Kiu Lau,
K. Lau,
2000
.
Luís Moniz Pereira,
Peter J. Stuckey,
Ulrich Furbach,
2000,
Lecture Notes in Computer Science.
Kung-Kiu Lau,
Tauseef Rana,
Cuong M. Tran,
2012,
CBSE '12.
Kung-Kiu Lau,
Faris M. Taweel,
K. Lau,
2009,
CBSE.
Kung-Kiu Lau,
Faris M. Taweel,
K. Lau,
2006,
CBSE.
Maria Fazio,
Antonio Celesti,
Kung-Kiu Lau,
2015,
ESOCC.
Kung-Kiu Lau,
Cuong M. Tran,
K. Lau,
2012,
2012 38th Euromicro Conference on Software Engineering and Advanced Applications.
Kung-Kiu Lau,
Perla Velasco-Elizondo,
K. Lau,
2010,
J. Syst. Softw..
Kung-Kiu Lau,
Zheng Wang,
Vladyslav Ukis,
2006,
ABMB.
Massimo Villari,
Kung-Kiu Lau,
W. Zimmermann,
2015,
Lecture Notes in Computer Science.