Concurrent Small Progress Measures. - Michael Huth 001; Jim Huan-Pu Kuo; Nir Piterman (Haifa Verification Conference, 2011)

The Rabin Index of Parity Games - (Extended Abstract). - Michael Huth 001; Jim Huan-Pu Kuo; Nir Piterman (Haifa Verification Conference, 2011)

Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning. - Jason Crampton; Michael Huth 001; Jim Huan-Pu Kuo (PAAR@IJCAR, 2012)

Fatal Attractors in Parity Games. - Michael Huth 001; Jim Huan-Pu Kuo; Nir Piterman (FoSSaCS, 2013)

Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent. - Michael Huth 001; Jim Huan-Pu Kuo; M. Angela Sasse; Iacovos Kirlappos (HCI (27), 2013)

Towards Verifiable Trust Management for Software Execution - (Extended Abstract). - Michael Huth 001; Jim Huan-Pu Kuo (TRUST, 2013)

The Rabin index of parity games. - Michael Huth 001; Jim Huan-Pu Kuo; Nir Piterman (GandALF, 2013)

Parity games : descriptive complexity and algorithms for new solvers. - Jim Huan-Pu Kuo (2013)

On Designing Usable Policy Languages for Declarative Trust Aggregation. - Michael Huth 001; Jim Huan-Pu Kuo (HCI (24), 2014)

PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence. - Michael Huth 001; Jim Huan-Pu Kuo (TACAS, 2014)

Fatal Attractors in Parity Games: Building Blocks for Partial Solvers. - Michael Huth 001; Jim Huan-Pu Kuo; Nir Piterman (CoRR, 2014)

Authorized workflow schemas: deciding realizability through $$ mathsf{LTL }( mathsf{F })$$ model checking. - Jason Crampton; Michael Huth 001; Jim Huan-Pu Kuo (Int. J. Softw. Tools Technol. Transf., 2014)

The Rabin index of parity games: Its complexity and approximation. - Michael Huth 001; Jim Huan-Pu Kuo; Nir Piterman (Inf. Comput., 2015)

Static Analysis of Parity Games: Alternating Reachability Under Parity. - Michael Huth 001; Jim Huan-Pu Kuo; Nir Piterman (Semantics, Logics, and Calculi, 2016)