| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 6 |      | Luis M. Alonso, Pablo Rabanal, Ismael Rodríguez: A Preliminary General Testing Method Based on Genetic Algorithms. IWANN (2) 2011: 356-363 |
| 2008 | ||
| 5 | | Oscar Díaz, Arantza Irastorza, Jesús Sánchez Cuadrado, Luis M. Alonso: From page-centric to portlet-centric Web development: Easing the transition using MDD. Information & Software Technology 50(12): 1210-1231 (2008) |
| 1993 | ||
| 4 | | Luis M. Alonso: Using State Variables for the Specification and Verfication of TCSP Processes. PARLE 1993: 541-552 |
| 3 | | Ricardo Pena, Luis M. Alonso: A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions. TAPSOFT 1993: 328-342 |
| 1991 | ||
| 2 | | Luis M. Alonso, Ricardo Pena: Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems. PARLE (2) 1991: 75-91 |
| 1989 | ||
| 1 | | Ricardo Pena, Luis M. Alonso: Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types. TAPSOFT, Vol.2 1989: 328-344 |
| 1 | Jesús Sánchez Cuadrado | [5] |
| 2 | Oscar Díaz | [5] |
| 3 | Arantza Irastorza | [5] |
| 4 | Ricardo Peña-Marí (Ricardo Peña, Ricardo Pena) | [1] [2] [3] |
| 5 | Pablo Rabanal | [6] |
| 6 | Ismael Rodríguez | [6] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page