Login / Signup
Dmitry Grebenyuk
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 2
Top Topics
Database
Real World
Implementation Issues
Interval Arithmetic
Top Venues
ARCH@CPSWeek
ARCH@ADHS
</>
Publications
</>
Matthias Althoff
,
Dmitry Grebenyuk
,
Niklas Kochdumper
Implementation of Taylor models in CORA 2018.
ARCH@ADHS
(2018)
Matthias Althoff
,
Dmitry Grebenyuk
Implementation of Interval Arithmetic in CORA 2016.
ARCH@CPSWeek
(2016)