Robert Bastian

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Optimization Scheme

Numerical Analysis

Knowledge Discovery Process

Top Venues

Publications

Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper). TACAS (1) (2018)