Alexey Voronov

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 11

Top Topics

Pseudo Boolean Optimization

Data Mining Techniques

Top Venues

J. Cheminformatics

IEEE Trans. Intell. Transp. Syst.

IEEE Wirel. Commun.

Publications

Lewis H. Mervin, Alexey Voronov, Mikhail Kabeshov, Ola Engkvist
QSARtuna: An Automated QSAR Modeling Platform for Molecular Property Prediction in Drug Design. J. Chem. Inf. Model. 64 (14) (2024)
Iiris Sundin, Alexey Voronov, Haoping Xiao, Kostas Papadopoulos, Esben Jannik Bjerrum, Markus Heinonen, Atanas Patronov, Samuel Kaski, Ola Engkvist
Human-in-the-loop assisted de novo molecular design. J. Cheminformatics 14 (1) (2022)
Jeff Guo, Jon Paul Janet, Matthias R. Bauer, Eva Nittinger, Kathryn A. Giblin, Kostas Papadopoulos, Alexey Voronov, Atanas Patronov, Ola Engkvist, Christian Margreitter
DockStream: a docking wrapper to enhance de novo molecular design. J. Cheminformatics 13 (1) (2021)
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
Cooperative Automated Maneuvering at the 2016 Grand Cooperative Driving Challenge. IEEE Trans. Intell. Transp. Syst. 19 (4) (2018)
Jeroen Ploeg, Cristofer Englund, Henk Nijmeijer, Elham Semsar-Kazerooni, Steven E. Shladover, Alexey Voronov, Nathan van de Wouw
Guest Editorial Introduction to the Special Issue on the 2016 Grand Cooperative Driving Challenge. IEEE Trans. Intell. Transp. Syst. 19 (4) (2018)
Cristofer Englund, Maria Nilsson, Alexey Voronov
The application of data mining techniques to model visual distraction of bicyclists. Expert Syst. Appl. 52 (2016)
Cristofer Englund, Lei Chen, Jeroen Ploeg, Elham Semsar-Kazerooni, Alexey Voronov, Hoai Hoang Bengtsson, Jonas Didoff
The Grand Cooperative Driving Challenge 2016: boosting the introduction of cooperative automated vehicles. IEEE Wirel. Commun. 23 (4) (2016)
Anna Tidstam, Johan Malmqvist, Alexey Voronov, Knut Åkesson, Martin Fabian
Formulating constraint satisfaction problems for the inspection of configuration rules. Artif. Intell. Eng. Des. Anal. Manuf. 30 (3) (2016)
Alexey Voronov, Cristofer Englund, Hoai Hoang Bengtsson, Lei Chen, Jeroen Ploeg, Jan de Jonhg, Jacco van de Sluis
Interactive Test Tool for Interoperable C-ITS Development. ITSC (2015)
Hoai Hoang Bengtsson, Lei Chen, Alexey Voronov, Cristofer Englund
Interaction Protocol for Highway Platoon Merge. ITSC (2015)
Lei Chen, Azra Habibovic, Cristofer Englund, Alexey Voronov, Anders Lindgren Walter
Coordinating dangerous goods vehicles: C-ITS applications for safe road tunnels. Intelligent Vehicles Symposium (2015)
Alexey Voronov, Anna Tidstam, Knut Åkesson, Johan Malmqvist
Verification of Item Usage Rules in Product Configuration. PLM (2012)
Alexey Voronov, Knut Åkesson, Fredrik Ekstedt
Enumeration of Valid Partial Configurations. Configuration Workshop (2011)
Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discret. Event Dyn. Syst. 19 (4) (2009)
Alexey Voronov, Knut Åkesson
Verification of process operations using model checking. CASE (2009)