Antonio Blanco Ferro

According to our database, Antonio Blanco Ferro authored at least 5 papers between 2001 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2013

Business Operation Improvement through Integrated Infrastructure Management.

Alberto Casanova, Laura M. Castro, Antonio Blanco Ferro

Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

2011

On the Confluence of the Graphic Calculus with Penrose Diagrams (I).

José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2007

On the Representation of Imperative Programs in a Logical Framework.

José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto

Proceedings of the Computer Aided Systems Theory, 2007

2003

On the Strong Co-induction in Coq.

José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas

Proceedings of the Computer Aided Systems Theory, 2003

2001

Fusion in Coq.

José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas

Proceedings of the Computer Aided Systems Theory, 2001