Clemens Ballarin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1995–2014
Best venue rank
Australasian
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | RV | Two Generalisations of Roşu and Chen's Trace Slicing Algorithm A. | Clemens Ballarin |
| 2004 | AISC | Four Approaches to Automated Reasoning with Differential Algebraic Structures. | Jess Aransay, Clemens Ballarin, Julio Rubio |
| 2001 | ISSAC | Maple's evaluation process as constraint contextual rewriting. | Alessandro Armando, Clemens Ballarin |
| 1998 | AISC | Reasoning About Coding Theory: The Benefits We Get from Computer Algebra. | Clemens Ballarin, Lawrence C. Paulson |
| 1995 | ISSAC | Theorems and Algorithms: An Interface between Isabelle and Maple. | Clemens Ballarin, Karsten Homann, Jacques Calmet |