David Castro - Concepedia

Author

David Castro

Also Known As

Castro-Perez, David, David Castro, David Castro-Perez, David de Castro

Publications

166

Citations

H-Index

Concepts

All Affiliations

David Castro is an author at Imperial College London specializing in engineering, formal verification, and software analysis.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	109
2	Computer Science	3	3	86
3	Computer Engineering	2	2	45
4	Geography	1	1	12
5	Space Engineering	1	1	23

David Castro

Publications

109

Citations

H-Index

Page 1

	Year	Citations
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures David Castro, Raymond Hu, Sung-Shik Jongmans, Proceedings of the ACM on Programming Languages EngineeringVerificationSoftware EngineeringEndpoint ProjectionsSoftware Analysis	2019	52
ATENEA: Advanced techniques for deeply integrated GNSS/INS/LiDAR navigation A. Fernández, José Raúl Fernández del Castillo Díez, David Castro, Advanced TechniquesEngineeringLocation EstimationGlobal Navigation Satellite SystemPositioning System	2010	23
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes David Castro, Francisco Ferreira, Lorenzo Gheri, Cluster ComputingEngineeringMechanisation FrameworkVerificationComputer Architecture	2021	22
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms David Castro, Kevin Hammond, Susmit Sarkar EngineeringCompiler TechnologyComputer ArchitectureCost ModelStructured Parallel	2016	12

Page 1