Yong Kiam Tan
发表
André Platzer,
Magnus O. Myreen,
Stefan Mitsch,
2018,
PLDI.
Fabian Immler,
Yong Kiam Tan,
Fabian Immler,
2020,
CPP.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2020,
Journal of Automated Reasoning.
Yong Kiam Tan,
Andr'e Platzer,
André Platzer,
2019,
J. ACM.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2017,
Proc. ACM Program. Lang..
André Platzer,
Yong Kiam Tan,
André Platzer,
2018,
LICS.
Fabian Immler,
Yong Kiam Tan,
2019,
Arch. Formal Proofs.
Feng Yang,
Rubing Duan,
Rick Siow Mong Goh,
2014,
2014 IEEE International Conference on Big Data (Big Data).
Stefan Mitsch,
Yong Kiam Tan,
Andrew Sogokon,
2020,
ArXiv.
Yong Kiam Tan,
Andr'e Platzer,
2020,
ArXiv.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2016,
ICFP.
André Platzer,
Yong Kiam Tan,
Khalil Ghorbal,
2018,
FM.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2019,
PLDI.
Ramana Kumar,
Magnus O. Myreen,
Yong Kiam Tan,
2017,
CPP.
André Platzer,
Stefan Mitsch,
Brandon Bohrer,
2019,
1903.05073.
Yong Kiam Tan,
Andr'e Platzer,
2020,
ArXiv.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2019,
Journal of Functional Programming.
Rick Siow Mong Goh,
Ma Bin,
Yong Kiam Tan,
2016,
ArXiv.
Yong Kiam Tan,
Andr'e Platzer,
2021,
ArXiv.
André Platzer,
Stefan Mitsch,
Yong Kiam Tan,
2019,
FM.
Ramana Kumar,
Scott Owens,
Yong Kiam Tan,
2015,
IFL '15.
André Platzer,
Yong Kiam Tan,
André Platzer,
2019,
FM.
Ramana Kumar,
Magnus O. Myreen,
Scott Owens,
2016,
ESOP.
Ramana Kumar,
Michael Norrish,
Magnus O. Myreen,
2018,
IJCAR.
Magnus O. Myreen,
Yong Kiam Tan,
Alejandro Gómez-Londoño,
2020,
Proc. ACM Program. Lang..
Stefan Mitsch,
Brandon Bohrer,
Yong Kiam Tan,
2019,
IEEE Robotics and Automation Letters.
Yong Liu,
Xinxing Xu,
Yong Kiam Tan,
2016,
DLRS@RecSys.
Bohua Zhan,
Naijun Zhan,
Shuling Wang,
2019,
ARCH@CPSIoTWeek.
André Platzer,
Yong Kiam Tan,
Katherine Cordwell,
2021,
Arch. Formal Proofs.
Yong Kiam Tan,
Andr'e Platzer,
Katherine Cordwell,
2021,
ITP.
Yong Kiam Tan,
Andr'e Platzer,
André Platzer,
2020,
TACAS.
Stefan Mitsch,
Yong Kiam Tan,
Andr'e Platzer,
2021,
ArXiv.
Yong Kiam Tan,
Andr'e Platzer,
2021,
ADHS.
Magnus O. Myreen,
Marijn J. H. Heule,
Yong Kiam Tan,
2021,
TACAS.
Magnus O. Myreen,
Yong Kiam Tan,
Ramana Kumar,
2015
.
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2018
.
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2022,
ArXiv.
Magnus O. Myreen,
Yong Kiam Tan,
Eva Darulova,
2022,
Dagstuhl Artifacts Ser..
Yong Kiam Tan,
A. Platzer,
Katherine Kosaian,
2022,
ArXiv.
Yong Kiam Tan,
A. Platzer,
Stefan Mitsch,
2021,
Formal Methods in System Design.
Yong Kiam Tan,
Stefan Mitsch,
James Gallicchio,
2022,
IJCAR.
Yong Kiam Tan,
Stefan Mitsch,
Shuling Wang,
2019
.
Magnus O. Myreen,
Marijn J. H. Heule,
Yong Kiam Tan,
2023,
International Journal on Software Tools for Technology Transfer.
Yong Kiam Tan,
Katherine Kosaian,
André Platzer,
2022,
CPP.
Yong Kiam Tan,
Katherine Cordwell,
André Platzer,
2021,
ITP.
Yong Kiam Tan,
Stefan Mitsch,
Katherine Cordwell,
2020,
Formal Methods in System Design.
Yong Kiam Tan,
Stefan Mitsch,
André Platzer,
2021,
HSCC.
Yong Kiam Tan,
André Platzer,
2019,
J. ACM.