Travelled to:
1 × Cyprus
1 × France
2 × USA
Collaborated with:
L.Baresi R.Giacobazzi C.Combi B.Oliboni M.M.Gala L.Tanca
Talks about:
transform (2) model (2) graph (2) data (2) counterexampl (1) semistructur (1) constraint (1) incomplet (1) schemata (1) document (1)
Person: Elisa Quintarelli
DBLP: Quintarelli:Elisa
Contributed to:
Wrote 4 papers:
- SAC-2005-BaresiQ #documentation #graph transformation #xml
- Graph transformation to infer schemata from XML documents (LB, EQ), pp. 642–646.
- SAC-2004-CombiOQ #approach #constraints #modelling #semistructured data #specification
- Specifying temporal data models for semistructured data by a constraint-based approach (CC, BO, EQ), pp. 1103–1108.
- AGTIVE-2003-GalaQT #graph transformation #navigation
- Graph Transformation for Merging User Navigation Histories (MMG, EQ, LT), pp. 1–14.
- SAS-2001-GiacobazziQ #model checking
- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking (RG, EQ), pp. 356–373.