The first-order structure of weakly Dedekind-finite sets. - Agatha Walczak-Typke (J. Symb. Log., 2005)

A Tunneling-Vantage Indexing Method for Non-Metrics. - Rainer Typke; Agatha Walczak-Typke (ISMIR, 2008)

Indexing Techniques for Non-metric Music Dissimilarity Measures. - Rainer Typke; Agatha Walczak-Typke (Advances in Music Information Retrieval, 2010)

Potential isomorphism of elementary substructures of a strictly stable homogeneous model. - Sy-David Friedman; Tapani Hyttinen; Agatha Walczak-Typke (J. Symb. Log., 2011)