Adam Bakewell (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

11		Dan R. Ghica, Adam Bakewell: Clipping: A Semantics-Directed Syntactic Approximation. LICS 2009: 189-198
10		Adam Bakewell, Dan R. Ghica: Compositional Predicate Abstraction from Game Semantics. TACAS 2009: 62-76
9		Adam Bakewell, Dan R. Ghica: On-the-Fly Techniques for Game-Based Software Model Checking. TACAS 2008: 78-92
8		Adam Bakewell, Dan R. Ghica: Game-based safety checking with Mage. SAVCBS 2007: 85-87

Selection of 4 from 11 records - Adam Bakewell has 3 coauthors