Alexey Voronov

Visar 21 publikationer

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
Reviewartikel
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 i 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 i 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 i proceeding
2017

Statistical Data for Free-floating Car Sharing versus Public Transport

Henrik Engdahl, Cristofer Englund, Shiva Habibi et al
Proceedings of EVS30 symposium
Paper i proceeding
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
2014

Formal Methods for the Inspection of Vehicle Configuration Rules

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

On Formal Methods for Large-Scale Product Configuration

Alexey Voronov
Doktorsavhandling
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 i proceeding
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 i 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 i 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 i 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
Artikel i vetenskaplig tidskrift
2008

Supervisory Control using Satisfiability Solvers

Alexey Voronov, Knut Åkesson
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on, p. 81-86
Paper i proceeding
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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 i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Alexey Voronov medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.