Elisabetta De Maria

Available identifiers

zbMath Open de-maria.elisabettaMaRDI QIDQ533352

List of research outcomes

Publication	Date of Publication	Type
Spiking neural networks modelled as timed automata: with parameter learning	2024-02-09	Paper
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems	2019-12-04	Paper
A Logical Framework for Systems Biology	2015-08-06	Paper
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints	2011-05-03	Paper
Games on Strings with a Limited Order Relation	2009-02-24	Paper

Research outcomes over time

This page was built for person: Elisabetta De Maria