Stefania Dumbrava
Stefania Dumbrava
Assistant Professor, École Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise
Verified email at ensiie.fr - Homepage
Title
Cited by
Cited by
Year
A Coq formalization of the relational data model
V Benzaken, É Contejean, S Dumbrava
European Symposium on Programming Languages and Systems, 189-208, 2014
302014
A case study on formalizing algebra in a module system
S Dumbrava, F Horozal, K Sojakova
Proceedings of the 1st Workshop on Modules and Libraries for Proof …, 2009
62009
Certified Graph View Maintenance with Regular Datalog
A Bonifati, S Dumbrava, EJ Gallego Arias
Theory and Practice of Logic Programming 18 (3-4), 372-389, 2018
52018
Certifying standard and stratified Datalog inference engines in SSReflect
V Benzaken, É Contejean, S Dumbrava
International Conference on Interactive Theorem Proving, 171-188, 2017
42017
Approximate querying on property graphs
S Dumbrava, A Bonifati, ANR Diaz, R Vuillemot
International Conference on Scalable Uncertainty Management, 250-265, 2019
12019
Approximate Evaluation of Label-Constrained Reachability Queries
S Dumbrava, A Bonifati, AN Ruiz Diaz, R Vuillemot
arXiv preprint arXiv:1811.11561, 18, 2018
12018
Graph Queries: From Theory to Practice
A Bonifati, S Dumbrava
Sigmod Record, 2018
12018
Graph Summarization
A Bonifati, S Dumbrava, H Kodylakis
arXiv preprint arXiv:2004.14794, 2020
2020
Formalisation en Coq de Bases de Données Relationnelles et Déductives-et Mécanisation de Datalog
ŞG Dumbravă
Université Paris-Saclay (ComUE), 2016
2016
A Type Theory with Reflection
S Dumbrava
Jacobs University Bremen, 2012
2012
Structured Specifications with Hiding in the Edinburgh Logical Framework LF
S Dumbrava
Jacobs University Bremen, 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–11