Alexey Voronov

Showing 21 publications

2018

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

Jeroen Ploeg, Cristofer Englund, Henk Nijmeijer et al
IEEE Transactions on Intelligent Transportation Systems. Vol. 19 (4), p. 1208-1212
Review article
2018

Success and Usage Pattern of Free-Floating Carsharing Services in Cities

Shiva Habibi, Frances Sprei, Cristofer Englund et al
TRB Annual meeting 2018
Paper in proceedings
2017

Comparison of free-floating car-sharing services in cities

Shiva Habibi, Frances Sprei, Cristofer Englund et al
ECEEE Summer Study, 29 May - 3 June, 2017. Vol. 2017
Paper in proceedings
2017

Comparing Elecytric Vehicles and Fossil Driven Vehicles in Free-floating Car Sharing Services

Frances Sprei, Cristofer Englund, Shiva Habibi et al
Proceedings of EEVC 2017
Paper in proceedings
2017

Statistical Data for Free-floating Car Sharing versus Public Transport

Henrik Engdahl, Cristofer Englund, Shiva Habibi et al
Proceedings of EVS30 symposium
Paper in proceedings
2017

Statistical Data for Free-floating Car Sharing versus Public Transport

Henrik Engdahl, Cristofer Englund, Shiva Habibi et al
Proceedings of Swedish transportation research conference 2017
Conference contribution
2016

Formulating constraint satisfaction problems for the inspection of configuration rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM. Vol. 30 (3), p. 313-328
Journal article
2015

Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM. Vol. 30 (3), p. 313-328
Journal article
2014

Formal Methods for the Inspection of Vehicle Configuration Rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Preprint
2012

Development of Industrial Visualization Tools for Validation of Vehicle Configuration Rules

Anna Tidstam, Lars-Ola Bligård, Fredrik Ekstedt et al
Proceedings of 9th International Symposium on Tools and Methods of Competitive Engineering, 7-11 May, Karlsruhe, Germany., p. 305-318
Paper in proceedings
2012

Verification of Item Usage Rules in Product Configuration

Alexey Voronov, Anna Tidstam, Knut Åkesson et al
Proceedings of 9th International Conference on Product Lifecycle Management, p. 182-191
Paper in proceedings
2011

Enumeration of valid partial configurations

Alexey Voronov, Knut Åkesson, Fredrik Ekstedt
Proceedings of Workshop on Configuration, IJCAI 2011. Vol. 755, p. 25-31
Paper in proceedings
2009

Verification of Process Operations Using Model Checking

Alexey Voronov, Knut Åkesson
Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on, p. 415-420
Paper in proceedings
2009

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

Koen Lindström Claessen, Niklas Een, Mary Sheeran et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 19 (4), p. 495-524
Journal article
2008

Supervisory Control using Satisfiability Solvers

Alexey Voronov, Knut Åkesson
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on, p. 81-86
Paper in proceedings
2008

On the use of global reconstruction methods for exploiting a priori data in microwave tomography image reconstruction

Andreas Fhager, Chien-Chih Chen, Alexey Voronov et al
Proceedings of RVK08/MMWP08, June 9-13 2008, Växjö, Sweden, p. 183-187
Conference contribution
2007

Methods for Dielectric Reconstruction in Microwave Tomography

Andreas Fhager, Alexey Voronov, Chien-Chih Chen et al
The Second European Conference on Antennas and Propagation (EuCAP 2007), Nov. 11-16, Edinburgh, UK, p. Tu1.7.5-
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

There are no projects.
There might be more projects where Alexey Voronov participates, but you have to be logged in as a Chalmers employee to see them.