Journal of Computer and System Sciences

Papers
(The median citation count of Journal of Computer and System Sciences is 1. 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 2020-11-01 to 2024-11-01.)
ArticleCitations
On temporal graph exploration24
Deleting edges to restrict the size of an epidemic in temporal networks21
On Weisfeiler-Leman invariance: Subgraph counts and related graph properties20
Counting and enumerating tree-child networks and their subclasses20
A secure searchable encryption scheme for cloud using hash-based indexing19
Unique end of potential line17
Temporal cliques admit sparse spanners16
Sliding window temporal graph coloring13
The Hairy Ball problem is PPAD-complete13
Computing exact solutions of consensus halving and the Borsuk-Ulam theorem12
Orthogonal planarity testing of bounded treewidth graphs12
Assigning times to minimise reachability in temporal graphs12
The complexity of reachability in parametric Markov decision processes11
Block trees11
How fast can we reach a target vertex in stochastic temporal graphs?11
Grammar-compressed indexes with logarithmic search time10
The temporal explorer who returns to the base9
TCEP: Transitions in operator placement to adapt to dynamic network environments8
Lattice-based unidirectional infinite-use proxy re-signatures with private re-signature key8
An improved algorithm for the Steiner tree problem with bounded edge-length7
An efficiently computable characterization of stability and instability for linear cellular automata7
Minimizing the operation cost of distributed green data centers with energy storage under carbon capping7
Refined notions of parameterized enumeration kernels with applications to matching cut enumeration7
Subexponential algorithm for d-cluster edge deletion: Exception or rule?6
Improved distance sensitivity oracles with subcubic preprocessing time6
Unlabeled sample compression schemes and corner peelings for ample and maximum classes6
The possible winner with uncertain weights problem6
Renaissance: A self-stabilizing distributed SDN control plane using in-band communications6
Coloring temporal graphs6
Complexity of fixed point counting problems in Boolean networks6
Word equations in non-deterministic linear space5
On the profits of competing cloud service providers: A game theoretic approach5
Secure-channel free searchable encryption with multiple keywords: A generic construction, an instantiation, and its implementation5
When are emptiness and containment decidable for probabilistic automata?5
Additive approximation algorithms for modularity maximization5
Preimage problems for deterministic finite automata5
More on change-making and related problems5
Induced Disjoint Paths in AT-free graphs5
Medians in median graphs and their cube complexes in linear time5
Lattice-based weak-key analysis on single-server outsourcing protocols of modular exponentiations and basic countermeasures4
Succinct representation for (non)deterministic finite automata4
Intersection joins under updates4
Uniform parsing for hyperedge replacement grammars4
Measuring what matters: A hybrid approach to dynamic programming with treewidth4
Finding connected secluded subgraphs4
Scheduling lower bounds via AND subset sum4
Graph reconstruction in the congested clique4
A modeling approach for estimating performance and energy consumption of storage systems4
Disconnected cuts in claw-free graphs4
Approximate CVP in time 20.8024
Speeding-up verification of digital signatures4
Understanding PPA-completeness4
Equivalence checking of quantum finite-state machines4
Incompressibility of H-free edge modification problems: Towards a dichotomy4
Polynomial anonymous dynamic distributed computing without a unique leader4
Approximating the existential theory of the reals4
Exploration of dynamic networks: Tight bounds on the number of agents4
Beyond operator-precedence grammars and languages4
Computing maximum matchings in temporal graphs3
Maximum parsimony distance on phylogenetic trees: A linear kernel and constant factor approximation algorithm3
Parameterized k-Clustering: Tractability island3
Perpetual maintenance of machines with different urgency requirements3
Automatic Kolmogorov complexity, normality, and finite-state dimension revisited3
Bisection of bounded treewidth graphs by convolutions3
O is an n-MCFL3
Multistage knapsack3
Complexity of stability3
Counting subset repairs with functional dependencies3
A Turing kernelization dichotomy for structural parameterizations of F-Minor-3
The Projection Games Conjecture and the hardness of approximation of super-SAT and related problems3
Quantum random access stored-program machines3
A 43-approximati3
A 1.375-approximation algorithm for unsigned translocation sorting3
The complexity of the parity argument with potential3
Many-visits TSP revisited3
Edge fault-tolerance analysis of maximally edge-connected graphs and super edge-connected graphs3
On the fast delivery problem with one or two packages3
Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic3
Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem3
A maximum clique based approximation algorithm for wireless link scheduling under SINR model3
Multi-round cooperative search games with multiple players2
Descriptive complexity of #P functions: A new perspective2
Space efficient representations of finite groups2
Reducing graph transversals via edge contractions2
Computing Weighted Subset Odd Cycle Transversals in H-free graphs2
Reachability relations of timed pushdown automata2
Markov chains and unambiguous automata2
Attack and defense in the layered cyber-security model and their (1 ± ϵ)-approximation schemes2
Discriminantal subset convolution: Refining exterior-algebraic methods for parameterized algorithms2
A counterexample to Thiagarajan's conjecture on regular event structures2
On approximate pure Nash equilibria in weighted congestion games with polynomial latencies2
The tree-generative capacity of combinatory categorial grammars2
The 2CNF Boolean formula satisfiability problem and the linear space hypothesis2
Bivariate B-splines from convex configurations2
Galactic token sliding2
The satisfiability problem for a quantitative fragment of PCTL2
Regularizing conjunctive features for classification2
Addition machines, automatic functions and open problems of Floyd and Knuth2
Bidding mechanisms in graph games2
Linear-time 2-party secure merge from additively homomorphic encryption2
Optimal channel utilization with limited feedback2
On the threshold of intractability2
Descriptive complexity of deterministic polylogarithmic time and space2
Complexity of the multilevel critical node problem2
An improved algorithm for the minmax regret path center problem on trees2
On finding separators in temporal split and permutation graphs2
A 4 + ϵ approximation for k-connected subgraphs2
Universal stability in multi-hop radio networks2
An extension of the Moran process using type-specific connection graphs2
Greedy routing and the algorithmic small-world phenomenon2
Equivalence of pushdown automata via first-order grammars2
Balanced allocation on hypergraphs2
Approximating partition functions of bounded-degree Boolean counting Constraint Satisfaction Problems2
Monitoring the edges of a graph using distances with given girth2
An almost optimal approximation algorithm for monotone submodular multiple knapsack2
A dichotomy for bounded degree graph homomorphisms with nonnegative weights2
Deep kernelization for the Tree Bisection and Reconnection (TBR) distance in phylogenetics1
Parameterized complexity of graph planarity with restricted cyclic orders1
Analytic methods for reachability problems1
Bankrupting Sybil despite churn1
SAT backdoors: Depth beats size1
Circular pattern matching with k mismatches1
Non-essential arcs in phylogenetic networks1
Polynomial time approximation schemes for clustering in low highway dimension graphs1
Your rugby mates don't need to know your colleagues: Triadic closure with edge colors1
(In)approximability of maximum minimal FVS1
Absolute convergence and error thresholds in non-active adaptive sampling1
Faster compressed quadtrees1
How heavy independent sets help to find arborescences with many leaves in DAGs1
Preprocessing vertex-deletion problems: Characterizing graph properties by low-rank adjacencies1
Improved prophet inequalities for combinatorial welfare maximization with (approximately) subadditive agents1
On convergence and threshold properties of discrete Lotka-Volterra population protocols1
Solving problems on generalized convex graphs via mim-width1
Fast and succinct population protocols for Presburger arithmetic1
Cutting corners1
A physically universal Turing machine1
Dual domination problems in graphs1
Deterministic protocols in the SINR model without knowledge of coordinates1
Fine-grained complexity of rainbow coloring and its variants1
Almost optimal query algorithm for hitting set using a subset query1
Single-source shortest paths and strong connectivity in dynamic planar graphs1
Building squares with optimal state complexity in restricted active self-assembly1
Online bin covering with limited migration1
Deciding the point-to-fixed-point problem for skew tent maps on an interval1
Polynomially ambiguous probabilistic automata on restricted languages1
Wireless IoT sensors data collection reward maximization by leveraging multiple energy- and storage-constrained UAVs1
On injectivity of quantum finite automata1
Parameterized complexity of multi-node hubs1
Length-bounded cuts: Proper interval graphs and structural parameters1
Decidable problems in substitution shifts1
0.026489973068237