Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Alejandro Aguirre 0001
Aarhus University: Aarhus, Denmark - Alejandro Aguirre 0002
UABC, Mexicali, B.C., México - Alejandro Aguirre 0003
Inst. Tecnol. y de Estudos Superiores de Monterrey, Mexico - Alejandro Aguirre 0004
University of British Columbia, BC Children's Hospital Research Institute, Vancouver, BC, Canada
Likely matches
- Alejandro Alvarez-Aguirre
Delft University of Technology, The Netherlands
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 62 matches
- 2024
- Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal:
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proc. ACM Program. Lang. 8(POPL): 753-784 (2024) - 2023
- Arturo Román Messina, Claudia M. Castro-Arvizu, Alejandro Castillo-Tapia, Erlan R. Murillo-Aguirre, O. Rodríguez-Villalón:
Multiview Spectral Clustering of High-Dimensional Observational Data. IEEE Access 11: 115884-115893 (2023) - Alejandro Aguirre, Lars Birkedal:
Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice. Proc. ACM Program. Lang. 7(POPL): 33-60 (2023) - Adrian Lecaros, Arturo Moquillaza, Fiorella Falconi, Joel Aguirre, Alejandro Tapia, Freddy Paz:
A Comparison Between Performing a Heuristic Evaluation Based on a Formal Process Using a System and the Traditional Way: A Case Study. HCI (22) 2023: 18-29 - Arturo Moquillaza, Fiorella Falconi, Joel Aguirre, Adrian Lecaros, Alejandro Tapia, Freddy Paz:
Using Remote Workshops to Promote Collaborative Work in the Context of a UX Process Improvement. HCI (20) 2023: 254-266 - Freddy Paz, Allisson Huaracha, Freddy-Asrael Paz-Sifuentes, Arturo Moquillaza, Adrián Lecaros, Fiorella Falconi, Joel Aguirre, Alejandro Tapia:
Comparing Two Sets of Usability Heuristics in a User Experience Evaluation: A Case Study in an E-Commerce Mobile Application. HCI (22) 2023: 69-81 - Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter, Joseph Tassarotti, Lars Birkedal:
Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. CoRR abs/2301.10061 (2023) - 2022
- Alejandro Aguirre, Shin-ya Katsumata, Satoshi Kura:
Weakest preconditions in fibrations. Math. Struct. Comput. Sci. 32(4): 472-510 (2022) - Jaime Abraham Castro-Mondragón, Rafael Riudavets Puig, Ieva Rauluseviciute, Roza Berhanu lemma, Laura Turchi, Romain Blanc-Mathieu, Jeremy Lucas, Paul Boddie, Aziz Khan, Nicolás Manosalva Pérez, Oriol Fornes, Tiffany Y. Leung, Alejandro Aguirre, Fayrouz Hammal, Daniel Schmelter, Damir Baranasic, Benoît Ballester, Albin Sandelin, Boris Lenhard, Klaas Vandepoele, Wyeth W. Wasserman, François Parcy, Anthony Mathelier:
JASPAR 2022: the 9th release of the open-access database of transcription factor binding profiles. Nucleic Acids Res. 50(D1): 165-173 (2022) - Itsaka Rakotonirina, Miguel Ambrona, Alejandro Aguirre, Gilles Barthe:
Symbolic Synthesis of Indifferentiability Attacks. AsiaCCS 2022: 667-681 - Adrian Lecaros, Arturo Moquillaza, Fiorella Falconi, Joel Aguirre, Alejandro Tapia, Freddy Paz:
Selection and Modeling of a Formal Heuristic Evaluation Process Through Comparative Analysis. HCI (20) 2022: 28-46 - Alejandro Tapia, Arturo Moquillaza, Joel Aguirre, Fiorella Falconi, Adrian Lecaros, Freddy Paz:
A Process to Support the Remote Tree Testing Technique for Evaluating the Information Architecture of User Interfaces in Software Projects. HCI (20) 2022: 75-92 - Ariel E. Stassi, Marcela Tancredi, Roberto Aguirre, Alvaro Gómez, Bruno Carballido, Andrés Méndez, Sergio Beheregaray, Alejandro Fojo, Víctor Koleszar, Gregory Randall:
LSU-DS: An Uruguayan Sign Language Public Dataset for Automatic Recognition. ICPRAM 2022: 697-705 - Carlos Alberto González Almaguer, Verónica Saavedra Gastélum, Ángeles Carolina Aguirre Acosta, Claudia Zubieta Ramírez, Alejandro Acuña López, Pedro Oscar Pérez Murueta, Luis Javier Morales Rivas:
Mixed Reality and Gamification in Distance Learning Education: The Virtual Enterprise Planning Simulator to Learn ERP Strategies. REV 2022: 222-230 - 2021
- Miguel Morales-Sandoval, Ricardo De-La-Parra-Aguirre, Hiram Galeana-Zapién, Alejandro Galaviz-Mosqueda:
A Three-Tier Approach for Lightweight Data Security of Body Area Networks in E-Health Applications. IEEE Access 9: 146350-146365 (2021) - Joaquim Aguirre-Plans, Alberto Meseguer, Ruben Molina-Fernandez, Manuel Alejandro Marín-López, Gaurav Jumde, Kevin Casanova, Jaume Bonet, Oriol Fornes, Narcis Fernandez-Fuentes, Baldo Oliva:
SPServer: split-statistical potentials for the analysis of protein structures and protein-protein interactions. BMC Bioinform. 22(1): 4 (2021) - Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja:
A pre-expectation calculus for probabilistic sensitivity. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021) - Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato:
Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - Rafael Cervantes-Duarte, Eduardo González-Rodríguez, René Funes-Rodríguez, Alejandro Ramos-Rodríguez, María Yesenia Torres-Hernández, Fernando Aguirre-Bahena:
Variability of Net Primary Productivity and Associated Biophysical Drivers in Bahía de La Paz (Mexico). Remote. Sens. 13(9): 1644 (2021) - Roberto Aguirre, María Macedo, Mauricio Castillo, Alejandro Fojo, Jorge Vivas:
Semantic networks of space and time between deaf signers and Spanish listeners. CogSci 2021 - Mauricio Castillo, Alejandro Fojo, Roberto Aguirre:
Distribution of unidimensional space in the LSU time lexicon. CogSci 2021 - Carlos Alberto González Almaguer, Verónica Saavedra Gastélum, Alejandro Acuña López, Eduardo Caballero-Montes, Angeles Aguirre Acosta, Claudia Zubieta Ramírez:
Distance Learning through Simulators and Virtual Platforms for the Teaching of Industrial Engineering within the Tec 21 Educational Model. DSDE 2021: 93-99 - Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato:
Higher-order probabilistic adversarial computations: Categorical semantics and program logics. CoRR abs/2107.01155 (2021) - 2020
- Alejandro Aguirre:
Relational logics for higher-order effectful programs. Technical University of Madrid, Spain, 2020 - Julio C. Peña-Aguirre, Alejandro Israel Barranco Gutiérrez, José Alfredo Padilla-Medina, Alejandro Espinosa-Calderon, Francisco J. Pérez-Pinal:
Fuzzy Logic Power Management Strategy for a Residential DC-Microgrid. IEEE Access 8: 116733-116743 (2020) - Baltazar Aguirre-Hernández, Jorge-Antonio López-Rentería, Alejandro Armando Hossian, Cutberto Romero-Meléndez:
Geometric and Polynomial Approaches of Complex Systems and Control in Mathematics and Applied Sciences. Complex. 2020: 6281613:1-6281613:2 (2020) - Octavio Gutierrez-Frias, Norma B. Lozada-Castillo, J. Alejandro Aguirre-Anaya, Diego A. Flores-Hernandez:
Nested Saturation Function Control of a Magnetic Levitation System. Complex. 2020: 3545374:1-3545374:9 (2020) - José García Rodríguez, Francisco Gomez-Donoso, Sergiu Oprea, Alberto Garcia-Garcia, Miguel Cazorla, Sergio Orts-Escolano, Zuria Bauer, John Alejandro Castro-Vargas, Félix Escalona, David Ivorra-Piqueres, Pablo Martinez-Gonzalez, Eugenio Aguirre, Miguel García-Silvente, Marcelo García-Pérez, José María Cañas, Francisco Martín Rico, Jonatan Gines, Francisco Rivas-Montero:
COMBAHO: A deep learning system for integrating brain injury patients in society. Pattern Recognit. Lett. 137: 80-90 (2020) - Leyre Azpilicueta, Peio López-Iturri, Jaime Zuniga-Mejia, Mikel Celaya-Echarri, Fidel Alejandro Rodríguez-Corbo, César Vargas Rosales, Erik Aguirre, David G. Michelson, Francisco Falcone:
Fifth-Generation (5G) mmWave Spatial Channel Characterization for Urban Environments' System Analysis. Sensors 20(18): 5360 (2020) - Alejandro Aguirre, Shin-ya Katsumata:
Weakest Preconditions in Fibrations. MFPS 2020: 5-27
skipping 32 more matches
loading more results
failed to load more results, please try again later
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.
retrieved on 2024-04-26 18:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint