| Evidence algorithm and sequent logical inference search AI Degtyarev, AV Lyaletski, MK Morokhovets International Conference on Logic for Programming Artificial Intelligence …, 1999 | 52 | 1999 |
| On the EA-style integrated processing of self-contained mathematical texts AI Degtyarev, AV Lyaletski, MK Morokhovets Symbolic Computation and Automated Reasoning, 126-141, 2001 | 20 | 2001 |
| Kyiv school of automated theorem proving: a historical chronicle A Lyaletski, M Morokhovets, A Paskevich Logic in Central and Eastern Europe: History, Science, and Discourse, 431-439, 2012 | 14 | 2012 |
| Evidential paradigm: a current state A Lyaletski, M Morokhovets Programme of the International Conference “Mathematical Challenges of the …, 2000 | 10 | 2000 |
| Glushkov’s evidence algorithm AA Letichevsky, AV Lyaletski, MK Morokhovets Cybernetics and Systems Analysis 49, 489-500, 2013 | 9 | 2013 |
| A brief historical sketch on Kiev school of automated theorem proving A Degtyarev, Y Kapitonova, A Letichevsky, A Lyaletski, M Morokhovets Proc. of the 2nd International THEOREMA Workshop, Linz, Austria (June 1998 …, 1998 | 8 | 1998 |
| Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system VV Atayan, MK Morokhovets Cybernetics and Systems Analysis 32 (3), 442-465, 1996 | 6 | 1996 |
| Consistency checking of automata functional specifications AN Chebotarev, MK Morokhovets Logic Programming and Automated Reasoning: 4th International Conference …, 1993 | 6 | 1993 |
| Resolution approach to testing compatibility of interacting automata MK Morokhovets, AN Chebotarev Cybernetics and Systems Analysis 30 (6), 820-829, 1994 | 5 | 1994 |
| Evidence algorithm and problems of representation and processing of computer mathematical knowledge A Degtyarev, J Kapitonova, A Letichevsky, A Lyaletsky, M Morokhovets Kibernetika and System Analysis 6, 9-17, 1999 | 4 | 1999 |
| Resolution-based approach to compatibility analysis of interacting automata AN Chebotarev, MK Morokhovets Theoretical computer science 194 (1-2), 183-205, 1998 | 4 | 1998 |
| A development technique and means for formalizing functional specifications of software and hardware systems AB Godlevsky, NM Mishchenko, MK Morokhovets, OD Felizhanko, ... Cybernetics and Systems Analysis 52 (5), 684-697, 2016 | 3 | 2016 |
| A modified unification procedure MK Morokhovets Cybernetics 20 (1), 147-152, 1984 | 3 | 1984 |
| New functionalities of the system for processing natural language specifications and its operating environment NM Mishchenko, MK Morokhovets, OD Felizhanko, YV Shtelik, ... Cybernetics and Systems Analysis 54, 883-891, 2018 | 2 | 2018 |
| Deduction-seeking procedures and transitive relations MK Morokhovets Cybernetics 21 (5), 702-708, 1985 | 2 | 1985 |
| Strategies of the search for derivation of statements with restricted quantifiers KP Vershinin, MK Morokhovets Cybernetics 19 (3), 298-308, 1983 | 2 | 1983 |
| Application and Development of Linguistic Software Tools for Analyzing and Transforming the Texts of Requirements for Software Systems MK Morokhovets, NM Shchogoleva Cybernetics and Systems Analysis 58 (5), 683-690, 2022 | 1 | 2022 |
| Cyber-physical systems: The linguistic aspect AB Godlevsky, MK Morokhovets Cybernetics and Systems Analysis 56 (6), 878-892, 2020 | 1 | 2020 |
| System of Programs Proving A Letichevsky, O Letichevskiy, M Morokhovets, V Peschanenko Problems of Computer Intellectualization, Kyiv, VM Glushkov Institute of …, 2012 | 1 | 2012 |
| Parallel inference search in logical calculus based on the algebraic programming system AA Letichevsky, VN German, MK Morokhovets, NN Shchogoleva Cybernetics and Systems Analysis 46, 669-678, 2010 | 1 | 2010 |
