| A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models R Barbuti, R Gori, P Milazzo, L Nasti Journal of Membrane Computing 2 (3), 207-226, 2020 | 51 | 2020 |
| Symbolic path-oriented test data generation for floating-point programs R Bagnara, M Carlier, R Gori, A Gotlieb 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 51 | 2013 |
| Investigating dynamic causalities in reaction systems R Barbuti, R Gori, F Levi, P Milazzo Theoretical Computer Science 623, 114-145, 2016 | 46 | 2016 |
| A logic for locally complete abstract interpretations R Bruni, R Giacobazzi, R Gori, F Ranzato 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021 | 35 | 2021 |
| Abstract extensionality: on the properties of incomplete abstract interpretations R Bruni, R Giacobazzi, R Gori, I Garcia-Contreras, D Pavlovic Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 28 | 2019 |
| Specialized predictor for reaction systems with context properties R Barbuti, R Gori, F Levi, P Milazzo Fundamenta Informaticae 147 (2-3), 173-191, 2016 | 24 | 2016 |
| Effects of pasteurization and storage conditions on donkey milk nutritional and hygienic characteristics M Martini, F Salari, I Altomonte, G Ragona, A Piazza, R Gori, D Casati, ... Journal of Dairy Research 85 (4), 445-448, 2018 | 23 | 2018 |
| An analysis for proving temporal properties of biological systems R Gori, F Levi Asian Symposium on Programming Languages and Systems, 234-252, 2006 | 21 | 2006 |
| A new occurrence counting analysis for bioambients R Gori, F Levi Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005 | 21 | 2005 |
| Generalized contexts for reaction systems: definition and study of dynamic causalities R Barbuti, R Gori, F Levi, P Milazzo Acta Informatica 55, 227-267, 2018 | 20 | 2018 |
| Abstract interpretation based verification of temporal properties for bioambients R Gori, F Levi Information and Computation 208 (8), 869-921, 2010 | 20 | 2010 |
| Approximating probabilistic behaviors of biological systems using abstract interpretation A Coletta, R Gori, F Levi Electronic Notes in Theoretical Computer Science 229 (1), 165-182, 2009 | 20 | 2009 |
| A correctness and incorrectness program logic R Bruni, R Giacobazzi, R Gori, F Ranzato Journal of the ACM 70 (2), 1-45, 2023 | 19 | 2023 |
| Finite-tree analysis for constraint logic-based languages R Bagnara, R Gori, PM Hill, E Zaffanella International Static Analysis Symposium, 165-184, 2001 | 18 | 2001 |
| Causal static analysis for brane calculi C Bodei, R Gori, F Levi Theoretical Computer Science 587, 73-103, 2015 | 17 | 2015 |
| Simulating Gene Regulatory Networks using Reaction Systems. R Barbuti, P Bove, R Gori, F Levi, P Milazzo CS&P 2240, 2018 | 16 | 2018 |
| Abstract interpretation based verification of logic programs M Comini, R Gori, G Levi, P Volpe Electronic Notes in Theoretical Computer Science 30 (1), 22-38, 1999 | 16 | 1999 |
| Formalizing a notion of concentration robustness for biochemical networks L Nasti, R Gori, P Milazzo Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 15 | 2018 |
| An analysis for causal properties of membrane interactions C Bodei, R Gori, F Levi Electronic Notes in Theoretical Computer Science 299, 15-31, 2013 | 15 | 2013 |
| An experiment in type inference and verification by abstract interpretation R Gori, G Levi International Workshop on Verification, Model Checking, and Abstract …, 2002 | 13 | 2002 |
