From Sequential to Distributed Formal Proofs. - Víctor M. Gulías; J. Santiago Jorge; Juan J. Quintela; José Luis Freire (EUROCAST, 1997)

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 (EUROCAST, 2001)

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 (EUROCAST, 2005)

Verification of Program Properties Using Different Theorem Provers: A Case Study. - J. Santiago Jorge; Víctor M. Gulías; Laura M. Castro (EUROCAST, 2007)

A Distributed Filesystem for Spare Storage. - Javier París; Víctor M. Gulías; Alberto Valderruten; J. Santiago Jorge (EUROCAST, 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 (JIISIC, 2007)

Erlang/OTP Framework for Complex Management Applications Development. - Carlos Abalde; Víctor M. Gulías; Laura M. Castro; Carlos Varela; J. Santiago Jorge (WEBIST (1), 2007)

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 (AISC/MKM/Calculemus, 2008)

Managing the Risks of Risk Management. - Laura M. Castro; Víctor M. Gulías; Carlos Abalde; J. Santiago Jorge (J. Decis. Syst., 2008)

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)