Personal information
Activities
Employment (1)
Graduate Research Assistant
(Computer Science Department)
Employment
Source:
Yong Kiam Tan
Works (14)
2024
|
Book chapter
Contributors:
Hannes Ihalainen;
Andy Oertel;
Yong Kiam Tan;
Jeremias Berg;
Matti Järvisalo;
Magnus O. Myreen;
Jakob Nordström
Source:
check_circle
Crossref
2024
|
Book chapter
Contributors:
Katherine Kosaian;
Yong Kiam Tan;
Kristin Yvonne Rozier
Source:
check_circle
Crossref
2024
|
Book chapter
Contributors:
Yong Kiam Tan;
Jiong Yang;
Mate Soos;
Magnus O. Myreen;
Kuldeep S. Meel
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2023-06-06
|
Journal article
Contributors:
Thomas Sewell;
Magnus O. Myreen;
Yong Kiam Tan;
Ramana Kumar;
Alexander Mihajlovic;
Oskar Abrahamsson;
Scott Owens
Source:
check_circle
Crossref
2022
|
Book chapter
Contributors:
James Gallicchio;
Yong Kiam Tan;
Stefan Mitsch;
André Platzer
Source:
check_circle
Crossref
2021
|
Book chapter
Contributors:
Yong Kiam Tan;
Marijn J. H. Heule;
Magnus O. Myreen
Source:
check_circle
Crossref
Source:
check_circle
Crossref
Formal Methods in System Design
2021-10
|
Journal article
Contributors:
Andrew Sogokon;
Stefan Mitsch;
Yong Kiam Tan;
Katherine Cordwell;
André Platzer
Source:
check_circle
Crossref
Formal Aspects of Computing
2021-08
|
Journal article
Contributors:
Yong Kiam Tan;
André Platzer
Source:
check_circle
Crossref
Journal of the ACM
2020-02-29
|
Journal article
Contributors:
André Platzer;
Yong Kiam Tan
Source:
check_circle
Crossref
Source:
check_circle
Crossref
2019
|
Book chapter
Contributors:
Andrew Sogokon;
Stefan Mitsch;
Yong Kiam Tan;
Katherine Cordwell;
André Platzer
Source:
check_circle
Crossref
IEEE Robotics and Automation Letters
2019-07
|
Journal article
Contributors:
Rose Bohrer;
Yong Kiam Tan;
Stefan Mitsch;
Andrew Sogokon;
Andre Platzer
Source:
check_circle
Crossref
2018
|
Book chapter
Contributors:
Andrew Sogokon;
Khalil Ghorbal;
Yong Kiam Tan;
André Platzer
Source:
check_circle
Crossref