Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Damien Allison
A Model-Based Privacy Compliance Checker
International Journal of e-Business Research
Computer Science Applications
Management Information Systems
Related publications
A Symbolic Model Checker for ACTL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Markov Chain Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Certified Petri Net Model-Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The JKind Model Checker
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Z2SAL - Building a Model Checker for Z
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
McMas: A Model Checker for Multi-Agent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verifying Networked Programs Using a Model Checker Extension
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Privacy-Based Computation Model in E-Business
International Journal of Production Research
Industrial
Manufacturing Engineering
Strategy
Management Science
Management
Operations Research
