default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 1021
Volume 1021, 2024
- Soumen Mandal
, Pranabendu Misra, Ashutosh Rai, Saket Saurabh:
Parameterized approximation algorithms for weighted vertex cover. 114870 - Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere:
Polynomial-time checking of generalized Sahlqvist syntactic shape. 114875 - Kangfeng Ye, Jim Woodcock, Simon Foster:
Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: Semantics and automated reasoning with theorem proving. 114876 - Cornelius Brand, Viktoriia Korchemna, Kirill Simonov, Michael Skotnica:
Counting vanishing matrix-vector products. 114877 - Bohan Lyu, Jianzhong Li:
Multiple-model polynomial regression and efficient algorithms for data analysis. 114878 - Zelong Zhao, Nan Zhang, Bin Yu, Zhenhua Duan:
Generating Java code pairing with ChatGPT. 114879 - Brati Mondal, Pritam Goswami, Avisek Sharma, Buddhadeb Sau:
Arbitrary pattern formation on a continuous circle by oblivious robot swarm. 114882 - Anna Nenca, Barbara Wolnik, Bernard De Baets:
No six-cell neighborhood cellular automaton solves the parity problem. 114923 - Jakob Baumann, Matthias Pfretzschner, Ignaz Rutter:
Parameterized complexity of vertex splitting to pathwidth at most 1. 114928 - Xiaowei Li, Xiwen Lu:
An approximate cost recovery scheme for the k-product facility location game with penalties. 114933 - Alessandro De Luca, Gabriele Fici:
Some results on digital segments and balanced words. 114935 - Hans-Joachim Böckenhauer, Fabian Frei, Silvan Horvath:
Priority algorithms with advice for disjoint path allocation problems. 114942 - Junling Pei, Fang-Wei Fu:
MODRED: A code-based non-interactive key exchange protocol. 114943
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 2025-06-19 01:38 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:
