Ranking functions for belief change: a uniform approach to belief revision and belief progression Digital Document
Exploring power storage profiles for vehicle to grid systems Digital Document DGI Image Discovery Discovered Image
A declarative model for reasoning about form security Digital Document DGI Image Discovery Discovered Image
Belief change and cryptographic protocol verification Digital Document DGI Image Discovery Discovered Image
An explicit model of belief change for cryptographic protocol verification Digital Document DGI Image Discovery Discovered Image
An action description language for iterated belief change Digital Document DGI Image Discovery Discovered Image
On the representation and verification of cryptographic protocols in a theory of action Digital Document DGI Image Discovery Discovered Image