Jim Huan-Pu Kuo

From MaRDI portal
(Redirected from Person:897646)



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!

PublicationDate of PublicationType
scientific article; zbMATH DE number 7356850 (Why is no real title available?)2021-06-09Paper
scientific article; zbMATH DE number 7356850 (Why is no real title available?)
(available as arXiv preprint)
2021-06-09Paper
Static analysis of parity games: alternating reachability under parity
Semantics, Logics, and Calculi
2016-03-23Paper
The Rabin index of parity games: its complexity and approximation
Information and Computation
2015-12-07Paper
Fatal Attractors in Parity Games
Lecture Notes in Computer Science
2013-03-18Paper


Research outcomes over time


This page was built for person: Jim Huan-Pu Kuo