Petrov E. Scalable parallel subdefinite calculations for sparse systems of constraints // Computer Science. — 2010. — # 31 — P. 111-121
Petrov E. The uniform constraint solving API for UniCalc // Computer Science. — 2009. — # 29 — P. 79-88
Botoeva E., Petrov E. Correct visualization of solution spaces in the UniCalc system // Computer Science. — 2007. — # 26 — P. 65-73
Botoeva E., Kostov Y., Petrov E. A reliable linear constraint solver for the UniCalc system // Computer Science. — 2006. — # 24 — P. 45-55
Petrov E., Monfroy É. Constraint-based analysis of composite solvers // Computer Science. — 2005. — # 23 — P. 101-111
Yakhno T., Petrov E. New facilities of constraint logic programming // Computer Science. — 1999. — # 12 — P. 52-57