Clemens Ballarin

Publication Activity (10 Years)

Years Active: 1995-2020
Publications (10 Years): 2

Top Topics

Algebraic Expressions

Relational Algebra

Top Venues

J. Autom. Reason.

Arch. Formal Proofs

Publications

Clemens Ballarin
Exploring the Structure of an Algebra Text with Locales. J. Autom. Reason. 64 (6) (2020)
Clemens Ballarin
A Case Study in Basic Algebra. Arch. Formal Proofs 2019 (2019)
Clemens Ballarin
Locales: A Module System for Mathematical Theories. J. Autom. Reason. 52 (2) (2014)
Clemens Ballarin
Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. RV (2014)
Clemens Ballarin
Reading an algebra textbook. CICM Workshops (2013)
Clemens Ballarin
Towards monitoring temporal properties with JamaicaVM. JTRES (2013)
Jesús Aransay, Clemens Ballarin, Julio Rubio
Generating certified code from formal proofs: a case study in homological algebra. Formal Aspects Comput. 22 (2) (2010)
Jesús Aransay, Clemens Ballarin, Julio Rubio
A Mechanized Proof of the Basic Perturbation Lemma. J. Autom. Reason. 40 (4) (2008)
Clemens Ballarin
Interpretation of Locales in Isabelle: Theories and Proof Contexts. MKM (2006)
Clemens Ballarin
Fast Fourier Transform. Arch. Formal Proofs 2005 (2005)
Jesús Aransay, Clemens Ballarin, Julio Rubio
Extracting Computer Algebra Programs from Statements. EUROCAST (2005)
Alessandro Armando, Clemens Ballarin
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting. J. Symb. Comput. 39 (5) (2005)
Jesús Aransay, Clemens Ballarin, Julio Rubio
Four Approaches to Automated Reasoning with Differential Algebraic Structures. AISC (2004)
Clemens Ballarin, Manuel Kauers
Solving parametric linear systems: an experiment with constraint algebraic programming. SIGSAM Bull. 38 (2) (2004)
Clemens Ballarin
Locales and Locale Expressions in Isabelle/Isar. TYPES (2003)
Alessandro Armando, Clemens Ballarin
Maple's evaluation process as constraint contextual rewriting. ISSAC (2001)
Clemens Ballarin, Lawrence C. Paulson
A Pragmatic Approach to Extending Provers by Computer Algebra - with Applications to Coding Theory. Fundam. Informaticae 39 (1-2) (1999)
Clemens Ballarin, Lawrence C. Paulson
Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. AISC (1998)
Clemens Ballarin, Karsten Homann, Jacques Calmet
Theorems and Algorithms: An Interface between Isabelle and Maple. ISSAC (1995)