| * | 2007 |
|---|
| 7 | EE | Sebastián Martorell,
Sofía Carlos,
José F. Villanueva,
Ana Sánchez:
Genetic Algorithm Applications in Surveillance and Maintenance Optimization.
Computational Intelligence in Reliability Engineering 2007: 63-99 |
| 1996 |
|---|
| 6 | | Fernando Orejas,
Marisa Navarro,
Ana Sánchez:
Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.
Mathematical Structures in Computer Science 6(1): 33-67 (1996) |
| 1995 |
|---|
| 5 | EE | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
On the Correctness of Modular Systems.
Theor. Comput. Sci. 140(1): 139-177 (1995) |
| 1993 |
|---|
| 4 | | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
On the Correctness of Modular Systems.
AMAST 1993: 209-216 |
| 3 | | Marisa Navarro,
Fernando Orejas,
Ana Sánchez:
Characterizing Confusion.
Bulletin of the EATCS 49: 103-110 (1993) |
| 1991 |
|---|
| 2 | | Fernando Orejas,
Marisa Navarro,
Ana Sánchez:
Implementation and Behavioural Equivalence: A Survey.
COMPASS/ADT 1991: 93-125 |
| 1988 |
|---|
| 1 | | Fernando Orejas,
Ana Sánchez,
Marisa Navarro,
Pilar Nivela,
Ricardo Pena:
Term Rewriting Methods for Partial Specifications.
ADT 1988 |
