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
Demo Data from EDBT 2026 / reviewers in the wild / expert

Victor Petrovykh

dblp:52/6694 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
0since 2021 · last 2003
—ORCID · none

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

Software engineering, systems software and programming languages · 1Theory of computation · 1

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
1 paper
Automated reasoning and model checking · 77% Logic in computer science · 23%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking › model checking
multi-valued model checking		 0.012003
\chiChek: A Model Checker for Multi-Valued Reasoning · ICSE 2003
Automated reasoning and model checking › model checking
temporal logic model checking		 0.012003
\chiChek: A Model Checker for Multi-Valued Reasoning · ICSE 2003
Logic in computer science › temporal logic › branching-time temporal logic
CTL		 0.012003
\chiChek: A Model Checker for Multi-Valued Reasoning · ICSE 2003
Logic in computer science
temporal logic		 0.012003
\chiChek: A Model Checker for Multi-Valued Reasoning · ICSE 2003

Methods — techniques the papers use, named apart from their topics

symbolic model checking · 0.0
YearPublicationVenuePosition
2003 \chiChek: A Model Checker for Multi-Valued Reasoning
abstract
This paper describes our multi-valued symbolic model-checker XChek. XChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued model-checking supports reasoning with values other than just TRUE and FALSE.
Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher D. Thompson-Walsh
 ICSE6
2001 Efficient Multiple-Valued Model-Checking Using Lattice Representations
Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh
 CONCUR5