J. Santiago Jorge

Publication Activity (10 Years)

Years Active: 1997-2009
Publications (10 Years): 0

Publications

J. Santiago Jorge, Víctor M. Gulías, José Luis Freire
Certifying properties of an efficient functional program for computing Gröbner bases. J. Symb. Comput. 44 (5) (2009)
Laura M. Castro, Víctor M. Gulías, Carlos Abalde, J. Santiago Jorge
Managing the Risks of Risk Management. J. Decis. Syst. 17 (4) (2008)
J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. AISC/MKM/Calculemus (2008)
Carlos Abalde, Víctor M. Gulías, Laura M. Castro, Carlos Varela, J. Santiago Jorge
Erlang/OTP Framework for Complex Management Applications Development. WEBIST (1) (2007)
Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge
A Distributed Filesystem for Spare Storage. EUROCAST (2007)
J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
Verification of Program Properties Using Different Theorem Provers: A Case Study. EUROCAST (2007)
J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. JIISIC (2007)
J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez
Towards a Certified and Efficient Computing of Gröbner Bases. EUROCAST (2005)
Miguel Barreiro, Víctor M. Gulías, Juan J. Sánchez, J. Santiago Jorge
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server. EUROCAST (2001)
Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire
From Sequential to Distributed Formal Proofs. EUROCAST (1997)