1
Publications
11
Citations
1
H-Index
2013
Active since
Affiliations
Javier Castro-Ramirez is an author at Instituto de Microelectrónica de Sevilla specializing in formal methods, mathematical programming, and computer-aided design.
Top concepts
EngineeringMechatronicsCircuit DesignFormal MethodsComputer ScienceSpace EngineeringIntegrated CircuitsSystems EngineeringComputer EngineeringComputer-aided Design
Publications per year
2013–2013
1
1
Piedad Brox, Javier Castro-Ramirez, Macarena C. Martínez‐Rodríguez et al. · IEEE Transactions on Circuits and Systems I Regular Papers · 2013 · 11 citations · Full text
Mathematical Programming, Engineering, Computer-aided Design +21
Rows per page
1–1 of 1