Journal articles and conference papers (peer-reviewed)


Publications HAL

2024

titre
Database Approaches to the Modelling and Querying of Musical Scores: a Survey
auteur
Adel Aly, Olivier Pivert, Virginie Thion
article
Proceedings of the International Conference on Theory and Practice of Digital Libraries (TPDL'24), Sep 2024, Ljubljana, Slovenia
Accès au bibtex
BibTex
titre
Exploration de partitions musicales modélisées sous forme de graphe
auteur
Philippe Rigaux, Virginie Thion
article
Revue ouverte d’ingénierie des systèmes d’information, 2024, 4 (2), ⟨10.21494/ISTE.OP.2024.1193⟩
Accès au bibtex
BibTex
titre
Topological Querying of Music Scores
auteur
Philippe Rigaux, Virginie Thion
article
Data and Knowledge Engineering, 2024, 153, pp.102340. ⟨10.1016/j.datak.2024.102340⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04614440/file/TopologicalQueryingMusicScore.pdf BibTex

2022

titre
Towards a Graph-Oriented Perspective for Querying Music Scores
auteur
Philippe Rigaux, Virginie Thion
article
Proceedings of the INFORSID conference, May 2022, Dijon, France
Accès au bibtex
BibTex

2021

titre
Data Quality Assessment in Digital Score Libraries. The GioQoso Project
auteur
Francesco Foscarin, Philippe Rigaux, Virginie Thion
article
International Journal on Digital Libraries, 2021, 22 (2), pp.159-173. ⟨10.1007/s00799-021-00299-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03163156/file/JODL21_GioQoso.pdf BibTex

2020

titre
Fuzzy quality-aware queries to graph databases
auteur
Olivier Pivert, Etienne Scholly, Grégory Smits, Virginie Thion
article
Information Sciences, 2020, 521, pp.160--173. ⟨10.1016/J.INS.2020.02.035⟩
Accès au bibtex
BibTex

2019

titre
Quality Management of Information Systems - A Human-Centric Point of View
auteur
Virginie Thion
article
Databases [cs.DB]. Université Rennes 1, 2019
Accès au texte intégral et bibtex
https://inria.hal.science/tel-02407434/file/hdr_thion.pdf BibTex
titre
Processing Fuzzy Relational Queries Using Fuzzy Views
auteur
Emmanuel Doumard, Olivier Pivert, Grégory Smits, Virginie Thion
article
IEEE International Conference on Fuzzy Systems, Jun 2019, New-Orleans, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02116133/file/F-IEEE19-vf.pdf BibTex
titre
Expression and efficient evaluation of fuzzy quantified structural queries to fuzzy graph databases
auteur
Olivier Pivert, Olfa Slama, Virginie Thion
article
Fuzzy Sets and Systems, 2019, 366, pp.3-17. ⟨10.1016/j.fss.2018.06.002⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02444573/file/S0165011418303282.pdf BibTex

2018

titre
Data Quality Rules for Digital Score Libraries
auteur
David Fiala, Philippe Rigaux, Alice Tacaille, Virginie Thion, Gioqoso Members
article
[Research Report] IRISA, Université de Rennes. 2018, pp.1-28
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01734821/file/indicateursQt.pdf BibTex
titre
Gioqoso, an online Quality Assessment Tool for Music Notation
auteur
Francesco Foscarin, David Fiala, Florent Jacquemard, Philippe Rigaux, Virginie Thion
article
4th International Conference on Technologies for Music Notation and Representation (TENOR'18), Sandeep Bhagwati and Jean Bresson, May 2018, Montreal, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01895171/file/tenor18.pdf BibTex
titre
FURQL : une extension floue de SPARQL
auteur
Olivier Pivert, Olfa Slama, Virginie Thion
article
INFORSID Conference, 2018, Nantes, France
Accès au bibtex
BibTex
titre
Gioqoso, an Online Quality Evaluation Tool for MEI Scores
auteur
Vincent Besson, David Fiala, Philippe Rigaux, Virginie Thion
article
Music encoding conference 2018 (MEC 2018), May 2018, Washington DC, United States. , 2018
Accès au texte intégral et bibtex
https://hal.science/hal-01708859/file/Poster.pdf BibTex
titre
Fuzzy Preference Queries to NoSQL Graph Databases
auteur
Arnaud Castelltort, Anne Laurent, Olivier Pivert, Olfa Slama, Virginie Thion
article
Olivier Pivert. NoSQL Data Models – Trends and Challenges, 1 (Chapter 6), pp.167-201, 2018, 9781786303646. ⟨10.1002/9781119528227.ch6⟩
Accès au bibtex
BibTex

2017

titre
Fuzzy Quantified Queries to Fuzzy RDF Databases
auteur
Olivier Pivert, Olfa Slama, Virginie Thion
article
IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2017, Naples, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01510270/file/FuzzIEEEFURQLQuantPivertSlamaThion.pdf BibTex
titre
Quality Awareness over Graph Pattern Queries
auteur
Philippe Rigaux, Virginie Thion
article
Proceedings of the International Database Engineering & Applications Symposium (IDEAS), Jul 2017, Bristol, United Kingdom. ⟨10.1145/3105831.3105871⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01528456/file/Prigaux_ideas17.pdf BibTex
titre
Informatique
auteur
Joelle Delacroix, François Barthélemy, Raphaël Fournier, Isabelle Gil-Michalon, Amélie Lambert, Agnès Plateau, Stephane Rovedakis, Marianne Simonot, Virginie Thion, Emmanuel Waymel
article
Dunod, 2017, Fluoresciences, 3257227892
Accès au bibtex
BibTex
titre
Formalizing quality rules on music notation. An ontology-based approach
auteur
Samira Si-Said Cherfi, Fayçal Hamdi, Philippe Rigaux, Virginie Thion, Nicolas Travers
article
International Conference on Technologies for Music Notation and Representation - TENOR'17, May 2017, Coruna, Spain
Accès au texte intégral et bibtex
https://hal.science/hal-02475753/file/10_Cherfi_tenor2017.pdf BibTex
titre
Approche algébrique de la manipulation des données
auteur
François Goasdoué, Virginie Thion
article
Mokrane Bouzeghoub; Rémy Mosseri. Les Big Data à découvert, CNRS Editions, 2017, 978-2-271-11464-8
Accès au bibtex
BibTex

2016

titre
An Extension of SPARQL with Fuzzy Navigational Capabilities for Querying Fuzzy RDF Data
auteur
Olivier Pivert, Olfa Slama, Virginie Thion
article
IEEE International Conference on Fuzzy Systems, Jul 2016, Vancouver, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01290932/file/FuzzIEEE_fuzzyGraphDB16-v14.pdf BibTex
titre
A Fuzzy Extension of SPARQL for Querying Gradual RDF Data
auteur
Olivier Pivert, Olfa Slama, Grégory Smits, Virginie Thion
article
IEEE International Conference on Research Challenges in Information Science (RCIS’16) Posters, Jun 2016, Grenoble, France
Accès au bibtex
BibTex
titre
Requêtes quantifiées floues structurelles sur des bases de données graphe
auteur
Olivier Pivert, Olfa Slama, Virginie Thion
article
Logique Floue et Applications, 2016, La Rochelle, France
Accès au bibtex
BibTex
titre
Fuzzy Quantified Structural Queries to Fuzzy Graph Databases
auteur
Olivier Pivert, Olfa Slama, Virginie Thion
article
Proceedings of the International Conference on Scalable Uncertainty Management (SUM), Sep 2016, Nice, France
Accès au bibtex
BibTex
titre
Evaluation and Improvement of a Transition Business Process: A Case Study Guided by a Semantic Quality-Based Approach
auteur
Virginie Thion, Malika Grim-Yefsah, Camille Rosenthal-Sabroux, Samira Si-Said Cherfi
article
Information Systems Management, 2016, 33 (1), pp.74-87. ⟨10.1080/10580530.2016.1117879⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04012390/file/ISM16_transitionQuality_thion_grim_rosenthal_sisaid.pdf BibTex
titre
Gestion de la qualité des données ouvertes liées - État des lieux et perspectives
auteur
Delphine Barrau, Nathalie Barthélémy, Zoubida Kedad, Brigitte Laboisse, Sylvaine Nugier, Virginie Thion
article
Revue des Nouvelles Technologies de l'Information, 2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01333623/file/LOD_Quality_RNTI.pdf BibTex
titre
SUGAR: A Graph Database Fuzzy Querying System
auteur
Olivier Pivert, Olfa Slama, Grégory Smits, Virginie Thion
article
IEEE International Conference on Research Challenges in Information Science (RCIS’16) Demos, Jun 2016, Grenoble, France. ⟨10.1109/RCIS.2016.7549366⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01297185/file/rcis_2016_fudge.pdf BibTex
titre
A Methodology for Quality Assessment in Collaborative Score Libraries
auteur
Vincent Besson, Marco Gurrieri, Philippe Rigaux, Alice Tacaille, Virginie Thion
article
Proceedings of the 17th International Society for Music Information Retrieval Conference, Aug 2016, New York City, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01316014/file/ismir-qual.pdf BibTex
titre
SPARQL Extensions with Preferences: a Survey
auteur
Olivier Pivert, Olfa Slama, Virginie Thion
article
ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy, France. ⟨10.1145/2851613.2851690⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01235190/file/SlamaPivertThion_SAC16.pdf BibTex
titre
FURQL : une extension floue du langage SPARQL
auteur
Olivier Pivert, Olfa Slama, Virginie Thion
article
Journées Bases de Données Avancées (BDA), 2016, Poitiers, France
Accès au bibtex
BibTex

2015

titre
Expression and Efficient Processing of Fuzzy Queries in a Graph Database Context
auteur
Olivier Pivert, Grégory Smits, Virginie Thion
article
Fuzz-IEEE'15 : 24th IEEE International Conference on Fuzzy Systems, Aug 2015, Istanbul, Turkey, France. pp.8
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01140195/file/FuzzIEEE_fuzzyGraphDB15.pdf BibTex
titre
Connected Keywords
auteur
Grégory Smits, Olivier Pivert, Virginie Thion
article
9th IEEE International Conference on Research Challenges in Information Science (RCIS’15), May 2015, Athens, Greece. pp.112 - 120, ⟨10.1109/RCIS.2015.7128869⟩
Accès au bibtex
BibTex

2014

titre
On a Fuzzy Algebra for Querying Graph Databases
auteur
Olivier Pivert, Virginie Thion, Hélène Jaudoin, Grégory Smits
article
IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus. pp.748-755, ⟨10.1109/ICTAI.2014.116⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01059991/file/FuzzyGraphAlgebra.pdf BibTex
titre
Une algèbre floue pour l'interrogation flexible de bases de données graphes
auteur
Olivier Pivert, Virginie Thion, Hélène Jaudoin, Grégory Smits
article
BDA 2014 : Gestion de données - principes, technologies et applications, Oct 2014, Autrans, France. pp.8--17
Accès au texte intégral et bibtex
https://hal.science/hal-01169913/file/bda2014-actes-long-1-pp8-17.pdf BibTex
titre
Data-Quality-Aware Skyline Queries
auteur
Hélène Jaudoin, Olivier Pivert, Grégory Smits, Virginie Thion
article
International Symposium on Methodologies for Intelligent Systems (ISMIS), Jun 2014, Roskilde, Denmark. pp.530-535, ⟨10.1007/978-3-319-08326-1_56⟩
Accès au bibtex
BibTex

2012

titre
Évaluation d?un système d?information et de connaissance - De l?importance de la prise en compte de la connaissance
auteur
Pierre-Emmanuel Arduin, Doan Quang-Minh, Daniela Grigori, Malika Grim-Yefsah, Michel Grundstein, Elsa Negre, Camille Rosenthal-Sabroux, Virginie Thion
article
InFormatique des ORganisations et Syst?mes d?Information et de D?cision (INFORSID), May 2012, X, France. pp.371-378
Accès au bibtex
BibTex
titre
Évaluation de la qualité d?un processus métier - Enjeux, cas d'étude et bonnes pratiques
auteur
Virginie Thion, Samira Si-Said Cherfi
article
La qualité et la gouvernance des données au service de la performance des entreprises, pp.215-240, 2012, 978 2 7462 2510 7
Accès au bibtex
BibTex
titre
A Desktop Interface over Distributed Document Repositories
auteur
Camelia Constantin, Cedric Du Mouza, Philippe Rigaux, Virginie Thion, Nicolas Travers
article
International Conference on Extending Database Technology (EDBT'12), Mar 2012, Berlin, Germany. pp.104-107
Accès au bibtex
BibTex
titre
The Design and Implementation of NEUMA, a Collaborative Digital Score Library - Requirements, architecture, and models.
auteur
Philippe Rigaux, Lylia Abrouk, Hervé Audéon, Nadine Cullot, Cécile Davy-Rigaux, Z. Faget, Elisabeth Gavinet, David Gross-Amblard, Alice Tacaille, Virginie Thion
article
International Journal On Digital Libraries (IJODL), 2012, pp.1-24
Accès au bibtex
BibTex
titre
The design and implementation of Neuma, a collaborative Digital Scores Library - Requirements, architecture, and models
auteur
Philippe Rigaux, Lylia Abrouk, Hervé Audéon, Nadine Cullot, Cécile Davy-Rigaux, Zoé Faget, Elisabeth Gavignet, David Gross-Amblard, A. Tacaille, V. Thion-Goasdoué
article
Int. J. on Digital Libraries, 2012, pp.73-88
Accès au bibtex
BibTex
titre
Évaluation d'un système d?information et de connaissance - De l'importance de la prise en compte de la connaissance
auteur
Pierre-Emmanuel Arduin, Malika Grim-Yefsah, Michel Grundstein, Daniela Grigori, Quang Minh Doan, Elsa Negre, Rosenthal-Sabroux Camille, Virgine Thion-Goasdoué
article
INFORSID, May 2012, Montpeliier, France
Accès au bibtex
BibTex
titre
Browse Your Content-Based Distributed Repository!
auteur
Camelia Constantin, Cedric Du Mouza, Philippe Rigaux, Virginie Thion, Nicolas Travers
article
BDA'12, Bases de Données Avancées, Oct 2012, Clermont-Ferrand, France. pp.1--5
Accès au bibtex
BibTex
titre
Limites de l'évaluation d'un système d'information : une analyse fondée sur l'expérience pratique
auteur
Káthia Marçal de Oliveira, Virginie Thion, Sophie Dupuy-Chessa, Marie-Pierre Gervais, Samira Si-Said Cherfi, Christophe Kolski
article
30ème Conférence INFormatique des ORganisations et Systèmes d'Information et de Décision (INFORSID), May 2012, Montpellier, France. pp.395-410
Accès au texte intégral et bibtex
https://hal.science/hal-00953467/file/4-K%C3%A1thia%20Mar%C3%A7al%20de%20Oliveira.pdf BibTex

2011

titre
Using information of an Informal Network to Evaluate Business Process Robustness
auteur
Malika Grim-Yefsah, Camille Rosenthal-Sabroux, Virginie Thion
article
International Conference on Knowledge Management and Information Sharing, Oct 2011, X, France. pp.430-435
Accès au bibtex
BibTex
titre
Using information of an Informal Network to Evaluate Business Process Robustness
auteur
Malika Grim-Yefsah, V. Thion-Goasdoué
article
International Conference on Knowledge Management and Information Sharing, Oct 2011, Paris, France
Accès au bibtex
BibTex
titre
Changing Provider in an Outsourced Information System Project: Good Practices for Knowledge Transfer
auteur
Malika Grim-Yefsah, Camille Rosenthal-Sabroux, Virginie Thion
article
International Conference on Knowledge Management and Information Sharing, Oct 2011, X, France. pp.318-321
Accès au bibtex
BibTex
titre
Changing Provider in an Outsourced Information System Project - Good Practices for Knowledge Transfer
auteur
Malika Grim-Yefsah, Camille Rosenthal-Sabroux, Virginie Thion-Goasdoué
article
the International Conference on Knowledge Management and Information Sharing, Oct 2011, Paris, France
Accès au bibtex
BibTex
titre
Assessment and Analysis of Information Quality: a Multidimensional Model and Case Studies
auteur
Laure Berti-Equille, Isabelle Comyn-Wattiau, Zoubida Kedad, Veronika Peralta, Mireille Cosquer, Sylvaine Nugier, S. Si-Said-Cherfi, V. Thion-Goasdoué
article
Journal International Journal of Information Quality, 2011, 2 (4), pp.300-323. ⟨10.1504/IJIQ.2011.043780⟩
Accès au bibtex
BibTex

2010

titre
Un premier pas vers l'utilisation d'une analyse structurelle de réseau social pour évaluer la qualité d'un processus métier
auteur
Malika Grim-Yefsah, Camille Rosenthal-Sabroux, Virginie Thion-Goasdoué
article
INFORSID, May 2010, Marseiile, France
Accès au bibtex
BibTex
titre
Un premier pas vers l'utilisation d'une analyse structurelle de réseau social pour évaluer la qualité d'un processus métier
auteur
Malika Grim-Yefsah, Camille Rosenthal-Sabroux, Virginie Thion
article
INFormatique des ORganisations et Syst?mes d?Information et de D?cision (INFORSID), Jun 2010, X, France
Accès au bibtex
BibTex
titre
Tagging resources, tagging communities
auteur
Lylia Abrouk, David Gross-Amblard, Nadine Cullot, Virginie Thion
article
ITNG'10, Las Vegas, Nevada, USA, Jan 2010, X, France. pp.1253-1254
Accès au bibtex
BibTex
titre
Evaluation de la qualité d’un processus métier à l’aide d’informations issues de réseaux informels
auteur
Malika Grim-Yefsah, Camille Rosenthal-Sabroux, Virginie Thion-Goasdoué
article
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2010, 15 (6), pp.63-83. ⟨10.3166/isi.15.6.63-83⟩
Accès au bibtex
BibTex
titre
Modeling synchronized time series
auteur
Zoé Faget, David Gross-Amblard, Philippe Rigaux, Virginie Thion-Goasdoué
article
IDEAS 2010 : Fourteenth International Database Engineering and Applications Symposium, 2010, Montreal, Canada. pp.82-89, ⟨10.1145/1866480.1866493⟩
Accès au bibtex
BibTex

2009

titre
Multidimensional Management and Analysis of Quality Measures for CRM Applications
auteur
Veronika Peralta, Virgine Thion-Goasdoué, Zoubida Kedad, Laure Berti-Équille, Isabelle Comyn-Wattiau, Sylvaine Nugier, Samira Sisaid-Cherfi
article
14th International Conference on Information Quality, 2009, Postdam, Germany
Accès au bibtex
BibTex
titre
Optimisation d'applications orientées données
auteur
Sonia Guehis, Philippe Rigaux, Virginie Thion
article
Actes des 25èmes journées des Bases de Données Avancées (BDA), 2009, Namur, Belgique
Accès au bibtex
BibTex
titre
The NEUMA Project: Towards Cooperative On-line Music Score Libraries
auteur
Lylia Abrouk, Hervé Audéon, Nadine Cullot, Cécile Davy-Rigaux, Zoé Faget, Elisabeth Gavignet, David Gross-Amblard, H. Lee, Philippe Rigaux, Alice Tacaille, Virgine Thion-Goasdoué
article
International Workshop on Exploring Musical Information Spaces (WEMIS), 2009, Corfu, Greece
Accès au bibtex
BibTex
titre
Speeding-up data-driven applications with program summaries
auteur
Sonia Guehis, Virginie Thion, Philippe Rigaux
article
International Database Engineering and Applications Symposium (IDEAS), Sep 2009, Cetraro, Italy. pp.66-76, ⟨10.1145/1620432.1620440⟩
Accès au bibtex
BibTex
titre
Multidimensional Management and Analysis of Quality Measures for CRM Applications in an Electricity Company
auteur
Veronika Peralta, Virginie Thion, Zoubida Kedad, Laure Berti-Équille, Isabelle Comyn-Wattiau, Sylvaine Nugier, Samira Sisaid-Cherfi
article
Proceedings of the International Conference on Information Quality (ICIQ), 2009, Potsdam, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01196493/file/QUADRIS-CRM-ICIQ09.pdf BibTex

Before sept. 2008 (i.e. before assistant professor position)


J. Akoka, L. Berti-Equille, O. Boucelma, M. Bouzghoub, I. Comyn-Wattiau, M. Cosquer, V. Goasdoué, Z. Kedad, V. Peralta, S. Nugier, S. Si-Said, Évaluation de la qualité des systèmes multisources. Une approche par les patterns. (dans Actes de l'atelier Qualité des Données et des Connaissances, en conjonction avec la conférence EGC (QDC'08)), p. 1-9, 2008.

V. Goasdoué, S. Nugier, D. Duquennoy, B. Laboisse, An evaluation framework for data quality tools. Proceedings of the International Conference for Information Quality (ICIQ), 2007.

[Bibtex (dblp)]


J. Akoka, L. Berti-Equille, O. Boucelma, M. Bouzghoub, I. Comyn-Wattiau, M. Cosquer, V. Goasdoué, Z. Kedad, V. Peralta, S. Nugier, S. Si-Said, A framework for quality evaluation in data integration systems. Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS), 2007.

[Bibtex (dblp)]


N. Bidoit, S. Cerrito, V. Thion, A first step towards modelling semistructured data in hybrid multi-modal logic. Journal of Applied Non-Classical Logics, 2004.

[Bibtex (dblp)]


N. Bidoit, S. Cerrito, V. Thion, Un premier pas vers la modélisation des données semi-structurées par la logique multi-modale hybride. (Actes des journées des Bases de Données Avancées (BDA), 2003 (20 pages)).

[Bibtex (dblp)]


V. Thion, S. Cerrito, M. Cialdea-Mayer, A General Theorem Prover for Quantified Modal Logics, 2002. (in Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), 2002.

[Bibtex (dblp)]


V. Thion, System description of Tab_FV^Prover: A theorem prover for first order modal logics. Proceedings of Workshop Methods for Modalities 2, 2001.

Teaching book


Joëlle Delacroix, François Barthélémy, Raphaël Fournier-S'niehotta, Isabelle Gil-Michalon, Amélie Lambert, Agnès Plateau, Stéphane Rovedakis, Marianne Simonot, Virginie Thion, Emmanuel Waymel. "Informatique", série Fluoresciences - Les manuels visuels pour la licence, 2017.

Science popularization


V. Goasdoué, S. Nugier, B. Laboisse, D. Duquennoy, Une grille pour évaluer la qualité de vos données et choisir votre outil de DQM. Dossier bases de données dans Direct Marketing News, 14 octobre 2007.

Fiches "Comprendre..." de l'association ExQI :
Comprendre le coût de la qualité des données (2014) Contributeurs : W. El Abed (Global Data Excellence), V. Thion, N. Barthelemy (GrDF)
Comprendre les dimensions de la qualité des données (2013) Contributeurs : L. Berti (IRD) et V. Thion
Comprendre les interdépendances des dimensions de la qualité des données (2013) Contributeurs : L. Berti (IRD) et V. Thion

Thèse (PHD)


V. Thion, Bases de données, contraintes d'intégrité et logiques modales (28 Mo). Thèse de doctorat de l'Université Paris XI, Orsay, 2004.


Publications internes à EDF


Confidentielles, me contacter pour tout renseignement.
Undisclosed, please contact me if you need more information.



Rapports de recherche


V. Thion, A Startegy for Free-Variable Tableaux for Variants of Quantified Modal Logic, 2002. (Rapport technique no 1318 du LRI.).

N. Bidoit, S. Cerrito, V.Thion, Un premier pas vers la modélisation des données semi-structurées par la logique multi-modale hybride, 2003. (Rapport technique no 1375 du LRI).

V. Thion, Logiques modales et contraintes d'intégrité dynamiques en bases de données, 2001. Rapport technique, Rapport de stage de DEA I3, L.R.I. Orsay, juillet 2001.