Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Yury Chebiryak

dblp:c/YuryChebiryak · DBLP profile ↗
← Back
3ranked-venue papers
1as first author
0since 2021 · last 2010
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 3 · 1 first-authorArtificial intelligence and machine learning · 1 · 1 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

TopicWeightPapersLastEvidence papers
Graph algorithms and graph theory › graph classes
hypercube
0.222010
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.122010
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.122010
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.112010
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.112010
Periodic orbits and equilibria in glass models for gene regulatory networks · IEEE Trans. Inf. Theory 2010
Coding theory › constrained coding
circuit codes
0.112008
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
YearPublicationVenuePosition
2010 Periodic orbits and equilibria in glass models for gene regulatory networks
abstract
Glass 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. Theory2
2009 Finding Lean Induced Cycles in Binary Hypercubes
Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller
SAT1
2008 Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers
abstract
The 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. Theory3