Luke Ong
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Probabilistic verification beyond context-freeness | 2024-12-06 | Paper |
| On S-Finite Measures and Kernels | 2018-10-03 | Paper |
| The complexity of decision problems about equilibria in two-player Boolean games Artificial Intelligence | 2018-06-27 | Paper |
| Simulating cardinal preferences in Boolean games: a proof technique Information and Computation | 2018-06-14 | Paper |
| Higher-order model checking: an overview 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Recursion schemes, collapsible pushdown automata and higher-order model checking Language and Automata Theory and Applications | 2013-03-18 | Paper |
| Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems Logical Methods in Computer Science | 2009-04-29 | Paper |
| On Global Model Checking Trees Generated by Higher-Order Recursion Schemes Foundations of Software Science and Computational Structures | 2009-03-31 | Paper |
Research outcomes over time
This page was built for person: Luke Ong
