Research output per year
Research output per year
Project Details
| Short title | Modular Abstraction and Abstraction Refinement: A Game Semantic Approach |
|---|---|
| Status | Finished |
| Effective start/end date | 1/03/06 → 30/11/08 |
Funding
- Engineering & Physical Science Research Council
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Angelic semantics of fine-grained concurrency
Ghica, D. & Murawski, AS., 1 Feb 2008, In: Annals of Pure and Applied Logic. 151, 2-3, p. 89-114 26 p.Research output: Contribution to journal › Article
30 Citations (Scopus) -
On-the-Fly Techniques for Game-Based Software Model Checking
Bakewell, A. & Ghica, D., 1 Jan 2008, In: Lecture Notes in Computer Science. 4963, p. 78-92 15 p.Research output: Contribution to journal › Article
10 Citations (Scopus) -
Geometry of Synthesis: A structured approach to VLSI design
Ghica, D., 1 Jan 2007, Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. Association for Computing Machinery , p. 363-375 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
31 Citations (Scopus)