119
Publications
5K
Citations
41
H-Index
1987
Active since
Alessandra Russo is an author at Imperial College London specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringFormal MethodsAutomated ReasoningFormal VerificationMedicineSurgerySoftware DesignSoftware Analysis
Publications per year
1987–2023
119
119
Clinical Spectrum Time Course in Anti Jo-1 Positive Antisynthetase Syndrome
Lorenzo Cavagna, Laura Nuño, Carlo Alberto Scirè et al. · Medicine · 2015 · 177 citations · Full text
Immunology, Diagnosis, Pathology +16
Using event calculus to formalise policy specification and analysis
Arosha K. Bandara, Emil Lupu, Alessandra Russo · 2004 · 166 citations
Engineering, Verification, Law +23
A goal-based approach to policy refinement
Arosha K. Bandara, Emil Lupu, J. Moffett et al. · 2004 · 159 citations
Rows per page
1–5 of 119