D. Bursztyn, Goasdoué, F., Manolescu, I., and Roatis, A.,
“Reasoning on Web Data: Algorithms and Performance”, in
ICDE - 31st International Conference on Data Engineering, Seoul, South Korea, 2015.
R. Bonaque, Cautis, B., Goasdoué, F., and Manolescu, I.,
“Recherche Sociale, Structurée et Sémantique”, in
{32ème Conférence sur la Gestion de Données - Principes, Technologies et Applications}, Poitiers, France, 2016.
G. Audemard and Simon, L.,
“Refining restarts strategies for SAT and UNSAT formulae”, in
Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 118-126.
N. Bidoit, Herschel, M., and Tzompanaki, K.,
“Refining SQL Queries based on Why-Not Polynomials”, in
{8th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2016}, Washington, D.C., United States, 2016.
G. Katsirelos, Sabharwal, A., Samulowitz, H., and Simon, L.,
“Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers”, in
Conference on Artificial Intelligence (AAAI), Washington, Etats-Unis, 2013.
L. Simon, Audemard, G., and Katsirelos, G.,
“A Restriction of Extended Resolution for Clause Learning SAT Solvers”, in
Proc. of American Association of Artificial Intelligence Conference (AAAI), Atlanta United States, 2010.
J. Camacho-Rodriguez, Colazzo, D., Herschel, M., Manolescu, I., and Chowdhury, S. Roy,
“Reuse-based Optimization for Pig Latin”, in
30e journées Bases de Données Avancées (BDA), Grenoble-Autrans, France, 2014.
Y. Fang, Cheng, R., Tang, W., Maniu, S., and Yang, X.,
“Scalable Algorithms for Nearest-Neighbor Joins on Big Trajectory Data (Extended abstract)”, in
International Conference on Data Engineering (ICDE), Helsinki, Finland, 2016, pp. 1528-1529.
F. Suchanek, Theobald, M., Weikum, G., Lauw, H., and Schenkel, R.,
“Semantic Knowledge Bases from Web Sources”, in
Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain, 2011.