Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Simon Busard
Comparing Approaches for Model-Checking Strategies Under Imperfect Information and Fairness Constraints
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Related publications
On-The-Fly Model Checking Under Fairness That Exploits Symmetry
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pushdown Module Checking With Imperfect Information
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking With Fairness Assumptions Using PAT
Frontiers of Computer Science
Computer Science
Theoretical Computer Science
Liquidity Constraints and Imperfect Information in Subprime Lending
Technology Adoption Under Imperfect Information
The Bell Journal of Economics
Complexity of Fairness Constraints for the Dolev-Yao Attacker Model
Comparison of Model Checking Tools for Information Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Essays in Price Setting Under Imperfect Information
Near Optimum Power Control and Precoding Under Fairness Constraints in Network MIMO Systems
International Journal of Digital Multimedia Broadcasting
Communication
Media Technology
Electrical
Electronic Engineering
