Sergey Krivoi

According to our database, Sergey Krivoi authored at least 4 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2006

The computer network topologies designs and the coherent graphs algebra.

Sergey Krivoi, Miroslaw Hajder, Pawel Dymora, Miroslaw Mazurek

Ann. UMCS Informatica, 2006

Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L.

Anatoly Chebotarev, Sergey Krivoi

Proceedings of the Perspectives of Systems Informatics, 2006

2002

An Algebraic Approach to Managing Feature Interaction in Telecommunication Systems.

Sergey Krivoi

Proceedings of the 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), 2002

2001

Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints.

Sergey Krivoi

Proceedings of the Parallel Processing and Applied Mathematics, 2001