9 results on '"Kuo, Jim"'
Search Results
2. Static Analysis of Parity Games: Alternating Reachability Under Parity
3. PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence
4. On Designing Usable Policy Languages for Declarative Trust Aggregation
5. Towards Usable Generation and Enforcement of Trust Evidence from Programmers’ Intent
6. Fatal Attractors in Parity Games
7. Concurrent Small Progress Measures
8. Towards Verifiable Trust Management for Software Execution : (Extended Abstract)
9. The Rabin Index of Parity Games : (Extended Abstract)
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.