Edit Profile (opens in new tab) Ong, Chih-Hao Luke Compute Distance To: Compute Author ID: ong.chih-hao-luke Published as: Ong, C.-H. Luke; Ong, Chih-Hao Luke Documents Indexed: 57 Publications since 1992 Co-Authors: 2 Co-Authors with 3 Joint Publications 2 Co-Co-Authors all top 5 Co-Authors 9 single-authored 16 Murawski, Andrzej S. 6 Hague, Matthew 6 Tsukada, Takeshi 3 Cotton-Barratt, Conrad 3 Ghica, Dan R. 3 Kochems, Jonathan 3 Ramsay, Steven James 2 Abramsky, Samson 2 Aehlig, Klaus 2 Asada, Kazuyuki 2 Blum, William 2 de Miranda, Jolie G. 2 Di Gianantonio, Pietro 2 Hyland, J. Martin E. 2 Kobayashi, Naoki 2 Neatherway, Robin P. 2 Serre, Olivier 1 Alvarez-Picallo, Mario 1 Broadbent, Christopher H. 1 Carayol, Arnaud 1 Cropper, Andrew 1 Koh, T. W. 1 Mak, Carol 1 Morel, Rolf 1 Paquet, Hugo 1 Ritter, Eike 1 Wagner, Dominik 1 Walukiewicz, Igor 1 Zaiser, Fabian Serials 4 Theoretical Computer Science 3 Information and Computation 3 ACM Transactions on Computational Logic 2 Logical Methods in Computer Science 1 Annals of Pure and Applied Logic Fields 52 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Category theory; homological algebra (18-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 48 Publications have been cited 34 times in 25 Documents Cited by ▼ Year ▼ On full abstraction for PCF: I, II and III. Zbl 1006.68027Hyland, J. M. E.; Ong, C.-H. L. 159 2000 Full abstraction in the lazy lambda calculus. Zbl 0779.03003Abramsky, Samson; Ong, C.-H. Luke 65 1993 Verifying higher-order functional programs with pattern-matching algebraic data types. Zbl 1284.68193Ong, C.-H. Luke; Ramsay, Steven James 17 2011 Collapsible pushdown automata and recursion schemes. Zbl 1407.68256Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier 16 2017 A type-directed abstraction refinement approach to higher-order model checking. Zbl 1284.68414Ramsay, Steven J.; Neatherway, Robin P.; Ong, C.-H. Luke 16 2014 Applying game semantics to compositional software modeling and verification. Zbl 1126.68343Abramsky, Samson; Ghica, Dan R.; Murawski, Andrzej S.; Ong, C.-H. Luke 10 2004 Modified realizability toposes and strong normalization proofs. Zbl 0793.03079Hyland, J. M. E.; Ong, C.-H. L. 10 1993 On an interpretation of safe recursion in light affine logic. Zbl 1048.03049Murawski, A. S.; Ong, C.-H. L. 9 2004 Safety is not a restriction at level 2 for string languages. Zbl 1119.68102Aehlig, K.; de Miranda, J. G.; Ong, C.-H. L. 7 2005 Idealized Algol with ground recursion, and DPDA equivalence. Zbl 1085.68092Murawski, A. S.; Ong, C.-H. L.; Walukiewicz, I. 7 2005 Discreet games, light affine logic and PTIME computation. Zbl 0973.03038Murawski, A. S.; Ong, C.-H. L. 7 2000 Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1237.68124Kobayashi, Naoki; Ong, C.-H. Luke 6 2011 A fragment of ML decidable by visibly pushdown automata. Zbl 1333.68079Hopkins, David; Murawski, Andrzej S.; Ong, C.-H. Luke 6 2011 Typed meta-interpretive learning of logic programs. Zbl 07169107Morel, Rolf; Cropper, Andrew; Ong, C.-H. Luke 6 2019 Unboundedness and downward closures of higher-order pushdown automata. Zbl 1347.68205Hague, Matthew; Kochems, Jonathan; Ong, C.-H. Luke 5 2016 Improved functional flow and reachability analyses using indexed linear tree grammars. Zbl 1236.68134Kochems, Jonathan; Ong, C. H. Luke 5 2011 Nondeterminism in game semantics via sheaves. Zbl 1401.68177Tsukada, Takeshi; Ong, C. H. Luke 5 2015 Explicit substitution internal languages for autonomous and *-autonomous categories. Zbl 0967.03025Koh, T. W.; Ong, C.-H. L. 5 1999 Fragments of ML decidable by nested data class memory automata. Zbl 1459.68035Cotton-Barratt, Conrad; Hopkins, David; Murawski, Andrzej S.; Ong, C.-H. Luke 4 2015 Symbolic backwards-reachability analysis for higher-order pushdown systems. Zbl 1195.68057Hague, Matthew; Ong, C.-H. Luke 4 2007 Syntactic control of concurrency. Zbl 1086.68087Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L. 4 2006 Syntactic control of concurrency. Zbl 1099.68656Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L. 3 2004 The monadic second order theory of trees given by arbitrary level-two recursion schemes is decidable. Zbl 1114.03006Aehlig, Klaus; de Miranda, Jolie G.; Ong, C.-H. Luke 3 2005 A saturation method for the modal \(\mu \)-calculus over pushdown systems. Zbl 1215.68151Hague, M.; Ong, C.-H. L. 3 2011 Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs. Zbl 1497.68128Tsukada, Takeshi; Asada, Kazuyuki; Ong, C.-H. Luke 3 2018 Fast verification of MLL proof nets via IMLL. Zbl 1367.03112Murawski, Andrzej S.; Ong, C.-H. Luke 3 2006 Evolving games and essential nets for affine polymorphism. Zbl 0981.03064Murawski, Andrzej S.; Ong, C.-H. Luke 3 2001 Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1248.68334Kobayashi, Naoki; Ong, C.-H. Luke 3 2009 Exhausting strategies, joker games and full completeness for IMLL with unit. Zbl 1029.03053Murawski, A. S.; Ong, C.-H. L. 3 2003 Winning regions of pushdown parity games: a saturation method. Zbl 1254.68135Hague, Matthew; Ong, C.-H. Luke 3 2009 Change actions: models of generalised differentiation. Zbl 07158690Alvarez-Picallo, Mario; Ong, C.-H. Luke 3 2019 Densities of almost surely terminating probabilistic programs are differentiable almost everywhere. Zbl 1473.68048Mak, Carol; Ong, C.-H. Luke; Paquet, Hugo; Wagner, Dominik 3 2021 Some results on a game-semantic approach to verifying finitely-presentable infinite structures (extended abstract). Zbl 1225.68123Ong, C.-H. L. 2 2006 Weak and nested class memory automata. Zbl 1451.68145Cotton-Barratt, Conrad; Murawski, Andrzej S.; Ong, C.-H. Luke 2 2015 Compositional higher-order model checking via \(\omega\)-regular games over Böhm trees. Zbl 1401.68207Tsukada, Takeshi; Ong, C.-H. Luke 2 2014 Quantitative semantics of the lambda calculus. Some generalisations of the relational model. Zbl 1452.03046Ong, C.-H. Luke 2 2017 Generalised species of rigid resource terms. Zbl 1452.03136Tsukada, Takeshi; Asada, Kazuyuki; Ong, C.-H. Luke 2 2017 The safe lambda calculus. Zbl 1162.68007Blum, William; Ong, C.-H. Luke 2 2009 A generic strong normalization argument: Application to the calculus of constructions. Zbl 0953.03526Ong, C.-H. L.; Ritter, E. 2 1994 Games characterizing Levy-Longo trees. Zbl 1056.68101Ong, C.-H. L.; Di Gianantonio, P. 2 2002 An approach to deciding the observational equivalence of Algol-like languages. Zbl 1072.68031Ong, C.-H. L. 2 2004 Safety verification of asynchronous pushdown systems with shaped stacks. Zbl 1390.68475Kochems, Jonathan; Ong, C.-H. Luke 1 2013 Plays as resource terms via non-idempotent intersection types. Zbl 1401.68178Tsukada, Takeshi; Ong, C.-H. Luke 1 2016 A traversal-based algorithm for higher-order model checking. Zbl 1291.68264Neatherway, Robin P.; Ramsay, Steven J.; Ong, Chih-Hao Luke 1 2012 Model checking Algol-like languages using game semantics. Zbl 1027.68615Ong, C.-H. L. 1 2002 Games characterizing Levy-Longo trees. Zbl 1094.91011Ong, C.-H. L.; Di Gianantonio, P. 1 2004 Hierarchies of infinite structures generated by pushdown automata and recursion schemes. Zbl 1147.68563Ong, C.-H. L. 1 2007 Automata, logic and games for the \(\lambda \)-calculus. Zbl 1480.03008Ong, C.-H. Luke 1 2017 Densities of almost surely terminating probabilistic programs are differentiable almost everywhere. Zbl 1473.68048Mak, Carol; Ong, C.-H. Luke; Paquet, Hugo; Wagner, Dominik 3 2021 Typed meta-interpretive learning of logic programs. Zbl 07169107Morel, Rolf; Cropper, Andrew; Ong, C.-H. Luke 6 2019 Change actions: models of generalised differentiation. Zbl 07158690Alvarez-Picallo, Mario; Ong, C.-H. Luke 3 2019 Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs. Zbl 1497.68128Tsukada, Takeshi; Asada, Kazuyuki; Ong, C.-H. Luke 3 2018 Collapsible pushdown automata and recursion schemes. Zbl 1407.68256Hague, Matthew; Murawski, Andrzej S.; Ong, C.-H. Luke; Serre, Olivier 16 2017 Quantitative semantics of the lambda calculus. Some generalisations of the relational model. Zbl 1452.03046Ong, C.-H. Luke 2 2017 Generalised species of rigid resource terms. Zbl 1452.03136Tsukada, Takeshi; Asada, Kazuyuki; Ong, C.-H. Luke 2 2017 Automata, logic and games for the \(\lambda \)-calculus. Zbl 1480.03008Ong, C.-H. Luke 1 2017 Unboundedness and downward closures of higher-order pushdown automata. Zbl 1347.68205Hague, Matthew; Kochems, Jonathan; Ong, C.-H. Luke 5 2016 Plays as resource terms via non-idempotent intersection types. Zbl 1401.68178Tsukada, Takeshi; Ong, C.-H. Luke 1 2016 Nondeterminism in game semantics via sheaves. Zbl 1401.68177Tsukada, Takeshi; Ong, C. H. Luke 5 2015 Fragments of ML decidable by nested data class memory automata. Zbl 1459.68035Cotton-Barratt, Conrad; Hopkins, David; Murawski, Andrzej S.; Ong, C.-H. Luke 4 2015 Weak and nested class memory automata. Zbl 1451.68145Cotton-Barratt, Conrad; Murawski, Andrzej S.; Ong, C.-H. Luke 2 2015 A type-directed abstraction refinement approach to higher-order model checking. Zbl 1284.68414Ramsay, Steven J.; Neatherway, Robin P.; Ong, C.-H. Luke 16 2014 Compositional higher-order model checking via \(\omega\)-regular games over Böhm trees. Zbl 1401.68207Tsukada, Takeshi; Ong, C.-H. Luke 2 2014 Safety verification of asynchronous pushdown systems with shaped stacks. Zbl 1390.68475Kochems, Jonathan; Ong, C.-H. Luke 1 2013 A traversal-based algorithm for higher-order model checking. Zbl 1291.68264Neatherway, Robin P.; Ramsay, Steven J.; Ong, Chih-Hao Luke 1 2012 Verifying higher-order functional programs with pattern-matching algebraic data types. Zbl 1284.68193Ong, C.-H. Luke; Ramsay, Steven James 17 2011 Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1237.68124Kobayashi, Naoki; Ong, C.-H. Luke 6 2011 A fragment of ML decidable by visibly pushdown automata. Zbl 1333.68079Hopkins, David; Murawski, Andrzej S.; Ong, C.-H. Luke 6 2011 Improved functional flow and reachability analyses using indexed linear tree grammars. Zbl 1236.68134Kochems, Jonathan; Ong, C. H. Luke 5 2011 A saturation method for the modal \(\mu \)-calculus over pushdown systems. Zbl 1215.68151Hague, M.; Ong, C.-H. L. 3 2011 Complexity of model checking recursion schemes for fragments of the modal mu-calculus. Zbl 1248.68334Kobayashi, Naoki; Ong, C.-H. Luke 3 2009 Winning regions of pushdown parity games: a saturation method. Zbl 1254.68135Hague, Matthew; Ong, C.-H. Luke 3 2009 The safe lambda calculus. Zbl 1162.68007Blum, William; Ong, C.-H. Luke 2 2009 Symbolic backwards-reachability analysis for higher-order pushdown systems. Zbl 1195.68057Hague, Matthew; Ong, C.-H. Luke 4 2007 Hierarchies of infinite structures generated by pushdown automata and recursion schemes. Zbl 1147.68563Ong, C.-H. L. 1 2007 Syntactic control of concurrency. Zbl 1086.68087Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L. 4 2006 Fast verification of MLL proof nets via IMLL. Zbl 1367.03112Murawski, Andrzej S.; Ong, C.-H. Luke 3 2006 Some results on a game-semantic approach to verifying finitely-presentable infinite structures (extended abstract). Zbl 1225.68123Ong, C.-H. L. 2 2006 Safety is not a restriction at level 2 for string languages. Zbl 1119.68102Aehlig, K.; de Miranda, J. G.; Ong, C.-H. L. 7 2005 Idealized Algol with ground recursion, and DPDA equivalence. Zbl 1085.68092Murawski, A. S.; Ong, C.-H. L.; Walukiewicz, I. 7 2005 The monadic second order theory of trees given by arbitrary level-two recursion schemes is decidable. Zbl 1114.03006Aehlig, Klaus; de Miranda, Jolie G.; Ong, C.-H. Luke 3 2005 Applying game semantics to compositional software modeling and verification. Zbl 1126.68343Abramsky, Samson; Ghica, Dan R.; Murawski, Andrzej S.; Ong, C.-H. Luke 10 2004 On an interpretation of safe recursion in light affine logic. Zbl 1048.03049Murawski, A. S.; Ong, C.-H. L. 9 2004 Syntactic control of concurrency. Zbl 1099.68656Ghica, D. R.; Murawski, A. S.; Ong, C.-H. L. 3 2004 An approach to deciding the observational equivalence of Algol-like languages. Zbl 1072.68031Ong, C.-H. L. 2 2004 Games characterizing Levy-Longo trees. Zbl 1094.91011Ong, C.-H. L.; Di Gianantonio, P. 1 2004 Exhausting strategies, joker games and full completeness for IMLL with unit. Zbl 1029.03053Murawski, A. S.; Ong, C.-H. L. 3 2003 Games characterizing Levy-Longo trees. Zbl 1056.68101Ong, C.-H. L.; Di Gianantonio, P. 2 2002 Model checking Algol-like languages using game semantics. Zbl 1027.68615Ong, C.-H. L. 1 2002 Evolving games and essential nets for affine polymorphism. Zbl 0981.03064Murawski, Andrzej S.; Ong, C.-H. Luke 3 2001 On full abstraction for PCF: I, II and III. Zbl 1006.68027Hyland, J. M. E.; Ong, C.-H. L. 159 2000 Discreet games, light affine logic and PTIME computation. Zbl 0973.03038Murawski, A. S.; Ong, C.-H. L. 7 2000 Explicit substitution internal languages for autonomous and *-autonomous categories. Zbl 0967.03025Koh, T. W.; Ong, C.-H. L. 5 1999 A generic strong normalization argument: Application to the calculus of constructions. Zbl 0953.03526Ong, C.-H. L.; Ritter, E. 2 1994 Full abstraction in the lazy lambda calculus. Zbl 0779.03003Abramsky, Samson; Ong, C.-H. Luke 65 1993 Modified realizability toposes and strong normalization proofs. Zbl 0793.03079Hyland, J. M. E.; Ong, C.-H. L. 10 1993 all cited Publications top 5 cited Publications all top 5 Cited by 41 Authors 8 Kobayashi, Naoki 4 Tsukada, Takeshi 3 Parys, Paweł 2 Asada, Kazuyuki 2 Bruse, Florian 2 Genet, Thomas 2 Kesner, Delia 2 Kreiker, Jörg 2 Lange, Martin 2 Sälzer, Marco 2 Sin’ya, Ryoma 1 Afshari, Bahareh 1 Bjørner, Nikolaj S. 1 Broadbent, Christopher H. 1 Cirstea, Horatiu 1 Dal Lago, Ugo 1 Farzan, Azadeh 1 Fujima, Koichi 1 Grellois, Charles 1 Gurfinkel, Arie 1 Hague, Matthew 1 Hetzl, Stefan 1 Leigh, Graham Emil 1 Lermusiaux, Pierre F. J. 1 McMillan, Kenneth L. 1 Meyer, Roland 1 Moreau, Pierre-Etienne 1 Muskalla, Sebastian 1 Nicolet, Victor 1 Rybalchenko, Andrey 1 Salmon, Yann 1 Salvati, Sylvain 1 Sato, Ryosuke 1 Suzuki, Ryota 1 Tabuchi, Naoshi 1 Terao, Taku 1 Unno, Hiroshi 1 Lima Ventura, Daniel 1 Vial, Pierre 1 Walukiewicz, Igor 1 Zimmermann, Martín G. all top 5 Cited in 7 Serials 6 Logical Methods in Computer Science 2 MSCS. Mathematical Structures in Computer Science 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Theory of Computing Systems 1 Journal of Logical and Algebraic Methods in Programming Cited in 4 Fields 24 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Number theory (11-XX) Citations by Year