Tomer Kotek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2008–2020
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | LATA | Pebble-Intervals Automata and FO | Nadia Labai, Tomer Kotek, Magdalena Ortiz, Helmut Veith |
| 2017 | ICDT | On the Automated Verification of Web Applications with Embedded SQL. | Shachar Itzhaky, Tomer Kotek, Noam Rinetzky, Mooly Sagiv, Orr Tamir, Helmut Veith, Florian Zuleger |
| 2016 | CONCUR | Parameterized Systems in BIP: Design and Model Checking. | Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis |
| 2016 | CSL | Monadic Second Order Finite Satisfiability and Unbounded Tree-Width. | Tomer Kotek, Helmut Veith, Florian Zuleger |
| 2015 | LICS | Extending ALCQIO with Trees. | Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2014 | CONCUR | Parameterized Model Checking of Rendezvous Systems. | Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith |
| 2014 | IFM | Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. | Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2012 | CSL | Connection Matrices and the Definability of Graph Parameters. | Tomer Kotek, Johann A. Makowsky |
| 2012 | SYNASC | A Computational Framework for the Study of Partition Functions and Graph Polynomials. | Tomer Kotek, Johann A. Makowsky, Elena V. Ravve |
| 2008 | CSL | On Counting Generalized Colorings. | Tomer Kotek, Johann A. Makowsky, Boris Zilber |
| 2008 | WG | Evaluations of Graph Polynomials. | Benny Godlin, Tomer Kotek, Johann A. Makowsky |