Tyrex | Project

Nicola Guido

Research activities

• Graph solver based on Modal Logic
• Semantic Web
• Static Analysis for SPARQL
• Containment Problem
• Query Update Independence

Publications

• [IJCAI15-DC] On the Static Analysis for SPARQL Queries using Modal Logic

• [CIKM15] On Query-Update Independence for SPARQL

Benchmarck well-designed SPARQL

• Benchmark

Contact

• 04 76 61 54 27
• 
• nicolaguido
• nicolaguido1986
• Desk B207 - 655 avenue de l'Europe - Montbonnot, 38334 Saint Ismier Cedex
  Inria Grenoble - Rhône-Alpes, Inovallée (45°13'4.43"N, 5°48'26.77"E)