Stefania Gnesi

78 papers and 763 indexed citations i.

Stefania Gnesi has authored 78 papers that have received a total of 763 indexed citations. This includes 41 papers in Artificial Intelligence, 34 papers in Information Systems and 31 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (29 papers), Advanced Software Engineering Methodologies (29 papers) and Model-Driven Software Engineering Techniques (19 papers). Stefania Gnesi is often cited by papers focused on Formal Methods in Verification (29 papers), Advanced Software Engineering Methodologies (29 papers) and Model-Driven Software Engineering Techniques (19 papers) and collaborates with scholars based in Italy, Germany and United States. Stefania Gnesi's co-authors include Alessandro Fantechi, Alessio Ferrari, Maurice H. ter Beek, Diego Latella and Mieke Massink and has published in prestigious journals such as Journal of the ACM, Reliability Engineering & System Safety and Lecture notes in computer science