Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Alexey Voronov

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifip5-1/VoronovTAM12
- ask others
Alexey Voronov, Anna Tidstam, Knut Åkesson, Johan Malmqvist: Verification of Item Usage Rules in Product Configuration. PLM 2012: 182-191

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/deds/ClaessenESSVA09
- ask others
Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson: SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discrete Event Dynamic Systems 19(4): 495-524 (2009)
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/case/VoronovA09
- ask others
Alexey Voronov, Knut Åkesson: Verification of process operations using model checking. CASE 2009: 415-420

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?