Jim Huan-Pu Kuo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2012–2014
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | HCI | On Designing Usable Policy Languages for Declarative Trust Aggregation. | Michael Huth, Jim Huan-Pu Kuo |
| 2014 | TACAS | PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence. | Michael Huth, Jim Huan-Pu Kuo |
| 2013 | FOSSACS | Fatal Attractors in Parity Games. | Michael Huth, Jim Huan-Pu Kuo, Nir Piterman |
| 2013 | HCI | Towards Usable Generation and Enforcement of Trust Evidence from Programmers' Intent. | Michael Huth, Jim Huan-Pu Kuo, M. Angela Sasse, Iacovos Kirlappos |
| 2012 | CADE | Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning. | Jason Crampton, Michael Huth, Jim Huan-Pu Kuo |