Biblio

Export 7 results:
Author Title Type [ Year(Desc)]
Filters: Author is Véronique Benzaken  [Clear All Filters]
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.
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.