Alejandro Sánchez

28 papers A* 1B 2C 4Misc 2Journal 9Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Extension to a fuzzy cognitive maps-based approach for modelling granular time series for forecasting tasks. Knowl. Based Syst. Alejandro Sánchez, Rosa E. Lillo, José Lisandro Aguilar
2022	C	`conf`	Evaluation of the Performance of an Immersive System for Tele-education. IMX Marta Orduna, Jesús Gutiérrez, Alejandro Sánchez, Julián Cabrera, César Díaz, Pablo Pérez, Narciso García
2021	J	`jnl`	A Cyber-Physical Data Collection System Integrating Remote Sensing and Wireless Sensor Networks for Coffee Leaf Rust Diagnosis. Sensors David Velásquez, Alejandro Sánchez, Sebastián Sarmiento, Camilo Velásquez, Mauricio Toro, Edwin Montoya, Helmuth Trefftz, Mikel Maiza, Basilio Sierra
2021	—	`conf`	Seasonality Atlas of Solar Radiation in Mexico. MICAI (1) Mónica Borunda, Adrián Ramírez, Nayeli Liprandi, Miriam Rodríguez, Alejandro Sánchez
2019	C	`conf`	Realising ANGELIC Designs Using Logiak. JURIX Katie Atkinson, Trevor J. M. Bench-Capon, Tom Routen, Alejandro Sánchez, Stuart Whittle, Rob Williams, Catriona Wolfenden
2019	J	`jnl`	Wearable System for Biosignal Acquisition and Monitoring Based on Reconfigurable Technologies. Sensors 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
2017	J	`jnl`	Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Ann. Math. Artif. Intell. Alejandro Sánchez, César Sánchez
2016	—	`conf`	A GIS Water Management System Using Free and Open Source Software. UCAmI (2) Pablo Fernández, Jaisiel Santana, Alejandro Sánchez, Agustín Trujillo, Conrado Domínguez, José Pablo Suárez
2016	J	`jnl`	SmartPort: A Platform for Sensor Data Monitoring in a Seaport Based on FIWARE. Sensors Pablo Fernández, José M. Santana, Sebastian Ortega, Agustín Trujillo, José Pablo Suárez, Conrado Domínguez, Jaisiel Santana, Alejandro Sánchez
2015	—	`—`	Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures. Alejandro Sánchez
2015	J	`jnl`	Parametrized invariance for infinite state processes. Acta Informatica Alejandro Sánchez, César Sánchez
2014	B	`conf`	Formal Verification of Skiplists with Arbitrary Many Levels. ATVA Alejandro Sánchez, César Sánchez
2014	A*	`conf`	LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV Alejandro Sánchez, César Sánchez
2014	C	`conf`	Parametrized Verification Diagrams. TIME Alejandro Sánchez, César Sánchez
2013	J	`jnl`	A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height CoRR César Sánchez, Alejandro Sánchez
2013	—	`conf`	A Gateway Protocol Based on FIPA-ACL for the New Agent Platform PANGEA. PAAMS (Special Sessions) Alejandro Sánchez, Gabriel Villarrubia, Carolina Zato, Sara Rodríguez, Pablo Chamoso
2013	Misc	`conf`	An Integral System Based on Open Organization of Agents for Improving the Labour Inclusion of Disabled People. DCAI Alejandro Sánchez, Carolina Zato, Gabriel Villarrubia-González, Javier Bajo, Juan Francisco de Paz
2013	J	`jnl`	Parametrized Invariance for Infinite State Processe. CoRR Alejandro Sánchez, César Sánchez
2013	J	`jnl`	Personalization of the Workplace through a Proximity Detection System Using User Profiles. Int. J. Distributed Sens. Networks Carolina Zato, Sara Rodríguez, Alejandro Sánchez, Gabriel Villarrubia, Javier Bajo, Juan M. Corchado
2012	—	`conf`	Integration of a Proximity Detection Prototype into a VO Developed with PANGEA. IS-MiS Carolina Zato, Alejandro Sánchez, Gabriel Villarrubia, Javier Bajo, Sara Rodríguez
2012	B	`conf`	Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version). SAS Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang
2012	—	`conf`	Menu Navigation in Mobile Devices Using the Accelerometer. ebTEL 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
2012	Misc	`conf`	PANGEA - Platform for Automatic coNstruction of orGanizations of intElligent Agents. DCAI 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
2012	—	`conf`	Personalization of the Workplace through a Proximity Detection System Using User's Profiles. KMO Carolina Zato, Alejandro Sánchez, Gabriel Villarrubia, Javier Bajo, Sara Rodríguez, Juan Francisco de Paz
2012	—	`conf`	Platform for building large-scale agent-based systems. EAIS Carolina Zato, Alejandro Sánchez, Gabriel Villarrubia, Sara Rodríguez, Juan M. Corchado, Javier Bajo
2012	—	`conf`	Proximity Detection Prototype Adapted to a Work Environment. ISAmI 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
2011	—	`conf`	A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes. NASA Formal Methods Alejandro Sánchez, César Sánchez
2010	C	`conf`	Decision Procedures for the Temporal Verification of Concurrent Lists. ICFEM Alejandro Sánchez, César Sánchez