Search the dblp DataBase

Publications of Author

1. David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro
   ARMISTICE: an experience developing management software with Erlang. [Citation Graph (0, 0)][DBLP]
   Erlang Workshop, 2003, pp:23-28 [Conf]
   
2. Carlos Varela, Carlos Abalde, Laura M. Castro, Jose Gulías
   On modelling agent systems with Erlang. [Citation Graph (0, 0)][DBLP]
   Erlang Workshop, 2004, pp:65-70 [Conf]
   
3. Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela
   Formalisation of a Functional Risk Management System. [Citation Graph (0, 0)][DBLP]
   ICEIS (3), 2006, pp:516-519 [Conf]
   
4. J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
   Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. [Citation Graph (0, 0)][DBLP]
   JIISIC, 2007, pp:27-34 [Conf]
   
5. J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
   Verification of Program Properties Using Different Theorem Provers: A Case Study. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2007, pp:233-240 [Conf]
   
6. Carlos Abalde, Víctor M. Gulías, Laura M. Castro
   Towards a Decentralized and Structured Network of P2P Public Information Screens. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2007, pp:217-224 [Conf]
   
7. 
   Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. [Citation Graph (, )][DBLP]
   
   
8. 
   Testing Erlang data types with quviq quickcheck. [Citation Graph (, )][DBLP]
   
   
9. 
   A Practical Methodology for Integration Testing. [Citation Graph (, )][DBLP]
   
   
10. 
    Extending the VoDKA Architecture with P2P Aggregated Content Management. [Citation Graph (, )][DBLP]
    
    
11. 
    Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. [Citation Graph (, )][DBLP]