Travelled to:
1 × Australia
1 × Canada
1 × Korea
1 × Portugal
2 × Germany
7 × USA
Collaborated with:
Y.Sagiv ∅ B.Kimelfeld Y.Kanza W.Nutt T.Brodianskiy D.Berlowitz A.Serebrenik J.Mamou I.Fadida S.Grossman S.Itzhaky N.Rinetzky M.Sagiv
Talks about:
xml (6) queri (4) equival (3) semant (3) search (3) aggreg (3) use (3) probabilist (2) constraint (2) disjunct (2)
Person: Sara Cohen
DBLP: Cohen:Sara
Contributed to:
Wrote 15 papers:
- SIGMOD-2015-BerlowitzCK #performance
- Efficient Enumeration of Maximal k-Plexes (DB, SC, BK), pp. 431–444.
- SIGMOD-2013-Cohen #distance #edit distance #using
- Indexing for subtree similarity-search using edit distance (SC), pp. 49–60.
- PODS-2009-CohenKS #automaton #probability #xml
- Running tree automata on probabilistic XML (SC, BK, YS), pp. 227–236.
- PODS-2008-CohenKS #constraints #probability #xml
- Incorporating constraints in probabilistic XML (SC, BK, YS), pp. 109–118.
- VLDB-2008-Cohen #constraints #generative #using #xml
- Generating XML structure using examples and constraints (SC), pp. 490–501.
- CIKM-2007-BrodianskiyC #query #self #xml
- Self-correcting queries for xml (TB, SC), pp. 11–20.
- PODS-2006-Cohen #equivalence #query #semantics #set
- Equivalence of queries combining set and bag-set semantics (SC), pp. 70–79.
- SIGMOD-2006-Cohen #theory and practice
- User-defined aggregate functions: bridging theory and practice (SC), pp. 49–60.
- VLDB-2006-CohenFKKS
- Full Disjunctions: Polynomial-Delay Iterators in Action (SC, IF, YK, BK, YS), pp. 739–750.
- CIKM-2005-CohenKKS #keyword #semantics #xml
- Interconnection semantics for keyword search in XML (SC, YK, BK, YS), pp. 389–396.
- PODS-2005-CohenS #algorithm #incremental
- An incremental algorithm for computing ranked full disjunctions (SC, YS), pp. 98–107.
- VLDB-2003-CohenMKS #named #semantics #xml
- XSEarch: A Semantic Search Engine for XML (SC, JM, YK, YS), pp. 45–56.
- PODS-2001-CohenNS #query
- Equivalences among Aggregate Queries with Negation (SC, WN, YS).
- PODS-1999-CohenNS #query #using
- Rewriting Aggregate Queries Using Views (SC, WN, AS), pp. 155–166.
- CAV-2017-GrossmanCIRS #equivalence #source code #verification
- Verifying Equivalence of Spark Programs (SG, SC, SI, NR, MS), pp. 282–300.