×
Author ID: kryvyy.serhii-l Recent zbMATH articles by "Kryvyi, Serhiĭ L."
Published as: Kryvyi, S. L.; Kryvyj, S. L.; Kryvyi, S.; Krivoi, Sergey; Kryvyy, Sergiy; Kryvyĭ, S. L.; Krivij, S. L.; Krivyi, S. L.
Further Spellings: Kryvyi, Serhii L.
Homepage: http://csc.knu.ua/en/person/kryvyi
Documents Indexed: 42 Publications since 1997, including 1 Book
Co-Authors: 27 Co-Authors with 24 Joint Publications
111 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

23 Publications have been cited 82 times in 40 Documents Cited by Year
Algorithms for solving systems of linear Diophantine equations in integer domains. Zbl 1117.65046
Kryvyi, S. L.
10
2006
Synthesis of neural-like networks on the basis of conversion of cyclic Hamming codes. Zbl 1391.94855
Opanasenko, V. N.; Kryvyi, S. L.
9
2017
Methods of solution and criteria of consistency of systems of linear Diophantine equations over the set of natural numbers. Zbl 0993.11014
Kryvyi, S. L.
7
1999
Algorithms for solution of systems of linear Diophantine equations in residue fields. Zbl 1228.11182
Kryvyi, S. L.
7
2007
Algorithms for solving systems of linear Diophantine equations in residue rings. Zbl 1149.11058
Kryvyi, S. L.
7
2007
Partitioning the full range of Boolean functions based on the threshold and threshold relation. Zbl 1371.94703
Opanasenko, V. N.; Kryvyi, S. L.
6
2012
Formal methods of analysis of system properties. Zbl 1099.68658
Kryvyi, S. L.; Matveyeva, L. Ye.
5
2003
Synthesis of adaptive logical networks on the basis of Zhegalkin polynomials. Zbl 1337.94113
Opanasenko, V. N.; Kryvyi, S. L.
5
2015
Criteria of satisfiability for homogeneous systems of linear Diophantine constraints. Zbl 1057.68753
Krivoi, Sergey
4
2002
Partitioning a set of vectors with nonnegative integer coordinates using logical hardware. Zbl 1393.93019
Kryvyi, S. L.; Opanasenko, V. M.
3
2018
An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring of integers. Zbl 1216.11035
Kryvyi, S. L.
3
2009
Program verification: state of the art, problems, and results. I. Zbl 1371.68179
Kryvyi, S. L.; Maksymets, O. M.
2
2013
Partitioning a set of vectors with integer coordinates by means of logical hardware. Zbl 1443.68219
Kryvyi, S. L.; Opanasenko, V. M.; Zavyalov, S. B.
2
2019
Algorithm of translation of MSC-specified system into Petri net. Zbl 1124.68072
Kryvyy, Sergiy; Matvyeyeva, Lyudmila
2
2007
Automatic modeling and analysis of MSC-specified systems. Zbl 1096.68091
Kryvyy, Sergiy; Matvyeyeva, Lyudmila; Lopatina, Mariya
2
2005
Numerical methods to solve problems on a mathematical safe. Zbl 1432.11183
Kryvyi, S. L.
1
2019
Fundamentals of discrete mathematics. (Osnovy dyskretnoïmatematyky.) Zbl 1259.00002
Kapitonova, Yu. V.; Krivij, S. L.; Letichevs’kij, A. A.; Luts’kij, G. M.; Pechurin, M. K.
1
2002
Design of grid structures on the basis of transition systems with the substantiation of the correctness of their operation. Zbl 1366.68008
Kryvyi, S. L.; Boyko, Y. V.; Pogorilyy, S. D.; Boretskyi, O. F.; Glybovets, M. M.
1
2017
Formal methods for analysis of discrete systems using a specification language. Zbl 1185.68448
Kryvyi, S. L.; Chugayenko, A. V.
1
2009
Exploring the properties of MSC documents by translating them into Petri nets. Zbl 1183.68399
Kryvyi, S. L.; Chugayenko, O. V.; Matveeva, L. E.
1
2009
Logical operations over fuzzy sets and relations in automaton interpretation. Zbl 1454.03072
Kryvyi, S. L.; Opanasenko, V. N.; Zavyalov, S. B.
1
2020
Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I. Zbl 1102.68646
Kryvyj, S. L.; Chebotarev, A. N.
1
2005
Application of commutative rings with unity for construction of symmetric encryption system. Zbl 1499.94044
Kryvyi, S.
1
2022
Application of commutative rings with unity for construction of symmetric encryption system. Zbl 1499.94044
Kryvyi, S.
1
2022
Logical operations over fuzzy sets and relations in automaton interpretation. Zbl 1454.03072
Kryvyi, S. L.; Opanasenko, V. N.; Zavyalov, S. B.
1
2020
Partitioning a set of vectors with integer coordinates by means of logical hardware. Zbl 1443.68219
Kryvyi, S. L.; Opanasenko, V. M.; Zavyalov, S. B.
2
2019
Numerical methods to solve problems on a mathematical safe. Zbl 1432.11183
Kryvyi, S. L.
1
2019
Partitioning a set of vectors with nonnegative integer coordinates using logical hardware. Zbl 1393.93019
Kryvyi, S. L.; Opanasenko, V. M.
3
2018
Synthesis of neural-like networks on the basis of conversion of cyclic Hamming codes. Zbl 1391.94855
Opanasenko, V. N.; Kryvyi, S. L.
9
2017
Design of grid structures on the basis of transition systems with the substantiation of the correctness of their operation. Zbl 1366.68008
Kryvyi, S. L.; Boyko, Y. V.; Pogorilyy, S. D.; Boretskyi, O. F.; Glybovets, M. M.
1
2017
Synthesis of adaptive logical networks on the basis of Zhegalkin polynomials. Zbl 1337.94113
Opanasenko, V. N.; Kryvyi, S. L.
5
2015
Program verification: state of the art, problems, and results. I. Zbl 1371.68179
Kryvyi, S. L.; Maksymets, O. M.
2
2013
Partitioning the full range of Boolean functions based on the threshold and threshold relation. Zbl 1371.94703
Opanasenko, V. N.; Kryvyi, S. L.
6
2012
An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring of integers. Zbl 1216.11035
Kryvyi, S. L.
3
2009
Formal methods for analysis of discrete systems using a specification language. Zbl 1185.68448
Kryvyi, S. L.; Chugayenko, A. V.
1
2009
Exploring the properties of MSC documents by translating them into Petri nets. Zbl 1183.68399
Kryvyi, S. L.; Chugayenko, O. V.; Matveeva, L. E.
1
2009
Algorithms for solution of systems of linear Diophantine equations in residue fields. Zbl 1228.11182
Kryvyi, S. L.
7
2007
Algorithms for solving systems of linear Diophantine equations in residue rings. Zbl 1149.11058
Kryvyi, S. L.
7
2007
Algorithm of translation of MSC-specified system into Petri net. Zbl 1124.68072
Kryvyy, Sergiy; Matvyeyeva, Lyudmila
2
2007
Algorithms for solving systems of linear Diophantine equations in integer domains. Zbl 1117.65046
Kryvyi, S. L.
10
2006
Automatic modeling and analysis of MSC-specified systems. Zbl 1096.68091
Kryvyy, Sergiy; Matvyeyeva, Lyudmila; Lopatina, Mariya
2
2005
Checking the satisfiability of formulas represented in disjunctive normal form in the language \(L\). I. Zbl 1102.68646
Kryvyj, S. L.; Chebotarev, A. N.
1
2005
Formal methods of analysis of system properties. Zbl 1099.68658
Kryvyi, S. L.; Matveyeva, L. Ye.
5
2003
Criteria of satisfiability for homogeneous systems of linear Diophantine constraints. Zbl 1057.68753
Krivoi, Sergey
4
2002
Fundamentals of discrete mathematics. (Osnovy dyskretnoïmatematyky.) Zbl 1259.00002
Kapitonova, Yu. V.; Krivij, S. L.; Letichevs’kij, A. A.; Luts’kij, G. M.; Pechurin, M. K.
1
2002
Methods of solution and criteria of consistency of systems of linear Diophantine equations over the set of natural numbers. Zbl 0993.11014
Kryvyi, S. L.
7
1999

Citations by Year