Luke Ong

Cited by

	All	Since 2020
Citations	6285	1210
h-index	36	16
i10-index	93	35

320

160

240

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202533 59 68 113 106 105 99 107 81 80 119 123 167 161 188 217 193 269 215 220 276 244 290 309 277 318 213 263 236 257 191 244 237 43

Public access

View all

29 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Andrzej MurawskiUniversity of OxfordVerified email at cs.ox.ac.uk
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Matthew HagueRoyal Holloway, University of LondonVerified email at cs.rhul.ac.uk
Olivier SerreIRIF (Université Paris Cité & CNRS)Verified email at cnrs.fr
Takeshi TsukadaChiba UniversityVerified email at math.s.chiba-u.ac.jp
Jonathan KochemsUniversity of OxfordVerified email at worc.ox.ac.uk
Emanuele D'OsualdoUniversity of KonstanzVerified email at uni.kn
Bruce ShepherdUniversity of British ColumbiaVerified email at cs.ubc.ca
Gordon WilfongBell LabsVerified email at nokia-bell-labs.com
Naoki KobayashiThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
Arnaud CarayolCNRS & Université Paris EstVerified email at univ-mlv.fr
Andrew D. KerAssociate Professor of Computer Science, Oxford UniversityVerified email at cs.ox.ac.uk
Fabian ZaiserUniversity of OxfordVerified email at cs.ox.ac.uk
Dominik WagnerResearch Fellow, NTU SingaporeVerified email at ntu.edu.sg
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
William BlumMicrosoftVerified email at microsoft.com
Carol MakUniversity of OxfordVerified email at cs.ox.ac.uk
C StewartIndependentVerified email at textproof.com
Kazuyuki AsadaTohoku UniversityVerified email at riec.tohoku.ac.jp
Zhenhua DuanProfessor of Computer Science, Xidian University, ChinaVerified email at mail.xidian.edu.cn

Luke Ong

Distinguished University Professor, Nanyang Technological University

Verified email at ntu.edu.sg - Homepage

Bayesian Statistical Probabilistic Programming Semantics of Computation Automated Verification Programming Languages Logic a


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On full abstraction for PCF: I, II, and III JME Hyland, CHL Ong Information and computation 163 (2), 285-408, 2000	979	2000
Full abstraction in the lazy lambda calculus S Abramsky, CHL Ong Information and Computation 105 (2), 159-267, 1993	966	1993
On model-checking trees generated by higher-order recursion schemes CHL Ong 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 81-90, 2006	332	2006
A Curry-Howard foundation for functional computation with control CHL Ong, CA Stewart Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997	196	1997
A type system equivalent to the modal mu-calculus model checking of higher-order recursion schemes N Kobayashi, CHL Ong 2009 24th Annual IEEE Symposium on Logic In Computer Science, 179-188, 2009	182	2009
Route oscillations in I-BGP with route reflection A Basu, CHL Ong, A Rasala, FB Shepherd, G Wilfong ACM SIGCOMM Computer Communication Review 32 (4), 235-247, 2002	179	2002
Collapsible pushdown automata and recursion schemes M Hague, AS Murawski, CHL Ong, O Serre 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 452-461, 2008	172	2008
Verifying higher-order functional programs with pattern-matching algebraic data types CHL Ong, SJ Ramsay Proceedings ACM POPL SIGPLAN Notices 46 (1), 587-598, 2011	142	2011
Verifying Higher-Order Functional Programs with Pattern Matching Algebraic Data Types CHL Ong, S Ramsay	142	2011
The lazy lambda calculus: an investigation into the foundations of functional programming CHL Ong University of Cambridge, Computer Laboratory, 1992	109	1992
A semantic view of classical proofs: Type-theoretic, categorical, and denotational characterizations CHL Ong Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 230-241, 1996	102	1996
Nominal games and full abstraction for the nu-calculus S Abramsky, DR Ghica, AS Murawski, CHL Ong, IDB Stark Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	100	2004
Applying game semantics to compositional software modeling and verification S Abramsky, DR Ghica, AS Murawski, CHL Ong International Conference on Tools and Algorithms for the Construction and …, 2004	97	2004
Correspondence between operational and denotational semantics CHL Ong Handbook of logic in computer science 4, 269-356, 1995	91	1995
Non-determinism in a functional setting CHL Ong [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993	86	1993
Automatic verification of Erlang-style concurrency E D’Osualdo, J Kochems, CHL Ong Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013	84	2013
Pi-calculus, dialogue games and full abstraction PCF JME Hyland, CHL Ong Proceedings of the seventh international conference on Functional …, 1995	80	1995
Fair games and full completeness for multiplicative linear logic without the mix-rule JME Hyland, CHL Ong preprint 190, 1993	78	1993
A type-directed abstraction refinement approach to higher-order model checking SJ Ramsay, RP Neatherway, CHL Ong Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014	75	2014
Method and apparatus for exchanging routing information within an autonomous system in a packet-based data network A Basu, CHL Ong, AP Rasala, FB Sheperd, GT Wilfong US Patent 7,180,864, 2007	72	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors