Travelled to:1 × France
1 × Japan
2 × Italy
Collaborated with:J.A.Makowsky H.Veith F.Zuleger M.Simkus B.Zilber D.Calvanese
Talks about:tree (2) structur (1) perspect (1) unbound (1) theoret (1) satisfi (1) paramet (1) general (1) databas (1) content (1)
Person: Tomer Kotek
DBLP: Kotek:Tomer
Contributed to:
2015
2014
201220082016Wrote 5 papers:
- LICS-2015-KotekSVZ
- Extending ALCQIO with Trees (TK, MS, HV, FZ), pp. 511–522.
- IFM-2014-CalvaneseKSVZ #analysis #data type
- Shape and Content — A Database-Theoretic Perspective on the Analysis of Data Structures (DC, TK, MS, HV, FZ), pp. 3–17.
- CSL-2012-KotekM #graph #matrix #parametricity
- Connection Matrices and the Definability of Graph Parameters (TK, JAM), pp. 411–425.
- CSL-2008-KotekMZ #on the
- On Counting Generalized Colorings (TK, JAM, BZ), pp. 339–353.
- CSL-2016-KotekVZ #bound #finite #higher-order #monad #satisfiability
- Monadic Second Order Finite Satisfiability and Unbounded Tree-Width (TK, HV, FZ), p. 20.