Efficient Multiple-Valued Model-Checking Using Lattice Representations. - Marsha Chechik; Benet Devereux; Steve M. Easterbrook; Albert Y. C. Lai; Victor Petrovykh (CONCUR, 2001)

Model-Checking over Multi-valued Logics. - Marsha Chechik; Steve M. Easterbrook; Victor Petrovykh (FME, 2001)

chiChek: A Model Checker for Multi-Valued Reasoning. - Steve M. Easterbrook; Marsha Chechik; Benet Devereux; Arie Gurfinkel; Albert Y. C. Lai; Victor Petrovykh; Anya Tafliovich; Christopher D. Thompson-Walsh (ICSE, 2003)

Querying Graph-Relational Data. - Michael J. Sullivan; Zhibo Chen 009; Elvis Pranskevichus; Robert J. Simmons; Victor Petrovykh; Aljaz Mur Erzen; Yury Selivanov (CoRR, 2025)