- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i1 |      | César Sánchez, Alejandro Sánchez: A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height. CoRR abs/1301.4372 (2013) |
| 2012 | ||
| c6 | | Carolina Zato, Gabriel Villarrubia, Alejandro Sánchez, Ignasi Barri, Edgar Rubión Soler, Alicia Fernández del Viso, Carlos Rebate Sánchez, José A. Cabo, Téresa Álamos, Jesús Sanz, Joaquín Seco, Javier Bajo, Juan M. Corchado: PANGEA - Platform for Automatic coNstruction of orGanizations of intElligent Agents. DCAI 2012: 229-239 |
| c5 | | Gabriel Villarrubia, Alejandro Sánchez, Ignasi Barri, Edgar Rubión Soler, Alicia Fernández del Viso, Carlos Rebate Sánchez, José A. Cabo, Téresa Álamos, Jesús Sanz, Joaquín Seco, Carolina Zato, Javier Bajo, Sara Rodríguez, Juan M. Corchado: Proximity Detection Prototype Adapted to a Work Environment. ISAmI 2012: 51-58 |
| c4 | | Carolina Zato, Alejandro Sánchez, Gabriel Villarrubia, Javier Bajo, Sara Rodríguez, Juan Francisco de Paz: Personalization of the Workplace through a Proximity Detection System Using User's Profiles. KMO 2012: 505-513 |
| c3 | | Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang: Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). SAS 2012: 146-163 |
| 2011 | ||
| c2 | | Alejandro Sánchez, César Sánchez: A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. NASA Formal Methods 2011: 343-358 |
| 2010 | ||
| c1 | | Alejandro Sánchez, César Sánchez: Decision Procedures for the Temporal Verification of Concurrent Lists. ICFEM 2010: 74-89 |
| 1 | Javier Bajo (Javier Bajo Pérez) | |
| 2 | Ignasi Barri | |
| 3 | José A. Cabo | |
| 4 | Bor-Yuh Evan Chang | |
| 5 | Juan M. Corchado (Juan M. Corchado Rodríguez) | |
| 6 | Juan Francisco de Paz | |
| 7 | Sara Rodríguez (Sara Rodríguez-González) | |
| 8 | Sriram Sankaranarayanan | |
| 9 | Jesús Sanz | |
| 10 | Joaquín Seco | |
| 11 | Edgar Rubión Soler | |
| 12 | Carlos Rebate Sánchez | |
| 13 | César Sánchez | |
| 14 | Gabriel Villarrubia | |
| 15 | Alicia Fernández del Viso | |
| 16 | Carolina Zato (Carolina Zato Dominguez) | |
| 17 | Téresa Álamos |
Colors in the list of coauthors
Last update Sat May 25 14:36:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page