Concepedia

Linda Brodo

LB

10

Publications

131

Citations

10

H-Index

2007

Active since

Affiliations

University of Sassari(Current)

University of Pisa

University of Siena

Technical University of Denmark

Linda Brodo is an author at University of Sassari specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationFormal SpecificationCryptographyVerificationData SecurityProcess Control

Publications per year

2007–2023

10

Publications

10

Distinctiveness of faces

Manuele Bicego, Enrico Grosso, Andrea Lagorio et al. · ACM Transactions on Applied Perception · 2008 · 20 citations

Face Detection, Cognitive Science, Image Analysis +14

A logical and graphical framework for reaction systems

Linda Brodo, Roberto Bruni, Moreno Falaschi · Theoretical Computer Science · 2021 · 17 citations · Full text

Engineering, Automated Reasoning, Process Control +5

Process calculi for biological processes

Andrea Bernini, Linda Brodo, Pierpaolo Degano et al. · Natural Computing · 2018 · 13 citations · Full text

Process Calculi, Engineering, Bioenergetics +8

A process algebraic approach to reaction systems

Linda Brodo, Roberto Bruni, Moreno Falaschi · Theoretical Computer Science · 2020 · 13 citations

Interacting Particle System, Process Control, Reaction Process +3

A Flat Process Calculus for Nested Membrane Interactions

Chiara Bodei, Linda Brodo, Roberto Bruni et al. · Scientific Annals of Computer Science · 2014 · 12 citations · Full text

Rows per page

1–5 of 10