Login / Signup
Theory Comput. Syst.
1997
2007
2012
2024
1997
2024
Keyphrases
Publications
volume 68, number 1, 2024
Vincent Froese
,
Pascal Kunz
,
Philipp Zschoche
Disentangling the Computational Complexity of Network Untangling.
Theory Comput. Syst.
68 (1) (2024)
Frank Gurski
,
Jörg Rothe
,
Robin Weishaupt
Stability, Vertex Stability, and Unfrozenness for Special Graph Classes.
Theory Comput. Syst.
68 (1) (2024)
Pierre Bergé
,
Guillaume Ducoffe
,
Michel Habib
Subquadratic-time Algorithm for the Diameter and all Eccentricities on Median Graphs.
Theory Comput. Syst.
68 (1) (2024)
Qisheng Wang
,
Mingsheng Ying
Quantum Algorithm for Lexicographically Minimal String Rotation.
Theory Comput. Syst.
68 (1) (2024)
Vahan Mkrtchyan
,
Garik Petrosyan
,
K. Subramani
,
Piotr Wojciechowski
On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective.
Theory Comput. Syst.
68 (1) (2024)
Andreas Maletti
,
Andreea-Teodora Nász
Weighted Tree Automata with Constraints.
Theory Comput. Syst.
68 (1) (2024)
volume 68, number 2, 2024
Yijie Chen
,
Kewei Lv
New Results on the Remote Set Problem and Its Applications in Complexity Study.
Theory Comput. Syst.
68 (2) (2024)
Marcus Schaefer
,
Daniel Stefankovic
Beyond the Existential Theory of the Reals.
Theory Comput. Syst.
68 (2) (2024)
Marat Kh. Faizrahmanov
On Non-principal Arithmetical Numberings and Families.
Theory Comput. Syst.
68 (2) (2024)
K. Subramani
,
Piotr Wojciechowki
,
Alvaro Velasquez
Farkas Bounds on Horn Constraint Systems.
Theory Comput. Syst.
68 (2) (2024)
Hoàng-Oanh Le
,
Van Bang Le
Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs.
Theory Comput. Syst.
68 (2) (2024)
volume 68, number 3, 2024
Hyunjoon Cheon
,
Joonghyuk Hahn
,
Yo-Sub Han
On the Decidability of Infix Inclusion Problem.
Theory Comput. Syst.
68 (3) (2024)
Ekaterina N. Shemetova
,
Alexander Okhotin
,
Semyon V. Grigorev
Rational Index of Languages Defined by Grammars with Bounded Dimension of Parse Trees.
Theory Comput. Syst.
68 (3) (2024)
Lehilton L. C. Pedrosa
,
Mauro R. C. da Silva
,
Rafael C. S. Schouery
Approximation Algorithms for the MAXSPACE Advertisement Problem.
Theory Comput. Syst.
68 (3) (2024)
Pankaj Kumar Das
,
Subodh Kumar
Linear Codes Correcting Repeated Bursts Equipped with Homogeneous Distance.
Theory Comput. Syst.
68 (3) (2024)
Giovanni Pighizzini
,
Luca Prigioniero
,
Simon Sádovský
Performing Regular Operations with 1-Limited Automata.
Theory Comput. Syst.
68 (3) (2024)
Cornelis A. Middelburg
Imperative Process Algebra and Models of Parallel Computation.
Theory Comput. Syst.
68 (3) (2024)
Ondrej Klíma
,
Jonatan Kolegar
Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words.
Theory Comput. Syst.
68 (3) (2024)
Joel D. Day
,
Vijay Ganesh
,
Nathan Grewal
,
Matthew Konefal
,
Florin Manea
A Closer Look at the Expressive Power of Logics Based on Word Equations.
Theory Comput. Syst.
68 (3) (2024)
Volker Diekert
,
Mikhail Volkov
Preface of the Special Issue Dedicated to Selected Papers from DLT 2022.
Theory Comput. Syst.
68 (3) (2024)
Markus Lohrey
,
Florian Stober
,
Armin Weiß
The Power Word Problem in Graph Products.
Theory Comput. Syst.
68 (3) (2024)
volume 67, number 3, 2023
Daniel Apon
,
William Gasarch
,
Kevin Lawler
The Complexity of Grid Coloring.
Theory Comput. Syst.
67 (3) (2023)
Satyadev Nandakumar
,
Subin Pulari
Ergodic Theorems and Converses for PSPACE Functions.
Theory Comput. Syst.
67 (3) (2023)
Jack H. Lutz
,
Neil Lutz
,
Elvira Mayordomo
Dimension and the Structure of Complexity Classes.
Theory Comput. Syst.
67 (3) (2023)
In Memoriam - Alan Selman (1941 - 2021).
Theory Comput. Syst.
67 (3) (2023)
Zhiguo Fu
,
Jin-Yi Cai
Holographic Algorithms on Domains of General Size.
Theory Comput. Syst.
67 (3) (2023)
volume 67, number 4, 2023
Kaoru Fujioka
On the Hierarchy of Swarm-automaton for the Number of Agents.
Theory Comput. Syst.
67 (4) (2023)
Dariusz R. Kowalski
,
Miguel A. Mosteiro
,
Kevin Zaki
Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model.
Theory Comput. Syst.
67 (4) (2023)
Philip Bille
,
Inge Li Gørtz
Random Access in Persistent Strings and Segment Selection.
Theory Comput. Syst.
67 (4) (2023)
K. Subramani
,
Piotr Wojciechowski
Unit Read-once Refutations for Systems of Difference Constraints.
Theory Comput. Syst.
67 (4) (2023)
Pyry Herva
,
Jarkko Kari
On Forced Periodicity of Perfect Colorings.
Theory Comput. Syst.
67 (4) (2023)
Rustem Takhanov
Computing a Partition Function of a Generalized Pattern-Based Energy over a Semiring.
Theory Comput. Syst.
67 (4) (2023)
Yiannis Giannakopoulos
,
Diogo Poças
A Unifying Approximate Potential for Weighted Congestion Games.
Theory Comput. Syst.
67 (4) (2023)
Sayan Bandyapadhyay
,
Fedor V. Fomin
,
Petr A. Golovach
,
Nidhi Purohit
,
Kirill Simonov
Lossy Kernelization of Same-Size Clustering.
Theory Comput. Syst.
67 (4) (2023)
Christian Glazik
,
Jan Schiemann
,
Anand Srivastav
A One Pass Streaming Algorithm for Finding Euler Tours.
Theory Comput. Syst.
67 (4) (2023)
volume 67, number 5, 2023
Rodolfo Conde
,
Sergio Rajsbaum
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus.
Theory Comput. Syst.
67 (5) (2023)
Jozef Jirásek
,
Ian McQuillan
Visit-Bounded Stack Automata.
Theory Comput. Syst.
67 (5) (2023)
Dariusz R. Kowalski
,
Miguel A. Mosteiro
,
Kevin Zaki
Correction to: Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model.
Theory Comput. Syst.
67 (5) (2023)
Boaz Patt-Shamir
,
Evyatar Yadai
Non-Linear Ski Rental.
Theory Comput. Syst.
67 (5) (2023)
Jaroslav Garvardt
,
Christian Komusiewicz
,
Frank Sommer
The Parameterized Complexity of s-Club with Triangle and Seed Constraints.
Theory Comput. Syst.
67 (5) (2023)
Jarkko Kari
Expansivity and Periodicity in Algebraic Subshifts.
Theory Comput. Syst.
67 (5) (2023)
Henning Fernau
,
Kshitij Gajjar
The Space Complexity of Sum Labelling.
Theory Comput. Syst.
67 (5) (2023)
David Furcy
,
Scott M. Summers
,
Logan Withers
Improved Lower and Upper Bounds on the Tile Complexity of Uniquely Self-Assembling a Thin Rectangle Non-Cooperatively in 3D.
Theory Comput. Syst.
67 (5) (2023)
volume 67, number 6, 2023
David E. Brown
,
David Skidmore
Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams.
Theory Comput. Syst.
67 (6) (2023)
Andreas Darmann
Stability and Welfare in (Dichotomous) Hedonic Diversity Games.
Theory Comput. Syst.
67 (6) (2023)
Léo Gayral
,
Mathieu Sablik
Arithmetical Hierarchy of the Besicovitch-Stability of Noisy Tilings.
Theory Comput. Syst.
67 (6) (2023)
Abdolhamid Ghodselahi
,
Fabian Kuhn
Toward Online Mobile Facility Location on General Metrics.
Theory Comput. Syst.
67 (6) (2023)
Arijit Bishnu
,
Arijit Ghosh
,
Sudeshna Kolay
,
Gopinath Mishra
,
Saket Saurabh
Small Vertex Cover Helps in Fixed-Parameter Tractability of Graph Deletion Problems over Data Streams.
Theory Comput. Syst.
67 (6) (2023)
Vadim E. Levit
,
David Tankus
Well-Covered Graphs With Constraints On Δ And δ.
Theory Comput. Syst.
67 (6) (2023)
Vladan Gloncak
,
Jarl Emil Erla Munkstrup
,
Jakob Grue Simonsen
Implicit Representation of Relations.
Theory Comput. Syst.
67 (6) (2023)