Stefania Dumbrava
Stefania Dumbrava
Postdoctoral Researcher, IRISA/INRIA Rennes - Bretagne Atlantique, ENS Rennes
Verified email at inria.fr - Homepage
TitleCited byYear
A Coq formalization of the relational data model
V Benzaken, É Contejean, S Dumbrava
European Symposium on Programming Languages and Systems, 189-208, 2014
252014
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
52009
Certifying standard and stratified Datalog inference engines in SSReflect
V Benzaken, É Contejean, S Dumbrava
International Conference on Interactive Theorem Proving, 171-188, 2017
32017
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
22018
Approximate Evaluation of Label-Constrained Reachability Queries
S Dumbrava, A Bonifati, AN Ruiz Diaz, R Vuillemot
arXiv preprint arXiv:1811.11561, 18, 2018
2018
Graph Queries: From Theory to Practice
A Bonifati, S Dumbrava
Sigmod Record, 2018
2018
Formalisation en Coq de Bases de Données Relationnelles et Déductives-et Mécanisation de Datalog
ŞG Dumbravă
Paris Saclay, 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–9