Alexey Voronov

Showing 18 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 proceeding
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 proceeding
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 proceeding
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
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 proceeding
2012

Verification of Item Usage Rules in Product Configuration

Alexey Voronov, Anna Tidstam, Knut Åkesson et al
IFIP Advances in Information and Communication Technology. Vol. 388 AICT, p. 182-191
Paper in proceeding
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 proceeding
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 proceeding
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

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
Other conference contribution
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 proceeding
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 proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.