Clemens Ballarin

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