default search action
Theoretical Computer Science, Volume 957
Volume 957, May 2023
- Cai-Xia Wang, Yu Yang, Shou-Jun Xu:
Secure connected domination and secure total domination in unit disk graphs and rectangle graphs. 113824 - Yiming Li, Shengli Liu, Shuai Han, Dawu Gu, Jian Weng:
Simulatable verifiable random function from the LWE assumption. 113826
- Alejandro Díaz-Caro, Gilles Dowek:
A new connective in natural deduction, and its application to quantum computing. 113840 - Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu:
Type-theoretic approaches to ordinals. 113843
- Aishwaryaprajna, Jonathan E. Rowe:
The Voting algorithm is robust to various noise models. 113844
- Xueyang Zhao, Binghao Yan, Peng Zhang:
New algorithms for a simple measure of network partitioning. 113846 - Shuyang Gu, Chuangen Gao, Jun Huang, Weili Wu:
Profit maximization in social networks and non-monotone DR-submodular maximization. 113847 - Hongxi Liu, Mingzu Zhang, Xiaowei Xu:
Many-to-many edge-disjoint paths in (n,k)-enhanced hypercube under three link-faulty hypotheses. 113855
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.