Luke Ong

Cited by

	All	Since 2018
Citations	5319	1225
h-index	34	17
i10-index	84	31

320

160

240

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202314 13 24 40 63 73 78 62 95 66 65 99 111 155 159 172 191 183 255 204 210 257 247 269 291 276 319 202 241 232 260 160 128

Public access

View all

25 articles

1 article

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é de Paris & CNRS)Verified email at cnrs.fr
Takeshi TsukadaChiba UniversityVerified email at math.s.chiba-u.ac.jp
Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerified email at cs.bham.ac.uk
Jonathan KochemsUniversity of OxfordVerified email at worc.ox.ac.uk
Emanuele D'OsualdoMPI-SWSVerified email at mpi-sws.org
Naoki KobayashiThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
Bruce ShepherdUniversity of British ColumbiaVerified email at cs.ubc.ca
Gordon WilfongBell LabsVerified email at nokia-bell-labs.com
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
Kazuyuki AsadaTohoku UniversityVerified email at riec.tohoku.ac.jp
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
William BlumMicrosoftVerified email at microsoft.com
Dominik WagnerPhD student in Computer Science, University of OxfordVerified email at cs.ox.ac.uk
C StewartIndependentVerified email at linearity.org
Carol MakUniversity of OxfordVerified email at cs.ox.ac.uk
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	931	2000
Full abstraction in the lazy lambda calculus S Abramsky, CHL Ong Information and Computation 105 (2), 159-267, 1993	339	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	313	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	191	1997
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	178	2002
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	171	2009
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	164	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	136	2011
Verifying Higher-Order Functional Programs with Pattern Matching Algebraic Data Types CHL Ong, S Ramsay	136	2011
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	106	1996
The lazy lambda calculus: an investigation into the foundations of functional programming CHL Ong Imperial College London, 1992	106	1992
Applying game semantics to compositional software modeling and verification S Abramsky, DR Ghica, AS Murawski, CHL Ong Tools and Algorithms for the Construction and Analysis of Systems: 10th …, 2004	103	2004
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
Non-determinism in a functional setting CHL Ong [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993	84	1993
Pi-calculus, dialogue games and full abstraction PCF JME Hyland, CHL Ong Proceedings of the seventh international conference on Functional …, 1995	80	1995
Automatic verification of Erlang-style concurrency E D’Osualdo, J Kochems, CHL Ong Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013	78	2013
Correspondence between operational and denotational semantics: the full abstraction problem for PCF CHL Ong Handbook of logic in computer science 4, 269-356, 1995	78	1995
Fair games and full completeness for multiplicative linear logic without the mix-rule JME Hyland, CHL Ong preprint 190, 1993	78	1993
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	71	2007
Recursion schemes and logical reflection CH Broadbent, A Carayol, CHL Ong, O Serre 2010 25th Annual IEEE Symposium on Logic in Computer Science, 120-129, 2010	70	2010

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