Alejandro Snchez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2010–2019
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | JURIX | Realising ANGELIC Designs Using Logiak. | Katie Atkinson, Trevor J. M. Bench-Capon, Tom Routen, Alejandro Snchez, Stuart Whittle, Rob Williams, Catriona Wolfenden |
| 2014 | ATVA | Formal Verification of Skiplists with Arbitrary Many Levels. | Alejandro Snchez, Csar Snchez |
| 2014 | CAV | LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. | Alejandro Snchez, Csar Snchez |
| 2014 | TIME | Parametrized Verification Diagrams. | Alejandro Snchez, Csar Snchez |
| 2013 | DCAI | An Integral System Based on Open Organization of Agents for Improving the Labour Inclusion of Disabled People. | Alejandro Snchez, Carolina Zato, Gabriel Villarrubia-Gonzlez, Javier Bajo, Juan Francisco de Paz |
| 2013 | PAAMS | A Gateway Protocol Based on FIPA-ACL for the New Agent Platform PANGEA. | Alejandro Snchez, Gabriel Villarrubia, Carolina Zato, Sara Rodrguez, Pablo Chamoso |
| 2012 | DCAI | PANGEA - Platform for Automatic coNstruction of orGanizations of intElligent Agents. | Carolina Zato, Gabriel Villarrubia, Alejandro Snchez, Ignasi Barri, Edgar Rubin Soler, Alicia Fernndez del Viso, Carlos Rebate Snchez, Jos A. Cabo, Tresa lamos, Jess Sanz, Joaqun Seco, Javier Bajo, Juan M. Corchado |
| 2012 | MIS4TEL | Menu Navigation in Mobile Devices Using the Accelerometer. | Alejandro Snchez, Gabriel Villarrubia, Amparo Jimnez, Amparo Casado, Carolina Zato, Sara Rodrguez, Ignasi Barri, Edgar Rubin Soler, Eva Vzquez de Prada, Carlos Rebate Snchez, Jos A. Cabo, Joaqun Seco, Jess Sanz, Javier Bajo, Juan Manuel Corchado |
| 2012 | SAS | Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). | Alejandro Snchez, Sriram Sankaranarayanan, Csar Snchez, Bor-Yuh Evan Chang |
| 2010 | ICFEM | Decision Procedures for the Temporal Verification of Concurrent Lists. | Alejandro Snchez, Csar Snchez |