Simone Tini

49 papers and 256 indexed citations i.

Simone Tini has authored 49 papers that have received a total of 256 indexed citations. This includes 37 papers in Computational Theory and Mathematics, 32 papers in Artificial Intelligence and 11 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (34 papers), Logic, programming, and type systems (14 papers) and Logic, Reasoning, and Knowledge (11 papers). Simone Tini is often cited by papers focused on Formal Methods in Verification (34 papers), Logic, programming, and type systems (14 papers) and Logic, Reasoning, and Knowledge (11 papers) and collaborates with scholars based in Italy, The Netherlands and Iceland. Simone Tini's co-authors include Andrea Maggiolo–Schettini, Ruggero Lanotte, Roberto Barbuti, Valentina Castiglioni and Paolo Milazzo and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and Information and Computation