Travelled to:1 × Austria
1 × Japan
1 × Spain
Collaborated with:∅ E.Ianovski
Talks about:higher (2) order (2) model (2) check (2) pushdown (1) overview (1) guarante (1) automata (1) collaps (1) boolean (1)
Person: Luke Ong
DBLP: Ong:Luke
Contributed to:
2015
2014
2013Wrote 3 papers:
- LICS-2015-Ong #higher-order #model checking #overview #perspective
- Higher-Order Model Checking: An Overview (LO), pp. 1–15.
- KR-2014-IanovskiO #game studies
- EGuaranteeNash for Boolean Games Is NEXP-Hard (EI, LO).
- LATA-2013-Ong #automaton #higher-order #model checking #recursion
- Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking (LO), pp. 13–41.