Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

C.-H. Luke Ong

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Matthew Hague

> Home > Persons > C.-H. Luke Ong

Publications

2021
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BroadbentCHMOS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BroadbentCHMOS21
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre:
Collapsible Pushdown Parity Games. ACM Trans. Comput. Log. 22(3): 16:1-16:51 (2021)
2020
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-06361
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-06361
Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre:
Collapsible Pushdown Parity Games. CoRR abs/2010.06361 (2020)
2017
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/HagueMOS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/HagueMOS17
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre:
Collapsible Pushdown Automata and Recursion Schemes. ACM Trans. Comput. Log. 18(3): 25:1-25:42 (2017)
2016
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/HagueKO16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/HagueKO16
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong:
Unboundedness and downward closures of higher-order pushdown automata. POPL 2016: 151-163
2015
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/HagueLO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/HagueLO15
Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong:
Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. OOPSLA 2015: 1-19
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HagueKO15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HagueKO15
Matthew Hague, Jonathan Kochems, C.-H. Luke Ong:
Unboundedness and Downwards Closures of Higher-Order Pushdown Automata. CoRR abs/1507.03304 (2015)
2014
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/HagueLO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HagueLO14
Matthew Hague, Anthony Widjaja Lin, Luke Ong:
Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach. CoRR abs/1412.5143 (2014)
2011
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/HagueO11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/HagueO11
Matthew Hague, C.-H. Luke Ong:
A saturation method for the modal μ-calculus over pushdown systems. Inf. Comput. 209(5): 799-821 (2011)
2010
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HagueO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HagueO10
Matthew Hague, C.-H. Luke Ong:
Analysing Mu-Calculus Properties of Pushdown Systems. SPIN 2010: 187-192
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BaslerHKOWZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BaslerHKOWZ10
Gérard Basler, Matthew Hague, Daniel Kroening, C.-H. Luke Ong, Thomas Wahl, Haoxian Zhao:
Boom: Taking Boolean Program Model Checking One Step Further. TACAS 2010: 145-149
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1006-5906
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-5906
Matthew Hague, C.-H. Luke Ong:
A Saturation Method for the Modal Mu-Calculus with Backwards Modalities over Pushdown Systems. CoRR abs/1006.5906 (2010)
2009
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/HagueO09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/HagueO09
Matthew Hague, C.-H. Luke Ong:
Winning Regions of Pushdown Parity Games: A Saturation Method. CONCUR 2009: 384-398
2008
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/HagueO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/HagueO08
Matthew Hague, C.-H. Luke Ong:
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. Log. Methods Comput. Sci. 4(4) (2008)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/CarayolHMOS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/CarayolHMOS08
Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre:
Winning Regions of Higher-Order Pushdown Games. LICS 2008: 193-204
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/HagueMOS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HagueMOS08
Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre:
Collapsible Pushdown Automata and Recursion Schemes. LICS 2008: 452-461
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0811-1103
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0811-1103
Matthew Hague, C.-H. Luke Ong:
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. CoRR abs/0811.1103 (2008)
2007
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/HagueO07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/HagueO07
Matthew Hague, C.-H. Luke Ong:
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems. FoSSaCS 2007: 213-227

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.