Anthony Widjaja To

From MaRDI portal
Person:989555

Available identifiers

zbMath Open to.anthony-widjajaMaRDI QIDQ989555

List of research outcomes





PublicationDate of PublicationType
The complexity of model checking (collapsible) higher-order pushdown systems2012-08-29Paper
Unary finite automata vs. arithmetic progressions2010-08-20Paper
Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems2010-04-27Paper
Model Checking FO(R) over One-Counter Processes and beyond2009-11-12Paper
Recurrent Reachability Analysis in Regular Model Checking2009-01-27Paper

Research outcomes over time

This page was built for person: Anthony Widjaja To

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