Luke Ong

From MaRDI portal
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