default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 1054
Volume 1054, 2025
- Yucen Gao, Zhuoran Li, Jingyu He, Jun Fang, Hui Gao, Xiaofeng Gao, Guihai Chen:
Algorithms for Shortest Path Tour Problem. 115428 - Avivit Levy
, Ely Porat, B. Riva Shalom:
Partial permutations comparison, maintenance and applications. 115433 - Yuchao Ma, Weian Li, Wanzhi Zhang, Yahui Lei, Zhicheng Zhang, Qi Qi, Qiang Liu, Xingxing Wang:
Joint bidding in ad auctions. 115449 - Svante Janson, Jérémie O. Lumbroso, Robert Sedgewick:
Bit-array-based alternatives to HyperLogLog. 115450 - Flavio Ascari, Roberto Bruni, Roberta Gori:
Broadening the applicability of local completeness analysis with intensional and extensional guarantees. 115452 - Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik:
Non finite axiomatisability of weak bisimulation-based congruences. 115453 - Mingyang Gong, Guangting Chen, Zhi-Zhong Chen, Guohui Lin, Riki Uchida:
Path cover using only short paths. 115455 - Yu Yang, Cai-Xia Wang, Shou-Jun Xu:
Discriminating code and set cover with k-bend paths. 115458 - Gang Chen, Qing Ren, Ilia Ponomarenko:
On the Weisfeiler algorithm of depth-1 stabilization. 115460 - Yali Wu, Xin Zhang:
Proper conflict-free coloring of Mycielskians with fast algorithms. 115482 - Crystal Chang Din, Charaf Eddine Dridi, Ida Sandberg Motzfeldt, Violet Ka I Pun, Volker Stolz, Ingrid Chieh Yu:
Modular soundness checking of feature model evolution plans. 115451 - Huishan Wu:
Computable formal contexts. 115457 - Laura Bozzelli, Adriano Peron:
A quantitative extension of interval temporal logic over infinite words. 115493 - Quentin Bramas, Jean-Romain Luttringer, Sébastien Tixeuil:
On time-travel planning in dynamic graphs. 115501 - Somnath Panja, Setareh Sharifian, Shaoquan Jiang, Reihaneh Safavi-Naini:
Hybrid encryption in correlated randomness model and KEM combiners. 115518 - Pasin Manurangsi, Warut Suksompong, Tomohiko Yokoyama:
Asymptotic analysis of weighted fair division. 115533 - Vsevolod Chernyshev, Johannes Rauch, Dieter Rautenbach, Liliia Redina:
A faster algorithm for independent cut. 115542
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.
last updated on 2026-04-26 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
