E. Quintarelli

Latest

• Applying Model-Checking to solve Queries on Semistructured Data
• Operational and abstract semantics of the query language G-Log
• Model Checking Based Data Retrieval