default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 1045

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 1045, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Ikebuchi25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ikebuchi25
Mirai Ikebuchi:
Cyclic proofs and size-change termination. 115273
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LiuYG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LiuYG25
Zhe Liu, Wenguo Yang, Suixiang Gao:
Finding fair and efficient allocations of indivisible chores. 115275
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ChenSD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ChenSD25
Boxi Chen, Jingfang Su, Hongwei Du:
UAV-based sweep coverage for time-sensitive targets with restricted visible areas. 115276
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/JunnilaLL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JunnilaLL25
Ville Junnila, Tero Laihonen, Tuomo Lehtilä:
Levenshtein's sequence reconstruction problem and results for larger alphabet sizes. 115279
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/GeLWWL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GeLWWL25
Gaotao Ge, Jiafei Liu, Dajin Wang, Jingli Wu, Gaoshi Li:
A novel fault diagnostic algorithm with multiple characteristics for multiprocessor systems. 115281
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LiYH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LiYH25
Yifei Li, Hao Ye, Hejiao Huang:
Task group allocation for multi-load agent pickup and delivery problem. 115277
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AlajajiS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlajajiS25
John Alajaji, Kai Salomaa:
Maximal universal width of an AFA is NP-hard. 115280
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Tale25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Tale25
Prafullkumar Tale:
Telephone Broadcast on graphs of treewidth two. 115282
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BrucknerR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrucknerR25
Guido Brückner, Ignaz Rutter:
Partial and constrained level planarity. 115291
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/JahierADS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JahierADS25
Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna:
Model checking of distributed algorithms using synchronous programs. 115292
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AsconeBM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AsconeBM25
Rocco Ascone, Giulia Bernardini, Luca Manzoni:
Cycles and global attractors of reactantless and inhibitorless reaction systems. 115300

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.