| 2007 |
|---|
| 4 | EE | José A. García,
Roi Blanco,
Antonio Blanco,
Javier París:
A Comparative Performance Evaluation of Different Implementations of the SOAP Protocol.
ECOWS 2007: 109-118 |
| 3 | EE | Antonio Blanco,
J. E. Freire,
José Luis Freire:
Using Coq to Understand Nested Datatypes.
EUROCAST 2007: 210-216 |
| 2005 |
|---|
| 2 | EE | José Luis Freire,
Enrique Freire Brañas,
Antonio Blanco:
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.
EUROCAST 2005: 69-80 |
| 1997 |
|---|
| 1 | | J. M. Molinelli,
J. M. Barja,
Antonio Blanco,
José Luis Freire:
An Automatic Calculator with Penrose Diagrams.
EUROCAST 1997: 252-269 |
