


default search action
Theoretical Computer Science, Volume 1057
Volume 1057, 2025
- Shiying Wang, Wei Feng
:
The diagnosability of multiprocessor systems under the enhanced comparison model. 115534 - Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo:
Strategy templates for almost-sure and positive winning of stochastic parity games towards permissive and resilient control. 115535 - Jiawei Huang
, Wenjie Liu, Hu Ding
:
Bi-criteria sublinear time algorithms for clustering with outliers in high dimensions. 115538 - Ignacio Mollo Cunningham
:
On shuffling and splitting automata. 115539 - Tomás Schitter
, Sergio Abriola, Nicolás González:
A note on busy beaver bounds. 115541 - Vitor Greati
, Revantha Ramanayake
:
Tight length theorems for multiset extensions of Higman's lemma. 115546 - D. Karthika, R. Muthucumaraswamy, Sriram Bhyravarapu, Pritesh Kumar:
Hop domination on subclasses of perfect graphs. 115547 - Luis Gambarte, Iosif Petrakis:
The Grothendieck computability model. 115550 - Kristian Hinnenthal, David Liedtke
, Christian Scheideler:
Efficient shape formation by 3D hybrid programmable matter: An algorithm for low diameter intermediate structures. 115552 - Serafino Cicerone
, Alessia Di Fonso, Gabriele Di Stefano, Alfredo Navarra:
Optimal gathering of robots in anonymous butterfly networks via leader election. 115553 - Asghar Asgharian-Sardroud
, Mohsen Ghasemi, Shuming Zhou:
The 1-good-neighbour diagnosability of modified bubblesort graphs under the PMC and MM* models. 115556 - Gabriel Nivasch
, Oz Rubinstein:
A convergence technique for the game i-MARK. 115557

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.