Elisabetta De Maria

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 19

Top Topics

Spiking Neural Networks

Top Venues

J. Bioinform. Comput. Biol.

Publications

Florian Régin, Elisabetta De Maria, Alexandre Bonlarron
Combining Constraint Programming Reasoning with Large Language Model Predictions. CoRR (2024)
Florian Régin, Elisabetta De Maria, Alexandre Bonlarron
Combining Constraint Programming Reasoning with Large Language Model Predictions. CP (2024)
Florian Régin, Elisabetta De Maria
Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems. ICTAI (2023)
Elisabetta De Maria, Benjamin Lapijover, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault
A Formal Probabilistic Model of the Inhibitory Control Circuit in the Brain. BIOINFORMATICS (2023)
Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont
On the use of formal methods to model and verify neuronal archetypes. Frontiers Comput. Sci. 16 (3) (2022)
Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault
Probabilistic model checking for human activity recognition in medical serious games. Sci. Comput. Program. 206 (2021)
Thibaud L'Yvonnet, Elisabetta De Maria, Sabine Moisan, Jean-Paul Rigault
Probabilistic Model Checking for Activity Recognition in Medical Serious Games. SEH@ICSE (2021)
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
Spiking neural networks modelled as timed automata: with parameter learning. Nat. Comput. 19 (1) (2020)
Elisabetta De Maria, Morgan Magnin
Introduction to the JBCB special issue on CSBio 2019. J. Bioinform. Comput. Biol. 18 (3) (2020)
Abdorrahim Bahrami, Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty, Pietro Lió, Carlos Olarte
Computational Logic for Biomedicine and Neurosciences. CoRR (2020)
Elisabetta De Maria
Introduction to JBCB Special Issue on BIOINFORMATICS 2019. J. Bioinform. Comput. Biol. 17 (5) (2019)
Elisabetta De Maria, Thibaud L'Yvonnet, Sabine Moisan, Jean-Paul Rigault
Probabilistic Activity Recognition for Serious Games with Applications in Medicine. FTSCS (2019)
Elisabetta De Maria, Cinzia Di Giusto
Inferring the Synaptical Weights of Leaky Integrate and Fire Asynchronous Neural Networks: Modelled as Timed Automata. BIOSTEC (Selected Papers) (2018)
Elisabetta De Maria, Daniel Gaffé, Cédric Girard Riboulleau, Annie Ressouche
A Model-checking Approach to Reduce Spiking Neural Networks. BIOINFORMATICS (2018)
Elisabetta De Maria, Cinzia Di Giusto, Laetitia Laversa
Spiking Neural Networks modelled as Timed Automata with parameter learning. CoRR (2018)
Elisabetta De Maria, Cinzia Di Giusto
Parameter Learning for Spiking Neural Networks Modelled as Timed Automata. BIOINFORMATICS (2018)
Elisabetta De Maria, Thibaud L'Yvonnet, Daniel Gaffé, Annie Ressouche, Franck Grammont
Modelling and Formal Verification of Neuronal Archetypes Coupling. CSBio (2017)
Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata. CSBio (2017)
Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive Systems. HSB (2016)
Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty
A Logical Framework for Systems Biology. FMMB (2014)
Elisabetta De Maria, Joëlle Despeyroux, Amy P. Felty
A Logical Framework for Systems Biology. CoRR (2014)
Elisabetta De Maria, François Fages, Aurélien Rizk, Sylvain Soliman
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. Theor. Comput. Sci. 412 (21) (2011)
François Fages, Grégory Batt, Elisabetta De Maria, Dragana Jovanovska, Aurélien Rizk, Sylvain Soliman
Computational Systems Biology in BIOCHAM. ERCIM News 2010 (82) (2010)
Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna
Games on Strings with a Limited Order Relation. LFCS (2009)
Elisabetta De Maria, François Fages, Sylvain Soliman
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. CMSB (2009)
Elisabetta De Maria, Angelo Montanari, Marco Zantoni
An automaton-based approach to the verification of timed workflow schemas. TIME (2006)
Elisabetta De Maria, Angelo Montanari, Marco Zantoni
Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops (2005)