Concepedia

Tomer Kotek

TK

Statistics

Publications

8

Citations

182

H-Index

8

Active since

2012

Affiliations

TU Wien(Current)

Technion – Israel Institute of Technology

Cape Breton University

Hochschule Mittweida

Tomer Kotek is an author at TU Wien specializing in discrete mathematics, graph theory, and automated reasoning.

Top concepts

Graph TheoryAutomated ReasoningDiscrete MathematicsEngineeringFormal MethodsComputer ScienceVerificationSoftware DesignSystem SoftwareProgram Analysis

Publications per year

2012–2019

8

Publications

8

Recurrence Relations and Splitting Formulas for the Domination Polynomial

Tomer Kotek, James Preen, F. Simon et al. · The Electronic Journal of Combinatorics · 2012 · 61 citations · Full text

Geometric Graph Theory, Domination Polynomial, Graph Theory +10

Parameterized model checking of rendezvous systems

Benjamin Aminof, Tomer Kotek, Sasha Rubin et al. · Distributed Computing · 2017 · 37 citations · Full text

Parameterized Systems in BIP: Design and Model Checking

Igor Konnov, Tomer Kotek, Qiang Wang et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 21 citations · Full text

Engineering, Verification, Computer-aided Verification +18

On the Automated Verification of Web Applications with Embedded SQL

Shachar Itzhaky, Tomer Kotek, Noam Rinetzky et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2017 · 16 citations · Full text

Program Checking, Engineering, Verification +22

Subset-Sum Representations of Domination Polynomials

Tomer Kotek, James Preen, Peter Tittmann · Graphs and Combinatorics · 2013 · 15 citations

Representation Theory, Analytic Combinatorics, Algebraic Combinatorics +2

1–5 of 8