![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Alejandro Sánchez
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c18]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: 209-220 - 2021
- [j6]David Velásquez
, 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): 5474 (2021) - [c17]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: 143-157 - 2020
- [d1]David Velásquez
, Alejandro Sánchez, Sebastián Sarmiento, Camilo Velásquez, Mauricio Toro, Edwin Montoya, Mikel Maiza, Basilio Sierra, Helmuth Trefftz:
Coffee Leaf Rust Dataset. IEEE DataPort, 2020
2010 – 2019
- 2019
- [j5]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): 1590 (2019) - [c16]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: 151-156 - 2017
- [j4]Alejandro Sánchez, César Sánchez
:
Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems. Ann. Math. Artif. Intell. 80(3-4): 249-282 (2017) - 2016
- [j3]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): 417 (2016) - [c15]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: 383-394 - 2015
- [b1]Alejandro Sánchez:
Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures. Technical University of Madrid, Spain, 2015 - [j2]Alejandro Sánchez, César Sánchez:
Parametrized invariance for infinite state processes. Acta Informatica 52(6): 525-557 (2015) - 2014
- [c14]Alejandro Sánchez, César Sánchez:
Formal Verification of Skiplists with Arbitrary Many Levels. ATVA 2014: 314-329 - [c13]Alejandro Sánchez, César Sánchez
:
LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes. CAV 2014: 620-627 - [c12]Alejandro Sánchez, César Sánchez
:
Parametrized Verification Diagrams. TIME 2014: 132-141 - 2013
- [j1]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) - [c11]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: 369-376 - [c10]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: 41-51 - [i2]César Sánchez, Alejandro Sánchez:
A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height. CoRR abs/1301.4372 (2013) - [i1]Alejandro Sánchez, César Sánchez:
Parametrized Invariance for Infinite State Processe. CoRR abs/1312.4043 (2013) - 2012
- [c9]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 - [c8]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: 69-73 - [c7]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: 197-204 - [c6]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 - [c5]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 - [c4]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: 133-140 - [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
Coauthor Index
aka: Gabriel Villarrubia-González
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-19 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint