Edit Profile (opens in new tab) Kryvyi, Serhiĭ L. Co-Author Distance Author ID: kryvyy.serhii-l Published as: Kryvyi, S. L.; Kryvyj, S. L.; Kryvyi, S.; Krivoi, Sergey; Kryvyy, Sergiy; Kryvyĭ, S. L.; Krivij, S. L.; Krivyi, S. L. more...less 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 all top 5 Co-Authors 18 single-authored 5 Opanasenko, V. N. 3 Opanasenko, Vladimir M. 3 Zavyalov, S. B. 2 Boyko, Yu. V. 2 Chebotarev, Anatoli N. 2 Darchuk, N. 2 Glybovets’, Mykola M. 2 Maksymets, O. M. 2 Matvyeyeva, Lyudmila 2 Pogorilyy, S. D. 1 Boretskyi, O. F. 1 Chebotarev, Anatoly 1 Chugayenko, A. V. 1 Chugayenko, O. V. 1 Grinenko, E. A. 1 Hoherchak, H. 1 Kapitonova, Yu. V. 1 Krasnitskiĭ, Sergeĭ M. 1 Letychevs’kyĭ, Oleksandr Adol’fovych 1 Lopatina, Mariya 1 Luts’kij, G. M. 1 Matveeva, L. E. 1 Matveyeva, L. Ye. 1 Nortman, Yu. A. 1 Pechurin, M. K. 1 Skrypnyk, Taras Volodymyrovych 1 Sydorova, N. Serials 35 Cybernetics and Systems Analysis 2 Fundamenta Informaticae 1 Dopovidi Natsional’noï Akademiï Nauk Ukraïny. Matematyka, Pryrodoznavstvo, Tekhnichni Nauky all top 5 Fields 26 Computer science (68-XX) 13 Number theory (11-XX) 5 Numerical analysis (65-XX) 5 Information and communication theory, circuits (94-XX) 4 Mathematical logic and foundations (03-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Convex and discrete geometry (52-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 36 Authors 19 Kryvyi, Serhiĭ L. 4 Matviienko, A. V. 4 Opanasenko, V. N. 4 Titarenko, L. A. 3 Grunskij, I. S. 3 Kozlovskii, V. A. 3 Kudryavtsev, Valeriĭ Borisovich 3 Opanasenko, Vladimir M. 3 Zavyalov, S. B. 2 Donets, Georg A. 2 Glybovets’, Mykola M. 2 Goncharova, L. L. 2 Lukyanova, Elena A. 2 Maksymets, O. M. 2 Stasiuk, O. I. 1 Bolanowski, Marek 1 Chebotarev, Anatoli N. 1 Chugayenko, A. V. 1 Chugayenko, O. V. 1 Derezaa, A. V. 1 Desmorat, Boris 1 Desmorat, Rodrigue 1 Grinenko, E. A. 1 Grishchuk, R. V. 1 Hlomozda, D. K. 1 Kolev, Boris 1 Kucherov, D. 1 Matveeva, L. E. 1 Newelski, Ludomir 1 Nortman, Yu. A. 1 Olive, Marc 1 Paszkiewicz, Andrzej 1 Quinlan, Rachel 1 Szechtman, Fernando 1 Zaitsev, Dmitry A. 1 Zhan, Bin all top 5 Cited in 7 Serials 33 Cybernetics and Systems Analysis 2 Discrete Mathematics and Applications 1 International Journal of Engineering Science 1 The Journal of Symbolic Logic 1 Linear Algebra and its Applications 1 Journal of Mathematical Sciences (New York) 1 Annales Universitatis Mariae Curie-Skłodowska. Sectio A1. Informatica all top 5 Cited in 14 Fields 22 Computer science (68-XX) 10 Information and communication theory, circuits (94-XX) 9 Number theory (11-XX) 6 Linear and multilinear algebra; matrix theory (15-XX) 3 Mathematical logic and foundations (03-XX) 3 Numerical analysis (65-XX) 3 Systems theory; control (93-XX) 2 Commutative algebra (13-XX) 2 Associative rings and algebras (16-XX) 2 Operations research, mathematical programming (90-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Group theory and generalizations (20-XX) 1 Mechanics of deformable solids (74-XX) Citations by Year