Follow
Roberta Gori
Roberta Gori
Verified email at di.unipi.it
Title
Cited by
Cited by
Year
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
672020
Investigating dynamic causalities in reaction systems
R Barbuti, R Gori, F Levi, P Milazzo
Theoretical Computer Science 623, 114-145, 2016
532016
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
532013
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
412021
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
322019
A correctness and incorrectness program logic
R Bruni, R Giacobazzi, R Gori, F Ranzato
Journal of the ACM 70 (2), 1-45, 2023
292023
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
262018
Specialized predictor for reaction systems with context properties
R Barbuti, R Gori, F Levi, P Milazzo
Fundamenta Informaticae 147 (2-3), 173-191, 2016
242016
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
222018
A new occurrence counting analysis for bioambients
R Gori, F Levi
Programming Languages and Systems: Third Asian Symposium, APLAS 2005 …, 2005
222005
Abstract interpretation based verification of temporal properties for bioambients
R Gori, F Levi
Information and Computation 208 (8), 869-921, 2010
212010
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
212009
An analysis for proving temporal properties of biological systems
R Gori, F Levi
Asian Symposium on Programming Languages and Systems, 234-252, 2006
212006
Formalizing a notion of concentration robustness for biochemical networks
L Nasti, R Gori, P Milazzo
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
202018
Finite-tree analysis for constraint logic-based languages
R Bagnara, R Gori, PM Hill, E Zaffanella
International Static Analysis Symposium, 165-184, 2001
192001
Causal static analysis for brane calculi
C Bodei, R Gori, F Levi
Theoretical Computer Science 587, 73-103, 2015
182015
Simulating gene regulatory networks using reaction systems
R Barbuti, P Bove, R Gori, F Levi, P Milazzo
CEUR WORKSHOP PROCEEDINGS 2240, 1-14, 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
Abstract interpretation repair
R Bruni, R Giacobazzi, R Gori, F Ranzato
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
152022
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
The system can't perform the operation now. Try again later.
Articles 1–20