pith. sign in

C.-H. Luke Ong

Identifiers

  • name variant C.-H. Luke Ong 0.60 · backfill

Papers (15)

  1. Quantitative Verification of Finite-Time Constrained Occupation Measures for Continuous-time Stochastic Systems eess.SY · 2026 · author #2
  2. Quantitative Verification of Constrained Occupation Time for Stochastic Discrete-time Systems eess.SY · 2026 · author #3
  3. Contextual MetaML: Syntax and Full Abstraction cs.PL · 2026 · author #3
  4. Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog cs.PL · 2018 · author #4
  5. Defunctionalization of Higher-Order Constrained Horn Clauses cs.PL · 2018 · author #3
  6. Higher-Order Constrained Horn Clauses and Refinement Types cs.PL · 2017 · author #2
  7. On Hierarchical Communication Topologies in the pi-calculus cs.PL · 2016 · author #2
  8. Normalisation by Traversals cs.PL · 2015 · author #1
  9. Unboundedness and Downward Closures of Higher-Order Pushdown Automata cs.FL · 2015 · author #3
  10. Fragments of ML Decidable by Nested Data Class Memory Automata cs.PL · 2015 · author #4
  11. Decidable Models of Recursive Asynchronous Concurrency cs.LO · 2014 · author #2
  12. Innocent Strategies are Sheaves over Plays---Deterministic, Non-deterministic and Probabilistic Innocence cs.PL · 2014 · author #2
  13. Automatic Verification of Erlang-Style Concurrency cs.PL · 2013 · author #3
  14. The Safe Lambda Calculus cs.PL · 2009 · author #2
  15. Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems cs.CC · 2008 · author #2

Mentions

  • 1511.02629 #1 · backfill · confidence 0.70 C.-H. Luke Ong
  • 1507.03304 #3 · backfill · confidence 0.70 C.-H. Luke Ong
  • 1501.04511 #4 · backfill · confidence 0.70 C.-H. Luke Ong
  • 1410.8852 #2 · backfill · confidence 0.70 C.-H. Luke Ong
  • 1409.2764 #2 · backfill · confidence 0.70 C.-H. Luke Ong
  • 1303.2201 #3 · backfill · confidence 0.70 C.-H. Luke Ong
  • 2602.03033 #3 · arxiv_oai · confidence 0.70 C.-H. Luke Ong
  • 0901.2399 #2 · backfill · confidence 0.70 C.-H. Luke Ong
  • 0811.1103 #2 · backfill · confidence 0.70 C.-H. Luke Ong

Frequent Coauthors