Jim Huan-Pu Kuo

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