Dan R. Ghica - Concepedia

Author

Dan R. Ghica

Also Known As

Alvarez-Picallo, Mario, D. Ghica, D. R. Ghica, D.R. Ghica, Dan Ghica, Dan R. Ghica, Ghica, Dan, Ghica, Dan R., Tiurin, Aleksei

113

Publications

1.3K

Citations

H-Index

Concepts

All Affiliations

University of Birmingham University of Oxford Queen's University Microsoft Research (United Kingdom)University of Edinburgh

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	17	22	656
2	Arts	3	3	78
3	Language Studies	3	3	102
4	Business	2	2	101
5	Natural Sciences	2	2	114

Dan R. Ghica

Publications

759

Citations

H-Index

Page 1

	Year	Citations
Geometry of synthesis Dan R. Ghica ACM SIGPLAN Notices EngineeringGeometryComputer ArchitectureGeometry GenerationSystem Synthesis	2007	73
Nominal games and full abstraction for the nu-calculus Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, Logic in Computer Science Nominal GamesEngineeringOperational SemanticsAutomated ReasoningCombinatorial Game	2004	62
The regular-language semantics of second-order idealized ALGOL Dan R. Ghica, Guy McCusker Theoretical Computer Science SyntaxEngineeringOperational SemanticsAutomated ReasoningFormal Methods	2003	57
Angelic semantics of fine-grained concurrency Dan R. Ghica, Andrzej S. Murawski Annals of Pure and Applied Logic EngineeringAutomated ReasoningConcurrency TheoryAngelic SemanticsFormal Methods	2007	41
Geometry of synthesis Dan R. Ghica EngineeringGeometryComputer ArchitectureGeometry GenerationSystem Synthesis	2007	41
Nominal games and full abstraction for the nu-calculus Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, Nominal GamesEngineeringOperational SemanticsAutomated ReasoningCombinatorial Game	2004	39
Syntactic control of concurrency Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong Theoretical Computer Science SyntaxEngineeringAutomated ReasoningConcurrency TheoryFormal Methods	2005	35
A System-Level Game Semantics Dan R. Ghica, Nikos Tzevelekos Electronic Notes in Theoretical Computer Science	2012	35
Recognition of traffic signs by artificial neural network Dan R. Ghica, Si Wei Lu, Xiaobu Yuan Convolutional Neural NetworkEngineeringNeural NetworkImage ClassificationImage Analysis	2002	31
Applications of Game Semantics: From Program Analysis to Hardware Synthesis Dan R. Ghica Game AiEngineeringGame TheoryVerificationGame Semantics	2009	31

Page 1