Inria
/
Raweb 2010
Presentation of the Project dahu
Logo Inria
dahu
Verification in databases
2010 Research Team Activity Report
Saclay - Île-de-France
Field :
Perception, Cognition, Interaction
Theme : Knowledge and Data Representation and Management
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Scientific Foundations
Application Domains
New Results
XML specification and verification
Automata and logics for data words and data trees
Automata theory
Other Grants and Activities
National collaborations
International collaborations
Dissemination
Thesis
Participation to conferences organization
Participation to symposia, seminars, invitations
Scientific Animations
Teaching
Thesis jury
Bibliography
Major publications
Publications of the year