( en | de | ru )

 

Disambiguation of "Kotek, Tomer"

Author of the publication

copydeleteadd this publication to your clipboard
Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures.

, , , , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 3-17. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Amir Tomer

Raju Tomer

Alexandra-Maria Tomerius

Bruno Tomerius

Isabel Tomerius

 

Other publications of authors with the same name

On Counting Generalized Colorings., , and . CSL, volume 5213 of Lecture Notes in Computer Science, page 339-353. Springer, (2008)On the complexity of generalized chromatic polynomials., , , , and . Adv. Appl. Math., (2018)Shape and Content: Incorporating Domain Knowledge into Shape Analysis., , , , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 124-127. CEUR-WS.org, (2014)A Computational Framework for the Study of Partition Functions and Graph Polynomials., , and . SYNASC, page 365-368. IEEE Computer Society, (2012)Definability of Combinatorial Functions and Their Linear Recurrence Relations., and . Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, page 444-462. Springer, (2010)Efficient Computation of Generalized Ising Polynomials on Graphs with Fixed Clique-Width., and . TTCS, volume 9541 of Lecture Notes in Computer Science, page 135-146. Springer, (2015)Parameterized Systems in BIP: Design and Model Checking., , , , , and . CONCUR, volume 59 of LIPIcs, page 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Application of logic to combinatorial sequences and their recurrence relations., , and . AMS-ASL Joint Special Session, volume 558 of Contemporary Mathematics, page 1-42. American Mathematical Society, (2009)On Counting Generalized Colorings., , and . AMS-ASL Joint Special Session, volume 558 of Contemporary Mathematics, page 207-242. American Mathematical Society, (2009)Connection Matrices and the Definability of Graph Parameters., and . CSL, volume 16 of LIPIcs, page 411-425. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)