Alexey Voronov
Visar 18 publikationer
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
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.