Jim Huan-Pu Kuo

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 2

Top Venues

Semantics, Logics, and Calculi

FoSSaCS

CoRR

GandALF

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Static Analysis of Parity Games: Alternating Reachability Under Parity. Semantics, Logics, and Calculi (2016)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin index of parity games: Its complexity and approximation. Inf. Comput. 245 (2015)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Fatal Attractors in Parity Games: Building Blocks for Partial Solvers. CoRR (2014)
Michael Huth, Jim Huan-Pu Kuo
PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence. TACAS (2014)
Jason Crampton, Michael Huth, Jim Huan-Pu Kuo
Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Michael Huth, Jim Huan-Pu Kuo
On Designing Usable Policy Languages for Declarative Trust Aggregation. HCI (24) (2014)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Fatal Attractors in Parity Games. FoSSaCS (2013)
Michael Huth, Jim Huan-Pu Kuo
Towards Verifiable Trust Management for Software Execution - (Extended Abstract). TRUST (2013)
Michael Huth, Jim Huan-Pu Kuo, M. Angela Sasse, Iacovos Kirlappos
Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent. HCI (27) (2013)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin index of parity games. GandALF (2013)
Jason Crampton, Michael Huth, Jim Huan-Pu Kuo
Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning. PAAR@IJCAR (2012)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
Concurrent Small Progress Measures. Haifa Verification Conference (2011)
Michael Huth, Jim Huan-Pu Kuo, Nir Piterman
The Rabin Index of Parity Games - (Extended Abstract). Haifa Verification Conference (2011)

Jim Huan-Pu Kuo.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jim Huan-Pu Kuo