| 2008 |
|---|
| 5 | EE | César Domínguez:
Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.
AISC/MKM/Calculemus 2008: 270-284 |
| 2006 |
|---|
| 4 | EE | César Domínguez,
Julio Rubio,
Francis Sergeraert:
Modeling Inheritance as Coercion in the Kenzo System.
J. UCS 12(12): 1701-1730 (2006) |
| 2005 |
|---|
| 3 | EE | César Domínguez,
Dominique Duval,
Laureano Lambán,
Julio Rubio Garcia:
Towards Diagrammatic Specifications of Symbolic Computation Systems.
Mathematics, Algorithms, Proofs 2005 |
| 2001 |
|---|
| 2 | EE | César Domínguez,
Laureano Lambán,
Vico Pascual,
Julio Rubio:
Hidden Specification of a Functional System.
EUROCAST 2001: 555-569 |
| 1 | EE | César Domínguez,
Julio Rubio:
Modeling inheritance as coercion in a symbolic computation system.
ISSAC 2001: 109-115 |
