Tison, Sophie.
Tison, Sophie, 1958-....
Sophie Tison chercheuse française
VIAF ID: 47450710 ( Personal )
Permalink: http://viaf.org/viaf/47450710
Preferred Forms
- 100 0 _ ‡a Sophie Tison ‡c chercheuse française
-
-
-
- 100 1 0 ‡a Tison, Sophie
-
- 100 1 _ ‡a Tison, Sophie
- 100 1 _ ‡a Tison, Sophie (sparse)
-
- 100 | _ ‡a Tison, Sophie, ‡d 1958-....
-
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Analyse des données pour la surveillance de la voie ferrée : L'intelligence artificielle au service du ferroviaire | |
Automates d'arbres à contraintes globales pour la vérification de propriétés de sécurité | |
Automates d'arbres avec tests d'égalites | |
Automates, réécriture et contraintes : résultats de décidabilité et d'indécidabilité | |
CAAP '94 | |
Caractérisation de bornes de chaînage avant en règles existentielles (Datalog+). | |
Caractérisation et plongement de sous-graphes colorés : application à la construction de modèles structures à activité (QSAR) | |
Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons. | |
Characterization and embeddings of colored subgraphs : application to quantitative structure-activity relationship (QSAR) models. | |
Chase Variants & Boundedness | |
Co-design and refinement using B : BHDL tool, platform for digital component design. | |
Co-design et raffinement en B BHDL tool, plateforme pourr la conception de composants numériques | |
Comparison and evolution of XML schema. | |
A Coq certified translation from an extension of relational algebra for SQL to a nested algebra. | |
Data analysis for railway network monitoring : Artificial intelligence in the service of the railways sector. | |
Decidability of the confluence of ground term rewriting systems | |
Definite and co-definite set constraints : extensions and applications. | |
Development of new methods for non destructive testing for railway infrastructure : Use of statistical signal processing. | |
Développement de nouvelles méthodes pour l'évaluation non-destructive des infrastructures ferroviaires : Utilisation de traitements statistiques des signaux | |
Dialog between chase approach and string rewriting system approach. | |
Dialogue entre la procédure du chase et la réécriture sur les mots | |
Enhancing and solving linear programs with conjunctive queries. | |
Enrichir et résoudre des programmes linéaires avec des requêtes conjonctives | |
Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés | |
Flux XML, requêtes XPath et automates = Streaming tree automata and XPath | |
Hypernode graphs for learning from binary relations between sets of objects | |
Infinite automata and Mazurkiewicz traces. | |
Infinite words and process infinitary obects and topology. | |
Logics for n-ary queries in trees. | |
Logiques pour requêtes n-aires dans les arbres | |
Model and query of semi structured data : using the graph structure. | |
Model-checking pour les ambients des algèbres de processus aux données semi-structurées | |
Un modèle d'hypergraphes pour apprendre des relations binaires entre des ensembles d'objets. | |
Modélisation et requêtes des documents semi-structurés : exploitation de la structure de graphe | |
Mots infinis et processus : objets infinitaires et topologie | |
Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings | |
RTA 2002 | |
Schematic calculi for the analysis of decision procedures | |
STACS 2000 : proceedings | |
STACS 99 : 16th annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999 : proceedings | |
Symbolic inference methods for databases. | |
Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée | |
Tree automata, approximations, and constraints for verification : Tree (Not quite) regular model-checking | |
Tree automata with equality tests. | |
Trees in algebra and programming, CAAP'94 : 19th international colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings | |
Vérification de transformations de données arborescentes : les transducteurs d'arbres appliqués à un problème de vérification sur des scripts shell | |
View-based query determinacy and rewritings over graph databases. | |
Vues de sécurité XML : requêtes, mises à jour et schémas. | |
Vues et requêtes sur les graphes de données : déterminabilité et réécritures | |
XML security views : queries, updates and schemas |