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 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
https://portal.mardi4nfdi.de/entity/Q4649562	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
https://portal.mardi4nfdi.de/entity/Q3118385	2012-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q3118380	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