Dmitry Ivanov

According to our database, Dmitry Ivanov authored at least 37 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Effective Partitioning Method With Predictable Hardness for CircuitSAT.

Konstantin Chukharev, Irina Gribanova, Dmitry Ivanov, Stepan Kochemazov, Victor Kondratiev, Alexander A. Semenov

IEEE Access, 2025

2024

ASR Benchmarking: Need for a More Representative Conversational Dataset.

Gaurav Maheshwari, Dmitry Ivanov, Théo Johannet, Kevin El Haddad

CoRR, 2024

Efficacy of Synthetic Data as a Benchmark.

Gaurav Maheshwari, Dmitry Ivanov, Kevin El Haddad

CoRR, 2024

UTBot Python at the SBFT Tool Competition 2024.

Ekaterina Tochilina, Vyacheslav Tamarin, Dmitry Mordvinov, Valentyn Sobol, Sergey Pospelov, Alexey Menshutin, Yury Kamenev, Dmitry Ivanov

Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and Fuzz Testing, 2024

Linear Search for an Escaping Target with Unknown Speed.

Jared Ray Coleman, Dmitry Ivanov, Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce

Proceedings of the Combinatorial Algorithms - 35th International Workshop, 2024

Trigram-Based Persistent IDE Indices with Quick Startup.

Zakhar Iakovlev, Alexey Chulkov, Nikita Golikov, Vyacheslav Lukianov, Nikita Zinoviev, Dmitry Ivanov, Vitaly Aksenov

Proceedings of the 1st ACM/IEEE Workshop on Integrated Development Environments, 2024

KLEEF: Symbolic Execution Engine (Competition Contribution).

Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov

Proceedings of the Fundamental Approaches to Software Engineering, 2024

Personalized Reinforcement Learning with a Budget of Policies.

Dmitry Ivanov, Omer Ben-Porat

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

A review on reinforcement learning algorithms and applications in supply chain management.

Benjamin Rolf, Ilya Jackson, Marcel Müller, Sebastian Lang, Tobias Reggelin, Dmitry Ivanov

Int. J. Prod. Res., October, 2023

Deep Contract Design via Discontinuous Piecewise Affine Neural Networks.

Tonghan Wang, Paul Dütting, Dmitry Ivanov, Inbal Talgam-Cohen, David C. Parkes

CoRR, 2023

Benchmark Framework with Skewed Workloads.

Vitaly Aksenov, Dmitry Ivanov, Ravil Galiev

CoRR, 2023

Call Centre Optimization Based on Personalized Requests Distribution.

Elizaveta E. Tarasova, Dmitry Ivanov

Proceedings of the Optimization, Learning Algorithms and Applications, 2023

Deep Contract Design via Discontinuous Networks.

Tonghan Wang, Paul Duetting, Dmitry Ivanov, Inbal Talgam-Cohen, David C. Parkes

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Relational Solver for Java Generics Type System.

Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

UTBot at the SBFT 2023 Java Tool Competition.

Dmitry Ivanov, Alexey Menshutin, Maxim Pelevin, Daniil Stepanov, Denis Fokin, Yury Kamenev, Egor Kulikov, Artemiy Kononov, Sergey Pospelov, Ivan Volkov, Alena Lisevych, Timur Yuldashev, Nikita Stroganov, Andrey Tarbeev

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments.

Dmitry Ivanov, Alexey Babushkin, Saveliy Grigoryev, Pavel Iatchenii, Vladislav Kalugin, Egor Kichin, Egor Kulikov, Aleksandr Misonizhnik, Dmitry Mordvinov, Sergey Morozov, Olga Naumenko, Alexey Pleshakov, Pavel Ponomarev, Svetlana Shmidt, Alexey Utkin, Vadim Volodin, Arseniy Volynets

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

Review of Drone Swarms Usage for 3D Reconstruction.

Dmitry Ivanov, Mark Zaslavskiy

Proceedings of the 33rd Conference of Open Innovations Association, 2023

Mediated Multi-Agent Reinforcement Learning.

Dmitry Ivanov, Ilya Zisman, Kirill Chernyshev

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Neuromorphic Artificial Intelligence Systems.

Dmitry Ivanov, Aleksandr Chezhegov, Andrey Grunin, Mikhail V. Kiselev, Denis A. Larionov

CoRR, 2022

