Sign in
J. Comput. Syst. Sci.
1967
1986
2005
2024
1967
2024
Keyphrases
Publications
volume 141, 2024
James Aspnes
,
Othon Michail
Special Issue on the 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022).
J. Comput. Syst. Sci.
141 (2024)
Jinyan Su
,
Jinhui Xu
,
Di Wang
PAC learning halfspaces in non-interactive local differential privacy model with public unlabeled data.
J. Comput. Syst. Sci.
141 (2024)
Shenggen Zheng
,
Yaqiao Li
,
Minghua Pan
,
Jozef Gruska
,
Lvzhou Li
Lifting query complexity to time-space complexity for two-way finite automata.
J. Comput. Syst. Sci.
141 (2024)
Davide Bilò
,
Gianlorenzo D'Angelo
,
Luciano Gualà
,
Stefano Leucci
,
Mirko Rossi
Blackout-tolerant temporal spanners.
J. Comput. Syst. Sci.
141 (2024)
volume 140, 2024
Philipp Czerner
,
Roland Guttenberg
,
Martin Helfrich
,
Javier Esparza
Fast and succinct population protocols for Presburger arithmetic.
J. Comput. Syst. Sci.
140 (2024)
Elise Deen
,
Leo van Iersel
,
Remie Janssen
,
Mark Jones
,
Yukihiro Murakami
,
Norbert Zeh
A near-linear kernel for bounded-state parsimony distance.
J. Comput. Syst. Sci.
140 (2024)
Keqin Li
Performance modeling and analysis for randomly walking mobile users with Markov chains.
J. Comput. Syst. Sci.
140 (2024)
Flavia Bonomo-Braberman
,
Nick Brettell
,
Andrea Munaro
,
Daniël Paulusma
Solving problems on generalized convex graphs via mim-width.
J. Comput. Syst. Sci.
140 (2024)
Katharina T. Huber
,
Leo van Iersel
,
Remie Janssen
,
Mark Jones
,
Vincent Moulton
,
Yukihiro Murakami
,
Charles Semple
Orienting undirected phylogenetic networks.
J. Comput. Syst. Sci.
140 (2024)
Haoqiang Huang
,
Zihe Wang
,
Zhide Wei
,
Jie Zhang
Bounded incentives in manipulating the probabilistic serial rule.
J. Comput. Syst. Sci.
140 (2024)
Peter L. Bartlett
,
Philip M. Long
Corrigendum to "Prediction, learning, uniform convergence, and scale-sensitive dimensions" [J. Comput. Syst. Sci. 56 (2) (1998) 174-190].
J. Comput. Syst. Sci.
140 (2024)
volume 139, 2024
Allen Ibiapina
,
Ana Silva
Mengerian graphs: Characterization and recognition.
J. Comput. Syst. Sci.
139 (2024)
Leszek Gasieniec
,
Tomasz Jurdzinski
,
Ralf Klasing
,
Christos Levcopoulos
,
Andrzej Lingas
,
Jie Min
,
Tomasz Radzik
Perpetual maintenance of machines with different urgency requirements.
J. Comput. Syst. Sci.
139 (2024)
René van Bevern
,
Artem M. Kirilin
,
Daniel A. Skachkov
,
Pavel V. Smirnov
,
Oxana Yu. Tsidulko
Serial and parallel kernelization of Multiple Hitting Set parameterized by the Dilworth number, implemented on the GPU.
J. Comput. Syst. Sci.
139 (2024)
Miroslav Chodil
,
Antonín Kucera
The satisfiability problem for a quantitative fragment of PCTL.
J. Comput. Syst. Sci.
139 (2024)
Carla Binucci
,
Emilio Di Giacomo
,
William J. Lenhart
,
Giuseppe Liotta
,
Fabrizio Montecchiani
,
Martin Nöllenburg
,
Antonios Symvonis
On the complexity of the storyplan problem.
J. Comput. Syst. Sci.
139 (2024)
Francesco Betti Sorbelli
,
Alfredo Navarra
,
Lorenzo Palazzetti
,
Cristina M. Pinotti
,
Giuseppe Prencipe
Wireless IoT sensors data collection reward maximization by leveraging multiple energy- and storage-constrained UAVs.
J. Comput. Syst. Sci.
139 (2024)
volume 138, 2023
Robert M. Alaniz
,
David Caballero
,
Sonya C. Cirlos
,
Timothy Gomez
,
Elise Grizzell
,
Andrew Rodriguez
,
Robert T. Schweller
,
Armando Tenorio
,
Tim Wylie
Building squares with optimal state complexity in restricted active self-assembly.
J. Comput. Syst. Sci.
138 (2023)
Ashwin Jacob
,
Jari J. H. de Kroon
,
Diptapriyo Majumdar
,
Venkatesh Raman
Deletion to scattered graph classes I - Case of finite number of graph classes.
J. Comput. Syst. Sci.
138 (2023)
Florian Bridoux
,
Kévin Perrot
,
Aymeric Picard Marchetto
,
Adrien Richard
Interaction graphs of isomorphic automata networks I: Complete digraph and minimum in-degree.
J. Comput. Syst. Sci.
138 (2023)
Catherine S. Greenhill
,
Bernard Mans
,
Ali Pourmiri
Balanced allocation on hypergraphs.
J. Comput. Syst. Sci.
138 (2023)
Elijah Hradovich
,
Marek Klonowski
,
Dariusz R. Kowalski
Restrained medium access control on adversarial shared channels.
J. Comput. Syst. Sci.
138 (2023)
Dorothea Baumeister
,
Marc Neveling
,
Magnus Roos
,
Jörg Rothe
,
Lena Schend
,
Robin Weishaupt
,
Lirong Xia
The possible winner with uncertain weights problem.
J. Comput. Syst. Sci.
138 (2023)
Huib Donkers
,
Bart M. P. Jansen
,
Jari J. H. de Kroon
-secluded trees faster.
J. Comput. Syst. Sci.
138 (2023)
Spyros Angelopoulos
,
Konstantinos Panagiotou
Weighted online search.
J. Comput. Syst. Sci.
138 (2023)
volume 137, 2023
Brett Hemenway Falk
,
Rohit Nema
,
Rafail Ostrovsky
Linear-time 2-party secure merge from additively homomorphic encryption.
J. Comput. Syst. Sci.
137 (2023)
Arijit Bishnu
,
Arijit Ghosh
,
Sudeshna Kolay
,
Gopinath Mishra
,
Saket Saurabh
Almost optimal query algorithm for hitting set using a subset query.
J. Comput. Syst. Sci.
137 (2023)
Theodoros Papamakarios
,
Alexander A. Razborov
Space characterizations of complexity measures and size-space trade-offs in propositional proof systems.
J. Comput. Syst. Sci.
137 (2023)
Fedor V. Fomin
,
Petr A. Golovach
,
William Lochet
,
Danil Sagunov
,
Saket Saurabh
,
Kirill Simonov
Detours in directed graphs.
J. Comput. Syst. Sci.
137 (2023)
George B. Mertzios
,
Hendrik Molter
,
Rolf Niedermeier
,
Viktor Zamaraev
,
Philipp Zschoche
Computing maximum matchings in temporal graphs.
J. Comput. Syst. Sci.
137 (2023)
volume 136, 2023
Paloma T. Lima
,
Vinícius Fernandes dos Santos
,
Ignasi Sau
,
Uéverton S. Souza
,
Prafullkumar Tale
Reducing the vertex cover number via edge contractions.
J. Comput. Syst. Sci.
136 (2023)
Julio Aracena
,
Adrien Richard
,
Lilian Salinas
Synchronizing Boolean networks asynchronously.
J. Comput. Syst. Sci.
136 (2023)
Sanjay Jain
,
Xiaodong Jia
,
Ammar Fathin Sabili
,
Frank Stephan
Addition machines, automatic functions and open problems of Floyd and Knuth.
J. Comput. Syst. Sci.
136 (2023)
Tomoyuki Yamakami
The 2CNF Boolean formula satisfiability problem and the linear space hypothesis.
J. Comput. Syst. Sci.
136 (2023)
Bharat Adsul
,
Saptarshi Sarkar
,
A. V. Sreejith
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words.
J. Comput. Syst. Sci.
136 (2023)
Fedor V. Fomin
,
Petr A. Golovach
,
Nidhi Purohit
Parameterized complexity of categorical clustering with size constraints.
J. Comput. Syst. Sci.
136 (2023)
Siddharth Gupta
,
Guy Sa'ar
,
Meirav Zehavi
Grid recognition: Classical and parameterized computational perspectives.
J. Comput. Syst. Sci.
136 (2023)
Lukas Behrendt
,
Katrin Casel
,
Tobias Friedrich
,
J. A. Gregor Lagodzinski
,
Alexander Löser
,
Marcus Wilhelm
From symmetry to asymmetry: Generalizing TSP approximations by parametrization.
J. Comput. Syst. Sci.
136 (2023)
Christel Baier
,
Stefan Kiefer
,
Joachim Klein
,
David Müller
,
James Worrell
Markov chains and unambiguous automata.
J. Comput. Syst. Sci.
136 (2023)
Ashwin Jacob
,
Diptapriyo Majumdar
,
Venkatesh Raman
Deletion to scattered graph classes II - improved FPT algorithms for deletion to pairs of graph classes.
J. Comput. Syst. Sci.
136 (2023)
Miika Hannula
,
Xinyi Li
,
Sebastian Link
Controlling entity integrity with key sets.
J. Comput. Syst. Sci.
136 (2023)
David Caballero
,
Timothy Gomez
,
Robert T. Schweller
,
Tim Wylie
Complexity of verification in self-assembly with prebuilt assemblies.
J. Comput. Syst. Sci.
136 (2023)
Valentin Bartier
,
Nicolas Bousquet
,
Amer E. Mouawad
Galactic token sliding.
J. Comput. Syst. Sci.
136 (2023)
volume 135, 2023
Giuseppe Liotta
,
Ignaz Rutter
,
Alessandra Tappini
Parameterized complexity of graph planarity with restricted cyclic orders.
J. Comput. Syst. Sci.
135 (2023)
Palash Dey
,
Neeldhara Misra
On the exact amount of missing information that makes finding possible winners hard.
J. Comput. Syst. Sci.
135 (2023)
Jin-Yi Cai
,
Austen Z. Fan
,
Yin Liu
Bipartite 3-regular counting problems with mixed signs.
J. Comput. Syst. Sci.
135 (2023)
John Andrews
,
Michele Ciampi
,
Vassilis Zikas
Etherless Ethereum tokens: Simulating native tokens in Ethereum.
J. Comput. Syst. Sci.
135 (2023)
Nicolas Maack
,
Hendrik Molter
,
Rolf Niedermeier
,
Malte Renken
On finding separators in temporal split and permutation graphs.
J. Comput. Syst. Sci.
135 (2023)
Cristina G. Fernandes
,
Carla Negri Lintzmayer
How heavy independent sets help to find arborescences with many leaves in DAGs.
J. Comput. Syst. Sci.
135 (2023)
Thomas Erlebach
,
Jakob T. Spooner
Parameterised temporal exploration problems.
J. Comput. Syst. Sci.
135 (2023)