СТ |
Information Flow Security for XML Transformations |
2003 |
Benzaken V., Burelle M., Castagna G. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
СТ |
M-net Calculus Based Semantics for Triggers |
1998 |
Benzaken V., Hugon N., Klaudel H., Pelz E., Riemann R. -C. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
СТ |
Static Management of Integrity in Object-Oriented Databases: Design and Implementation |
1998 |
Benzaken V., Schaefer X. |
|
|
|
Lecture Notes in Computer Science |
02.04.1998 |
СТ |
Static Integrity Constraint Management in Object-Oriented Database Programming Languages via Predicate Transformers |
1997 |
Benzaken V., Schaefer X. |
|
|
|
Lecture Notes in Computer Science |
09.07.1997 |
П |
Un Algorithme de Regroupement d Objets sur Disque pour O |
1989 |
Benzaken V., Delobel C. |
|
|
INRIA |
|
10.01.1992 |
П |
Dynamic Clustering Strategies in the O2 Object-Oriented Database System |
1989 |
Benzaken V., Delobel C. |
|
|
INRIA |
|
26.07.1991 |
СТ |
An Evaluation Model for Concurrency Strategies in the O2 Object-Oriented Database System |
1990 |
Benzaken V. |
|
|
|
Lecture Notes in Computer Science |
16.03.1991 |