![](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
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
Likely matches
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 104 matches
- 2024
- Alkiviadis Skouteris
, Ioannis Giannikopoulos
, Thomas F. Edgar, David T. Allen, Michael Baldea
, Mark A. Stadtherr
:
Implementation of nonlinear variable-cost network optimization models for technology assessment in the petrochemicals industry. Comput. Chem. Eng. 180: 108459 (2024) - Andres Felipe Velasco Hernández, David Sebastián Baldeón Padilla, Andrés Adolfo Navarro Newball:
Videogames and open feedback systems to enhance probabilistic reasoning and engagement. Int. J. Serious Games 11(1): 3-24 (2024) - David Baelde, Charlie Jacomme:
The Squirrel Prover and its Logic. ACM SIGLOG News 11(2): 62-83 (2024) - Davide Baldelli
, Junfeng Jiang
, Akiko Aizawa
, Paolo Torroni
:
TWOLAR: A TWO-Step LLM-Augmented Distillation Method for Passage Reranking. ECIR (1) 2024: 470-485 - Davide Baldelli, Junfeng Jiang, Akiko Aizawa, Paolo Torroni:
TWOLAR: a TWO-step LLM-Augmented distillation method for passage Reranking. CoRR abs/2403.17759 (2024) - 2023
- Ricardo Flores Moyano
, Alejandro Duque
, Daniel Riofrío
, Noel Pérez
, Diego S. Benítez
, Maria G. Baldeon Calisto
, David Fernández
:
Standard Latent Space Dimension for Network Intrusion Detection Systems Datasets. IEEE Access 11: 57240-57252 (2023) - David Baelde, Alexandre Debant, Stéphanie Delaune:
Proving Unlinkability Using ProVerif Through Desynchronised Bi-Processes. CSF 2023: 75-90 - David Baelde, Adrien Koutsos
, Joseph Lallemand:
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning. LICS 2023: 1-13 - Ricardo Flores Moyano, Alejandro Duque, Daniel Riofrío, Diego S. Benítez, Noel Pérez, Maria G. Baldeon Calisto, David Fernández:
A Feature Selection Approach Towards the Standardization of Network Security Datasets. NetSoft 2023: 257-261 - Diego Lopez-Bernal, David Balderas, Pedro Ponce, Arturo Molina:
Inner speech classification using inter-trial coherence framework for feature extraction. SIPAIM 2023: 1-6 - 2022
- Daniela Magallan-Ramirez, Jorge David Martinez-Aguilar, Areli Rodriguez-Tirado, David Balderas
, Edgar Omar López-Caudana
, Carlos Francisco Moreno-García
:
Implementation of NAO Robot Maze Navigation Based on Computer Vision and Collaborative Learning. Frontiers Robotics AI 9: 834021 (2022) - Alexander Staves
, Tom Anderson
, Harry Balderstone, Benjamin Green, Antonios Gouglidis, David Hutchison:
A Cyber Incident Response and Recovery Framework to Support Operators of Industrial Control Systems. Int. J. Crit. Infrastructure Prot. 37: 100505 (2022) - Edgar Fabián Rivera Guzmán
, Edison D. Mañay
, Mauricio D. Chiliquinga, Paúl Francisco Baldeón Egas, Renato M. Toasa
:
LoRa Network-Based System for Monitoring the Agricultural Sector in Andean Areas: Case Study Ecuador. Sensors 22(18): 6743 (2022) - David Baelde, Stéphanie Delaune, Adrien Koutsos
, Solène Moreau:
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant. CSF 2022: 289-304 - David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin:
Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs. LICS 2022: 63:1-63:13 - 2021
- David Baelde:
Contributions to the Verification of Cryptographic Protocols. (Contributions à la Vérification des Protocoles Cryptographiques). University of Paris-Saclay, France, 2021 - Alexandro Antonio Ortiz-Espinoza
, Efrain Mendez
, David Balderas
, Pedro Ponce, Israel Macias
, Arturo Molina:
Hardware implementation of metaheuristics through LabVIEW FPGA. Appl. Soft Comput. 113(Part): 107908 (2021) - Diego Lopez-Bernal
, David Balderas Silva
, Pedro Ponce
, Arturo Molina
:
Education 4.0: Teaching the Basics of KNN, LDA and Simple Perceptron Algorithms for Binary Classification Problems. Future Internet 13(8): 193 (2021) - David Balderas Silva
, Pedro Ponce
, Diego Lopez-Bernal
, Arturo Molina
:
Education 4.0: Teaching the Basis of Motor Imagery Classification Algorithms for Brain-Computer Interfaces. Future Internet 13(8): 202 (2021) - Yohualli Balderas-Medina Anaya
, Giselle D. Hernandez, Stephanie A. Hernandez, David E. Hayes-Bautista:
Meeting them where they are on the web: addressing structural barriers for Latinos in telehealth care. J. Am. Medical Informatics Assoc. 28(10): 2301-2305 (2021) - Sara Lorio
, Jan Sedlacik, Po-Wah So
, Harold G. Parkes
, Roxana Gunny, Ulrike Löbel
, Yao-Feng Li
, Olumide K. Ogunbiyi
, Talisa Mistry
, Emma Dixon, Sophie Adler
, J. Helen Cross
, Torsten Baldeweg
, Thomas S. Jacques, Karin Shmueli
, David W. Carmichael
:
Quantitative MRI susceptibility mapping reveals cortical signatures of changes in iron, calcium and zinc in malformations of cortical development in children with drug-resistant epilepsy. NeuroImage 238: 118102 (2021) - José Quintanilla, Moises Perez, Rodolfo Balderas, Alejandro González
, Antonio Cárdenas, Mauro Eduardo Maya, Davide Piovesan
:
Inertial Stabilization of Upright Posture while walking. NER 2021: 849-852 - David Baelde, Stéphanie Delaune, Charlie Jacomme, Adrien Koutsos, Solène Moreau:
An Interactive Prover for Protocol Verification in the Computational Model. SP 2021: 537-554 - 2020
- Luis Arturo Soriano
, Erik Zamora, J. M. Vazquez-Nicolas, Gerardo Hernández, José Antonio Barraza-Madrigal, David Balderas Silva
:
PD Control Compensation Based on a Cascade Neural Network Applied to a Robot Manipulator. Frontiers Neurorobotics 14: 577749 (2020) - David Baelde, Stéphanie Delaune, Solène Moreau:
A Method for Proving Unlinkability of Stateful Protocols. CSF 2020: 169-183 - Areli Rodriguez-Tirado, Daniela Magallan-Ramirez, Jorge David Martinez-Aguilar, Carlos Francisco Moreno-García
, David Balderas
, Edgar Omar López-Caudana
:
A pipeline framework for robot maze navigation using computer vision, path planning and communication protocols. DeSE 2020: 152-157 - Alexander Staves, Harry Balderstone, Benjamin Green, Antonios Gouglidis, David Hutchison:
A Framework to Support ICS Cyber Incident Response and Recovery. ISCRAM 2020: 638-651 - Max Ruby, David S. Bolme, Joel Brogan, David Cornett III
, Baldemar Delgado, Gavin Jager, Christi Johnson, Jose Martinez-Mendoza, Hector J. Santos-Villalobos, Nisha Srinivas:
The Mertens Unrolled Network (MU-Net): A High Dynamic Range Fusion Neural Network for Through the Windshield Driver Recognition. CoRR abs/2002.12257 (2020) - David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin:
Bouncing threads for infinitary and circular proofs. CoRR abs/2005.08257 (2020) - 2019
- David Balderas Silva
, Pedro Ponce, Arturo Molina
:
Convolutional long short term memory deep neural networks for image sequence prediction. Expert Syst. Appl. 122: 152-162 (2019)
skipping 74 more matches
loading more results
failed to load more results, please try again later
![](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.
retrieved on 2024-06-17 17:57 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