Author Info
Name
Affiliation
Papers
J. SANTIAGO JORGE
MADS – LFCIA, Dept. de Computación, Universidade da Coruña, Coruña, Spain
9
Collaborators
Citations 
PageRank 
12
6
3.31
Referers 
Referees 
References 
11
45
32
Title
Citations
PageRank
Year
Certifying properties of an efficient functional program for computing Gröbner bases50.512009
Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server00.342008
Managing The Risks Of Risk Management00.342008
A distributed filesystem for spare storage10.432007
Verification of program properties using different theorem provers: a case study00.342007
Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio00.342007
Towards a certified and efficient computing of gröbner bases00.342005
The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server00.342001
From Sequential to Distributed Formal Proofs00.341997