Semiaffine Spaces. - Alexander Kreuzer (J. Comb. Theory A, 1993)

Projective Embedding of [0, m] - Spaces. - Alexander Kreuzer (J. Comb. Theory A, 1995)

Linear spaces with projective lines. - Alexander Kreuzer (Discret. Math., 2002)

Spaces with congruence. - Alexander Kreuzer; Kay Sörensen (Discret. Math., 2008)

Ramsey's Theorem for Pairs and Provably Recursive Functions. - Ulrich Kohlenbach; Alexander Kreuzer (Notre Dame J. Formal Log., 2009)

The cohesive principle and the Bolzano-Weierstraß principle. - Alexander Kreuzer (Math. Log. Q., 2011)

On the Strength of Weak Compactness. - Alexander P. Kreuzer (Comput., 2012)

A logical analysis of the generalized Banach contractions principle. - Alexander P. Kreuzer (J. Log. Anal., 2012)

Non-Principal Ultrafilters, Program Extraction and Higher-order Reverse Mathematics. - Alexander P. Kreuzer (J. Math. Log., 2012)

Term extraction and Ramsey's theorem for pairs. - Ulrich Kohlenbach; Alexander Kreuzer (J. Symb. Log., 2012)

Primitive Recursion and the Chain Antichain Principle. - Alexander Kreuzer (Notre Dame J. Formal Log., 2012)

Program extraction for 2-random reals. - Alexander P. Kreuzer (Arch. Math. Log., 2013)

Bounded variation and the strength of Helly's selection theorem. - Alexander P. Kreuzer (Log. Methods Comput. Sci., 2014)

From Bolzano-Weierstraß to Arzelà-Ascoli. - Alexander P. Kreuzer (Math. Log. Q., 2014)

On Idempotent Ultrafilters in Higher-order Reverse Mathematics. - Alexander P. Kreuzer (J. Symb. Log., 2015)

On principles between ∑1- and ∑2-induction, and monotone enumerations. - Alexander P. Kreuzer; Keita Yokoyama (J. Math. Log., 2016)

On the Uniform Computational Content of Computability Theory. - Vasco Brattka; Matthew Hendtlass; Alexander P. Kreuzer (Theory Comput. Syst., 2017)

On the Uniform Computational Content of the Baire Category Theorem. - Vasco Brattka; Matthew Hendtlass; Alexander P. Kreuzer (Notre Dame J. Formal Log., 2018)

WaLDORf: Wasteless Language-model Distillation On Reading-comprehension. - James Yi Tian; Alexander P. Kreuzer; Pai-Hung Chen; Hans-Martin Will (CoRR, 2019)

Bayesian multivariate nonlinear state space copula models. - Alexander Kreuzer; Luciana Dalla Valle; Claudia Czado (Comput. Stat. Data Anal., 2023)