Roberta Gori

According to our database1, Roberta Gori authored at least 45 papers between 1994 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Predictors for flat membrane systems.
Theor. Comput. Sci., 2018

Code obfuscation against abstraction refinement attacks.
Formal Asp. Comput., 2018

Generalized contexts for reaction systems: definition and study of dynamic causalities.
Acta Inf., 2018

Code Obfuscation Against Abstract Model Checking Attacks.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Computing Preimages and Ancestors in Reaction Systems.
Proceedings of the Theory and Practice of Natural Computing - 7th International Conference, 2018

Formalizing a Notion of Concentration Robustness for Biochemical Networks.
Proceedings of the Software Technologies: Applications and Foundations, 2018

Hidden States in Reaction Systems.
Proceedings of the 27th International Workshop on Concurrency, 2018

Simulating Gene Regulatory Networks using Reaction Systems.
Proceedings of the 27th International Workshop on Concurrency, 2018

2017
A static analysis for Brane Calculi providing global occurrence counting information.
Theor. Comput. Sci., 2017

Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems.
Proceedings of the Membrane Computing, 2017

Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Investigating dynamic causalities in reaction systems.
Theor. Comput. Sci., 2016

Exploiting Binary Floating-Point Representations for Constraint Propagation.
INFORMS Journal on Computing, 2016

2015
Causal static analysis for Brane Calculi.
Theor. Comput. Sci., 2015

A Global Occurrence Counting Analysis for Brane Calculi.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Specialized Predictor for Reaction Systems with Context Properties.
Proceedings of the 24th International Workshop on Concurrency, 2015

2013
An analysis for proving probabilistic termination of biological systems.
Theor. Comput. Sci., 2013

An Analysis for Causal Properties of Membrane Interactions.
Electr. Notes Theor. Comput. Sci., 2013

Symbolic Path-Oriented Test Data Generation for Floating-Point Programs.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2010
Abstract interpretation based verification of temporal properties for BioAmbients.
Inf. Comput., 2010

A Taxonomy of Causality-Based Biological Properties
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

2009
Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation.
Electr. Notes Theor. Comput. Sci., 2009

Abstract Interpretation for Probabilistic Termination of Biological Systems
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

2006
An Analysis for Proving Temporal Properties of Biological Systems.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
A New Occurrence Counting Analysis for BioAmbients.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2003
An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations.
Theor. Comput. Sci., 2003

Abstract interpretation based verification of logic programs.
Sci. Comput. Program., 2003

Properties of a Type Abstract Interpreter.
Proceedings of the Verification, 2003

2002
An Experiment in Type Inference and Verification by Abstract Interpretation.
Proceedings of the Verification, 2002

2001
Enhancing the expressive power of the U-Datalog language.
TPLP, 2001

Logic programs as specifications in the inductive verification of logic programs.
Electr. Notes Theor. Comput. Sci., 2001

Finite-Tree Analysis for Constraint Logic-Based Languages.
Proceedings of the Static Analysis, 8th International Symposium, 2001

How to Transform an Analyzer into a Verifier.
Proceedings of the Logic for Programming, 2001

Boolean Functions for Finite-Tree Dependencies.
Proceedings of the Logic for Programming, 2001

2000
Assertion based Inductive Verification Methods for Logic Programs.
Electr. Notes Theor. Comput. Sci., 2000

An Abstract Interpretation Approach to Termination of Logic Programs.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

1999
Abstract Interpretation based Verification of Logic Programs.
Electr. Notes Theor. Comput. Sci., 1999

On the Verification of Finite Failure.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

A Fixpoint Semantics for Reasoning about Finite Failure.
Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

On the verification of finite failure.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

A fixpoint semantics for reasoning about finite failure.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Analysis of Normal Logic Programs.
Proceedings of the Static Analysis, 5th International Symposium, 1998

Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1996
A Hierarchy of Semantics for Normal Constraint Logic Programs.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

1994
Finite Failure is AND-Compositional.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994


  Loading...