G. Audemard, Modeliar, M. Samy, and Simon, L.,
“Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus?”, in
Actes des Journées Francophones de Programmation par Contraintes (JFPC), Orléans, France, 2009, pp. 245-255.
G. Audemard and Simon, L.,
“Predicting Learnt Clauses Quality in Modern SAT Solver”, in
Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, États-Unis d'Amérique, 2009.
F. Hamdi, Safar, B., Niraula, N., and Reynaud, C.,
“TaxoMap in the OAEI 2009 alignment contest”, in
Proc. of Ontology Matching Workshop (OM), Chantilly, Washington DC., États-Unis d'Amérique, 2009.
M. Bugliesi, Colazzo, D., Crafa, S., and Macedonio, D.,
“A type system for Discretionary Access Control”,
Mathematical Structures in Computer Science, vol. 19, pp. 839-875, 2009.
D. Barbosa, Manolescu, I., and Yu, J. Xu,
“XML Benchmarks”, in
Encyclopedia of Database Systems,
L. Liu and Ozsu, T., Eds. Springer US, 2009, pp. 3576-3579.
I. Manolescu and Zoupanos, S.,
“XML materialized views in P2P networks”, in
Proc. of International Workshop on Database Technologies for Handling XML Information on the Web, Russie, Saint Petersburg, 2009.
D. Barbosa, Bohannon, P., Freire, J., Kanne, C. - C., Manolescu, I., Vassalos, V., and Yoshikawa, M.,
“XML Storage”, in
Encyclopedia of Database Systems,
L. Liu and Ozsu, T., Eds. Springer, 2009, pp. 3627-3634.
I. Manolescu, Papakonstantinou, Y., and Vassalos, V.,
“XML Tuple Algebra”, in
Encyclopedia of Database Systems,
L. Liu and Ozsu, T., Eds. Springer, 2009, pp. 3640-3646.
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.