Anna Labella
About
Anna Labella has authored 30 papers that have received a total of 121 indexed citations.
This includes 20 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 8 papers in Molecular Biology. The topics of these papers are Logic, programming, and type systems (13 papers), Formal Methods in Verification (9 papers) and DNA and Biological Computing (8 papers). Anna Labella is often cited by papers focused on Logic, programming, and type systems (13 papers), Formal Methods in Verification (9 papers) and DNA and Biological Computing (8 papers) and collaborates with scholars based in Italy, Romania and Germany. Anna Labella's co-authors include Paolo Bottoni, Rocco De Nicola, Víctor Mitrana, Flavio Corradini and Daniele Gorla and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Soft Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Christopher J. O’Leary Top authors papers by Chuangui Ma are co-authored with Top authors papers by Masaki Murooka are co-authored with Top authors papers by Ming Hu are co-authored with Top authors papers by Larisa Shwartz are co-authored with Top authors papers by Norman Pagé are co-authored with Top journals papers by Saurabh Dube are published in Top authors papers by Antonio Maturo are co-authored with