Research output per year
Research output per year
Search results
-
2008
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) -
2007
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) -
2006
Syntactic Control of Currency
Ghica, D., Murawski, AS. & Ong, C-HL., 7 Feb 2006, In: Theoretical Computer Science. 350, 2-3, p. 234-251 18 p.Research output: Contribution to journal › Article
18 Citations (Scopus)