109052951
2006-09-25
2023-09-15T16:25:23
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / Iovka Boneva [thèse]
Requêtes logiques sur les hyperflux / par Momar Ndiouga Sakho ; sous la direction de Joachim Niehren et la co-direction de Iovka Boneva, 2020 [thèse, Université de Lille]
Échange de données de bases de données relationnelles vers RDF avec des schémas des constraintes sur cible / par Jose Martin Lozano Aparicio ; sous la direction de Slawek Staworko et la co-direction de Iovka Boneva, 2020 [thèse, Université de Lille]
0000-0002-2696-7303
0000000358625006
female
Boneva, Iovka (1978-....)
Boneva
Iovka
Iovka Boneva
1978
Titulaire d'un doctorat en Informatique (Lille 1, 2006)
Maître de Conférences au sein du département Informatique de l'Institut Universitaire de Technologie (IUT A) de l'Université de Lille, membre de l'équipe "Linking Dynamic Data" (LINKS) au sein du Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL - UMR CNRS 9189 - INRIA)
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / par Iovka Boneva ; directeurs : Sophie Tison, Jean-Marc Talbot / [S.l.] : [s.n.] , 2006
Validating RDF data / Jose Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, Dimitris Kontokostas / [San Rafael, California] : Morgan & Claypool Publishers
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / par Iovka Boneva ; directeurs : Sophie Tison, Jean-Marc Talbot / Grenoble : Atelier national de reproduction des thèses , 2006
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés / Iovka Boneva le 2006 [ Lille 1 ]
Certain query answering on hyperstreams / Momar Ndiouga Sakho ; sous la direction de Joachim Niehren et de Iovka Boneva / , 2020
Data exchange from relational databases to RDF with target shape schemas / Jose Martin Lozano Aparicio ; sous la direction de Sławek Staworko et de Iovka Boneva / , 2020
Data exchange from relational databases to RDF with target shape schemas / Jose Martin Lozano Aparicio le 2020 [ Université de Lille (2018-2021) ]
Certain query answering on hyperstreams / Momar Ndiouga Sakho le 2020 [ Université de Lille (2018-2021) ]