| The Inverse Method and First-Order Logic Theorem Proving V Pavlov, V Pak Nonlinear Dynamics and Applications 20, 127-135, 2014 | 9 | 2014 |
| The inverse method application for non-classical logics V Pavlov, V Pak Nonlinear Phenomena in Complex Systems 18 (2), 181-190, 2015 | 4 | 2015 |
| A hybrid convolutional and recurrent network approach for conversational AI in spoken language understanding B Zaity, H Wannous, Z Shaheen, I Chernoruckiy, PD Drobintsev, V Pak Fourth Conference on Software Engineering and Information Management (SEIM …, 2019 | 3 | 2019 |
| Collaborative document authoring as an e-learning component N Scerbakov, F Kappe, V Pak EdMedia+ Innovate Learning, 101-107, 2018 | 3 | 2018 |
| Theorem Prover for Intuitionistic Logic Based on the Inverse Method VA Pavlov, VG Pak Programming and Computer Software 44, 51-61, 2018 | 3 | 2018 |
| Russian natural language generation: Creation of a language modelling dataset and evaluation with modern neural architectures Z Shaheen, G Wohlgenannt, B Zaity, D Mouromtsev, V Pak arXiv preprint arXiv:2005.02470, 2020 | 2 | 2020 |
| FEEDBACK IN E-LEARNING: COMPARATIVE STUDY V Pak, N Scerbakov, E Rezedinova INTED2024 Proceedings, 5615-5619, 2024 | 1 | 2024 |
| E-LEARNING COURSE ON MOBILE WEB APPLICATIONS: COMPARISON OF LEARNING A Schukin, V Pak, E Rezedinova INTED2024 Proceedings, 5609-5614, 2024 | 1 | 2024 |
| WhaleProver: first-order intuitionistic theorem prover based on the inverse method V Pavlov, V Pak Perspectives of System Informatics: 11th International Andrei P. Ershov …, 2018 | 1 | 2018 |
| An experimental computer program for automated reasoning in intuitionistic logic using the inverse method VA Pavlov, VG Pak Computing, Telecommunication and Control, 70-80, 2015 | 1 | 2015 |
| Circult: An Interactive Web-Based Solution For Visualizing Boolean Circuits A Kaplin, V Pak Available at SSRN 4975430, 2024 | | 2024 |
| INTELLIGENT CURRICULUM ASSISTANT A Scerbakov, F Kappe, N Scerbakov, V Pack EDULEARN19 Proceedings, 7964-7967, 2019 | | 2019 |
| A New E-Book Developing Paradigm N Scerbakov, F Kappe, V Pak EDULEARN18 Proceedings, 7-12, 2018 | | 2018 |
| Perspectives of System Informatics AK Petrenko, A Voronkov | | |
