logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
BackJournal Details
Theoretical Computer Science cover

Theoretical Computer Science

IF1
Papers183
Citations10226
Journal Papers 183
Publication Date
delete
<< -separating domains, strong-compact spaces and FS-domains
deleteTheoretical Computer Science
IF1
delete2026-04-01
delete0
PREAI
deleteLuan, Wei
deleteShare
deleteSave
Differential elimination and algebraic invariants of polynomial dynamical systems
deleteTheoretical Computer Science
IF1
delete2026-04-01
delete0
PREAI
deleteSimmons, William; Platzer, Andre
deleteShare
deleteSave
Fault detection and identification by swarms of autonomous mobile robots
deleteTheoretical Computer Science
IF1
delete2026-04-01
delete0
PREAI
deleteClemente, Stefano; Feletti, Caterina
deleteShare
deleteSave
Undecidability of polynomial inequalities in subset densities and additive energies
deleteTheoretical Computer Science
IF1
delete2026-03-01
delete0
PREAI
deleteLi, Yaqiao; Zhu, Yu
deleteShare
deleteSave
Incremental computation of the set of period sets
deleteTheoretical Computer Science
IF1
delete2026-03-01
delete0
PREAI
deleteRivals, Eric
deleteShare
deleteSave
Parallel derandomization for coloring
deleteTheoretical Computer Science
IF1
delete2026-03-01
delete0
PREAI
deleteCoy, Sam; Czumaj, Artur; Davies-Peck, Peter; Mishra, Gopinath
deleteShare
deleteSave
A hybrid algorithm based on a multiple randomized rounding for set multicover problem: Approximation guarantees and experiments
deleteTheoretical Computer Science
IF1
delete2026-03-01
delete0
PREAI
deleteGorgi, Abbass; Fouadi, Adnane; Ganbouri, Bousselham; El Ouali, Mourad
deleteShare
deleteSave
Largest similar copies of convex polygons in polygonal domains
deleteTheoretical Computer Science
IF1
delete2026-02-13
delete0
PREAI
deleteEom, Taekang; Lee, Seungjun; Ahn, Hee-Kap
deleteShare
deleteSave
Image reflection on process graphs of 1-free regular expressions modulo bisimilarity
deleteTheoretical Computer Science
IF1
delete2026-02-13
delete0
PREAI
deleteZhang, Yuanrui; Liu, Xinxin
deleteShare
deleteSave
Analysis of key reuse security for Aigis.KEM
deleteTheoretical Computer Science
IF1
delete2026-02-13
delete0
PREAI
deleteWang, Ke; Jiang, Haodong; Zhang, Zhenfeng; Chen, Long; Xie, Huiqin
deleteShare
deleteSave
The existence condition of k completely independent spanning tree for some graphs
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete0
PREAI
deleteHong, Xia
deleteShare
deleteSave
QEGS: A Mathematica package for the analysis of quantum extended games
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete0
PREAI
deleteGrzanka, Krzysztof; Gorczyca-Goraj, Anna; Frackiewicz, Piotr; Szopa, Marek
deleteShare
deleteSave
Topological network-control games
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete1
PREAI
deleteLiang, Zihui; Khoussainov, Bakh; Yang, Haidong
deleteShare
deleteSave
Respecting lower bounds in uniform lower and upper bounded facility location problem
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete0
PREAI
deleteGupta, Neelima; Grover, Sapna; Dabas, Rajni
deleteShare
deleteSave
Coupled-task scheduling with time windows, bounded pathwidth and bounded slack is para-NP-complete
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete0
PREAI
deleteMallem, Maher; Hanen, Claire; Munier-Kordon, Alix
deleteShare
deleteSave
Undecidability of the emptiness problem for weak models of distributed computing
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete0
deleteOAAI
deletePrincipato, Flavio T.; Ezparza, Javier; Czerner, Philipp
deleteShare
deleteSave
Proportional allocations of multi-layered cakes
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete0
PREAI
deleteSanpui, Mohammad Azharuddin
deleteShare
deleteSave
Efficient algorithms for the interval maximum coverage problem
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete0
PREAI
deleteMettanant, Vacharapat
deleteShare
deleteSave
Weakly leveled planarity with bounded span
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete0
PREAI
deleteBekos, Michael A.; Da Lozzo, Giordano; Frati, Fabrizio; Gupta, Siddharth; Kindermann, Philipp; Liotta, Giuseppe; Rutter, Ignaz; Tollis, Ioannis G.
deleteShare
deleteSave
SOBRA-Shielding Optimization for BRAchytherapy
deleteTheoretical Computer Science
IF1
delete2026-02-01
delete0
deleteOAAI
deleteBlin, Guillaume; Miclaus, Adrian; Ordyniak, Sebastian; Popa, Alexandru
deleteShare
deleteSave