Sfoglia per Autore
Incompleteness, counterexamples and refinements in abstract model-checking
2001-01-01 R., Giacobazzi; Quintarelli, Elisa
Modeling users' navigation history
2001-01-01 E., Damiani; Oliboni, Barbara; Quintarelli, Elisa; Tanca, Letizia
Model-Checking Based Data Retrieval
2001-01-01 A., Dovier; Quintarelli, Elisa
Refining and Compressing Abstract Model Checking
2001-01-01 Agostino, Dovier; Roberto, Giacobazzi; Quintarelli, Elisa
Operational and abstract semantics of the query language G-Log
2002-01-01 A., Cortesi; A., Dovier; Quintarelli, Elisa; Tanca, Letizia
Temporal aspects of semistructured data
2002-01-01 Oliboni, Barbara; Quintarelli, Elisa; Tanca, Letizia
Model-Checking techniques for efficently querying semistructured temporal data
2002-01-01 Oliboni, Barbara; Quintarelli, Elisa; Tanca, Letizia
A Graph-Based Model for Semistructured Temporal Data
2003-01-01 C., Combi; Oliboni, Barbara; Quintarelli, Elisa
Modeling Semistructured Data by using graph-based constraints
2003-01-01 E., Damiani; Oliboni, Barbara; Quintarelli, Elisa; Tanca, Letizia
Graph Transformation for Merging User Navigation Histories
2003-01-01 M., Gala; Quintarelli, Elisa; Tanca, Letizia
A Unified Model for Semistructured Temporal Data
2003-01-01 C., Combi; Oliboni, Barbara; Quintarelli, Elisa
Answering Queries on XML Data by means of Association Rules
2004-01-01 E., Baralis; P., Garza; Quintarelli, Elisa; Tanca, Letizia
Summarizing XML Data by means of Association Rules
2004-01-01 E., Baralis; P., Garza; Quintarelli, Elisa; Tanca, Letizia
Model-Checking Based Data Retrieval: an application to semistructured and temporal data
2004-01-01 Quintarelli, Elisa
Answering Queries on XML Data by means of Associations Rules
2004-01-01 E., Baralis; P., Garza; Quintarelli, Elisa; Tanca, Letizia
Intensional Query Answering to XQuery Expressions
2005-01-01 Gasparini, Simone; Quintarelli, Elisa
An algorithm for generating XML Schemas from ER Schemas.
2005-01-01 P., Pigozzo; Quintarelli, Elisa
Graph transformation to infer schemata from XML documents.
2005-01-01 Baresi, Luciano; Quintarelli, Elisa
Ontology-Based Information Tailoring
2006-01-01 Curino, CARLO ALDO; Quintarelli, Elisa; Tanca, Letizia
Context-Driven Data Filtering: A Methodology
2006-01-01 Bolchini, Cristiana; Quintarelli, Elisa
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile