Alejandro Sánchez

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 8

Top Topics

Free And Open Source Software

Sensor Networks

Illumination Invariance

Top Venues

Ann. Math. Artif. Intell.

Publications

Marta Orduna, Jesús Gutiérrez, Alejandro Sánchez, Julián Cabrera, César Díaz, Pablo Pérez, Narciso García
Evaluation of the Performance of an Immersive System for Tele-education. IMX (2022)
David Velasquez, Alejandro Sánchez, Sebastián Sarmiento, Camilo Velásquez, Mauricio Toro, Edwin Montoya, Helmuth Trefftz, Mikel Maiza, Basilio Sierra
A Cyber-Physical Data Collection System Integrating Remote Sensing and Wireless Sensor Networks for Coffee Leaf Rust Diagnosis. Sensors 21 (16) (2021)
Mónica Borunda, Adrián Ramírez, Nayeli Liprandi, Miriam Rodríguez, Alejandro Sánchez
Seasonality Atlas of Solar Radiation in Mexico. MICAI (1) (2021)
Katie Atkinson, Trevor J. M. Bench-Capon, Tom Routen, Alejandro Sánchez, Stuart Whittle, Rob Williams, Catriona Wolfenden
Realising ANGELIC Designs Using Logiak. JURIX (2019)
Víctor Toral, Antonio García, Francisco J. Romero, Diego Pedro Morales, Encarnación Castillo, Luís Parrilla Roure, Francisco M. Gómez-Campos, Antonio Morillas, Alejandro Sánchez
Wearable System for Biosignal Acquisition and Monitoring Based on Reconfigurable Technologies. Sensors 19 (7) (2019)
Alejandro Sánchez, César Sánchez
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Ann. Math. Artif. Intell. 80 (3-4) (2017)
Pablo Fernández, José M. Santana, Sebastian Ortega, Agustín Trujillo, José Pablo Suárez, Conrado Domínguez, Jaisiel Santana, Alejandro Sánchez
SmartPort: A Platform for Sensor Data Monitoring in a Seaport Based on FIWARE. Sensors 16 (3) (2016)
Pablo Fernández, Jaisiel Santana, Alejandro Sánchez, Agustín Trujillo, Conrado Domínguez, José Pablo Suárez
A GIS Water Management System Using Free and Open Source Software. UCAmI (2) (2016)
Alejandro Sánchez, César Sánchez
Parametrized invariance for infinite state processes. Acta Informatica 52 (6) (2015)
Alejandro Sánchez, César Sánchez
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV (2014)
Alejandro Sánchez, César Sánchez
Parametrized Verification Diagrams. TIME (2014)
Alejandro Sánchez, César Sánchez
Formal Verification of Skiplists with Arbitrary Many Levels. ATVA (2014)
Alejandro Sánchez, Carolina Zato, Gabriel Villarrubia-González, Javier Bajo, Juan Francisco de Paz
An Integral System Based on Open Organization of Agents for Improving the Labour Inclusion of Disabled People. DCAI (2013)
Carolina Zato, Sara Rodríguez, Alejandro Sánchez, Gabriel Villarrubia, Javier Bajo, Juan M. Corchado
Personalization of the Workplace through a Proximity Detection System Using User Profiles. Int. J. Distributed Sens. Networks 9 (2013)
César Sánchez, Alejandro Sánchez
A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height CoRR (2013)
Alejandro Sánchez, Gabriel Villarrubia, Carolina Zato, Sara Rodríguez, Pablo Chamoso
A Gateway Protocol Based on FIPA-ACL for the New Agent Platform PANGEA. PAAMS (Special Sessions) (2013)
Alejandro Sánchez, César Sánchez
Parametrized Invariance for Infinite State Processe. CoRR (2013)
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)
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)
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)
Carolina Zato, Alejandro Sánchez, Gabriel Villarrubia, Javier Bajo, Sara Rodríguez
Integration of a Proximity Detection Prototype into a VO Developed with PANGEA. IS-MiS (2012)
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)
Carolina Zato, Alejandro Sánchez, Gabriel Villarrubia, Sara Rodríguez, Juan M. Corchado, Javier Bajo
Platform for building large-scale agent-based systems. EAIS (2012)
Alejandro Sánchez, Gabriel Villarrubia, Amparo Jiménez, Amparo Casado, Carolina Zato, Sara Rodríguez, Ignasi Barri, Edgar Rubión Soler, Eva Vázquez de Prada, Carlos Rebate Sánchez, José A. Cabo, Joaquín Seco, Jesús Sanz, Javier Bajo, Juan Manuel Corchado
Menu Navigation in Mobile Devices Using the Accelerometer. ebTEL (2012)
Alejandro Sánchez, César Sánchez
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. NASA Formal Methods (2011)
Alejandro Sánchez, César Sánchez
Decision Procedures for the Temporal Verification of Concurrent Lists. ICFEM (2010)