António Cerone

46 papers and 244 indexed citations i.

António Cerone has authored 46 papers that have received a total of 244 indexed citations. This includes 12 papers in Information Systems, 11 papers in Computational Theory and Mathematics and 10 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (10 papers), Software Engineering Research (10 papers) and Open Source Software Innovations (9 papers). António Cerone is often cited by papers focused on Formal Methods in Verification (10 papers), Software Engineering Research (10 papers) and Open Source Software Innovations (9 papers) and collaborates with scholars based in Italy, Kazakhstan and United States. António Cerone's co-authors include Paolo Milazzo, Siraj Ahmed Shaikh, Roberto Barbuti, Kamel Barkaoui and Lu­ís Soares Barbosa and has published in prestigious journals such as Expert Systems with Applications, Journal of Theoretical Biology and Food Quality and Preference