Alexey Voronov

According to our database, Alexey Voronov authored at least 14 papers between 2009 and 2022.

Collaborative distances:

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

2022

Human-in-the-loop assisted de novo molecular design.

Iiris Sundin, Alexey Voronov, Haoping Xiao, Kostas Papadopoulos, Esben Jannik Bjerrum, Markus Heinonen, Atanas Patronov, Samuel Kaski, Ola Engkvist

J. Cheminformatics, 2022

2021

DockStream: a docking wrapper to enhance de novo molecular design.

Jeff Guo, Jon Paul Janet, Matthias R. Bauer, Eva Nittinger, Kathryn A. Giblin, Kostas Papadopoulos, Alexey Voronov, Atanas Patronov, Ola Engkvist, Christian Margreitter

J. Cheminformatics, 2021

2018

Cooperative Automated Maneuvering at the 2016 Grand Cooperative Driving Challenge.

Jeroen Ploeg, Elham Semsar-Kazerooni, Alejandro Ivan Morales Medina, Jan F. C. M. de Jongh, Jacco van de Sluis, Alexey Voronov, Cristofer Englund, Reinder J. Bril, Hrishikesh Salunkhe, Alvaro Arrue, Aitor Ruano, Lorena Garcia-Sol, Ellen van Nunen, Nathan van de Wouw

IEEE Trans. Intell. Transp. Syst., 2018

Guest Editorial Introduction to the Special Issue on the 2016 Grand Cooperative Driving Challenge.

Jeroen Ploeg, Cristofer Englund, Henk Nijmeijer, Elham Semsar-Kazerooni, Steven E. Shladover, Alexey Voronov, Nathan van de Wouw

IEEE Trans. Intell. Transp. Syst., 2018

2016

The Grand Cooperative Driving Challenge 2016: boosting the introduction of cooperative automated vehicles.

Cristofer Englund, Lei Chen, Jeroen Ploeg, Elham Semsar-Kazerooni, Alexey Voronov, Hoai Hoang Bengtsson, Jonas Didoff

IEEE Wirel. Commun., 2016

The application of data mining techniques to model visual distraction of bicyclists.

Cristofer Englund, Maria Nilsson, Alexey Voronov

Expert Syst. Appl., 2016

Formulating constraint satisfaction problems for the inspection of configuration rules.

Anna Tidstam, Johan Malmqvist, Alexey Voronov, Knut Åkesson, Martin Fabian

Artif. Intell. Eng. Des. Anal. Manuf., 2016

2015

Coordinating dangerous goods vehicles: C-ITS applications for safe road tunnels.

Lei Chen, Azra Habibovic, Cristofer Englund, Alexey Voronov, Anders Lindgren Walter

Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

Interactive Test Tool for Interoperable C-ITS Development.

Alexey Voronov, Cristofer Englund, Hoai Hoang Bengtsson, Lei Chen, Jeroen Ploeg, Jan de Jonhg, Jacco van de Sluis

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Interaction Protocol for Highway Platoon Merge.

Hoai Hoang Bengtsson, Lei Chen, Alexey Voronov, Cristofer Englund

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2012

Verification of Item Usage Rules in Product Configuration.

Alexey Voronov, Anna Tidstam, Knut Åkesson, Johan Malmqvist

Proceedings of the Product Lifecycle Management. Towards Knowledge-Rich Enterprises, 2012

2011

Enumeration of Valid Partial Configurations.

Alexey Voronov, Knut Åkesson, Fredrik Ekstedt

Proceedings of the IJCAI 2011 Workshop on Configuration, Barcelona, Spain, July 16, 2011, 2011

2009

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control.

Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson

Discret. Event Dyn. Syst., 2009

Verification of process operations using model checking.

Alexey Voronov, Knut Åkesson

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009