Demo Data from VLDB 2026 / reviewers in the wild / expert
Igor Zinovik
dblp:44/3944
· DBLP profile ↗
2ranked-venue papers
2as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
2 papers |
Coding theory · 69% Graph algorithms and graph theory · 31% | |
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Bioinformatics and computational biology · 100% |
Topics — the 6 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Graph algorithms and graph theory › graph classes
hypercube |
0.2 | 2 | 2010 | Periodic orbits and equilibria in glass models for gene regulatory networks · IEEE Trans. Inf. Theory 2010 Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers · IEEE Trans. Inf. Theory 2008 |
Coding theory › error-correcting codes › combinatorial coding theory
combinatorial codes |
0.1 | 2 | 2010 | Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers · IEEE Trans. Inf. Theory 2008 Periodic orbits and equilibria in glass models for gene regulatory networks · IEEE Trans. Inf. Theory 2010 |
Coding theory › error-correcting codes › combinatorial coding theory
gray codes |
0.1 | 2 | 2010 | Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers · IEEE Trans. Inf. Theory 2008 Periodic orbits and equilibria in glass models for gene regulatory networks · IEEE Trans. Inf. Theory 2010 |
Bioinformatics and computational biology › gene regulation
gene regulatory network |
0.1 | 1 | 2010 | Periodic orbits and equilibria in glass models for gene regulatory networks · IEEE Trans. Inf. Theory 2010 |
Coding theory › error-correcting codes › q-ary codes
binary codes |
0.1 | 1 | 2010 | Periodic orbits and equilibria in glass models for gene regulatory networks · IEEE Trans. Inf. Theory 2010 |
Coding theory › constrained coding
circuit codes |
0.1 | 1 | 2008 | Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers · IEEE Trans. Inf. Theory 2008 |
Methods — techniques the papers use, named apart from their topics
exhaustive search · 0.3combinatorial classification · 0.2SAT solver · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Periodic orbits and equilibria in glass models for gene regulatory networksabstractGlass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-dimensional binary hypercubes. In this paper, we report a broad range of results about Glass models that have been obtained by computing the binary codes that correspond to the hypercube paths. Specifically, we propose algorithmic methods for the synthesis of specific Glass networks based on these codes. In contrast to existing work, bi-periodic networks and networks possessing both stable equilibria and periodic trajectories are considered. The robustness of the attractor is also addressed, which gives rise to hypercube paths with nondominated nodes and double coils. These paths correspond to novel combinatorial problems, for which initial experimental results are presented. Finally, a classification of Glass networks with respect to their corresponding gene interaction graphs for three genes is presented. Igor Zinovik, Yury Chebiryak, Daniel Kroening |
IEEE Trans. Inf. Theory | 1 |
| 2008 | Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT SolversabstractThe term binary combinatorial Gray code refers to a list of binary words such that the Hamming distance between two neighboring words is one and the list satisfies some additional properties that are of interest to a particular application, e.g., circuit testing, data compression, and computational biology. New distance-preserving and circuit codes are presented along with a complete list of equivalence classes of the coil-in-the-box codes for codeword length with respect to symmetry transformations of hypercubes. A Gray-ordered code composed of all necklaces of the length is presented, improving the known result with length . Igor Zinovik, Daniel Kroening, Yury Chebiryak |
IEEE Trans. Inf. Theory | 1 |