Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Tomer Kotek
Map detail
Tomer Kotek12 visible / 12 total nodes / 11 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTomer KotekATomer KotekResearcherSubset-Sum Representations of Domination PolynomialsWSubset-Sum Representati...preprint / 2012Complexity of Ising PolynomialsWComplexity of Ising Pol...preprint / 2012Recurrence Relations for Graph Polynomials on Bi-iterative Families of GraphsWRecurrence Relations fo...preprint / 2013Recurrence relations and splitting formulas for the domination polynomialWRecurrence relations an...preprint / 2012Domination Polynomials of Graph ProductsWDomination Polynomials ...preprint / 2013Extending ALCQIO with reachabilityWExtending ALCQIO with r...preprint / 2014Efficient computation of generalized Ising polynomials on graphs with fixed clique-widthWEfficient computation o...preprint / 2015Connection Matrices and the Definability of Graph ParametersWConnection Matrices and...preprint / 2014Monadic second order finite satisfiability and unbounded tree-widthWMonadic second order fi...preprint / 2016Shape and Content: Incorporating Domain Knowledge into Shape AnalysisWShape and Content: Inco...preprint / 2014On the automated verification of web applications with embedded SQLWOn the automated verifi...preprint / 2016
Person11 links

Tomer Kotek

Researcher