Knowledge Tree

researcher / Sophie Tison

Sophie Tison

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

XML security views : queries, updates and schemas

Flux XML, requêtes XPath et automates

Logiques pour requêtes n-aires dans les arbres

Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés

Modélisation et requêtes des documents semi-structurés : exploitation de la structure de graphe

Co-design et raffinement en B : BHDL tool, plateforme pourr la conception de composants numériques

Automates, réécriture et contraintes : résultats de décidabilité et d'indécidabilité

Contraintes ensemblistes définies et co-définies : extensions et applications

Automates et contraintes ensemblistes

Automates d'arbres avec tests d'égalites