Jim Huan-Pu Kuo

According to our database1, Jim Huan-Pu Kuo authored at least 14 papers between 2011 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Static Analysis of Parity Games: Alternating Reachability Under Parity.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
The Rabin index of parity games: Its complexity and approximation.
Inf. Comput., 2015

2014
Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking.
Int. J. Softw. Tools Technol. Transf., 2014

Fatal Attractors in Parity Games: Building Blocks for Partial Solvers.
CoRR, 2014

PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

On Designing Usable Policy Languages for Declarative Trust Aggregation.
Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2014

2013
Parity games : descriptive complexity and algorithms for new solvers.
PhD thesis, 2013

The Rabin index of parity games.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Towards Verifiable Trust Management for Software Execution - (Extended Abstract).
Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent.
Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2013

Fatal Attractors in Parity Games.
Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012
Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning.
Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011
The Rabin Index of Parity Games - (Extended Abstract).
Proceedings of the Hardware and Software: Verification and Testing, 2011

Concurrent Small Progress Measures.
Proceedings of the Hardware and Software: Verification and Testing, 2011


  Loading...