Login / Signup
J. Comput. Syst. Sci.
1967
1987
2002
2024
1967
2024
Keyphrases
Publications
volume 146, 2024
Johanna Björklund
The impact of state merging on predictive accuracy in probabilistic tree automata: Dietze's conjecture revisited.
J. Comput. Syst. Sci.
146 (2024)
Nina Klobas
,
George B. Mertzios
,
Hendrik Molter
,
Paul G. Spirakis
The complexity of computing optimum labelings for temporal connectivity.
J. Comput. Syst. Sci.
146 (2024)
volume 145, 2024
Anuj Dawar
Corrigendum to "Homomorphism preservation on quasi-wide classes" [J. Comput. Syst. Sci. 76 (5) (2010) 324-332].
J. Comput. Syst. Sci.
145 (2024)
Zhao Wang
,
Yaping Mao
,
Sun-Yuan Hsieh
,
Ralf Klasing
,
Yuzhi Xiao
The g-extra connectivity of graph products.
J. Comput. Syst. Sci.
145 (2024)
volume 144, 2024
Danny Hermelin
,
Yuval Itzhaki
,
Hendrik Molter
,
Dvir Shabtay
On the parameterized complexity of interval scheduling with eligible machine sets.
J. Comput. Syst. Sci.
144 (2024)
Huib Donkers
,
Bart M. P. Jansen
Preprocessing to reduce the search space: Antler structures for feedback vertex set.
J. Comput. Syst. Sci.
144 (2024)
Mahboubeh Samadi
,
Fatemeh Ghassemi
,
Ramtin Khosravi
Decentralized deadlock-free enforcement of message orderings in message-based systems.
J. Comput. Syst. Sci.
144 (2024)
Radovan Cervený
,
Pratibha Choudhary
,
Ondrej Suchý
On kernels for d-path vertex cover.
J. Comput. Syst. Sci.
144 (2024)
Hendrik Molter
,
Malte Renken
,
Philipp Zschoche
Temporal reachability minimization: Delaying vs. deleting.
J. Comput. Syst. Sci.
144 (2024)
Laurent Bulteau
,
Louxin Zhang
The tree-child network inference problem for line trees and the shortest common supersequence problem for permutation strings.
J. Comput. Syst. Sci.
144 (2024)
Cristiano Bocci
,
Chiara Capresi
,
Kitty Meeks
,
John Sylvester
A new temporal interpretation of cluster editing.
J. Comput. Syst. Sci.
144 (2024)
Spyros Angelopoulos
,
Christoph Dürr
,
Shendan Jin
,
Shahin Kamali
,
Marc P. Renault
Online computation with untrusted advice.
J. Comput. Syst. Sci.
144 (2024)
Josep Díaz
,
Öznur Yasar Diner
,
Maria J. Serna
,
Oriol Serra
On minimum vertex bisection of random d-regular graphs.
J. Comput. Syst. Sci.
144 (2024)
Isnard Lopes Costa
,
Raul Lopes
,
Andrea Marino
,
Ana Silva
On computing large temporal (unilateral) connected components.
J. Comput. Syst. Sci.
144 (2024)
Victor Chepoi
,
Kolja Knauer
,
Manon Philibert
Labeled sample compression schemes for complexes of oriented matroids.
J. Comput. Syst. Sci.
144 (2024)
Thomas Erlebach
,
Nils Morawietz
,
Jakob T. Spooner
,
Petra Wolf
A cop and robber game on edge-periodic temporal graphs.
J. Comput. Syst. Sci.
144 (2024)
Sebastian Ordyniak
,
André Schidler
,
Stefan Szeider
Backdoor DNFs.
J. Comput. Syst. Sci.
144 (2024)
volume 143, 2024
Jasine Babu
,
Ajay Saju Jacob
,
R. Krithika
,
Deepak Rajendraprasad
Packing arc-disjoint cycles in oriented graphs.
J. Comput. Syst. Sci.
143 (2024)
Chenxu Yang
,
Gang Yang
,
Sun-Yuan Hsieh
,
Yaping Mao
,
Ralf Klasing
Monitoring the edges of a graph using distances with given girth.
J. Comput. Syst. Sci.
143 (2024)
Marie-Pierre Béal
,
Dominique Perrin
,
Antonio Restivo
Decidable problems in substitution shifts.
J. Comput. Syst. Sci.
143 (2024)
volume 142, 2024
Alexis Poindron
The maximal coordination principle in regulatory Boolean networks.
J. Comput. Syst. Sci.
142 (2024)
Steven Kelk
,
Simone Linz
,
Ruben Meuwese
Deep kernelization for the Tree Bisection and Reconnection (TBR) distance in phylogenetics.
J. Comput. Syst. Sci.
142 (2024)
Jan Dreier
,
Sebastian Ordyniak
,
Stefan Szeider
SAT backdoors: Depth beats size.
J. Comput. Syst. Sci.
142 (2024)
Sayan Bandyapadhyay
,
Fedor V. Fomin
,
Kirill Simonov
On coresets for fair clustering in metric and Euclidean spaces and their applications.
J. Comput. Syst. Sci.
142 (2024)
volume 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)
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)
James Aspnes
,
Othon Michail
Special Issue on the 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022).
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
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)
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)
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)
Philipp Czerner
,
Roland Guttenberg
,
Martin Helfrich
,
Javier Esparza
Fast and succinct population protocols for Presburger arithmetic.
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)
Miroslav Chodil
,
Antonín Kucera
The satisfiability problem for a quantitative fragment of PCTL.
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)
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)
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)
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
Catherine S. Greenhill
,
Bernard Mans
,
Ali Pourmiri
Balanced allocation on hypergraphs.
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)
Elijah Hradovich
,
Marek Klonowski
,
Dariusz R. Kowalski
Restrained medium access control on adversarial shared channels.
J. Comput. Syst. Sci.
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)
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)