13
Publications
785
Citations
11
H-Index
1990
Active since
Véronique Benzaken is an author at Université Paris-Sud specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceSemantic WebFormal VerificationManagementData ScienceData ModelingData ManagementData Integration
Publications per year
1990–2019
13
13
Véronique Benzaken, Giuseppe Castagna, Alain Frisch · 2003 · 296 citations
Rich Type System, Engineering, Functional Language Cduce +13
Alain Frisch, Giuseppe Castagna, Véronique Benzaken · Journal of the ACM · 2008 · 138 citations
Alain Frisch, Giuseppe Castagna, Véronique Benzaken · 2003 · 97 citations
Structured materialized views for XML queries
Andrei Arion, Véronique Benzaken, Ioana Manolescu et al. · 2007 · 65 citations
Rows per page
1–5 of 13