A theory of rules for enumerated classes of functions. - Andreas Schlüter (Arch. Math. Log., 1995)

On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics. - Thomas Glaß; Michael Rathjen; Andreas Schlüter (Ann. Pure Appl. Log., 1997)

acdc - Automated Contamination Detection and Confidence estimation for single-cell genome data. - Markus Lux; Jan Krüger; Christian Rinke; Irena Maus; Andreas Schlüter; Tanja Woyke; Alexander Sczyrba; Barbara Hammer (BMC Bioinform., 2016)

subMG automates data submission for metagenomics studies. - Tom Tubbesing; Andreas Schlüter; Alexander Sczyrba (BioData Min., 2025)