GORI, ROBERTA Statistiche

GORI, ROBERTA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 74 (tempo di esecuzione: 0.053 secondi).
Titolo Data di pubblicazione Autore(i) File
Causal analysis of positive Reaction Systems 1-gen-2024 Brodo, L.; Bruni, R.; Falaschi, M.; Gori, R.; Milazzo, P.; Montagna, V.; Pulieri, P.
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies 1-gen-2024 Bowles, Juliana; Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Milazzo, Paolo
Limits and Difficulties in the Design of Under-Approximation Abstract Domains 1-gen-2024 Ascari, Flavio; Bruni, Roberto; Gori, Roberta
Melding Boolean networks and reaction systems under synchronous, asynchronous and most permissive semantics 1-gen-2024 Bruni, R.; Gori, R.; Milazzo, P.; Siboulet, H.
A Correctness and Incorrectness Program Logic 1-gen-2023 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
Exploiting Adjoints in Property Directed Reachability Analysis 1-gen-2023 Kori, M.; Ascari, F.; Bonchi, F.; Bruni, R.; Gori, R.; Hasuo, I.
Local Completeness in Abstract Interpretation 1-gen-2023 Bruni, R.; Giacobazzi, R.; Gori, R.; Ranzato, F.
Logics for Extensional, Locally Complete Analysis via Domain Refinements 1-gen-2023 Ascari, F.; Bruni, R.; Gori, R.
Quantitative extensions of reaction systems based on SOS semantics 1-gen-2023 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Abstract Interpretation Repair 1-gen-2022 Bruni, R; Giacobazzi, R; Gori, R; Ranzato, F
Analysis and Verification of Robustness Properties in Becker-Döring Model 1-gen-2022 Nasti, L.; Gori, R.; Milazzo, P.
Correct approximation of IEEE 754 floating-point arithmetic for program verification 1-gen-2022 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
Deciding Program Properties via Complete Abstractions on Bounded Domains 1-gen-2022 Bruni, Roberto; Gori, Roberta; Manini, Nicolas
Limits and difficulties in the design of under-approximation abstract domains 1-gen-2022 Ascari, F.; Bruni, R.; Gori, R.
A Logic for Locally Complete Abstract Interpretations 1-gen-2021 Bruni, Roberto; Giacobazzi, Roberto; Gori, Roberta; Ranzato, Francesco
Characterization and computation of ancestors in reaction systems 1-gen-2021 Barbuti, R.; Bernasconi, A.; Gori, R.; Milazzo, P.
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 1-gen-2021 Barbuti, R.; Gori, R.; Milazzo, P.
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks 1-gen-2021 Barbuti, R.; Bove, P.; Gori, R.; Gruska, D.; Levi, F.; Milazzo, P.
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 1-gen-2021 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Formal characterization and efficient verification of a biological robustness property 1-gen-2021 Nasti, L.; Gori, R.; Milazzo, P.