Roberta Gori

753 total citations
45 papers, 280 citations indexed

About

Roberta Gori is a scholar working on Computational Theory and Mathematics, Molecular Biology and Artificial Intelligence. According to data from OpenAlex, Roberta Gori has authored 45 papers receiving a total of 280 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Computational Theory and Mathematics, 22 papers in Molecular Biology and 19 papers in Artificial Intelligence. Recurrent topics in Roberta Gori's work include Formal Methods in Verification (20 papers), Gene Regulatory Network Analysis (17 papers) and Logic, programming, and type systems (16 papers). Roberta Gori is often cited by papers focused on Formal Methods in Verification (20 papers), Gene Regulatory Network Analysis (17 papers) and Logic, programming, and type systems (16 papers). Roberta Gori collaborates with scholars based in Italy, Norway and Slovakia. Roberta Gori's co-authors include Paolo Milazzo, Francesca Levi, Roberto Barbuti, Roberto Bruni, Roberto Giacobazzi, Francesco Ranzato, Chiara Bodei, Giorgio Levi, Iolanda Altomonte and Gianmarco Ferrara and has published in prestigious journals such as SHILAP Revista de lepidopterología, Bioinformatics and Journal of the ACM.

In The Last Decade

Roberta Gori

41 papers receiving 266 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Roberta Gori Italy	11	169	98	67	38	24	45	280
Jetty Kleijn Netherlands	9	102 0.6×	135 1.4×	73 1.1×	20 0.5×	46 1.9×	56	264
A. L. Brown United Kingdom	10	141 0.8×	36 0.4×	100 1.5×	10 0.3×	87 3.6×	28	304
Tung Thanh Hoang Vietnam	11	167 1.0×	28 0.3×	42 0.6×	8 0.2×	53 2.2×	44	439
Meng Jia China	10	31 0.2×	92 0.9×	138 2.1×	15 0.4×	26 1.1×	33	275
Anthony J. Macula United States	9	187 1.1×	37 0.4×	113 1.7×	6 0.2×	59 2.5×	29	331
Ricardo Rocha Portugal	8	84 0.5×	31 0.3×	144 2.1×	27 0.7×	72 3.0×	47	315
Shigeru Igarashi Japan	7	25 0.1×	85 0.9×	102 1.5×	34 0.9×	15 0.6×	29	233
Tero Harju Finland	13	340 2.0×	554 5.7×	412 6.1×	4 0.1×	22 0.9×	115	733
David J. Hunt United States	6	138 0.8×	20 0.2×	17 0.3×	19 0.5×	59 2.5×	8	308
Igor Siveroni United Kingdom	8	18 0.1×	33 0.3×	73 1.1×	19 0.5×	27 1.1×	12	177

Countries citing papers authored by Roberta Gori

Since Specialization

Citations

This map shows the geographic impact of Roberta Gori's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Roberta Gori with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Roberta Gori more than expected).

Fields of papers citing papers by Roberta Gori

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Roberta Gori. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Roberta Gori. The network helps show where Roberta Gori may publish in the future.

Co-authorship network of co-authors of Roberta Gori

This figure shows the co-authorship network connecting the top 25 collaborators of Roberta Gori. A scholar is included among the top collaborators of Roberta Gori based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Roberta Gori. Roberta Gori is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Bruni, Roberto, et al.. (2026). U-Turn: Enhancing Incorrectness Analysis by Reversing Direction. Proceedings of the ACM on Programming Languages. 10(POPL). 1326–1352. 1 indexed citations

Bruni, Roberto, et al.. (2025). Revealing Sources of (Memory) Errors via Backward Analysis. Proceedings of the ACM on Programming Languages. 9(OOPSLA1). 1321–1348. 2 indexed citations

Bruni, Roberto, et al.. (2025). Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks. Natural Computing. 24(4). 1045–1074.

Bruni, Roberto, et al.. (2023). Quantitative extensions of reaction systems based on SOS semantics. Neural Computing and Applications. 35(9). 6335–6359. 6 indexed citations

Ferrara, Gianmarco, et al.. (2023). A retrospective serosurvey of selected pathogens in red foxes (Vulpes vulpes) in the Tuscany region, Italy. Acta veterinaria Scandinavica. 65(1). 35–35. 11 indexed citations

Bagnara, Roberto, et al.. (2022). Correct approximation of IEEE 754 floating-point arithmetic for program verification. Constraints. 27(1-2). 29–69. 1 indexed citations

Barbuti, Roberto, Anna Bernasconi, Roberta Gori, & Paolo Milazzo. (2020). Characterization and computation of ancestors in reaction systems. Soft Computing. 25(3). 1683–1698. 3 indexed citations

Gori, Roberta, et al.. (2019). Towards an Efficient Verification Method for Monotonicity Properties of Chemical Reaction Networks.. Bioinformatics. 250–257.

Martini, Mina, et al.. (2018). Effects of pasteurization and storage conditions on donkey milk nutritional and hygienic characteristics. Journal of Dairy Research. 85(4). 445–448. 15 indexed citations

10.

Barbuti, Roberto, Roberta Gori, & Paolo Milazzo. (2018). Predictors for flat membrane systems. Theoretical Computer Science. 736. 79–102. 2 indexed citations

11.

Bodei, Chiara, et al.. (2017). A static analysis for Brane Calculi providing global occurrence counting information. Theoretical Computer Science. 696. 11–51. 8 indexed citations

12.

Bodei, Chiara, Roberta Gori, & Francesca Levi. (2015). Causal static analysis for Brane Calculi. Theoretical Computer Science. 587. 73–103. 10 indexed citations

13.

Barbuti, Roberto, Roberta Gori, Francesca Levi, & Paolo Milazzo. (2015). Investigating dynamic causalities in reaction systems. Theoretical Computer Science. 623. 114–145. 30 indexed citations

14.

Bagnara, Roberto, et al.. (2013). Exploiting Binary Floating-Point Representations for Constraint Propagation. arXiv (Cornell University). 1 indexed citations

15.

Bodei, Chiara, Roberta Gori, & Francesca Levi. (2013). An Analysis for Causal Properties of Membrane Interactions. Electronic Notes in Theoretical Computer Science. 299. 15–31. 10 indexed citations

16.

Gori, Roberta & Francesca Levi. (2012). An analysis for proving probabilistic termination of biological systems. Theoretical Computer Science. 471. 27–73.

17.

Gori, Roberta & Giorgio Levi. (2005). On the verification of finite failure. Journal of Computer and System Sciences. 71(4). 535–575. 1 indexed citations

18.

Gori, Roberta, et al.. (2003). Abstract interpretation based verification of logic programs. Science of Computer Programming. 49(1-3). 89–123. 2 indexed citations

19.

Gori, Roberta. (2002). An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations. Theoretical Computer Science. 290(1). 863–936. 2 indexed citations

20.

Gori, Roberta, et al.. (2001). Logic programs as specifications in the inductive verification of logic programs. Electronic Notes in Theoretical Computer Science. 48. 131–146. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact