Elisa Quintarelli

From MaRDI portal
Person:1607221

Available identifiers

zbMath Open quintarelli.elisaMaRDI QIDQ1607221

List of research outcomes





PublicationDate of PublicationType
Applying model-checking to solve queries on semistructured data2018-05-16Paper
Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta.2013-05-24Paper
https://portal.mardi4nfdi.de/entity/Q57142502005-12-28Paper
Model-checking based data retrieval. An application to semistructured and temporal data.2004-09-30Paper
https://portal.mardi4nfdi.de/entity/Q47791192002-11-24Paper
Operational and abstract semantics of the query language G-Log2002-07-31Paper
https://portal.mardi4nfdi.de/entity/Q49392542000-02-24Paper

Research outcomes over time

This page was built for person: Elisa Quintarelli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1607221&oldid=11956206"
Powered by MediaWiki