The Analysis of Concurrent Logic Control Algorithms. - Arkadij Zakrevskij (FCT, 1987)

Parallel logical control algorithms: verification and hardware implementation. - Arkadij Zakrevskij (Comput. Sci. J. Moldova, 1996)

Fast Algorithm for Minimizing Reed-Muller Expansions of Systems of Incompletely Specified MVL Functions. - Arkadij Zakrevskij; Lev Zakrevski (ISMVL, 1997)

The Specification and Design of Parallel Logical Control Devices. - Arkadij Zakrevskij; Valery Sklyarov (PDPTA, 2000)

Reduction algorithms for solving large systems of logical equations. - Arkadij Zakrevskij (Comput. Sci. J. Moldova, 2000)

A Method of Analysis of Operational Petri Nets. - Arkadij Zakrevskij; Andrei Karatkevich; Marian Adamski (ACS, 2001)

Analysis of Petri Nets by Means of Concurrent Simulation. - Andrei Karatkevich; Arkadij Zakrevskij (PARELEC, 2002)

Solving Systems of Logical Equations Using Search Tree Minimization Technique. - Arkadij Zakrevskij; Lev Zakrevski (PDPTA, 2002)