68
Publications
1.7K
Citations
24
H-Index
1996
Active since
Affiliations
Flavio Corradini is an author at Università di Camerino specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceFormal MethodsSystems EngineeringSoftware DesignAutomated ReasoningFormal VerificationSoftware EngineeringVerificationDesign
Publications per year
1996–2024
68
68
Agents in bioinformatics, computational and systems biology
Emanuela Merelli, Giuliano Armano, Nicola Cannata et al. · Briefings in Bioinformatics · 2006 · 108 citations · Full text
Deriving test plans from architectural descriptions
Antonia Bertolino, Flavio Corradini, Paola Inverardi et al. · 2000 · 64 citations
Architectural Design, Engineering, Performance-based Building Design +15
BioWMS: a web-based Workflow Management System for bioinformatics
Ezio Bartocci, Flavio Corradini, Emanuela Merelli et al. · BMC Bioinformatics · 2007 · 51 citations · Full text
Rows per page
1–5 of 68