C.-H. Luke Ong
发表
Rolf Morel,
Andrew Cropper,
C.-H. Luke Ong,
2019,
JELIA.
C.-H. Luke Ong,
Naoki Kobayashi,
2011,
Log. Methods Comput. Sci..
C.-H. Luke Ong,
Nikos Tzevelekos,
N. Tzevelekos,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
C.-H. Luke Ong,
2015,
ArXiv.
C.-H. Luke Ong,
2000,
APLAS.
Densities of almost-surely terminating probabilistic programs are differentiable almost everywhere
pdf
C.-H. Luke Ong,
Carol Mak,
Hugo Paquet,
2020,
ArXiv.
C.-H. Luke Ong,
David Hopkins,
2009,
CAV.
C.-H. Luke Ong,
Christopher H. Broadbent,
2009,
FoSSaCS.
Andrzej S. Murawski,
C.-H. Luke Ong,
David Hopkins,
2011,
ICALP.
C.-H. Luke Ong,
Egor Ianovski,
2014,
KR.
C.-H. Luke Ong,
Samson Abramsky,
S. Abramsky,
1993,
Inf. Comput..
C.-H. Luke Ong,
C. Ong,
1988,
[Proceedings 1988] 29th Annual Symposium on Foundations of Computer Science.
C.-H. Luke Ong,
Jonathan Kochems,
Jonathan Kochems,
2011,
RTA.
C.-H. Luke Ong,
C. Ong,
1992,
ICALP.
C.-H. Luke Ong,
Egor Ianovski,
C. Ong,
2018,
Inf. Comput..
C.-H. Luke Ong,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
C.-H. Luke Ong,
Takeshi Tsukada,
2014,
CSL-LICS.
Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog
pdf
C.-H. Luke Ong,
Michael Peyton Jones,
Mario Alvarez-Picallo,
2019,
ESOP.
Andrzej S. Murawski,
C.-H. Luke Ong,
David Hopkins,
2012,
CAV.
Andrzej S. Murawski,
C.-H. Luke Ong,
2004,
Theor. Comput. Sci..
Andrzej S. Murawski,
C.-H. Luke Ong,
Olivier Serre,
2008,
LICS.
C.-H. Luke Ong,
Pietro Di Gianantonio,
C. Ong,
2002,
Theoretical Computer Science.
Andrzej S. Murawski,
C.-H. Luke Ong,
C. Ong,
2001,
TLCA.
Andrzej S. Murawski,
C.-H. Luke Ong,
Olivier Serre,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
C.-H. Luke Ong,
Alwen Tiu,
Emanuele D'Osualdo,
2017,
2017 IEEE 30th Computer Security Foundations Symposium (CSF).
The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is Decidable
Klaus Aehlig,
C.-H. Luke Ong,
Jolie G. de Miranda,
2005,
TLCA.
C.-H. Luke Ong,
C. Ong,
2013,
LATA.
Andrzej S. Murawski,
C.-H. Luke Ong,
1999,
CTCS.
Klaus Aehlig,
C.-H. Luke Ong,
Jolie G. de Miranda,
2005,
FoSSaCS.
C.-H. Luke Ong,
Jonathan Kochems,
2013,
CONCUR.
A semantic view of classical proofs: type-theoretic, categorical, and denotational characterizations
C.-H. Luke Ong,
C. Ong,
1996,
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
C.-H. Luke Ong,
Gordon T. Wilfong,
April Rasala Lehman,
2002,
SIGCOMM '02.
C.-H. Luke Ong,
C. Ong,
1993,
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
C.-H. Luke Ong,
Fabian Zaiser,
C. Ong,
2020,
VPT/HCVS@ETAPS.
C.-H. Luke Ong,
Steven J. Ramsay,
2011,
POPL '11.
C.-H. Luke Ong,
Max Schäfer,
Martin Lester,
2013,
CSF.
C.-H. Luke Ong,
C. Ong,
2008,
ESOP.
C.-H. Luke Ong,
Takeshi Tsukada,
2012,
ICALP.
C.-H. Luke Ong,
Andrew D. Ker,
Hanno Nickau,
2003,
Theor. Comput. Sci..
Andrzej S. Murawski,
C.-H. Luke Ong,
Conrad Cotton-Barratt,
2019,
TOPL.
C.-H. Luke Ong,
Olivier Serre,
Arnaud Carayol,
2010,
2010 25th Annual IEEE Symposium on Logic in Computer Science.
C.-H. Luke Ong,
Steven J. Ramsay,
Toby Cathcart Burn,
2017,
ArXiv.
Andrzej S. Murawski,
C.-H. Luke Ong,
Olivier Serre,
2020,
ArXiv.
C.-H. Luke Ong,
Robin P. Neatherway,
2014,
SPIN.
C.-H. Luke Ong,
Zhenhua Duan,
Cong Tian,
2018,
TACAS.
Giancarlo Mauri,
C.-H. Luke Ong,
Giorgio Ausiello,
2008,
IFIP TCS.
C.-H. Luke Ong,
Eike Ritter,
Eike Ritter,
1993,
CSL.
C.-H. Luke Ong,
Matthew Hague,
M. Hague,
2010,
SPIN.
Innocent Strategies are Sheaves over Plays - Deterministic, Non-deterministic and Probabilistic Innocence
pdf
C.-H. Luke Ong,
Takeshi Tsukada,
2014,
ArXiv.
C.-H. Luke Ong,
2014
.
Andrzej S. Murawski,
C.-H. Luke Ong,
C. Ong,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
C.-H. Luke Ong,
Takeshi Tsukada,
Kazuyuki Asada,
2017,
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
C.-H. Luke Ong,
S. B. Sanjabi,
2007,
AOSD.
C.-H. Luke Ong,
Martin Hyland,
M. Hyland,
2000,
Inf. Comput..
C.-H. Luke Ong,
Olivier Serre,
Arnaud Carayol,
2020,
ACM Trans. Comput. Log..
C.-H. Luke Ong,
Matthew Hague,
M. Hague,
2009,
CONCUR.
C.-H. Luke Ong,
C. Ong,
2017,
ICLA.
C.-H. Luke Ong,
Matthew Hague,
Jonathan Kochems,
2015,
POPL.
C.-H. Luke Ong,
Matthew Hague,
M. Hague,
2010,
ArXiv.
C.-H. Luke Ong,
2002,
FSTTCS.
C.-H. Luke Ong,
Martin Hyland,
M. Hyland,
1995,
FPCA '95.
Andrzej S. Murawski,
C.-H. Luke Ong,
C. Ong,
2003,
Theor. Comput. Sci..
C.-H. Luke Ong,
Andrew D. Ker,
Hanno Nickau,
2002,
Theor. Comput. Sci..
Antoine Meyer,
C.-H. Luke Ong,
Olivier Serre,
2008,
2008 23rd Annual IEEE Symposium on Logic in Computer Science.
C.-H. Luke Ong,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Andrzej S. Murawski,
C.-H. Luke Ong,
Samson Abramsky,
2004,
TACAS.
C.-H. Luke Ong,
Charles A. Stewart,
C. Ong,
1997,
POPL '97.
C.-H. Luke Ong,
Steven J. Ramsay,
Toby Cathcart Burn,
2018,
Proc. ACM Program. Lang..
C.-H. Luke Ong,
Andrew D. Ker,
Hanno Nickau,
1999,
CSL.
C.-H. Luke Ong,
William Blum,
2007,
TLCA.
C.-H. Luke Ong,
Jonathan Kochems,
Emanuele D'Osualdo,
2012,
AGERE! 2012.
C.-H. Luke Ong,
Matthew Hague,
2008,
Log. Methods Comput. Sci..
Andrzej S. Murawski,
C.-H. Luke Ong,
Conrad Cotton-Barratt,
2017,
ESOP.
A Differential-form Pullback Programming Language for Higher-order Reverse-mode Automatic Differentiation
pdf
C.-H. Luke Ong,
Carol Mak,
2020,
ArXiv.
C.-H. Luke Ong,
Ruy J. G. B. de Queiroz,
2015,
Theor. Comput. Sci..
C.-H. Luke Ong,
C. Ong,
2012
.
C.-H. Luke Ong,
Matthew Hague,
2007,
FoSSaCS.
C.-H. Luke Ong,
J. M. E. Hyland,
J. M. E. Hyland,
1995
.
C.-H. Luke Ong,
Thong wei Koh,
1999,
CTCS.
C.-H. Luke Ong,
2007,
MFCS.
Andrzej S. Murawski,
C.-H. Luke Ong,
Samson Abramsky,
2004,
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
Andrzej S. Murawski,
C.-H. Luke Ong,
Conrad Cotton-Barratt,
2015,
FoSSaCS.
C.-H. Luke Ong,
Naoki Kobayashi,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
C.-H. Luke Ong,
Takeshi Tsukada,
Kazuyuki Asada,
2018,
LICS.
C.-H. Luke Ong,
Pietro Di Gianantonio,
2004,
Theor. Comput. Sci..
Daniel Kroening,
C.-H. Luke Ong,
Gérard Basler,
2010,
TACAS.
C.-H. Luke Ong,
Matthew Hague,
M. Hague,
2011,
Inf. Comput..
C.-H. Luke Ong,
C. Ong,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
C.-H. Luke Ong,
Takeshi Tsukada,
Takeshi Tsukada,
2016,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Andrzej S. Murawski,
C.-H. Luke Ong,
2000,
CSL.
C.-H. Luke Ong,
Egor Ianovski,
2018,
Artif. Intell..
C.-H. Luke Ong,
Martin Hyland,
M. Hyland,
1993,
TLCA.
C.-H. Luke Ong,
Mario Alvarez-Picallo,
2020,
ArXiv.
C.-H. Luke Ong,
Anthony Widjaja Lin,
Matthew Hague,
2014,
OOPSLA.
C.-H. Luke Ong,
C. Ong,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
C.-H. Luke Ong,
C. Ong,
2006,
CSL.
Igor Walukiewicz,
C.-H. Luke Ong,
Naoki Kobayashi,
2016,
NII Shonan Meet. Rep..
C.-H. Luke Ong,
Zhenhua Duan,
Cong Tian,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
C.-H. Luke Ong,
Naoki Kobayashi,
2009,
ICALP.
C.-H. Luke Ong,
Jonathan Kochems,
Emanuele D'Osualdo,
2013,
SAS.
C.-H. Luke Ong,
Dominik Wagner,
C. Ong,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Andrzej S. Murawski,
Igor Walukiewicz,
C.-H. Luke Ong,
2005,
ICALP.
C.-H. Luke Ong,
2014
.
C.-H. Luke Ong,
2004,
Ann. Pure Appl. Log..
C.-H. Luke Ong,
Steven J. Ramsay,
Long H. Pham,
2018,
ArXiv.
Andrzej S. Murawski,
C.-H. Luke Ong,
Dan R. Ghica,
2004,
ICALP.
C.-H. Luke Ong,
Emanuele D'Osualdo,
2016,
ESOP.
C.-H. Luke Ong,
Jonathan Kochems,
2014,
ArXiv.
Andrzej S. Murawski,
C.-H. Luke Ong,
Dan R. Ghica,
2006,
Theor. Comput. Sci..
C.-H. Luke Ong,
Takeshi Tsukada,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
C.-H. Luke Ong,
Max Schäfer,
Martin Lester,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.
Andrzej S. Murawski,
C.-H. Luke Ong,
C. Ong,
2006,
TOCL.
C.-H. Luke Ong,
2010,
Logics and Languages for Reliability and Security.
C.-H. Luke Ong,
Steven J. Ramsay,
2017
.
C.-H. Luke Ong,
Anne Schreuder,
C. Ong,
2019,
ArXiv.
C.-H. Luke Ong,
Mario Alvarez-Picallo,
C. Ong,
2019,
FoSSaCS.
C.-H. Luke Ong,
Steven J. Ramsay,
Robin P. Neatherway,
2012,
ICFP '12.
C.-H. Luke Ong,
David Van Horn,
Naoki Kobayashi,
2011,
NII Shonan Meet. Rep..
C.-H. Luke Ong,
Emanuele D'Osualdo,
2015,
ArXiv.
C.-H. Luke Ong,
Max Schäfer,
Martin Lester,
2013,
2013 IEEE 26th Computer Security Foundations Symposium.
Andrzej S. Murawski,
C.-H. Luke Ong,
Conrad Cotton-Barratt,
2015,
LATA.
C.-H. Luke Ong,
Steven J. Ramsay,
Robin P. Neatherway,
2014,
POPL.
C.-H. Luke Ong,
Fabian Zaiser,
2021,
SMT.
C.-H. Luke Ong,
Andrew Kenyon-Roberts,
C. Ong,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
C.-H. Luke Ong,
Tom Rainforth,
Tim Reichelt,
2021,
ArXiv.
C.-H. Luke Ong,
Carol Mak,
Hugo Paquet,
2020,
ESOP.
C.-H. Luke Ong,
Steven J. Ramsay,
Toby Cathcart Burn,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
C.-H. Luke Ong,
Olivier Serre,
Arnaud Carayol,
2021,
ACM Trans. Comput. Log..
C.-H. Luke Ong,
1995,
LICS 1995.
C.-H. Luke Ong,
Steven J. Ramsay,
Robin P. Neatherway,
2013
.
C.-H. Luke Ong,
1988
.
C.-H. Luke Ong,
Thong Wei Koh,
T. W. Koh,
1999
.