Biblio

Export 7 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is B and Author is Véronique Benzaken  [Clear All Filters]
2009
I. Manolescu, Khemiri, W., Benzaken, V., and Fekete, J. - D., Reactive workflows for visual analytics, in Actes des Journées Bases de Données Avancées (BDA), Belgique Naumur, 2009.
I. Manolescu, Khemiri, W., Benzaken, V., and Fekete, J. - D., ReaViz: Reactive Workflows for Visual Analytics, in {Data Management & Visual Analytics}, Berlin, Germany, 2009.
V. Benzaken, Castagna, G., Hosoya, H., Pierce, B. C., and Vansummeren, S., XML Typechecking, in Encyclopedia of Database Systems, Springer US, 2009, pp. 3646-3650.
2008
V. Benzaken, Castagna, G., Colazzo, D., and Miachon, C., Pattern by Example: Type-driven Visual Programming of XML Queries., in 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Valencia, Spain, 2008.
A. Frisch, Castagna, G., and Benzaken, V., Semantic Subtyping: dealing set-theoretically with function, union, intersection and negation types, Journal of the ACM, vol. 55, pp. 1–64, 2008.