activity
20042023
most citedCorrect Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification

6 citations · 18 across the 10 of their papers we have counts for

collaborators
Showing 2021 · cs.CEShow all

1 paper · 2 filters

cs.CE2021★ 2 cited

Efficient Analysis of Chemical Reaction Networks Dynamics based on Input-Output Monotonicity

Lucia Nasti, Roberta Gori, Paolo Milazzo +1

Motivation: A Chemical Reaction Network (CRN) is a set of chemical reactions, which can be very complex and difficult to analyze. Indeed, dynamical properties of CRNs can be descri…