A. Tiu
发表
J. Hannan,
A. Tiu,
2004
.
Steffen Hölldobler,
A. Tiu,
A. Guglielmi,
2001
.
Dale Miller,
A. Tiu,
D. Miller,
2004
.
Dale Miller,
A. Tiu,
D. Miller,
2005,
FGUC.
A. Tiu,
2007
.
Zhé Hóu,
J. Nebhen,
A. Tiu,
2022,
2202.04192.
A. Bauer,
F. Baader,
A. Tiu,
2008
.
A. Tiu,
2005
.
Koh Chuen Hoa,
Yang Liu,
Zhé Hóu,
2016
.
Ki Yung Ahn,
A. Tiu,
R. Horne,
2018
.
Jun Sun,
Shang-Wei Lin,
Fuyuan Zhang,
2020
.
A. Tiu,
2002
.
A. Tiu,
R. Horne,
2016
.
R. Goré,
A. Tiu,
R. Clouston,
2018
.
A. Tiu,
Nisansala Yatapanage,
A. James,
2022,
ICFEM.
Koh Chuen Hoa,
J. Dong,
Zhé Hóu,
2020,
Journal of Automated Reasoning.
A. Tiu,
Sacerdoti Coen,
2021
.
Rajeev Goré,
Alwen Tiu,
Jeremy E. Dawson,
2013,
CSL.
Alwen Tiu,
A. Tiu,
Alwen Tiu,
2011,
TABLEAUX.
Rajeev Goré,
Alwen Tiu,
Linda Postniece,
2011,
Log. Methods Comput. Sci..
Rajeev Goré,
Alwen Tiu,
R. Goré,
2007,
J. Log. Comput..
Alwen Tiu,
A. Tiu,
2005,
Log. Methods Comput. Sci..
Yang Liu,
Shang-Wei Lin,
Bihuan Chen,
2017,
ESEC/SIGSOFT FSE.
C.-H. Luke Ong,
Alwen Tiu,
Emanuele D'Osualdo,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Alberto Momigliano,
Alwen Tiu,
A. Momigliano,
2003,
TYPES.
Yang Liu,
Xiaoning Du,
Alwen Tiu,
2015,
FM.
Yang Liu,
David Sanán,
Alwen Tiu,
2016,
FM.
Yang Liu,
Fuyuan Zhang,
Zhimin Wu,
2016,
FM.
Ross Horne,
Alwen Tiu,
Ki Yung Ahn,
2017,
ArXiv.
Alwen Tiu,
Jeremy E. Dawson,
A. Tiu,
2010,
2010 23rd IEEE Computer Security Foundations Symposium.
Tim S. Lyon,
A. Ciabattoni,
A. Tiu,
2019,
ACM Trans. Comput. Log..
Alwen Tiu,
A. Tiu,
2009
.
Stephan Merz,
Pascal Fontaine,
Jean-Yves Marion,
2006,
TACAS.
Kerry L. Taylor,
Kee Siong Ng,
Alwen Tiu,
2019,
BlockSW/CKG@ISWC.
Damián Barsotti,
Leonor Prensa Nieto,
Alwen Tiu,
2007,
Formal Aspects of Computing.
Rajeev Goré,
Alwen Tiu,
Zhe Hou,
2013,
TABLEAUX.
Rajeev Goré,
Alwen Tiu,
Linda Postniece,
2008,
Advances in Modal Logic.
Jeremy Dawson,
Alwen Tiu,
Rajeev Gore,
2008,
RTA.
Ross Horne,
Alwen Tiu,
A. Tiu,
2019,
Mathematical Structures in Computer Science.
Bogdan Aman,
Gabriel Ciobanu,
Ross Horne,
2016,
ACM Trans. Comput. Log..
Gabriel Ciobanu,
Bogdan Aman,
Ross Horne,
2016,
CONCUR.
Alwen Tiu,
Yuxing Deng,
Yuxin Deng,
2012,
Formal Aspects of Computing.
Alwen Tiu,
Di Long Li,
A. Tiu,
2019,
CADE.
Alwen Tiu,
Jeremy E. Dawson,
A. Tiu,
2009,
TPHOLs.
Dale Miller,
Alwen Tiu,
A. Tiu,
2008
.
Dale Miller,
Alwen Tiu,
A. Tiu,
2008,
TOCL.
Dale Miller,
Alwen Tiu,
A. Tiu,
2005,
FGUC.