Linda Brodo

University of Sassari — Italy

Computer Science · Physical Sciences

11h-index333citations54works2.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(16), Gene Regulatory Network Analysis(16), DNA and Biological Computing(13), Distributed systems and fault tolerance(10), Logic, programming, and type systems(9)

Publications54 total

Preface
Natural Computing·2025Open Access
Slicing analyses for negative dependencies in reaction systems modeling gene regulatory networks
Natural Computing·2025· 1 citedOpen Access
Simulation and Analysis of Distributed Reaction Systems
IEEE Access·2025Open Access
Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems
Lecture notes in computer science·2025· 3 cited
ccReact: a rewriting framework for the formal analysis of reaction systems
International Journal on Software Tools for Technology Transfer·2024· 1 cited
A Computational Model of the Secondary Hemostasis Pathway in Reaction Systems
Mathematics·2024Open Access
Causal analysis of positive Reaction Systems
International Journal on Software Tools for Technology Transfer·2024· 6 citedOpen Access
A framework for monitored dynamic slicing of reaction systems
Natural Computing·2024· 5 citedOpen Access
Modeling and Analyzing Reaction Systems in Maude
Electronics·2024· 3 citedOpen Access
Process Calculi and Rewriting Techniques for Analyzing Reaction Systems
Lecture notes in computer science·2024· 2 cited
Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies
Lecture notes in computer science·2024· 3 citedOpen Access
Quantitative extensions of reaction systems based on SOS semantics
Neural Computing and Applications·2023· 12 citedOpen Access
Dynamic Slicing of Reaction Systems Based on Assertions and Monitors
Lecture notes in computer science·2023· 11 cited
A logical and graphical framework for reaction systems
Theoretical Computer Science·2021· 17 citedOpen Access
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems
Lecture notes in computer science·2021· 9 cited
SOS Rules for Equivalences of Reaction Systems
CINECA IRIS Institutial research information system (University of Pisa)·2021· 1 citedOpen Access
A process algebraic approach to reaction systems
Theoretical Computer Science·2020· 13 cited
A Constraint-based Language for Multiparty Interactions
Electronic Notes in Theoretical Computer Science·2020· 1 citedOpen Access
Variations in use and access of mental health services in Europe
European Journal of Public Health·2020· 2 citedOpen Access
The link-calculus for open multiparty interactions
Information and Computation·2020· 5 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Roberto Bruni(18), Moreno Falaschi(17), Chiara Bodei(12), Roberta Gori(9), Pierpaolo Degano(8), Paolo Milazzo(7), Corrado Priami(5), Manuele Bicego(5), Mássimo Tistarelli(5), Carlos Olarte(5), Enrico Grosso(4), Andrea Lagorio(4), Francesca Levi(4), Gavin Brelstaff(3), Diana Hermith(3), Demis Ballis(3), Andrea Bernini(2), Davide Chiarugi(2), Han Gao(2), Marcos Ortega(2)