Roberto Gorrieri
Active 1980–2025
- Affiliations
- University of BolognaZambon (Italy)This 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-0001-5502-0584
- 181
- Papers
- 4,831
- Citations
- 38
- h-index
- 100
- 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 Science85.6%
- Social Sciences4.6%
- Biochemistry, Genetics and Molecular Biology3.3%
- Business, Management and Accounting2.7%
- Engineering1.6%
- Decision Sciences0.5%
- Other1.7%
Topics
- Formal Methods in Verification18.2%
- Security and Verification in Computing10.4%
- Logic, programming, and type systems10.2%
- Distributed systems and fault tolerance10.1%
- Petri Nets in System Modeling9%
- Service-Oriented Architecture and Web Services7%
- Other35%
Frequent coauthors
- Nadia Busi28
- Fabio Martinelli23
- Riccardo Focardi22
- Gianluigi Zavattaro21
- Mario Bravetti17
- Roberto Lucchi13
- Alessandro Aldini12
- Marco Bernardo 000110
- Pierpaolo Degano10
- Marco Roccetti7
- Ugo Montanari7
- Arend Rensink6
- Cristian Versari6
- Claudio Guidi5
- Antonio Durante4
- Flavio Corradini4
- Lorenzo Donatiello4
- Marinella Petrocchi4
- Antonio Brogi3
- Arnaldo Cesco3
- Chris Hankin3
- Sergio Marchetti3
- Alberto Marchetti-Spaccamela2
- Alessandra Di Pierro2
All papers
Loading papers…
