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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tomer Kotek