Theorems and Algorithms: An Interface between Isabelle and Maple. - Clemens Ballarin; Karsten Homann; Jacques Calmet (ISSAC, 1995)

Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. - Clemens Ballarin; Lawrence C. Paulson (AISC, 1998)

A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory. - Clemens Ballarin; Lawrence C. Paulson (Fundam. Informaticae, 1999)

Maple's evaluation process as constraint contextual rewriting. - Alessandro Armando; Clemens Ballarin (ISSAC, 2001)

Locales and Locale Expressions in Isabelle/Isar. - Clemens Ballarin (TYPES, 2003)

Four Approaches to Automated Reasoning with Differential Algebraic Structures. - Jesús Aransay; Clemens Ballarin; Julio Rubio 001 (AISC, 2004)

Solving parametric linear systems: an experiment with constraint algebraic programming. - Clemens Ballarin; Manuel Kauers (SIGSAM Bull., 2004)

Extracting Computer Algebra Programs from Statements. - Jesús Aransay; Clemens Ballarin; Julio Rubio 001 (EUROCAST, 2005)

Fast Fourier Transform. - Clemens Ballarin (Arch. Formal Proofs, 2005)

A reconstruction and extension of Maple's assume facility via constraint contextual rewriting. - Alessandro Armando; Clemens Ballarin (J. Symb. Comput., 2005)

Interpretation of Locales in Isabelle: Theories and Proof Contexts. - Clemens Ballarin (MKM, 2006)

A Mechanized Proof of the Basic Perturbation Lemma. - Jesús Aransay; Clemens Ballarin; Julio Rubio 001 (J. Autom. Reason., 2008)

Computer algebra and theorem proving - Clemens Ballarin (2008)

Generating certified code from formal proofs: a case study in homological algebra. - Jesús Aransay; Clemens Ballarin; Julio Rubio 001 (Formal Aspects Comput., 2010)

Towards monitoring temporal properties with JamaicaVM. - Clemens Ballarin (JTRES, 2013)

Reading an algebra textbook. - Clemens Ballarin (CICM Workshops, 2013)

Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. - Clemens Ballarin (RV, 2014)

Locales: A Module System for Mathematical Theories. - Clemens Ballarin (J. Autom. Reason., 2014)

A Case Study in Basic Algebra. - Clemens Ballarin (Arch. Formal Proofs, 2019)

Exploring the Structure of an Algebra Text with Locales. - Clemens Ballarin (J. Autom. Reason., 2020)