The following pages link to Inmaculada Medina-Bulo (Q1034551):
Displaying 7 items.
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- A hybrid algorithm for optimal wireless sensor network deployment with the minimum number of sensor nodes (Q1657033) (← links)
- (Q4790667) (← links)
- Generating Fuzzy Attribute Rules Via Fuzzy Formal Concept Analysis (Q5214101) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464700) (← links)
- Data and material for the manuscript "Mutation testing and self/peer assessment: analyzing their effect on students in a software testing course" (Q6700507) (← links)
- Execution times to find strong mutant (Q6700514) (← links)