dblp.uni-trier.dewww.uni-trier.de

Ana Sánchez

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
11EESebastiá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
1998
10EEKevin Lano, Pauline Kan, Ana Sánchez: Linking Hazard Analysis to Formal Specification and Design in B. SAFECOMP 1998: 60-74
9 Kevin Lano, Pauline Kan, Ana Sánchez: Compositional Specification of Controllers for Batch Process Operations. ZUM 1998: 250-264
1997
8 Kevin Lano, Ana Sánchez: Transformational Formal Development of Real-Time Systems. ARTS 1997: 184-198
7 Kevin Lano, Ana Sánchez: Design of Reactive Control Systems for Event-Drivem Operations. FME 1997: 142-161
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
5EEMarisa 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

Coauthor Index

1Sofía Carlos [11]
2Pauline Kan [9] [10]
3Kevin Lano [7] [8] [9] [10]
4Sebastián Martorell [11]
5Marisa Navarro [1] [2] [3] [4] [5] [6]
6Pilar Nivela [1]
7Fernando Orejas [1] [2] [3] [4] [5] [6]
8Ricardo Peña-Marí (Ricardo Pena) [1]
9José F. Villanueva [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)