Theoretical Computer Science

Papers
(The TQCC of Theoretical Computer Science is 2. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-04-01 to 2025-04-01.)
ArticleCitations
Editorial Board46
Untangling temporal graphs of bounded degree36
On Conflict-Free Spanning Tree: Mapping tractable and hard instances through the lenses of graph classes34
Oracle separations for non-adaptive collapse-free quantum computing31
Finding a minimum spanning tree with a small non-terminal set30
How to avoid the commuting conversions of IPC28
Shell sort with expected complexity of O(nlog2n)26
A linkable ring signature scheme with unconditional anonymity in the standard model26
Editorial Board24
Network control games played on graphs23
Privacy-preserving file sharing on cloud storage with certificateless signcryption18
Reliability evaluation of complete graph-based recursive networks17
Factorisation in the semiring of finite dynamical systems16
Uncertainty representation in dynamical systems using rough set theory16
Improved FPT approximation scheme and approximate kernel for biclique-free max k-weight SAT: Greedy strikes back15
Editorial Board15
A secure hierarchical deterministic wallet with stealth address from lattices14
Towards a general methodology for formal verification on spiking neural P systems14
The diameter of rectangular twisted torus14
A generalization of properly colored paths and cycles in edge-colored graphs14
A process calculus approach to detection and mitigation of PLC malware14
Not all strangers are the same: The impact of tolerance in Schelling games14
Rational power series in several noncommuting variables and the Skolem–Mahler–Lech theorem13
Editorial Board13
First-order logic axiomatization of metric graph theory13
How real is incomputability in physics?13
Wildcarded identity-based encryption from lattices13
Improvements in the computing efficiency of the probabilities of the LIL test for the PRNG evaluation13
Ordered scheduling in control-flow distributed transactional memory13
On efficiency of notations for natural numbers12
A Petri net view of covalent bonds12
Molecular pattern formation on grids in the Moblot model12
Editorial Board12
Weighted 2-sections and hypergraph reconstruction12
A data structure for substring-substring LCS length queries12
Categorical specification and implementation of Replicated Data Types12
Editorial Board11
Approximation algorithms for fair k-median problem without fairness violation11
Editorial Board11
Approximation by lexicographically maximal solutions in matching and matroid intersection problems11
On geometric shape construction via growth operations11
Behavioural logics for configuration structures11
Editorial Board11
Massively parallel and streaming algorithms for balanced clustering10
A skin microbiome model with AMP interactions and analysis of quasi-stability vs stability in population dynamics10
Editorial Board10
Revisiting maximum satisfiability and related problems in data streams10
Editorial10
On doubly symmetric Dyck words10
On ordering of β-description trees10
Maximal degenerate palindromes with gaps and mismatches10
Improved upper bound for sorting permutations by prefix transpositions10
Query-based selection of optimal candidates under the Mallows model9
Editorial Board9
Computing a metric basis of a bipartite distance-hereditary graph9
Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus9
PPAD-complete approximate pure Nash equilibria in Lipschitz games9
Editorial Board9
The intersection of 3-maximal submonoids9
Online learning of smooth functions9
On prefix palindromic length of automatic words9
Finding dominating induced matchings in P10-free graphs in polynomial time9
Editorial Board9
On the parameterized complexity of the synthesis of Boolean nets with restricted place environments8
Editorial Board8
Monotone k-submodular secretary problems: Cardinality and knapsack constraints8
Syntactic view of sigma-tau generation of permutations8
Editorial Board8
CCA-security from adaptive all-but-one lossy trapdoor functions8
Complexity issues for timeline-based planning over dense time under future and minimal semantics8
Editorial Board8
Call admission problems on grids with advice8
State complexity of finite partial languages8
A relaxed condition for avoiding the occur-check8
Editorial Board8
Editorial Board8
Editorial Board8
Abstract geometrical computation 11: Slanted firing squad synchronisation on signal machines8
An array P system based on a new variant of pure 2D context-free grammars8
Variety of mutual-visibility problems in graphs8
Editorial Board8
Editorial Board8
Editorial Board7
Frontiers of Computability, Randomness, and Complexity (dedicated to the 70th birthday of Professor Cristian Calude)7
Distributed coloring and the local structure of unit-disk graphs7
The family of generalized variational network of cube-connected cycles7
The partial diagnosability of interconnection networks under the Hybrid PMC model7
From semantics to types: The case of the imperative λ-calculus7
Sublinear P system solutions to NP-complete problems7
Guest editorial: Structural Information and Communication Complexity 20217
Recoloring subgraphs of K2 for sports scheduling7
Editorial Board7
Streaming adaptive submodular maximization7
Editorial7
Parameterized complexity of perfectly matched sets7
Structural parameterizations of budgeted graph coloring7
Sorting by prefix block-interchanges7
Computational complexity aspects of super domination7
Degree-anonymization using edge rotations7
Nonuniform SINR+Voronoi diagrams are effectively uniform7
Cellular automata and bootstrap percolation7
The influence of maximum (s,t)-cuts on the competitiveness of deterministic strategies for the Canadian Traveller Problem7
Editorial7
Editorial Board7
Editorial Board7
Extricating web pages from deep web using deaima architecture6
Gaussian downlink user selection subject to access limit, power budget, and rate demands6
Transformations of probability distributions6
Web of things based social media fake news classification with feature extraction using pre-trained convoluted recurrent network with deep fuzzy learning6
Synthesising elementary net systems with localities6
Editorial Board6
Information disclosure in the framework of Kolmogorov complexity6
On the average-case complexity of pattern matching with wildcards6
The diagnosability of wheel networks with the condition: 2-extra6
Editorial Board6
Taming randomness and complexity – Essays in honour of Professor Péter Gács6
The structural complexity landscape of finding balance-fair shortest paths6
Monotonic self-stabilization and its application to robust and adaptive pattern formation6
Complexity of paired domination in AT-free and planar graphs6
On balanced and abelian properties of circular words over a ternary alphabet6
An algorithmic construction of union-intersection-bounded families6
Editorial Board6
Authentication of fragments with short tags6
A linear time algorithm for connected p-centdian problem on block graphs6
Hardness and approximation for the star p-Hub Routing Cost Problem in metric graphs6
Clustering with respect to the information distance6
On the binary digits of n and n26
Editorial6
Performance analysis of distance-1 distributed algorithms for admission control under the 2-hop interference model6
Editorial Board6
Editorial6
Computing the longest common almost-increasing subsequence6
Editorial Board6
Complexity and bounds for disjunctive total bondage6
Digital misinformation and fake news detection using WoT integration with Asian social networks fusion based feature extraction with text and image classification by machine learning architectures6
Dynamic path finding for multi-load agent pickup and delivery problem6
Self-assembly of and optimal encoding within thin rectangles at temperature-1 in 3D6
A parametric worst-case approach to fairness in cooperative games with transferable utility6
Editorial Board6
Password generation using array generating interval timed colored Petri net (AGITCPN) for effective security6
Discovering and certifying lower bounds for the online bin stretching problem6
Certificate complexity of elementary symmetric Boolean functions6
Polymorphic higher-order context-free session types6
Grid exploration by a swarm of autonomous robots with minimum repetitions6
Editorial: Special issue on Algorithms and Computation6
Physical ZKP protocols for Nurimisaki and Kurodoko5
Sequentialization and procedural complexity in automata networks5
On the power of threshold-based algorithms for detecting cycles in the CONGEST model5
Algorithm and hardness results in double Roman domination of graphs5
Editorial Board5
The exponential-time hypothesis and the relative complexity of optimization and logical reasoning problems5
Nonexistence of uniformly most reliable two-terminal graphs5
On distributability5
A theory of L-shaped floor-plans5
Reconstructing parameterized strings from parameterized suffix and LCP arrays5
Preface5
Simple algorithms for partial and simultaneous rectangular duals with given contact orientations5
Improved exploration of unknown polygons5
On the complexity of recognizing Stick, BipHook and Max Point-Tolerance graphs5
Truncating abstraction of bit-vector operations for BDD-based SMT solvers5
Optimally integrating ad auction into e-commerce platforms5
Non-maximal sensitivity to synchronism in elementary cellular automata: Exact asymptotic measures5
Quantitative estimates for the size of an intersection of sparse automatic sets5
Two-disjoint-cycle-cover vertex bipancyclicity of bipartite hypercube-like networks5
Finite and infinite closed-rich words5
A characterization of 2-threshold functions via pairs of prime segments5
Towards composable computations by RNA co-transcriptional folding: A proof-of-concept demonstration of nested loops in oritatami5
Complexity and algorithms for neighbor-sum-2-distinguishing {1,3}-edge-weighting of graphs5
Editorial Board5
Partial sums on the ultra-wide word RAM5
Editorial Board5
Algorithms for energy conservation in heterogeneous data centers5
Bi-immunity over different size alphabets5
Deterministic rendezvous in infinite trees5
Further construction of even-variable balanced rotation symmetric Boolean functions with optimal algebraic immunity5
Hyper star fault tolerance of bubble sort networks5
Polynomial time multiplication and normal forms in free bands5
Agreement forests of caterpillar trees: Complexity, kernelization and branching5
Bipartite instances of INFLUENCE5
APX-hardness and approximation for the k-burning number problem5
Inductive definitions in logic versus programs of real-time cellular automata5
Which is the fairest allocation in the max-min fairness-based coalitional game?5
Checked corecursive streams: Expressivity and completeness5
Approximation algorithms for sorting by bounded singleton moves5
Cops and Robber on some families of oriented graphs5
Deciding atomicity of subword-closed languages5
Optimizing incremental SDN upgrades for load balancing in ISP networks5
Nimber-preserving reduction: Game secrets and homomorphic Sprague-Grundy theorem5
Editorial Board5
Reliability measure of the n-th cartesian product of complete graph K4 on h-extra edge-connectivity5
Editorial Board5
Three remarks on W graphs5
The cardinality constrained inverse center location problems on tree networks with edge length augmentation5
Joint realizability of monotone Boolean functions5
Machines that perform measurements5
Finer-grained reductions in fine-grained hardness of approximation5
Edge open packing: Complexity, algorithmic aspects, and bounds5
On shuffled-square-free words5
Constructing red-black spanners for mixed-charging vehicular networks4
Sample complexity of hidden subgroup problem4
Attractor separation and signed cycles in asynchronous Boolean networks4
Computational power of sequential dendrite P systems4
An improved lower bound for competitive graph exploration4
Power, positive closure, and quotients on convex languages4
The assignment problem4
Decidability and k-regular sequences4
Observation routes and external watchman routes4
Distance problems within Helly graphs and k-Helly graphs4
Towards zero knowledge argument for double discrete logarithm with constant cost4
Sampling polynomial trajectories for LTL verification4
Decision problems and projection languages for restricted variants of two-dimensional automata4
Towards strong regret minimization sets: Balancing freshness and diversity in data selection4
Dispersing and grouping points on planar segments4
On knot-free vertex deletion: Fine-grained parameterized complexity analysis of a deadlock resolution graph problem4
Complexity of some arc-partition problems for digraphs4
Complexity of modification problems for best match graphs4
The Small Set Vertex Expansion Problem4
The Steiner k-eccentricity on trees4
Envy-free relaxations for goods, chores, and mixed items4
On the solution bound of two-sided scaffold filling4
Fault-tolerant distance labeling for planar graphs4
Enabling high reliability via matroidal connectivity and conditional matroidal connectivity on arrangement graph networks4
Hybrid fault-tolerant prescribed hyper-hamiltonian laceability of hypercubes4
Online scheduling of parallelizable jobs in the directed acyclic graphs and speed-up curves models4
Automata for solid codes4
Counting vanishing matrix-vector products4
Overlapping edge unfoldings for convex regular-faced polyhedra4
Reliability analysis of the generalized balanced hypercube4
Parameterised approximation of the fixation probability of the dominant mutation in the multi-type Moran process4
Path partitions of phylogenetic networks4
Hamiltonian cycles of balanced hypercube with more faulty edges4
The road problem and homomorphisms of directed graphs4
Time optimal gathering of myopic robots on an infinite triangular grid4
Algorithms for gerrymandering over graphs4
CPA/CCA2-secure PKE with squared-exponential DFR from low-noise LPN4
User-driven competitive influence maximization in social networks4
Twin-distance-hereditary digraphs4
On the parametrized complexity of read-once refutations in UTVPI+ constraint systems4
Monochromatic arithmetic progressions in binary Thue–Morse-like words4
Computable subcontinua of semicomputable chainable Hausdorff continua4
On the effects of hierarchical self-assembly for reducing program-size complexity4
Graph realization of distance sets4
On coresets for support vector machines4
From decidability to undecidability by considering regular sets of instances4
The longest almost increasing subsequence problem with sliding windows4
A new dynamic programming algorithm for the simplified partial digest problem4
Colourful components in k-caterpillars and planar graphs4
The parameterized complexity of welfare guarantees in Schelling segregation4
Payment scheduling in the Interval Debt Model4
Enumeration of irredundant forests4
0.10953998565674