Roberta Gori

Available identifiers

zbMath Open gori.robertaMaRDI QIDQ264546

List of research outcomes

Publication	Date of Publication	Type
Limits and difficulties in the design of under-approximation abstract domains	2024-01-23	Paper
Computing preimages and ancestors in reaction systems	2023-10-16	Paper
Deciding program properties via complete abstractions on bounded domains	2023-07-28	Paper
Characterization and computation of ancestors in reaction systems	2022-07-21	Paper
Correct approximation of IEEE 754 floating-point arithmetic for program verification	2022-07-07	Paper
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks	2021-11-15	Paper
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models	2021-09-14	Paper
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation	2021-08-11	Paper
Code Obfuscation Against Abstract Model Checking Attacks	2020-07-07	Paper
Studying Opacity of Reaction Systems through Formula Based Predictors*	2019-05-24	Paper
Code obfuscation against abstraction refinement attacks	2018-11-16	Paper
Predictors for flat membrane systems	2018-06-18	Paper
Multiset patterns and their application to dynamic causalities in membrane systems	2018-05-16	Paper
Generalized contexts for reaction systems: definition and study of dynamic causalities	2018-04-17	Paper
Specialized Predictor for Reaction Systems with Context Properties	2017-11-09	Paper
A hierarchy of semantics for normal constraint logic programs	2017-01-19	Paper
Exploiting Binary Floating-Point Representations for Constraint Propagation	2016-05-19	Paper
An analysis for causal properties of membrane interactions	2016-04-26	Paper
Investigating dynamic causalities in reaction systems	2016-03-31	Paper
A Global Occurrence Counting Analysis for Brane Calculi	2016-02-05	Paper
Causal static analysis for brane calculi	2015-06-10	Paper
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation	2014-03-21	Paper
Assertion based Inductive Verification Methods for Logic Programs	2013-06-06	Paper
Logic programs as specifications in the inductive verification of logic programs	2013-05-24	Paper
An analysis for proving probabilistic termination of biological systems	2013-02-19	Paper
Boolean Functions for Finite-Tree Dependencies	2011-05-06	Paper
How to Transform an Analyzer into a Verifier	2011-05-06	Paper
Abstract interpretation based verification of temporal properties for BioAmbients	2010-08-19	Paper
An Analysis for Proving Temporal Properties of Biological Systems	2008-05-06	Paper
Programming Languages and Systems	2006-10-20	Paper
Finite-tree analysis for constraint logic-based languages	2006-03-07	Paper
On the verification of finite failure	2005-12-07	Paper
Abstract interpretation based verification of logic programs	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4736999	2004-08-11	Paper
Enhancing the expressive power of the U-Datalog language	2004-03-01	Paper
https://portal.mardi4nfdi.de/entity/Q4414385	2003-07-25	Paper
An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.	2003-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4786496	2002-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4778701	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2767031	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4499243	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4938429	2000-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4494369	2000-08-10	Paper
Finite failure is and-compositional	1998-03-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Roberta Gori