Sfoglia per Autore
Using the properties of datalog to prove termination and confluence in active databasesRules in Database Systems
1997-01-01 Comai, Sara; Tanca, Letizia
Guidelines for Property Verification of VHDL Models: an Industrial Perspective
1998-01-01 Allara, Alberto; Bolchini, Cristiana; P., Cavalloro; Comai, Sara; Sciuto, Donatella
XML-GL: a Graphical Language for Querying and Restructuring XML Documents
1998-01-01 Ceri, Stefano; Comai, Sara; E., Damiani; Fraternali, Piero; Paraboschi, Stefano; Tanca, Letizia
A schema-based approach to modeling and querying WWW data
1998-01-01 Comai, Sara; Ernesto, Damiani; Roberto, Posenato; Tanca, Letizia
XML-GL: a Graphical Language for Querying and Restructuring XML Documents
1999-01-01 Ceri, Stefano; Comai, Sara; E., Damiani; Fraternali, Piero; Paraboschi, Stefano; Tanca, Letizia
Flexible Queries to Semi-structured Datasources: the WGLog approach
1999-01-01 Comai, Sara; E., Damiani; Tanca, Letizia
System Verification using User-Friendly Interfaces
1999-01-01 R., Schloer; Allara, Alberto; Comai, Sara
XML-GL: a graphical language for querying and restructuring XML documents
1999-01-01 Ceri, Stefano; Comai, Sara; Damiani, E.; Fraternali, Piero; Paraboschi, Stefano; Tanca, Letizia
XML-GL: A Graphical Language for Querying and Restructuring XML Documents
1999-01-01 Ceri, Stefano; Comai, Sara; Ernesto, Damiani; Fraternali, Piero; Paraboschi, Stefano; Tanca, Letizia
Semantics-aware Querying in the WWW: the WG-Log Web Query System
1999-01-01 Comai, Sara; E., Damiani; Tanca, Letizia
Complex Queries in XML-GL
2000-01-01 Ceri, Stefano; Comai, Sara; E., Damiani; Fraternali, Piero; Tanca, Letizia
Graph-based GUIs for querying XML data: the XML-GL experience
2001-01-01 Comai, Sara
A semantic model for specifying hypermedia applications using WebML
2001-01-01 Comai, Sara; Fraternali, Piero
Specification of Embedded Monitors for Property Checking
2001-01-01 Allara, Alberto; M., Bombana; Comai, Sara; B., Josko; R., Schloer; Sciuto, Donatella
XML-GL: interrogare dati XML tramite un linguaggio basato su grafi
2001-01-01 Comai, Sara
Computing Graphical Queries over XML Data
2001-01-01 Comai, Sara; E., Damiani; Fraternali, Piero
Hypertext Semantics for Web Applications
2002-01-01 Brambilla, Marco; Comai, Sara; Fraternali, Piero
Approximate aggregate queries on XML data
2002-01-01 Comai, Sara; Marrara, Stefania; Tanca, Letizia
Model-driven Specification of Web Services Composition and Integration with Data-intensive Web Applications
2002-01-01 Brambilla, Marco; Ceri, Stefano; Comai, Sara; Fraternali, Piero; Manolescu, Ioana
Editorial message: special track on web and E-business applications
2002-01-01 Comai, Sara; Tanca, Letizia
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