Follow
Roberta Gori
Roberta Gori
Verified email at di.unipi.it
Title
Cited by
Cited by
Year
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
472013
Investigating dynamic causalities in reaction systems
R Barbuti, R Gori, F Levi, P Milazzo
Theoretical Computer Science 623, 114-145, 2016
372016
Specialized predictor for reaction systems with context properties
R Barbuti, R Gori, F Levi, P Milazzo
Fundamenta Informaticae 147 (2-3), 173-191, 2016
222016
A new occurrence counting analysis for bioambients
R Gori, F Levi
Asian Symposium on Programming Languages and Systems, 381-400, 2005
222005
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
202009
Abstract interpretation based verification of temporal properties for bioambients
R Gori, F Levi
Information and Computation 208 (8), 869-921, 2010
192010
An analysis for proving temporal properties of biological systems
R Gori, F Levi
Asian Symposium on Programming Languages and Systems, 234-252, 2006
192006
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
182020
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
182018
Finite-tree analysis for constraint logic-based languages
R Bagnara, R Gori, PM Hill, E Zaffanella
International Static Analysis Symposium, 165-184, 2001
172001
Simulating Gene Regulatory Networks using Reaction Systems.
R Barbuti, P Bove, R Gori, F Levi, P Milazzo
CS&P 2240, 2018
162018
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
161999
Causal static analysis for brane calculi
C Bodei, R Gori, F Levi
Theoretical Computer Science 587, 73-103, 2015
152015
An analysis for causal properties of membrane interactions
C Bodei, R Gori, F Levi
Electronic Notes in Theoretical Computer Science 299, 15-31, 2013
152013
An experiment in type inference and verification by abstract interpretation
R Gori, G Levi
International Workshop on Verification, Model Checking, and Abstract …, 2002
142002
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
132018
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
122001
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
112019
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
112017
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
112003
The system can't perform the operation now. Try again later.
Articles 1–20