HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Maria-Cristina Marinescu

Publications
Data Management in EpiGraph COVID-19 Epidemic Simulator
Miguel Guzmán-Merino, Christian Durán, Maria-Cristina Marinescu, Concepción Delgado-Sanz, Diana Gomez-Barroso, Jesus Carretero and David E. Singh
EasyChair Preprint 6468
Abduction for Learning Smart City Rules
Nikolaj Bjorner, Maria-Cristina Marinescu and Mooly Sagiv
In:GCAI 2017. 3rd Global Conference on Artificial Intelligence

Keyphrases

COVID-19, Epidemiological simulation, Heterogeneous data processing, Ontologies, Parallel tool, Smart Cities, SMT.

Copyright © 2012-2025 easychair.org. All rights reserved.