Luke Ong

From MaRDI portal
Revision as of 18:57, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:1641023

Available identifiers

zbMath Open ong.lukeMaRDI QIDQ1641023

List of research outcomes





PublicationDate of PublicationType
Probabilistic verification beyond context-freeness2024-12-06Paper
On S-Finite Measures and Kernels2018-10-03Paper
The complexity of decision problems about equilibria in two-player Boolean games2018-06-27Paper
Simulating cardinal preferences in Boolean games: a proof technique2018-06-14Paper
Higher-Order Model Checking: An Overview2018-04-23Paper
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking2013-03-18Paper
Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems2009-04-29Paper
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes2009-03-31Paper

Research outcomes over time

This page was built for person: Luke Ong

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1641023&oldid=6399034"
Powered by MediaWiki