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 20 matches
- 2024
- Yanhong A. Liu, Scott D. Stoller:
Tutorial: Consensus Algorithms from Classical to Blockchain: Quickly Program, Configure, Run, and Check. ICDCSW 2024: 1-4 - 2023
- Sabyasachi Deyati, Barry John Muldrey, Abhijit Chatterjee:
BISCC: A Novel Approach to Built In State Consistency Checking For Quick Volume Validation of Mixed-Signal/RF Systems. J. Electron. Test. 39(3): 303-322 (2023) - Giacomo Bergami, Samuel Appleby, Graham Morgan:
Quickening Data-Aware Conformance Checking through Temporal Algebras. Inf. 14(3): 173 (2023) - 2022
- Annamaria Guiotto, Alfredo Ciniglio, Fabiola Spolaor, Davide Pavan, Federica Cibin, Alex Scaldaferro, Zimi Sawacha:
Reliability and Repeatability of ACL Quick Check®: A Methodology for on Field Lower Limb Joint Kinematics and Kinetics Assessment in Sport Applications. Sensors 22(1): 259 (2022) - 2021
- Julia C. Arlinghaus, Falko Bendik:
Risk Assessment and Mitigation for Industry 4.0: Implementation of a Digital Risk Quick Check. APMS (1) 2021: 208-217 - 2020
- Merine Thomas, Thomas Vacek, Xin Shuai, Wenhui Liao, George Sanchez, Paras Sethia, Don Teo, Kanika Madan, Tonya Custis:
Quick Check: A Legal Research Recommendation System. NLLP@KDD 2020: 57-60 - 2019
- Thomas Shull, Jian Huang, Josep Torrellas:
QuickCheck: using speculation to reduce the overhead of checks in NVM frameworks. VEE 2019: 137-151 - 2018
- Matilda Åslin, Monika Brandt, Johan Dahlberg:
CheckQC: Quick quality control of Illumina sequencing runs. J. Open Source Softw. 3(22): 556 (2018) - Graham Cormode, Chris Hickey:
You Can Check Others' Work More Quickly Than Doing It Yourself. ICDE 2018: 1681 - 2017
- Yongtae Park, Seungho Kuk:
Poster: Towards Quick Angular Check to Rebuff Forged Position Attacks in Vehicular Communication. MobiSys 2017: 156 - 2014
- Shuichi Oikawa:
Independent Kernel/Process Checkpointing on Non-Volatile Main Memory for Quick Kernel Rejuvenation. ARCS 2014: 233-244 - Jantje Halberstadt, Matthew Johnson:
Sustainability Management for Startups and Micro-Enterprises: Development of a Sustainability-Quick-Check and Reporting Scheme. EnviroInfo 2014: 17-24 - 2011
- Andreas Riener, Martin Gutenbrunner:
Online UPnP A/V Device Database for Quick and Easy Capability Checking. FIT 2011: 314-320 - 2009
- Mireille Faist, Rainer Zah, Jürgen Reinhard:
Sustainability Quick Check for Biofuels (SQCB): A Web-based tool for streamlined biofuels' LCA. EnviroInfo (1) 2009: 317-323 - Tobias Ziep, Volker Wohlgemuth, Mireille Faist Emmenegger, Jürgen Reinhard, Rainer Zah:
SQCB - Sustainability Quick Check Tool for Biofuels. ITEE 2009: 198-202 - 2008
- Eelis van der Weegen, James McKinna:
A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq. TYPES 2008: 256-271 - 2005
- Liviu Ciortuz:
The Quick Check Pre-unification Filter for Typed Grammars: Extensions. IWPT 2005: 188-189 - 2004
- Liviu-Virgil Ciortuz:
The Quick Check Pre-unification Filter for Typed Grammars: Further Advances. Sci. Ann. Cuza Univ. 14: 36-50 (2004) - 2001
- Jeffrey T. Hicks, John Q. Walker II:
A quick check of network performance. Int. J. Netw. Manag. 11(1): 65-72 (2001) - Liviu-Virgil Ciortuz:
On Compilation of the Quick-Check Filter for Feature Structure Unification. IWPT 2001
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-09-25 11:45 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