C. Ballarin
发表
C. Ballarin,
1999
.
Jacques Calmet,
Clemens Ballarin,
Peter Kullmann,
2000
.
Manuel Kauers,
Clemens Ballarin,
M. Kauers,
2004,
SIGS.
Jacques Calmet,
Clemens Ballarin,
Karsten Homann,
1995,
ISSAC '95.
Clemens Ballarin,
C. Ballarin,
2006,
MKM.
Jesús Aransay,
Clemens Ballarin,
Julio Rubio,
2005,
EUROCAST.
Jesús Aransay,
Clemens Ballarin,
Julio Rubio,
2004,
AISC.
Clemens Ballarin,
C. Ballarin,
2007
.
Clemens Ballarin,
C. Ballarin,
2014,
RV.
Clemens Ballarin,
C. Ballarin,
2013,
JTRES '13.
Jesús Aransay,
Clemens Ballarin,
Julio Rubio,
2010,
Formal Aspects of Computing.
Jesús Aransay,
Clemens Ballarin,
Julio Rubio,
2008,
Journal of Automated Reasoning.
J. Rubio,
C. Ballarin,
J. Aransay,
2022
.