Get started
Author

Elisabetta DE MARIA

Observed names: DE MARIA E, DE MARIA, Elisabetta, De Maria, De Maria Elisabetta, De Maria, Elisabetta, E. De Maria, Elisabetta De Maria, Elisabetta de Maria, Maria, E. de, de Maria, Elisabetta
Observed institutions: University of Udine, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Université Côte d'Azur, Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis, Observatoire de la Côte d’Azur, Université Nice Sophia Antipolis, LIFEWARE: Computational systems biology and optimization
ORCID: 0000-0001-7116-9629
Observed ORCID: 0000-0001-7116-9629
OpenAlex ID: A5073799150
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
2010 · Elisabetta De Maria, François Fages, et al. · Theoretical Computer Science · 19
An automaton-based approach to the verification of timed workflow schemas
2006 · E. De Maria, A. Montanari, et al. · 15
Probabilistic model checking for human activity recognition in medical serious games
2021 · Thibaud L'Yvonnet, Elisabetta De Maria, et al. · Science of Computer Programming · 12
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
2009 · Elisabetta De Maria, François Fages, et al. · Lecture notes in computer science · 12
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems
2016 · Elisabetta De Maria, Alexandre Muzy, et al. · Lecture notes in computer science · 11
A Logical Framework for Systems Biology
2014 · Elisabetta de Maria, Joëlle Despeyroux, et al. · Lecture notes in computer science · 11
PDF
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata
2018 · Elisabetta De Maria, Cinzia Di Giusto · International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) · 10
Systems Biology Modelling and Analysis
2022 · De Maria, Elisabetta · Wiley eBooks · 9
On the use of formal methods to model and verify neuronal archetypes
2021 · Elisabetta De Maria, Abdorrahim Bahrami, et al. · Frontiers of Computer Science · 8
PDF
Spiking neural networks modelled as timed automata: with parameter learning
2019 · Elisabetta De Maria, Cinzia Di Giusto, et al. · Natural Computing · 7
PDF
A Model-checking Approach to Reduce Spiking Neural Networks
2018 · Elisabetta De Maria, Daniel Gaffé, et al. · International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) · 6
Modelling and Formal Verification of Neuronal Archetypes Coupling
2017 · Elisabetta De Maria, Thibaud L'Yvonnet, et al. · 6
Probabilistic Activity Recognition for Serious Games with Applications in Medicine
2020 · Elisabetta De Maria, Thibaud L’Yvonnet, et al. · Communications in computer and information science · 5
Modelling and Verifying Dynamic Properties of Biological Neural Networks in Coq
2018 · Abdorrahim Bahrami, Elisabetta De Maria, et al. · 5
Formal Validation of Neural Networks as Timed Automata
2017 · Elisabetta De Maria, Cinzia Di Giusto, et al. · 5
Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models
2016 · Elisabetta De Maria, Alexandre Muzy, et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 5
Checking Workflow Schemas with Time Constraints Using Timed Automata
2005 · Elisabetta De Maria, Angelo Montanari, et al. · Lecture notes in computer science · 4
Large Language Model Meets Constraint Propagation
2025 · Alexandre Bonlarron, Florian Régin, et al. · International Joint Conference on Artificial Intelligence · 3
PDF
Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems
2023 · Florian Régin, Elisabetta De Maria · Proceedings - International Conference on Tools with Artificial Intelligence, TAI · 3
Modeling Third Generation Neural Networks as Timed Automata and verifying their behavior through Temporal Logic
2017 · Giovanni Ciatto, Elisabetta De Maria, et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 3
Games on Strings with a Limited Order Relation
2008 · Elisabetta De Maria, Angelo Montanari, et al. · Lecture notes in computer science · 3
Combining Constraint Programming Reasoning with Large Language Model Predictions
2024 · R\'egin, Florian, De Maria, Elisabetta, et al. · arXiv (Cornell University) · 2
PDF
Computational Systems Biology in BIOCHAM
2010 · Fages, François, Batt, Gregory, et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2
Probabilistic Spiking Neural Networks: Formal Verification and Simulation
2026 · Zhen Yao, Elisabetta De Maria, et al. · Lecture notes in computer science · 1
A Model-Checking Framework for Neuro-Degenerative Deficit Screening and Personalized Training
2025 · Elisabetta De Maria, Christopher Leturc · International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) · 1
Works count: 62
Citation count: 168
H-index: 8
I10-index: 7
Year
Topic
Type