Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alejandro Sánchez
@inproceedings{DBLP:conf/tvx/Orduna0SCDPG22,
author = {Marta Orduna and
Jes{\'{u}}s Guti{\'{e}}rrez and
Alejandro S{\'{a}}nchez and
Juli{\'{a}}n Cabrera and
C{\'{e}}sar D{\'{\i}}az and
Pablo P{\'{e}}rez and
Narciso Garc{\'{\i}}a},
title = {Evaluation of the Performance of an Immersive System for Tele-education},
booktitle = {{IMX} '22: {ACM} International Conference on Interactive Media Experiences,
Aveiro, Portugal, June 22 - 24, 2022},
pages = {209--220},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3505284.3529975},
doi = {10.1145/3505284.3529975},
timestamp = {Fri, 03 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tvx/Orduna0SCDPG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/VelasquezSSVTMT21,
author = {David Vel{\'{a}}squez and
Alejandro S{\'{a}}nchez and
Sebasti{\'{a}}n Sarmiento and
Camilo Vel{\'{a}}squez and
Mauricio Toro and
Edwin Montoya and
Helmuth Trefftz and
Mikel Maiza and
Basilio Sierra},
title = {A Cyber-Physical Data Collection System Integrating Remote Sensing
and Wireless Sensor Networks for Coffee Leaf Rust Diagnosis},
journal = {Sensors},
volume = {21},
number = {16},
pages = {5474},
year = {2021},
url = {https://doi.org/10.3390/s21165474},
doi = {10.3390/S21165474},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/VelasquezSSVTMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BorundaRLRS21,
author = {M{\'{o}}nica Borunda and
Adri{\'{a}}n Ram{\'{\i}}rez and
Nayeli Liprandi and
Miriam Rodr{\'{\i}}guez and
Alejandro S{\'{a}}nchez},
editor = {Ildar Z. Batyrshin and
Alexander F. Gelbukh and
Grigori Sidorov},
title = {Seasonality Atlas of Solar Radiation in Mexico},
booktitle = {Advances in Computational Intelligence - 20th Mexican International
Conference on Artificial Intelligence, {MICAI} 2021, Mexico City,
Mexico, October 25-30, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13067},
pages = {143--157},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89817-5\_11},
doi = {10.1007/978-3-030-89817-5\_11},
timestamp = {Fri, 22 Oct 2021 15:23:47 +0200},
biburl = {https://dblp.org/rec/conf/micai/BorundaRLRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/VelasquezSSVTMMST20,
author = {David Vel{\'{a}}squez and
Alejandro S{\'{a}}nchez and
Sebasti{\'{a}}n Sarmiento and
Camilo Vel{\'{a}}squez and
Mauricio Toro and
Edwin Montoya and
Mikel Maiza and
Basilio Sierra and
Helmuth Trefftz},
title = {Coffee Leaf Rust Dataset},
publisher = {{IEEE} DataPort},
year = {2020},
month = jul,
howpublished = {\url{https://doi.org/10.21227/pz2n-y676}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.21227/pz2n-y676},
doi = {10.21227/PZ2N-Y676},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/data/10/VelasquezSSVTMMST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ToralGRMCRGMS19,
author = {V{\'{\i}}ctor Toral and
Antonio Garc{\'{\i}}a and
Francisco J. Romero and
Diego Pedro Morales and
Encarnaci{\'{o}}n Castillo and
Lu{\'{\i}}s Parrilla Roure and
Francisco M. G{\'{o}}mez{-}Campos and
Antonio Morillas and
Alejandro S{\'{a}}nchez},
title = {Wearable System for Biosignal Acquisition and Monitoring Based on
Reconfigurable Technologies},
journal = {Sensors},
volume = {19},
number = {7},
pages = {1590},
year = {2019},
url = {https://doi.org/10.3390/s19071590},
doi = {10.3390/S19071590},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/ToralGRMCRGMS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jurix/AtkinsonBRSWWW19,
author = {Katie Atkinson and
Trevor J. M. Bench{-}Capon and
Tom Routen and
Alejandro S{\'{a}}nchez and
Stuart Whittle and
Rob Williams and
Catriona Wolfenden},
editor = {Michal Araszkiewicz and
V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel},
title = {Realising {ANGELIC} Designs Using Logiak},
booktitle = {Legal Knowledge and Information Systems - {JURIX} 2019: The Thirty-second
Annual Conference, Madrid, Spain, December 11-13, 2019},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {322},
pages = {151--156},
publisher = {{IOS} Press},
year = {2019},
url = {https://doi.org/10.3233/FAIA190317},
doi = {10.3233/FAIA190317},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jurix/AtkinsonBRSWWW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/SanchezS17,
author = {Alejandro S{\'{a}}nchez and
C{\'{e}}sar S{\'{a}}nchez},
title = {Parametrized verification diagrams: temporal verification of symmetric
parametrized concurrent systems},
journal = {Ann. Math. Artif. Intell.},
volume = {80},
number = {3-4},
pages = {249--282},
year = {2017},
url = {https://doi.org/10.1007/s10472-016-9531-9},
doi = {10.1007/S10472-016-9531-9},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/SanchezS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/FernandezSOTSDS16,
author = {Pablo Fern{\'{a}}ndez and
Jos{\'{e}} M. Santana and
Sebastian Ortega and
Agust{\'{\i}}n Trujillo and
Jos{\'{e}} Pablo Su{\'{a}}rez and
Conrado Dom{\'{\i}}nguez and
Jaisiel Santana and
Alejandro S{\'{a}}nchez},
title = {SmartPort: {A} Platform for Sensor Data Monitoring in a Seaport Based
on {FIWARE}},
journal = {Sensors},
volume = {16},
number = {3},
pages = {417},
year = {2016},
url = {https://doi.org/10.3390/s16030417},
doi = {10.3390/S16030417},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/FernandezSOTSDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ucami/FernandezSSTDS16,
author = {Pablo Fern{\'{a}}ndez and
Jaisiel Santana and
Alejandro S{\'{a}}nchez and
Agust{\'{\i}}n Trujillo and
Conrado Dom{\'{\i}}nguez and
Jos{\'{e}} Pablo Su{\'{a}}rez},
editor = {Carmelo R. Garc{\'{\i}}a and
Pino Caballero{-}Gil and
Mike Burmester and
Alexis Quesada{-}Arencibia},
title = {A {GIS} Water Management System Using Free and Open Source Software},
booktitle = {Ubiquitous Computing and Ambient Intelligence - 10th International
Conference, UCAmI 2016, San Bartolom{\'{e}} de Tirajana, Gran
Canaria, Spain, November 29 - December 2, 2016, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {10070},
pages = {383--394},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48799-1\_43},
doi = {10.1007/978-3-319-48799-1\_43},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ucami/FernandezSSTDS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/es/Sanchez15d,
author = {Alejandro S{\'{a}}nchez},
title = {Formal Verification of Temporal Properties for Parametrized Concurrent
Programs and Concurrent Data Structures},
school = {Technical University of Madrid, Spain},
year = {2015},
url = {https://oa.upm.es/37874/},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/es/Sanchez15d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/SanchezS15,
author = {Alejandro S{\'{a}}nchez and
C{\'{e}}sar S{\'{a}}nchez},
title = {Parametrized invariance for infinite state processes},
journal = {Acta Informatica},
volume = {52},
number = {6},
pages = {525--557},
year = {2015},
url = {https://doi.org/10.1007/s00236-015-0222-5},
doi = {10.1007/S00236-015-0222-5},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/SanchezS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SanchezS14,
author = {Alejandro S{\'{a}}nchez and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Franck Cassez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Formal Verification of Skiplists with Arbitrary Many Levels},
booktitle = {Automated Technology for Verification and Analysis - 12th International
Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {314--329},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11936-6\_23},
doi = {10.1007/978-3-319-11936-6\_23},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/SanchezS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SanchezS14,
author = {Alejandro S{\'{a}}nchez and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Armin Biere and
Roderick Bloem},
title = {{LEAP:} {A} Tool for the Parametrized Verification of Concurrent Datatypes},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {620--627},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_41},
doi = {10.1007/978-3-319-08867-9\_41},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/SanchezS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/SanchezS14,
author = {Alejandro S{\'{a}}nchez and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Parametrized Verification Diagrams},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.11},
doi = {10.1109/TIME.2014.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/SanchezS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdsn/ZatoRSVBC13,
author = {Carolina Zato and
Sara Rodr{\'{\i}}guez and
Alejandro S{\'{a}}nchez and
Gabriel Villarrubia and
Javier Bajo and
Juan M. Corchado},
title = {Personalization of the Workplace through a Proximity Detection System
Using User Profiles},
journal = {Int. J. Distributed Sens. Networks},
volume = {9},
year = {2013},
url = {https://doi.org/10.1155/2013/281625},
doi = {10.1155/2013/281625},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijdsn/ZatoRSVBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/SanchezZVBP13,
author = {Alejandro S{\'{a}}nchez and
Carolina Zato and
Gabriel Villarrubia{-}Gonz{\'{a}}lez and
Javier Bajo and
Juan Francisco de Paz},
editor = {Sigeru Omatu and
Jos{\'{e}} Neves and
Juan M. Corchado Rodr{\'{\i}}guez and
Juan F. De Paz Santana and
Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez},
title = {An Integral System Based on Open Organization of Agents for Improving
the Labour Inclusion of Disabled People},
booktitle = {Distributed Computing and Artificial Intelligence - 10th International
Conference, {DCAI} 2013, Salamanca, Spain, May 22-24, 2013},
series = {Advances in Intelligent Systems and Computing},
volume = {217},
pages = {369--376},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-00551-5\_45},
doi = {10.1007/978-3-319-00551-5\_45},
timestamp = {Tue, 15 Nov 2022 15:22:37 +0100},
biburl = {https://dblp.org/rec/conf/dcai/SanchezZVBP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paams/SanchezVZRC13,
author = {Alejandro S{\'{a}}nchez and
Gabriel Villarrubia and
Carolina Zato and
Sara Rodr{\'{\i}}guez and
Pablo Chamoso},
editor = {Javier Bajo P{\'{e}}rez and
Juan M. Corchado Rodr{\'{\i}}guez and
Johannes F{\"{a}}hndrich and
Philippe Mathieu and
Andrew T. Campbell and
Mari Carmen Su{\'{a}}rez{-}Figueroa and
Alfonso Ortega and
Emmanuel Adam and
Antonio Fern{\'{a}}ndez{-}Caballero and
Ram{\'{o}}n Hermoso and
Mar{\'{\i}}a N. Moreno},
title = {A Gateway Protocol Based on {FIPA-ACL} for the New Agent Platform
{PANGEA}},
booktitle = {Trends in Practical Applications of Agents and Multiagent Systems
- 11th International Conference on Practical Applications of Agents
and Multi-Agent Systems {(PAAMS} 2013) Special Sessions, Salamanca,
Spain, May 22-24, 2013},
series = {Advances in Intelligent Systems and Computing},
volume = {221},
pages = {41--51},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-00563-8\_6},
doi = {10.1007/978-3-319-00563-8\_6},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paams/SanchezVZRC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4372,
author = {C{\'{e}}sar S{\'{a}}nchez and
Alejandro S{\'{a}}nchez},
title = {A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height},
journal = {CoRR},
volume = {abs/1301.4372},
year = {2013},
url = {http://arxiv.org/abs/1301.4372},
eprinttype = {arXiv},
eprint = {1301.4372},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-4372.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SanchezS13,
author = {Alejandro S{\'{a}}nchez and
C{\'{e}}sar S{\'{a}}nchez},
title = {Parametrized Invariance for Infinite State Processe},
journal = {CoRR},
volume = {abs/1312.4043},
year = {2013},
url = {http://arxiv.org/abs/1312.4043},
eprinttype = {arXiv},
eprint = {1312.4043},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SanchezS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/ZatoVSBSVSCASSBC12,
author = {Carolina Zato and
Gabriel Villarrubia and
Alejandro S{\'{a}}nchez and
Ignasi Barri and
Edgar Rubi{\'{o}}n Soler and
Alicia Fern{\'{a}}ndez del Viso and
Carlos Rebate S{\'{a}}nchez and
Jos{\'{e}} A. Cabo and
T{\'{e}}resa {\'{A}}lamos and
Jes{\'{u}}s Sanz and
Joaqu{\'{\i}}n Seco and
Javier Bajo and
Juan M. Corchado},
editor = {Sigeru Omatu and
Juan F. De Paz Santana and
Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez and
Jos{\'{e}} M. Molina and
Ana M. Bernardos and
Juan M. Corchado Rodr{\'{\i}}guez},
title = {{PANGEA} - Platform for Automatic coNstruction of orGanizations of
intElligent Agents},
booktitle = {Distributed Computing and Artificial Intelligence - 9th International
Conference, {DCAI} 2012, Salamanca, Spain, 28-30th March, 2012},
series = {Advances in Intelligent and Soft Computing},
volume = {151},
pages = {229--239},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28765-7\_27},
doi = {10.1007/978-3-642-28765-7\_27},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/dcai/ZatoVSBSVSCASSBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eais/ZatoSVRCB12,
author = {Carolina Zato and
Alejandro S{\'{a}}nchez and
Gabriel Villarrubia and
Sara Rodr{\'{\i}}guez and
Juan M. Corchado and
Javier Bajo},
editor = {Plamen P. Angelov and
Dimitar P. Filev and
Nikola K. Kasabov and
Jos{\'{e}} Antonio Iglesias and
Germ{\'{a}}n Guti{\'{e}}rrez},
title = {Platform for building large-scale agent-based systems},
booktitle = {2012 {IEEE} Conference on Evolving and Adaptive Intelligent Systems,
{EAIS} 2012, Madrid, Spain, May 17-18, 2012},
pages = {69--73},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/EAIS.2012.6232807},
doi = {10.1109/EAIS.2012.6232807},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eais/ZatoSVRCB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/is-mis/ZatoSVBR12,
author = {Carolina Zato and
Alejandro S{\'{a}}nchez and
Gabriel Villarrubia and
Javier Bajo and
Sara Rodr{\'{\i}}guez},
editor = {Jorge Casillas and
Francisco Jos{\'{e}} Mart{\'{\i}}nez{-}L{\'{o}}pez and
Juan Manuel Corchado Rodr{\'{\i}}guez},
title = {Integration of a Proximity Detection Prototype into a {VO} Developed
with {PANGEA}},
booktitle = {Management Intelligent Systems - First International Symposium, IS-MiS
2012, Salamanca, Spain, July 11-13, 2012},
series = {Advances in Intelligent Systems and Computing},
volume = {171},
pages = {197--204},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30864-2\_19},
doi = {10.1007/978-3-642-30864-2\_19},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/is-mis/ZatoSVBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isami/VillarrubiaSBSVSCASSZBRC12,
author = {Gabriel Villarrubia and
Alejandro S{\'{a}}nchez and
Ignasi Barri and
Edgar Rubi{\'{o}}n Soler and
Alicia Fern{\'{a}}ndez del Viso and
Carlos Rebate S{\'{a}}nchez and
Jos{\'{e}} A. Cabo and
T{\'{e}}resa {\'{A}}lamos and
Jes{\'{u}}s Sanz and
Joaqu{\'{\i}}n Seco and
Carolina Zato and
Javier Bajo and
Sara Rodr{\'{\i}}guez and
Juan M. Corchado},
editor = {Paulo Novais and
Kasper Hallenborg and
Dante I. Tapia and
Juan M. Corchado Rodr{\'{\i}}guez},
title = {Proximity Detection Prototype Adapted to a Work Environment},
booktitle = {Ambient Intelligence - Software and Applications - 3rd International
Symposium on Ambient Intelligence, ISAmI 2012, Salamanca, Spain, March
28-30, 2012},
series = {Advances in Intelligent and Soft Computing},
volume = {153},
pages = {51--58},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28783-1\_7},
doi = {10.1007/978-3-642-28783-1\_7},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isami/VillarrubiaSBSVSCASSZBRC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kmo/ZatoSVBRP12,
author = {Carolina Zato and
Alejandro S{\'{a}}nchez and
Gabriel Villarrubia and
Javier Bajo and
Sara Rodr{\'{\i}}guez and
Juan Francisco de Paz},
editor = {Lorna Uden and
Francisco Herrera and
Javier Bajo P{\'{e}}rez and
Juan M. Corchado Rodr{\'{\i}}guez},
title = {Personalization of the Workplace through a Proximity Detection System
Using User's Profiles},
booktitle = {7th International Conference on Knowledge Management in Organizations:
Service and Cloud Computing, {KMO} 2012, Salamanca, Spain, 11-13 July,
2012},
series = {Advances in Intelligent Systems and Computing},
volume = {172},
pages = {505--513},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30867-3\_45},
doi = {10.1007/978-3-642-30867-3\_45},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kmo/ZatoSVBRP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mis4tel/SanchezVJCZRBSP12,
author = {Alejandro S{\'{a}}nchez and
Gabriel Villarrubia and
Amparo Jim{\'{e}}nez and
Amparo Casado and
Carolina Zato and
Sara Rodr{\'{\i}}guez and
Ignasi Barri and
Edgar Rubi{\'{o}}n Soler and
Eva V{\'{a}}zquez de Prada and
Carlos Rebate S{\'{a}}nchez and
Jos{\'{e}} A. Cabo and
Joaqu{\'{\i}}n Seco and
Jes{\'{u}}s Sanz and
Javier Bajo and
Juan Manuel Corchado},
editor = {Pierpaolo Vittorini and
Rosella Gennari and
Ivana Marenzi and
Fernando de la Prieta and
Juan M. Corchado Rodr{\'{\i}}guez},
title = {Menu Navigation in Mobile Devices Using the Accelerometer},
booktitle = {International Workshop on Evidence-Based Technology Enhanced Learning,
ebTEL 2012, Salamanca, Spain, March 28-30, 2012},
series = {Advances in Intelligent and Soft Computing},
volume = {152},
pages = {133--140},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28801-2\_16},
doi = {10.1007/978-3-642-28801-2\_16},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mis4tel/SanchezVJCZRBSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SanchezSSC12,
author = {Alejandro S{\'{a}}nchez and
Sriram Sankaranarayanan and
C{\'{e}}sar S{\'{a}}nchez and
Bor{-}Yuh Evan Chang},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Invariant Generation for Parametrized Systems Using Self-reflection
- (Extended Version)},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {146--163},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_12},
doi = {10.1007/978-3-642-33125-1\_12},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/SanchezSSC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SanchezS11,
author = {Alejandro S{\'{a}}nchez and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {A Theory of Skiplists with Applications to the Verification of Concurrent
Datatypes},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {343--358},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_25},
doi = {10.1007/978-3-642-20398-5\_25},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/SanchezS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SanchezS10,
author = {Alejandro S{\'{a}}nchez and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Decision Procedures for the Temporal Verification of Concurrent Lists},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {74--89},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_7},
doi = {10.1007/978-3-642-16901-4\_7},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/SanchezS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-05-08 23:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
