Recurrence relations and splitting formulas for the domination polynomial T Kotek, J Preen, F Simon, P Tittmann, M Trinks arXiv preprint arXiv:1206.5926, 2012 | 73 | 2012 |
Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith International Conference on Concurrency Theory, 109-124, 2014 | 53 | 2014 |
Parameterized systems in BIP: design and model checking I Konnov, T Kotek, Q Wang, H Veith, S Bliudze, J Sifakis 27th International conference on concurrency theory (CONCUR 2016), 30: 1-30: 16, 2016 | 38 | 2016 |
Evaluations of graph polynomials B Godlin, T Kotek, JA Makowsky International Workshop on Graph-Theoretic Concepts in Computer Science, 183-194, 2008 | 38 | 2008 |
Parameterized model checking of rendezvous systems B Aminof, T Kotek, S Rubin, F Spegni, H Veith Distributed Computing 31, 187-222, 2018 | 33 | 2018 |
On counting generalized colorings T Kotek, JA Makowsky, B Zilber International Workshop on Computer Science Logic, 339-353, 2008 | 28 | 2008 |
Connection matrices and the definability of graph parameters T Kotek, JA Makowsky Logical Methods in Computer Science 10, 2014 | 27 | 2014 |
On counting generalized colorings T Kotek, JA Makowsky, B Zilber Model theoretic methods in finite combinatorics 558, 207-242, 2011 | 25 | 2011 |
On the automated verification of web applications with embedded SQL S Itzhaky, T Kotek, N Rinetzky, M Sagiv, O Tamir, H Veith, F Zuleger arXiv preprint arXiv:1610.02101, 2016 | 22 | 2016 |
Definability of combinatorial functions T Kotek, JA Makowsky Computer Science Department, Technion, 2012 | 20 | 2012 |
Subset-sum representations of domination polynomials T Kotek, J Preen, P Tittmann Graphs and Combinatorics 30 (3), 647-660, 2014 | 19 | 2014 |
Recurrence relations for graph polynomials on bi-iterative families of graphs T Kotek, JA Makowsky European Journal of Combinatorics 41, 47-67, 2014 | 18 | 2014 |
Application of logic to combinatorial sequences and their recurrence relations E Fischer, T Kotek, JA Makowsky Model Theoretic Methods in Finite Combinatorics 558, 1-42, 2011 | 17 | 2011 |
Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures D Calvanese, T Kotek, M Šimkus, H Veith, F Zuleger International Conference on Integrated Formal Methods, 3-17, 2014 | 14 | 2014 |
Domination polynomials of graph products T Kotek, J Preen, P Tittmann arXiv preprint arXiv:1305.1475, 2013 | 14 | 2013 |
Bipartition polynomials, the ising model, and domination in graphs M Dod, T Kotek, J Preen, P Tittmann Discussiones Mathematicae Graph Theory 35 (2), 335-353, 2015 | 13 | 2015 |
A logician's view of graph polynomials JA Makowsky, EV Ravve, T Kotek Annals of pure and applied logic 170 (9), 1030-1069, 2019 | 12 | 2019 |
A computational framework for the study of partition functions and graph polynomials T Kotek, JA Makowsky, EV Ravve 2012 14th International Symposium on Symbolic and Numeric Algorithms for …, 2012 | 10 | 2012 |
Definability of Combinatorial Functions and Their Linear Recurrence Relations. T Kotek, JA Makowsky Fields of Logic and Computation, 444-462, 2010 | 10 | 2010 |
Complexity of Ising polynomials T Kotek Combinatorics, Probability and Computing 21 (5), 743-772, 2012 | 8 | 2012 |