• 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.

found 651 matches

• 2021
• 
  Cameron Moy, Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn:
  Corpse reviver: sound and efficient gradual typing via contract verification. Proc. ACM Program. Lang. 5(POPL): 1-28 (2021)
• 
  Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci:
  Reconciling interoperability with efficient Verification and Validation within open source simulation environments. Simul. Model. Pract. Theory 109: 102277 (2021)
• 
  Anisa Halimi, Leonard Dervishi, Erman Ayday, Apostolos Pyrgelis, Juan Ramón Troncoso-Pastoriza, Jean-Pierre Hubaux, Xiaoqian Jiang, Jaideep Vaidya:
  Privacy-Preserving and Efficient Verification of the Outcome in Genome-Wide Association Studies. CoRR abs/2101.08879 (2021)
• 
  Juan E. Tapia, Marta Gomez-Barrero, Rodrigo Lara, Andres Valenzuela, Christoph Busch:
  Selfie Periocular Verification using an Efficient Super-Resolution Approach. CoRR abs/2102.08449 (2021)
• 
  Tzanis Anevlavis, Matthew Philippe, Daniel Neider, Paulo Tabuada:
  Being correct is not enough: efficient verification using robust linear temporal logic. CoRR abs/2102.11991 (2021)
• 
  Shiqi Wang, Huan Zhang, Kaidi Xu, Xue Lin, Suman Jana, Cho-Jui Hsieh, J. Zico Kolter:
  Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Verification. CoRR abs/2103.06624 (2021)
• 
  Feng Liu, Qi Wang:
  An Identity-based Batch Verification Scheme for VANETs Based on Ring Signature with Efficient Revocation. CoRR abs/2103.07653 (2021)
• 
  Marc Schoolderman, Jonathan Moerman, Sjaak Smetsers, Marko C. J. D. van Eekelen:
  Efficient Verification of Optimized Code: Correct High-speed X25519. IACR Cryptol. ePrint Arch. 2021: 415 (2021)
• 2020
• 
  Tobias Guggemos:
  Efficient Signature Verification and Key Revocation using Identity Based Cryptography. Ludwig Maximilian University of Munich, Germany, Dr. Hut 2020, ISBN 978-3-8439-4649-0, pp. 1-157
• 
  Karine Even-Mendoza:
  Efficient SMT-based verification of software programs. King's College London, UK, 2020
• 
  Victor Roussanaly:
  Efficient verification of real time systems. (Vérification efficace de systèmes en temps réel). University of Rennes 1, France, 2020
• 
  Osama S. Faragallah, Ashraf Afifi, Hala S. El-sayed, Mohammed A. Alzain, Jehad F. Al-Amri, Fathi E. Abd El-Samie, Walid El Shafai:
  Efficient HEVC Integrity Verification Scheme for Multimedia Cybersecurity Applications. IEEE Access 8: 167069-167089 (2020)
• 
  Xinli Huang, Peng Shi, Yufei Liu, Fei Xu:
  Towards trusted and efficient SDN topology discovery: A lightweight topology verification scheme. Comput. Networks 170: 107119 (2020)
• 
  Xiaoyan Wang, Xingshu Chen, Yitong Wang, Long Ge:
  An efficient scheme for SDN state consistency verification in cloud computing environment. Concurr. Comput. Pract. Exp. 32(2) (2020)
• 
  Jian Shen, Dengzhi Liu, Xingming Sun, Fushan Wei, Yang Xiang:
  Efficient cloud-aided verifiable secret sharing scheme with batch verification for smart cities. Future Gener. Comput. Syst. 109: 450-456 (2020)
• 
  Jiaqi Zhai, Jian Liu, Lusheng Chen:
  More Efficient Trapdoor-Permutation-Based Sequential Aggregate Signatures with Lazy Verification. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(12): 1640-1646 (2020)
• 
  Ankit Thakkar, Kajol Patel:
  VIKAS: a new virtual keyboard-based simple and efficient text CAPTCHA verification scheme. Int. J. Inf. Comput. Secur. 12(1): 90-105 (2020)
• 
  Hu Xiong, Yan Wu, Chunhua Su, Kuo-Hui Yeh:
  A secure and efficient certificateless batch verification scheme with invalid signature identification for the internet of things. J. Inf. Secur. Appl. 53: 102507 (2020)
• 
  Ramtin Bagheri, Morteza Amini, Somayeh Dolatnezhad Samarin:
  Efficient verification of parallel matrix multiplication in public cloud: the MapReduce case. J. Big Data 7(1): 86 (2020)
• 
  Hao Ji, Michael Mascagni, Yaohang Li:
  Gaussian variant of Freivalds' algorithm for efficient and reliable matrix product verification. Monte Carlo Methods Appl. 26(4): 273-284 (2020)
• 
  Sanghamitra V. Arora, Rekha Vig:
  An efficient text-independent speaker verification for short utterance data from Mobile devices. Multim. Tools Appl. 79(3-4): 3049-3074 (2020)
• 
  Zeqing Zhang, Hung Hon Cheng, Darwin Lau:
  Efficient Wrench-Closure and Interference-Free Conditions Verification for Cable-Driven Parallel Robot Trajectories Using a Ray-Based Method. IEEE Robotics Autom. Lett. 5(1): 8-15 (2020)
• 
  S. Milton Ganesh, S. P. Manikandan:
  An Efficient Integrity Verification and Authentication Scheme over the Remote Data in the Public Clouds for Mobile Users. Secur. Commun. Networks 2020: 9809874:1-9809874:13 (2020)
• 
  Sinan Chen, Sachio Saiki, Masahide Nakamura:
  Toward Flexible and Efficient Home Context Sensing: Capability Evaluation and Verification of Image-Based Cognitive APIs. Sensors 20(5): 1442 (2020)
• 
  Farshad Farkhondehmaal, Alejandro Salado:
  Efficient Population of the Verification Tradespace Using Bayesian Inference. IEEE Syst. J. 14(3): 3225-3232 (2020)
• 
  R. Jagadeesha, Thippeswamy Kampalappa:
  Energy-Efficient Mobile Node in Multicast Batch Verification. SN Comput. Sci. 1(2): 110 (2020)
• 
  Kuize Zhang, Karl Henrik Johansson:
  Efficient Verification of Observability and Reconstructibility for Large Boolean Control Networks With Special Structures. IEEE Trans. Autom. Control. 65(12): 5144-5158 (2020)
• 
  Jinfeng Li, Qizhen Xu, Yongyue Li, Liwei Chen, Gang Shi, Dan Meng:
  Efficient Return Address Verification Based on Dislocated Stack. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3398-3407 (2020)
• 
  Ibtissem Seghaier, Mohamed H. Zaki, Sofiène Tahar:
  Mating Sensitivity Analysis and Statistical Verification for Efficient Yield Estimation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(2): 294-307 (2020)
• 
  Qiumin Lu, Xiao Zheng, Jiacheng Ma, Yaozu Dong, Zhengwei Qi, Jianguo Yao, Bingsheng He, Haibing Guan:
  gMig: Efficient vGPU Live Migration with Overlapped Software-Based Dirty Page Verification. IEEE Trans. Parallel Distributed Syst. 31(5): 1209-1222 (2020)

skipping 621 more matches