Jim Huan-Pu Kuo

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

The Rabin index of parity games: Its complexity and approximation.

[BibT_eX]

[DOI]

Inf. Comput., 2015

2014

Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking.

[BibT_eX]

[DOI]

Jason Crampton

Int. J. Softw. Tools Technol. Transf., 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

On Designing Usable Policy Languages for Declarative Trust Aggregation.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2014

2013

Parity games : descriptive complexity and algorithms for new solvers.

[BibT_eX]

[DOI]

PhD thesis, 2013

The Rabin index of parity games.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Towards Verifiable Trust Management for Software Execution - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent.

[BibT_eX]

[DOI]

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2013

Fatal Attractors in Parity Games.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning.

[BibT_eX]

[DOI]

Jason Crampton

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

2011

The Rabin Index of Parity Games - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2011

Concurrent Small Progress Measures.

[BibT_eX]

[DOI]