| 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 | 47 | 2013 |
| Investigating dynamic causalities in reaction systems R Barbuti, R Gori, F Levi, P Milazzo Theoretical Computer Science 623, 114-145, 2016 | 37 | 2016 |
| Specialized predictor for reaction systems with context properties R Barbuti, R Gori, F Levi, P Milazzo Fundamenta Informaticae 147 (2-3), 173-191, 2016 | 22 | 2016 |
| A new occurrence counting analysis for bioambients R Gori, F Levi Asian Symposium on Programming Languages and Systems, 381-400, 2005 | 22 | 2005 |
| 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 |
| Abstract interpretation based verification of temporal properties for bioambients R Gori, F Levi Information and Computation 208 (8), 869-921, 2010 | 19 | 2010 |
| An analysis for proving temporal properties of biological systems R Gori, F Levi Asian Symposium on Programming Languages and Systems, 234-252, 2006 | 19 | 2006 |
| 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 | 18 | 2020 |
| Generalized contexts for reaction systems: definition and study of dynamic causalities R Barbuti, R Gori, F Levi, P Milazzo Acta Informatica 55 (3), 227-267, 2018 | 18 | 2018 |
| Finite-tree analysis for constraint logic-based languages R Bagnara, R Gori, PM Hill, E Zaffanella International Static Analysis Symposium, 165-184, 2001 | 17 | 2001 |
| 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 |
| Causal static analysis for brane calculi C Bodei, R Gori, F Levi Theoretical Computer Science 587, 73-103, 2015 | 15 | 2015 |
| 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 | 14 | 2002 |
| 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 | 13 | 2018 |
| Enhancing the expressive power of the U-Datalog language E Bertino, B Catania, R Gori Theory and Practice of Logic Programming 1 (1), 105-122, 2001 | 12 | 2001 |
| 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 | 11 | 2019 |
| Multiset patterns and their application to dynamic causalities in membrane systems R Barbuti, R Gori, P Milazzo International Conference on Membrane Computing, 54-73, 2017 | 11 | 2017 |
| Abstract interpretation based verification of logic programs M Comini, R Gori, G Levi, P Volpe Science of Computer Programming 49 (1-3), 89-123, 2003 | 11 | 2003 |
