default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 1044

> 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 1044, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/tcs/VoogdKJW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/VoogdKJW25
Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen, Andrzej Wasowski:
Compositional symbolic execution semantics. 115263
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/MartinezNR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MartinezNR25
Conrado Martínez, Cyril Nicaud, Pablo Rotondo:
Mathematical models to analyze Lua hybrid tables. 115264
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/GuoDHXZ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GuoDHXZ25
Xinru Guo, Sijia Dai, Xinxin Han, Yicheng Xu, Yong Zhang:
Time and energy driven online scheduling problem in EV charging. 115266
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AraujoBFFS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AraujoBFFS25
Samuel N. Araújo, João Marcos Brito, Raquel Folz, Rosiane de Freitas, Rudini M. Sampaio:
Algorithms and complexity of graph convexity partizan games. 115267
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ZhangZMP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ZhangZMP25
Shasha Zhang, Jie Zhou, Yanfang Ma, Haiyu Pan:
Alternating refinement relations for fuzzy concurrent game structures. 115268
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LeeYH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LeeYH25
Chien-Ting Lee, Chang-Biau Yang, Kuo-Si Huang:
The merged longest common increasing subsequence problem. 115269
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AbhinavJS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AbhinavJS25
Ankit Abhinav, Satyabrata Jana, Abhishek Sahu:
Towards transitive-free digraphs. 115270
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/AmiriPRSSV25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AmiriPRSSV25
Saeed Akhoondian Amiri, Alexandru Popa, Mohammad Roghani, Golnoosh Shahkarami, Reza Soltani, Hossein Vahidi:
Complexity of computing the anti-Ramsey numbers for paths. 115271
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Kshemkalyani25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Kshemkalyani25
Ajay D. Kshemkalyani:
Dispersion of mobile robots on graphs in the asynchronous model. 115272
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/ShiHYN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ShiHYN25
Feng Shi, Daoyu Huang, Xiankun Yan, Frank Neumann:
Runtime performance of evolutionary algorithms for the chance-constrained makespan scheduling problem. 115274
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/LvWL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LvWL25
Xiaowei Lv, Yongcai Wang, Deying Li:
Maximum core spanning tree maintenance for large dynamic graphs. 115278

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.