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 fields papers by Lilik Handajani are about Top authors papers by В. Н. Тихонов are co-authored with Top authors papers by Ana María Cestero Mancera are co-authored with Top fields papers by Takehiko Kobayashi are about Top countries impacted by papers by Paul Gottfried Top fields papers by Louise Mallinder are about Top authors papers by Randall Lesaffer are co-authored with Top journals papers by Dariusz Świerczewski are published in