Остановите войну!
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
no 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 117 matches
- 2023
- Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers:
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). Proc. ACM Program. Lang. 7(ICFP): 768-795 (2023) - Seong Hee Lee, Vaidehi Patil, Nicholas Britten, Avram Block, Aryaman Pandya, Malte F. Jung, Paul Schmitt:
Safe to Approach: Insights on Autonomous Vehicle Interaction Protocols with First Responders. HRI (Companion) 2023: 399-402 - Gleb Koginov, Peter Wolf, Kai Schmidt, Jaime E. Duarte, Robert Riener:
Guided Exploration Leads to Faster Familiarization with a Wearable Robot: First Results of an Innovative Protocol. ICORR 2023: 1-6 - Octavio Rivera Romero, Maria Felicia Faienza, Edoardo Vergani, Chantal Zucchiatti, Ekaterina Koledova:
Participatory Study to Explore Healthcare Professionals' Perceptions of a Connected Digital Solution for Adherence Monitoring of Recombinant Human Growth Hormone Treatment: Study Protocol and First Findings. MIE 2023: 23-27 - Zhiwei Li, Jun Xu, Lei Hu:
Signal Leakage Attack Meets Depth First Search: an Improved Approach on DXL Key Exchange Protocol. IACR Cryptol. ePrint Arch. 2023: 1709 (2023) - 2022
- Pierre Jeanjean:
IDE as Code: reifying language protocols as first-class citizens. (Environnements de développement programmables: réification des protocoles de langage en objets de première classe). University of Rennes 1, France, 2022 - Mengxing Liu, Garikoitz Lerma-Usabiaga, Francisco Clascá, Pedro M. Paz-Alonso:
Reproducible protocol to obtain and measure first-order relay human thalamic white-matter tracts. NeuroImage 262: 119558 (2022) - Dan Ma, Jianqi Chen, Renquan Lu, Jie Chen, Tianyou Chai:
Delay Effect on First-Order Consensus over Directed Graphs: Optimizing PID Protocols for Maximal Robustness. SIAM J. Control. Optim. 60(1): 233-258 (2022) - Yong Xu, Zhaozhan Yao, Renquan Lu, Bijoy K. Ghosh:
A Novel Fixed-Time Protocol for First-Order Consensus Tracking With Disturbance Rejection. IEEE Trans. Autom. Control. 67(11): 6180-6186 (2022) - Howard H. Yang, Ahmed Arafa, Tony Q. S. Quek, H. Vincent Poor:
Spatiotemporal Analysis for Age of Information in Random Access Networks Under Last-Come First-Serve With Replacement Protocol. IEEE Trans. Wirel. Commun. 21(4): 2813-2829 (2022) - M. Mansour, M. Agomati, M. Alsaid, M. Berrish, R. Alasem:
Performance Analysis and Functionality Comparison of First Hop Redundancy Protocol IPV6. EUSPN/ICTH 2022: 19-27 - 2021
- Mingyang Huang, Cheng-Lin Liu, Liang Shan:
Containment Control of First-Order Multi-Agent Systems under PI Coordination Protocol. Algorithms 14(7): 209 (2021) - Jan C. L. Lau, Katja D. Mombaur:
Preliminary Study on a Novel Protocol for Improving Familiarity with a Lower-Limb Robotic Exoskeleton in Able-Bodied, First-Time Users. Frontiers Robotics AI 8: 785251 (2021) - Mahmud Mansour, Ahmed Ghneimat, Rafe Alasem, Fethi Jarray:
Performance Analysis and Functionality Comparison of First Hop Redundancy Protocols. J. Ubiquitous Syst. Pervasive Networks 15(1): 49-58 (2021) - Dan Ma, Jianqi Chen, Renquan Lu, Jie Chen, Tianyou Chai:
Delay Consensus Margin of First-Order Multiagent Systems With Undirected Graphs and PD Protocols. IEEE Trans. Autom. Control. 66(9): 4192-4198 (2021) - Allison Payne, Robb Merrill, Emilee Minalga, J. Rock Hadley, Henrik Odéen, Lorne W. Hofstetter, Sara Johnson, Christine Tunon de Lara, Sophie Auriol, Stephanié Recco, Erik Dumont, Dennis L. Parker, Jean Palussiere:
A Breast-Specific MR Guided Focused Ultrasound Platform and Treatment Protocol: First-in-Human Technical Evaluation. IEEE Trans. Biomed. Eng. 68(3): 893-904 (2021) - Pierre Jeanjean, Benoît Combemale, Olivier Barais:
IDE as Code: Reifying Language Protocols as First-Class Citizens. ISEC 2021: 23:1-23:5 - Howard H. Yang, Ahmed Arafa, Tony Q. S. Quek, H. Vincent Poor:
Spatiotemporal Analysis for Age of Information in Random Access Networks under Last-Come First-Serve with Replacement Protocol. CoRR abs/2109.08825 (2021) - 2020
- Antonio Rodríguez-Benítez:
Serious games for visually impaired players and to promote first-aid protocols. University of Girona, Spain, 2020 - Mahmud Mansour:
Performance Evaluation of First Hop Redundancy Protocols. EUSPN/ICTH 2020: 330-337 - Tommaso Melodia, Eylem Ekici, Alhussein Abouzeid, Minghua Chen:
Mobihoc '20: The Twenty-first ACM International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing, Virtual Event, USA, October 11-14, 2020. ACM 2020, ISBN 978-1-4503-8015-7 [contents] - Ellie Daw:
Component-Based Comparison of Privacy-First Exposure Notification Protocols. IACR Cryptol. ePrint Arch. 2020: 586 (2020) - 2019
- Eric Snodgrass, Winnie Soon:
API practices and paradigms: Exploring the protocological parameters of APIs as key facilitators of sociotechnical forms of exchange. First Monday 24(2) (2019) - Dan Ma, Jianqi Chen, Renquan Lu, Jie Chen:
Exact Delay Consensus Margin of First-Order Agents under PID Protocol. CDC 2019: 54-59 - Peer-Olaf Siebers, Sebastian Achter, Cristiane Palaretti Bernardo, Melania Borit, Edmund Chattoe-Brown:
First Steps Towards RAT: A Protocol for Documenting Data Use in the Agent-Based Modeling Process. ESSA 2019: 257-261 - Elizabeth Reilly, Matthew Maloney, Michael Siegel, Gregory Falco:
An IoT integrity-first communication protocol via an ethereum blockchain light client. SERP4IoT@ICSE 2019: 53-56 - Rylo Ashmore, Arie Gurfinkel, Richard J. Trefler:
Local Reasoning for Parameterized First Order Protocols. NFM 2019: 36-53 - Rylo Ashmore, Arie Gurfinkel, Richard J. Trefler:
Local Reasoning for Parameterized First Order Protocols. CoRR abs/1903.03218 (2019) - 2018
- Oded Padon:
Deductive Verification of Distributed Protocols in First-Order Logic. Tel Aviv University, Israel, 2018 - Ghassan Samara, Mohammad Aljaidi:
Aware-routing protocol using best first search algorithm in wireless sensor. Int. Arab J. Inf. Technol. 15(3A): 592-598 (2018)
skipping 87 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-24 12:10 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