Simone Tini
Active 1996–2026
- Affiliations
- University of InsubriaUniversity of PisaThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0002-3991-5123
- 99
- Papers
- 773
- Citations
- 16
- h-index
- 27
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science77.5%
- Biochemistry, Genetics and Molecular Biology14.3%
- Engineering4.8%
- Mathematics0.8%
- Physics and Astronomy0.5%
- Social Sciences0.5%
- Other1.6%
Topics
- Formal Methods in Verification29%
- Logic, programming, and type systems12.1%
- Logic, Reasoning, and Knowledge8%
- Advanced Software Engineering Methodologies7.6%
- Model-Driven Software Engineering Techniques6.9%
- DNA and Biological Computing6.1%
- Other30.2%
Frequent coauthors
- Ruggero Lanotte37
- Andrea Maggiolo-Schettini30
- Valentina Castiglioni27
- Michele Loreti14
- Massimo Merro11
- Paolo Milazzo11
- Roberto Barbuti11
- Daniel Gebler9
- Adriano Peron4
- Desiree Manicardi4
- Enrico Tronci4
- Jian Xiang4
- Nicoletta Sabadini4
- Giovanni Pardini3
- Alessandra Cherubini2
- Alessandro Gianola2
- Angelo Troina2
- Fabio Martinelli2
- Giulio Caravagna2
- Jorge A. Pérez 00012
- Kirstin Peters2
- Roberto Gorrieri2
- Stefano Kasangian2
- Stephen Chong2
All papers
Loading papers…
