Tomer Kotek

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
The exact complexity of the Tutte polynomial	2023-04-28	Paper
On the Tutte and Matching Polynomials for Complete Graphs	2022-10-07	Paper
On the Tutte and matching polynomials for complete graphs	2021-12-13	Paper
Pebble-intervals automata and \(\text{FO}^2\) with two orders	2020-07-27	Paper
A logician's view of graph polynomials	2019-09-18	Paper
On the automated verification of web applications with embedded SQL	2018-07-18	Paper
Parameterized model checking of rendezvous systems	2018-06-01	Paper
Extending \(\mathcal{ALCQIO}\) with trees	2018-04-23	Paper
On the complexity of generalized chromatic polynomials	2018-01-11	Paper
On sequences of polynomials arising from graph invariants	2017-10-10	Paper
Domination polynomials of graph products	2017-08-16	Paper
Monadic second order finite satisfiability and unbounded tree-width	2017-07-19	Paper
A computational framework for the study of partition functions and graph polynomials	2017-05-31	Paper
Efficient computation of generalized Ising polynomials on graphs with fixed clique-width	2016-04-01	Paper
Bipartition polynomials, the Ising model, and domination in graphs	2015-05-11	Paper
Connection matrices and the definability of graph parameters	2014-11-13	Paper
Parameterized model checking of rendezvous systems	2014-09-15	Paper
Recurrence relations for graph polynomials on bi-iterative families of graphs	2014-09-02	Paper
Subset-sum representations of domination polynomials	2014-06-16	Paper
A representation theorem for (\(q\)-)holonomic sequences	2013-12-13	Paper
The universal edge elimination polynomial and the dichromatic polynomial	2013-11-01	Paper
On the reconstruction of graph invariants	2013-10-10	Paper
Connection matrices and the definability of graph parameters	2012-11-22	Paper
Recurrence relations and splitting formulas for the domination polynomial	2012-10-24	Paper
Complexity of Ising polynomials	2012-09-12	Paper
A representation theorem for holonomic sequences based on counting lattice paths	2012-07-11	Paper
On counting generalized colorings	2012-03-02	Paper
Application of logic to combinatorial sequences and their recurrence relations	2012-03-02	Paper
Definability of combinatorial functions and their linear recurrence relations	2010-09-03	Paper
Evaluations of Graph Polynomials	2009-01-20	Paper
On Counting Generalized Colorings	2008-11-20	Paper

Research outcomes over time

This page was built for person: Tomer Kotek