Alexander Chemeris

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 2

Top Topics

Energy Minimization

Program Synthesis

Top Venues

Publications

Amir Sanginov, Alexander Chemeris
Resilience of Ukrainian energy system: behavioral simulation of the war influence. DESSERT (2023)
Vadym Shkarupylo, Alexander Chemeris, Valentyna Dusheba, Ravil Kudermetov, Andrii O. Oliinyk
On Hoare Triples Applicability to Dependable System Specification Synthesis. DESSERT (2020)
Alexander Chemeris, Julia Gorunova, Dmiry Lazorenko
Loop nests parallelization for digital system synthesis. EWDTS (2013)
Alexander Chemeris, Svetlana Reznikova
Parallelizing of Boolean function system for device simulation. EWDTS (2011)
Vladimir Beletsky, T. Popova, Alexander Chemeris
Organization of a parallel virtual machine. ISPAN (1994)