Mirco Tribastone

53 papers and 365 indexed citations i.

About

Mirco Tribastone has authored 53 papers that have received a total of 365 indexed citations. This includes 21 papers in Molecular Biology, 17 papers in Computer Networks and Communications and 15 papers in Computational Theory and Mathematics. The topics of these papers are Gene Regulatory Network Analysis (21 papers), Formal Methods in Verification (13 papers) and Software System Performance and Reliability (9 papers). Mirco Tribastone is often cited by papers focused on Gene Regulatory Network Analysis (21 papers), Formal Methods in Verification (13 papers) and Software System Performance and Reliability (9 papers) and collaborates with scholars based in Italy, United Kingdom and Germany. Mirco Tribastone's co-authors include Max Tschaikowski, Luca Cardelli, Andrea Vandin, Stephen Gilmore and Jane Hillston 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

Rankless by CCL
2025