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 |