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 2021-02-01 to 2025-02-01.)
ArticleCitations
Bounded incentives in manipulating the probabilistic serial rule24
Solving problems on generalized convex graphs via mim-width21
The maximal coordination principle in regulatory Boolean networks19
SAT backdoors: Depth beats size16
Selective monitoring14
Editorial Board13
A 43-approximati13
Exploration of dynamic networks: Tight bounds on the number of agents12
The temporal explorer who returns to the base12
Clocked population protocols12
A 4 + ϵ approximation for k-connected subgraphs11
Special issue on Algorithmic Theory of Dynamic Networks and Its Applications – Preface10
Improved prophet inequalities for combinatorial welfare maximization with (approximately) subadditive agents9
Editorial Board8
Deterministic non-adaptive contention resolution on a shared channel8
Etherless Ethereum tokens: Simulating native tokens in Ethereum7
Online bin covering with limited migration7
Reducing the vertex cover number via edge contractions7
Parameterised temporal exploration problems7
O is an n-MCFL6
Latency, capacity, and distributed minimum spanning trees6
Covering metric spaces by few trees6
Parameterized complexity of categorical clustering with size constraints6
Assigning times to minimise reachability in temporal graphs6
Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem6
A maximum clique based approximation algorithm for wireless link scheduling under SINR model5
Minimum separator reconfiguration5
Corrigendum to “Prediction, learning, uniform convergence, and scale-sensitive dimensions” [J. Comput. Syst. Sci. 56 (2) (1998) 174–190]5
The satisfiability problem for a quantitative fragment of PCTL5
Speeding-up verification of digital signatures5
Bivariate B-splines from convex configurations5
Polynomially ambiguous probabilistic automata on restricted languages5
Measuring what matters: A hybrid approach to dynamic programming with treewidth5
Editorial Board4
Detours in directed graphs4
Building squares with optimal state complexity in restricted active self-assembly4
Labeled sample compression schemes for complexes of oriented matroids4
Special Issue on the 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022)4
On finding separators in temporal split and permutation graphs4
The 2CNF Boolean formula satisfiability problem and the linear space hypothesis4
Preprocessing vertex-deletion problems: Characterizing graph properties by low-rank adjacencies4
Approximate CVP in time 20.8024
Searching by heterogeneous agents4
Priority Promotion with Parysian flair4
The complexity of binary matrix completion under diameter constraints4
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems4
Lifting query complexity to time-space complexity for two-way finite automata4
Bankrupting Sybil despite churn4
A new temporal interpretation of cluster editing4
PAC learning halfspaces in non-interactive local differential privacy model with public unlabeled data4
Undecidability of the speed positiveness problem in reversible and complete Turing machines3
A dichotomy for bounded degree graph homomorphisms with nonnegative weights3
Bidding mechanisms in graph games3
46th International Colloquium on Automata, Languages and Programming (ICALP 2019) - Track C: Foundations of networks and multi-agent systems3
Single-source shortest paths and strong connectivity in dynamic planar graphs3
Greedy routing and the algorithmic small-world phenomenon3
Complexity of verification in self-assembly with prebuilt assemblies3
Editorial Board3
Editorial – Special issue on Concurrency Theory (CONCUR 2018)3
Analytic methods for reachability problems3
Closure and nonclosure properties of the classes of compressible and rankable sets3
Editorial Board3
Modular SAT-based techniques for reasoning tasks in team semantics3
Largest common prefix of a regular tree language3
Quantum random access stored-program machines3
Bisection of bounded treewidth graphs by convolutions3
On the parameterized complexity of Grid Contraction3
Uniform parsing for hyperedge replacement grammars3
Approximating the existential theory of the reals3
Efficiently enumerating hitting sets of hypergraphs arising in data profiling3
Reachability relations of timed pushdown automata3
Parameterized complexity of graph planarity with restricted cyclic orders2
The impact of state merging on predictive accuracy in probabilistic tree automata: Dietze's conjecture revisited2
Editorial Board2
Mengerian graphs: Characterization and recognition2
Descriptive complexity of #P functions: A new perspective2
Computing Weighted Subset Odd Cycle Transversals in H-free graphs2
Addition machines, automatic functions and open problems of Floyd and Knuth2
Complexity of fixed point counting problems in Boolean networks2
Performance modeling and analysis for randomly walking mobile users with Markov chains2
Faster compressed quadtrees2
Resource-bounded Kolmogorov complexity provides an obstacle to soficness of multidimensional shifts2
How heavy independent sets help to find arborescences with many leaves in DAGs2
A linear algorithm for radio k-coloring of powers of paths having small diameters2
Polynomial anonymous dynamic distributed computing without a unique leader2
Almost optimal query algorithm for hitting set using a subset query2
Preimage problems for deterministic finite automata2
An extension of the Moran process using type-specific connection graphs2
Deep kernelization for the Tree Bisection and Reconnection (TBR) distance in phylogenetics2
Editorial Board2
Succinct representation for (non)deterministic finite automata2
The possible winner with uncertain weights problem2
Editorial Board2
Arithmetical complexity of the language of generic limit sets of cellular automata2
Serial and parallel kernelization of Multiple Hitting Set parameterized by the Dilworth number, implemented on the GPU2
Intersection joins under updates2
A modeling approach for estimating performance and energy consumption of storage systems2
On kernels for d-path vertex cover2
Improved distance sensitivity oracles with subcubic preprocessing time2
On coresets for fair clustering in metric and Euclidean spaces and their applications2
Algorithms for hierarchical and semi-partitioned parallel scheduling2
Approximation algorithms for clustering with dynamic points2
Complexity of the multilevel critical node problem1
An almost optimal approximation algorithm for monotone submodular multiple knapsack1
A secure searchable encryption scheme for cloud using hash-based indexing1
Packing arc-disjoint cycles in oriented graphs1
Automatic Kolmogorov complexity, normality, and finite-state dimension revisited1
Reducing graph transversals via edge contractions1
Fine-grained complexity of rainbow coloring and its variants1
A Turing kernelization dichotomy for structural parameterizations of F-Minor-1
Your rugby mates don't need to know your colleagues: Triadic closure with edge colors1
Grammar-compressed indexes with logarithmic search time1
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases1
The complexity of online bribery in sequential elections1
Editorial Board1
On approximate pure Nash equilibria in weighted congestion games with polynomial latencies1
Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic1
Medians in median graphs and their cube complexes in linear time1
Galactic token sliding1
Regularizing conjunctive features for classification1
Absolute convergence and error thresholds in non-active adaptive sampling1
The tree-generative capacity of combinatory categorial grammars1
(In)approximability of maximum minimal FVS1
Editorial Board1
Dual domination problems in graphs1
Length-bounded cuts: Proper interval graphs and structural parameters1
The Projection Games Conjecture and the hardness of approximation of super-SAT and related problems1
Decidable problems in substitution shifts1
Incompressibility of H-free edge modification problems: Towards a dichotomy1
Block trees1
Nominal syntax with atom substitutions1
Editorial Board1
Parameterized complexity of multi-node hubs1
Editorial Board1
Additive approximation algorithms for modularity maximization1
0.17108511924744