A. Spielmann

发表

A Toy Model for Mass Aggregation with Maximal Size

M. Herrmann, B. Niethammer, O. Budác, 2010 .

On a Model for Mass Aggregation with Maximal Size

M. Herrmann, B. Niethammer, A. Spielmann, 2009, 0912.1797.

Synthesis of Algorithms for Memory Hierarchies

A. Spielmann, 2011 .

Dissolving Metal Reductions of Fullerenes

M. Meier, A. Spielmann, R. Bergosh, 1997 .

Synthesis for Unbounded Bit-Vector Arithmetic

Viktor Kuncak, Andrej Spielmann, A. Spielmann, 2012, IJCAR.

Aggregation with maximal size: global existence, self-similar solutions, and long-time behaviour

M. Herrmann, B. Niethammer, A. Spielmann, 2009 .

Automatic synthesis of out-of-core algorithms

Viktor Kuncak, Christoph Koch, Andres Nötzli, 2013, SIGMOD '13.