Alexey Voronov

Orcid: 0000-0003-0709-4954

According to our database1, Alexey Voronov authored at least 15 papers between 2009 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
QSARtuna: An Automated QSAR Modeling Platform for Molecular Property Prediction in Drug Design.
J. Chem. Inf. Model., 2024

2022
Human-in-the-loop assisted de novo molecular design.
J. Cheminformatics, 2022

2021
DockStream: a docking wrapper to enhance de novo molecular design.
J. Cheminformatics, 2021

2018
Cooperative Automated Maneuvering at the 2016 Grand Cooperative Driving Challenge.
IEEE Trans. Intell. Transp. Syst., 2018

Guest Editorial Introduction to the Special Issue on the 2016 Grand Cooperative Driving Challenge.
IEEE Trans. Intell. Transp. Syst., 2018

2016
The Grand Cooperative Driving Challenge 2016: boosting the introduction of cooperative automated vehicles.
IEEE Wirel. Commun., 2016

The application of data mining techniques to model visual distraction of bicyclists.
Expert Syst. Appl., 2016

Formulating constraint satisfaction problems for the inspection of configuration rules.
Artif. Intell. Eng. Des. Anal. Manuf., 2016

2015
Coordinating dangerous goods vehicles: C-ITS applications for safe road tunnels.
Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

Interactive Test Tool for Interoperable C-ITS Development.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

Interaction Protocol for Highway Platoon Merge.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2012
Verification of Item Usage Rules in Product Configuration.
Proceedings of the Product Lifecycle Management. Towards Knowledge-Rich Enterprises, 2012

2011
Enumeration of Valid Partial Configurations.
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.
Discret. Event Dyn. Syst., 2009

Verification of process operations using model checking.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009


  Loading...