On full abstraction for PCF: I, II, and III JME Hyland, CHL Ong Information and computation 163 (2), 285-408, 2000 | 969 | 2000 |
Full abstraction in the lazy lambda calculus S Abramsky, CHL Ong Information and Computation 105 (2), 159-267, 1993 | 954 | 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 | 321 | 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 |
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 | 176 | 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 | 170 | 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 | 137 | 2011 |
Verifying Higher-Order Functional Programs with Pattern Matching Algebraic Data Types CHL Ong, S Ramsay | 137 | 2011 |
The lazy lambda calculus: an investigation into the foundations of functional programming CHL Ong University of Cambridge, Computer Laboratory, 1992 | 107 | 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 | 87 | 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 | 82 | 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 |
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 |
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 | 70 | 2014 |