| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen |
Optimizing XML querying using type-based document projection  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Jean-Daniel Fekete, Pierre-Luc Hemery, Wael Khemiri, Ioana Manolescu |
EdiFlow: Data-intensive interactive workflows for visual analytics. |
ICDE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren |
XML Typechecking. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
negation types, Subtyping, higher-order functions, intersection types, union types |
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon |
Pattern by example: type-driven visual programming of XML queries. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
functional programming, type systems, visual programming, database programming languages |
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon |
Pattern by Example: type-driven visual programming of XML queries. |
BDA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou |
Structured Materialized Views for XML Queries. |
VLDB |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ioana Manolescu, Véronique Benzaken, Andrei Arion, Yannis Papakonstantinou |
Structured Materialized Views for XML Queries. |
BDA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen |
Type-Based XML Projection. |
BDA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen |
Type-Based XML Projection. |
VLDB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Andrei Arion, Véronique Benzaken, Ioana Manolescu, Yannis Papakonstantinou, Ravi Vijay |
Algebra-Based Identification of Tree Patterns in XQuery. |
FQAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Cédric Miachon |
A Full Pattern-Based Paradigm for XML Query Processing. |
PADL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Arion, Véronique Benzaken, Ioana Manolescu |
XML Access Modules: Towards Physical Data Independence in XML Databases. |
XIME-P |
2005 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken (eds.) |
21èmes Journées Bases de Données Avancées, BDA 2005, Saint Malo, 17-20 octobre 2005, Actes (Informal Proceedings). |
BDA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Andrei Arion, Véronique Benzaken, Ioana Manolescu, Ravi Vijay |
ULoad: Choosing the Right Storage for Your XML Application. |
VLDB |
2005 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Cédric Miachon |
CQL: a pattern-based query language for XML. |
BDA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch |
CDuce: an XML-centric general-purpose language. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Marwan Burelle, Giuseppe Castagna |
Information Flow Security for XML Transformations. |
ASIAN |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch |
CDuce: an XML-centric general-purpose language. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
CDuce, XML, type systems, XML-processing |
| 1 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic Subtyping. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fanny Wattez, Sophie Cluet, Véronique Benzaken, Guy Ferran, Christian Fiegel |
Benchmarking Queries over Trees: Learning the Hard Truth the Hard Way. |
SIGMOD Conference |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Serenella Cerrito, Sébastien Praud |
Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique. |
Proc. 15èmes Journées Bases de Données Avancées, BDA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Nicolas Hugon, Hanna Klaudel, Elisabeth Pelz, Robert-C. Riemann |
M-net Calculus Based Semantics for Triggers. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Xavier Schaefer |
Static Management of Integrity in Object-Oriented Databases: Design and Implementation. |
EDBT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Xavier Schaefer |
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Xavier Schaefer |
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. |
BDA |
1996 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Xavier Schaefer |
Ensuring Efficiently the Integrity of Persistent Object Systems via Abstract Interpretation. |
POS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Anne Doucet |
Thémis: A Database Programming Language Handling Integrity Constraints |
VLDB J. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Malcolm P. Atkinson, David Maier, Véronique Benzaken (eds.) |
Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994 |
POS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Anne Doucet, Xavier Schaefer |
Integrity constraint checking optimization based on abstract interpretation. |
BDA |
1994 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken |
Object Store Engineering 2. |
POS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Anne Doucet, P.-Y. Policella |
Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis. |
BDA |
1993 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Anne Doucet |
Thémis: a database programming language with integrity constraints. |
DBPL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Claude Delobel, Gilbert Harrus |
Clustering Strategies in O2: An Overview. |
Building an Object-Oriented Database System, The Story of O2 |
1992 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Anne Doucet |
Enforcement tests generation for integrity constraints cheching based on simplification methods in object-oriented database systems. |
BDA |
1992 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken |
Schema Manipulation and Optimisation |
POS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Christophe Lécluse, Philippe Richard |
Enforcing Integrity Constraints in Database Programming Languages. |
POS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken |
Un modèle d'évaluation de stratégies de regroupement dans un SGBDOO. |
BDA |
1990 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken |
An Evaluation Model for Clustering Strategies in the O2 Object-Oriented Database System. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Claude Delobel |
Enhancing Performance in a Persistent Object Store: Clustering Strategies in O2. |
POS |
1990 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Claude Delobel |
Regroupement d'objets sur disque dans un système de bases de données. |
BDA |
1989 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Claude Delobel, J. B. Ndala |
Gestionnaires de mémoires et d'objets. |
BDA |
1988 |
DBLP BibTeX RDF |
|
| 1 | François Bancilhon, Gilles Barbedette, Véronique Benzaken, Claude Delobel, Sophie Gamerman, Christophe Lécluse, Patrick Pfeffer, Philippe Richard, Fernando Vélez |
The Design and Implementation of O2, an Object-Oriented Database Systems. |
OODBS |
1988 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")