List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Spiking neural networks modelled as timed automata: with parameter learning Natural Computing | 2024-02-09 | Paper |
| Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems Hybrid Systems Biology | 2019-12-04 | Paper |
| Verification of temporal properties of neuronal archetypes modeled as synchronous reactive systems Hybrid Systems Biology | 2019-12-04 | Paper |
| A logical framework for systems biology Formal Methods in Macro-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 Theoretical Computer Science | 2011-05-03 | Paper |
| Games on Strings with a Limited Order Relation Logical Foundations of Computer Science | 2009-02-24 | Paper |
Research outcomes over time
This page was built for person: Elisabetta De Maria
