P. Koopmann and Chen, J.,
“Computing ALCH-Subsumption Modules Using Uniform Interpolation”, in
{SOQE 2017 Workshop on Second-Order Quantifier Elimination and Related Topics}, Dresden, Germany, 2017.
R. Khefifi, Buche, P., Dibie-Barthélemy, J., and Sais, F.,
“Détection de redondances dans les tableaux guidée par une ontologie”, in
Actes de la Conférence Francophone sur l'Extraction et la Gestion des Connaissances (EGC), Brest, France, 2011, pp. 563-568.
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.
A. Katsifodimos, Manolescu, I., and Vassalos, V.,
“Materialized View Selection for XQuery Workloads”, in
SIGMOD - ACM SIGMOD International Conference on Management of Data 2012, Scottsdale, Arizona, United States, 2012.
K. Karanasos and Zoupanos, S.,
“Viewing a World of Annotations through AnnoVIP”, in
International Conference on Data Engineering (ICDE), Long Beach, California, United States, 2010.
Z. Kaoudi and Manolescu, I.,
“Triples in the clouds”, in
International Conference on Data Engineering, Brisbane, Australie, 2013.