Verification of process operations using model checking. - Alexey Voronov; Knut Åkesson (CASE, 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)

Enumeration of Valid Partial Configurations. - Alexey Voronov; Knut Åkesson; Fredrik Ekstedt (Configuration Workshop, 2011)

Verification of Item Usage Rules in Product Configuration. - Alexey Voronov; Anna Tidstam; Knut Åkesson; Johan Malmqvist (PLM, 2012)

Interaction Protocol for Highway Platoon Merge. - Hoai Hoang Bengtsson; Lei Chen 006; Alexey Voronov; Cristofer Englund (ITSC, 2015)

Interactive Test Tool for Interoperable C-ITS Development. - Alexey Voronov; Cristofer Englund; Hoai Hoang Bengtsson; Lei Chen 006; Jeroen Ploeg; Jan de Jonhg; Jacco van de Sluis (ITSC, 2015)

Coordinating dangerous goods vehicles: C-ITS applications for safe road tunnels. - Lei Chen 006; Azra Habibovic; Cristofer Englund; Alexey Voronov; Anders Lindgren Walter (Intelligent Vehicles Symposium, 2015)

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)

The application of data mining techniques to model visual distraction of bicyclists. - Cristofer Englund; Maria Nilsson; Alexey Voronov (Expert Syst. Appl., 2016)

The Grand Cooperative Driving Challenge 2016: boosting the introduction of cooperative automated vehicles. - Cristofer Englund; Lei Chen 006; Jeroen Ploeg; Elham Semsar-Kazerooni; Alexey Voronov; Hoai Hoang Bengtsson; Jonas Didoff (IEEE Wirel. Commun., 2016)

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)

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; et al. (IEEE Trans. Intell. Transp. Syst., 2018)

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)

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)

QSARtuna: An Automated QSAR Modeling Platform for Molecular Property Prediction in Drug Design. - Lewis H. Mervin; Alexey Voronov; Mikhail Kabeshov; Ola Engkvist (J. Chem. Inf. Model., 2024)

Reinvent 4: Modern AI-driven generative molecule design. - Hannes H. Loeffler; Jiazhen He; Alessandro Tibo; Jon Paul Janet; Alexey Voronov; Lewis H. Mervin; Ola Engkvist (J. Cheminformatics, 2024)