Concepedia

Dan R. Ghica

DR

27

Publications

759

Citations

18

H-Index

2000

Active since

Affiliations

University of Birmingham(Current)

University of Oxford

Queen's University

Microsoft Research (United Kingdom)

University of Edinburgh

Dan R. Ghica is an author at University of Birmingham specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationSemanticsProgram AnalysisComputer EngineeringComputer ArchitectureProgramming Languages

Publications per year

2000–2022

27

Publications

27

Geometry of synthesis

Dan R. Ghica · ACM SIGPLAN Notices · 2007 · 73 citations

Engineering, Geometry, Computer Architecture +23

Nominal games and full abstraction for the nu-calculus

Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski et al. · Logic in Computer Science · 2004 · 62 citations

Nominal Games, Engineering, Operational Semantics +15

The regular-language semantics of second-order idealized ALGOL

Dan R. Ghica, Guy McCusker · Theoretical Computer Science · 2003 · 57 citations

Syntax, Engineering, Operational Semantics +8

Angelic semantics of fine-grained concurrency

Dan R. Ghica, Andrzej S. Murawski · Annals of Pure and Applied Logic · 2007 · 41 citations · Full text

Engineering, Automated Reasoning, Concurrency Theory +7

Geometry of synthesis

Dan R. Ghica · 2007 · 41 citations

Engineering, Geometry, Computer Architecture +23

Rows per page

1–5 of 27