Andrej Spielmann

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Computational Cost

Computer Vision Algorithms

Top Venues

SIGMOD Conference

Publications

Yannis Klonatos, Andres Nötzli, Andrej Spielmann, Christoph Koch, Viktor Kuncak
Automatic synthesis of out-of-core algorithms. SIGMOD Conference (2013)
Andrej Spielmann, Viktor Kuncak
Synthesis for Unbounded Bit-Vector Arithmetic. IJCAR (2012)