Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints. - Sergey Krivoi (PPAM, 2001)

An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems. - Sergey Krivoi (PARELEC, 2002)

Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. - Anatoly Chebotarev; Sergey Krivoi (Ershov Memorial Conference, 2006)

The computer network topologies designs and the coherent graphs algebra. - Sergey Krivoi; Miroslaw Hajder; Pawel Dymora; Miroslaw Mazurek (Ann. UMCS Informatica, 2006)