Alexey Voronov
Showing 18 publications
Guest Editorial Introduction to the Special Issue on the 2016 Grand Cooperative Driving Challenge
Success and Usage Pattern of Free-Floating Carsharing Services in Cities
Comparing Elecytric Vehicles and Fossil Driven Vehicles in Free-floating Car Sharing Services
Comparison of free-floating car-sharing services in cities
Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules
Formal Methods for the Inspection of Vehicle Configuration Rules
Symbolic Reduction of Guards in Supervisory Control Using Genetic Algorithms
Development of Industrial Visualization Tools for Validation of Vehicle Configuration Rules
Verification of Item Usage Rules in Product Configuration
Enumeration of valid partial configurations
Verification of Process Operations Using Model Checking
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
Verification of Supervisory Control Properties of Finite Automata Extended with Variables
Supervisory Control using Satisfiability Solvers
Methods for Dielectric Reconstruction in Microwave Tomography
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.