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