TYREX - 2016 - Annual activity report

TYREX

TYREX - 2016

Project-Team Tyrex

Members

Overall Objectives

Objectives

Research Program

Modeling
Analysis, verification and optimization
Design of advanced (robust, flexible, rich, novel) web applications

Application Domains

Web Programming Technologies
Multimedia and Augmented Environments

New Software and Platforms

Benchmarks Attitude Smartphones
CSS Analyzer
RDFHive
Tree Reasoning Solver
XQuery Type-Checker
SPARQLGX

New Results

Experimental evaluation of attitude estimation algorithms for smartphones
Efficient Distributed Evaluation of SPARQL Queries
An Efficient Translation from a modal $μ$ -Calculus with Converse to Tree Automata
SPARQL Query Containment with ShEx Constraints
XQuery Static Type-Checking

Partnerships and Cooperations

Regional Initiatives
National Initiatives
European Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries

Bibliography

Major publications
Publications of the year

Previous |

Home | Next next

Section: Partnerships and Cooperations

International Research Visitors

Internships

Jakob Zietsch from Technische Universität München visited the team from March to July to work on geolocalization with smartphones based on fingerprinting.

Previous |

Home | Next next