20
Publications
348
Citations
13
H-Index
1982
Active since
Lorenzo Capra is an author at University of Milan specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsSystems EngineeringFormal VerificationProgram AnalysisSoftware AnalysisDistributed SystemsComputer EngineeringMedicine
Publications per year
1982–2024
20
20
Distributed CTL Model Checking in the Cloud
Carlo Bellettini, Matteo Camilli, Lorenzo Capra et al. · arXiv (Cornell University) · 2013 · 22 citations · Full text
Haemoglobin levels and blood requirement in thalassaemia.
V. Gabutti, Antonio Piga, P Nicola et al. · Archives of Disease in Childhood · 1982 · 20 citations · Full text
Rows per page
1–5 of 20