J. Santiago Jorge

According to our database, J. Santiago Jorge authored at least 10 papers between 1997 and 2009.

Collaborative distances:

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

2009

Certifying properties of an efficient functional program for computing Gröbner bases.

J. Santiago Jorge, Víctor M. Gulías, José Luis Freire

J. Symb. Comput., 2009

2008

Managing the Risks of Risk Management.

Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge

J. Decis. Syst., 2008

Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.

J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Erlang/OTP Framework for Complex Management Applications Development.

Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge

Proceedings of the WEBIST 2007, 2007

Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio.

J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro

Proceedings of the VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, 2007

A Distributed Filesystem for Spare Storage.

Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge

Proceedings of the Computer Aided Systems Theory, 2007

Verification of Program Properties Using Different Theorem Provers: A Case Study.

J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro

Proceedings of the Computer Aided Systems Theory, 2007

2005

Towards a Certified and Efficient Computing of Gröbner Bases.

J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez

Proceedings of the Computer Aided Systems Theory, 2005

2001

The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server.

Miguel Barreiro, Víctor M. Gulías, Juan J. Sánchez, J. Santiago Jorge

Proceedings of the Computer Aided Systems Theory, 2001

1997

From Sequential to Distributed Formal Proofs.

Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 1997