Andrea Vandin
About
Andrea Vandin has authored 32 papers that have received a total of 198 indexed citations.
This includes 14 papers in Computational Theory and Mathematics, 13 papers in Molecular Biology and 11 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (13 papers), Gene Regulatory Network Analysis (13 papers) and Model-Driven Software Engineering Techniques (8 papers). Andrea Vandin is often cited by papers focused on Formal Methods in Verification (13 papers), Gene Regulatory Network Analysis (13 papers) and Model-Driven Software Engineering Techniques (8 papers) and collaborates with scholars based in Italy, Denmark and United Kingdom. Andrea Vandin's co-authors include Mirco Tribastone, Max Tschaikowski, Luca Cardelli, Alberto Lluch Lafuente and Maurice H. ter Beek and has published in prestigious journals such as Proceedings of the National Academy of Sciences, Bioinformatics and IEEE Transactions on Automatic Control
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Giulia Capelli are co-authored with Top countries impacted by papers by Primitivo B. Acosta-Humánez Top countries impacted by papers by Roger Collins Top authors papers by Joseph R. Davidson are co-authored with Top authors papers by E. H. Geyer are co-authored with Top journals papers by Shibin Sun are published in Top countries impacted by papers by Deisy de Freitas Lima Ventura Top journals papers by Juan Pablo Ochoa are published in