Search the dblp DataBase

Publications of Author

1. Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina
   Verified Computer Algebra in Acl2. Gröbner Bases Computation. [Citation Graph (0, 0)][DBLP]
   AISC, 2004, pp:171-184 [Conf]
   
2. Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez
   A Certified Polynomial-Based Decision Procedure for Propositional Logic. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2001, pp:297-312 [Conf]
   
3. 
   Takuan: A Dynamic Invariant Generation System for WS-BPEL Compositions. [Citation Graph (, )][DBLP]
   
   
4. 
   GAmera: An Automatic Mutant Generation System for WS-BPEL Compositions. [Citation Graph (, )][DBLP]
   
   
5. 
   An Architecture for Dynamic Invariant Generation in WS-BPEL web Service Compositions. [Citation Graph (, )][DBLP]
   
   
6. 
   Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation. [Citation Graph (, )][DBLP]
   
   
7. 
   GAmera: A Tool for WS-BPEL Composition Testing Using Mutation Analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   Enhancing WS-BPEL Dynamic Invariant Generation Using XML Schema and XPath Information. [Citation Graph (, )][DBLP]
   
   
9. 
   GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPEL. [Citation Graph (, )][DBLP]
   
   
10. 
    Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL. [Citation Graph (, )][DBLP]
    
    
11. 
    A Framework for Mutant Genetic Generation for WS-BPEL. [Citation Graph (, )][DBLP]
    
    
12. 
    Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition. [Citation Graph (, )][DBLP]