BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kotek:Tomer

Contributed to:

LICS 20152015
IFM 20142014
CSL 20122012
CSL 20082008
CSL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.