Tomer Kotek

Identifiers

• name variant Tomer Kotek 0.60 · backfill

Papers (10)

1. On the automated verification of web applications with embedded SQL cs.LO · 2016 · author #2
2. Monadic second order finite satisfiability and unbounded tree-width cs.LO · 2015 · author #1
3. Efficient computation of generalized Ising polynomials on graphs with fixed clique-width cs.LO · 2015 · author #1
4. Extending ALCQIO with reachability cs.LO · 2014 · author #1
5. Shape and Content: Incorporating Domain Knowledge into Shape Analysis cs.PL · 2013 · author #2
6. Recurrence Relations for Graph Polynomials on Bi-iterative Families of Graphs math.CO · 2013 · author #1
7. Domination Polynomials of Graph Products math.CO · 2013 · author #1
8. Subset-Sum Representations of Domination Polynomials math.CO · 2012 · author #1
9. Recurrence relations and splitting formulas for the domination polynomial math.CO · 2012 · author #1
10. Complexity of Ising Polynomials cs.CC · 2011 · author #1

Mentions

• 1505.06622 #1 · backfill · confidence 0.70 Tomer Kotek
• 1505.06617 #1 · backfill · confidence 0.70 Tomer Kotek
• 1402.6804 #1 · backfill · confidence 0.70 Tomer Kotek
• 1312.6624 #2 · backfill · confidence 0.70 Tomer Kotek
• 1309.4020 #1 · backfill · confidence 0.70 Tomer Kotek
• 1305.1475 #1 · backfill · confidence 0.70 Tomer Kotek
• 1207.2430 #1 · backfill · confidence 0.70 Tomer Kotek
• 1206.5926 #1 · backfill · confidence 0.70 Tomer Kotek
• 1110.3639 #1 · backfill · confidence 0.70 Tomer Kotek

Frequent Coauthors

• Florian Zuleger 4 shared papers
• Helmut Veith 4 shared papers
• James Preen 3 shared papers
• Peter Tittmann 3 shared papers
• Johann A. Makowsky 2 shared papers
• Diego Calvanese 1 shared papers
• Frank Simon 1 shared papers
• Mantas Simkus 1 shared papers
• Mantas \v{S}imkus 1 shared papers
• Martin Trinks 1 shared papers
• Mooly Sagiv 1 shared papers
• Noam Rinetzky 1 shared papers
• Orr Tamir 1 shared papers
• Shachar Itzhaky 1 shared papers