Elisa Tonello is an author at Freie Universität Berlin specializing in formal verification, formal methods, and synthetic biology.
Top concepts
EngineeringVerificationFormal MethodsProcess ControlSystems BiologyComputer ScienceNetwork AnalysisSynthetic BiologyAutomated ReasoningFormal Verification
Publications per year
2019–2022
3
3
Realizations of kinetic differential equations
Gheorghe Crăciun, Matthew D. Johnston, Gábor Szederkényi et al. · Mathematical Biosciences & Engineering · 2019 · 21 citations · Full text
The design principles of discrete turing patterning systems
Thomas Leyshon, Elisa Tonello, David Schnoerr et al. · Journal of Theoretical Biology · 2021 · 16 citations
Rows per page
1–3 of 3