Self-Imitation Learning from Demonstrations.

Georgiy Pshikhachev, Dmitry Ivanov, Vladimir Egorov, Aleksei Shpilman

CoRR, 2022

Improving State-of-the-Art in One-Class Classification by Leveraging Unlabeled Data.

Farid Bagirov, Dmitry Ivanov, Aleksei Shpilman

CoRR, 2022

Neural Network Optimization for Reinforcement Learning Tasks Using Sparse Computations.

Dmitry Ivanov, Mikhail Kiselev, Denis A. Larionov

CoRR, 2022

UTBot Java at the SBST2022 Tool Competition.

Dmitry Ivanov, Alexey Menshutin, Denis Fokin, Yury Kamenev, Sergey Pospelov, Egor Kulikov, Nikita Stroganov

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

Optimal-er Auctions through Attention.

Dmitry Ivanov, Iskander Safiulin, Igor Filippov, Ksenia Balabaeva

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

ProExamit: Development of Cross-Platform, Fully Automated and Expandable in Terms of Detectable Violations Proctoring.

Kirill Krinkin, Valeriia Dopira, Mark Zaslavskiy, Maxim Subbotin, Nikita Iyerussalimov, Sergey Sorokumov, Yaroslav Gosudarkin, Sergey Glazunov, Dmitry Ivanov

Proceedings of the Intelligent Distributed Computing XV, 2022

Introduction to the Minitrack on Simulation Modeling and Digital Twins for Decision Making in the Age of Industry 4.0.

Tobias Reggelin, Dmitry Ivanov, Sebastian Lang, Stefan Galka

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

From Supply Chain Resilience to Ecosystem Viability: Lessons from and Thinking Beyond the COVID-19 Pandemic.

Dmitry Ivanov

Proceedings of the 11th International Conference on Data Science, 2022

2021

UtBot at the SBST2021 Tool Competition.

Dmitry Ivanov, Nikolay Bukharev, Alexey Menshutin, Arsen Nagdalian, Gleb Stromov, Artem Ustinov

Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

The Advertising Prediction Model Based on Machine Learning Technologies.

Anastasiia Ivanytska, Liudmyla Zubyk, Yaroslav Zubyk, Dmitry Ivanov

Proceedings of the Selected Papers of the VIII International Scientific Conference "Information Technology and Implementation" (IT&I-2021), 2021

Introduction to the Minitrack on Modeling and Decision Making in Manufacturing and Logistics in the Age of Industry 4.0.

Stefan Galka, Tobias Reggelin, Sebastian Lang, Dmitry Ivanov

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

Balancing Rational and Other-Regarding Preferences in Cooperative-Competitive Environments.

Dmitry Ivanov, Vladimir Egorov, Aleksei Shpilman

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Flatland Competition 2020: MAPF and MARL for Efficient Train Coordination on a Grid World.

Florian Laurent, Manuel Schneider, Christian Scheller, Jeremy D. Watson, Jiaoyang Li, Zhe Chen, Yi Zheng, Shao-Hung Chan, Konstantin Makhnev, Oleg Svidchenko, Vladimir Egorov, Dmitry Ivanov, Aleksei Shpilman, Evgenija Spirovska, Oliver Tanevski, Aleksandar Nikov, Ramon Grunder, David Galevski, Jakov Mitrovski, Guillaume Sartoretti, Zhiyao Luo, Mehul Damani, Nilabha Bhattacharya, Shivam Agarwal, Adrian Egli, Erik Nygren, Sharada P. Mohanty

Proceedings of the NeurIPS 2020 Competition and Demonstration Track, 2020

DEDPUL: Difference-of-Estimated-Densities-based Positive-Unlabeled Learning.

Dmitry Ivanov

Proceedings of the 19th IEEE International Conference on Machine Learning and Applications, 2020

2019

DEDPUL: Method for Mixture Proportion Estimation and Positive-Unlabeled Classification based on Density Estimation.

Dmitry Ivanov

CoRR, 2019

Static analysis for worst-case battery utilization.

Dmitry Ivanov, Sibylle Schupp

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Identifying Bid Leakage in Procurement Auctions: Machine Learning Approach.

Dmitry Ivanov, Alexander S. Nesterov

Proceedings of the 2019 ACM Conference on Economics and Computation, 2019

2018

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems.

Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018