Sign in
Theory Comput. Syst.
1997
2006
2015
2024
1997
2024
Keyphrases
Publications
volume 68, number 1, 2024
Qisheng Wang
,
Mingsheng Ying
Quantum Algorithm for Lexicographically Minimal String Rotation.
Theory Comput. Syst.
68 (1) (2024)
Andreas Maletti
,
Andreea-Teodora Nász
Weighted Tree Automata with Constraints.
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)
Frank Gurski
,
Jörg Rothe
,
Robin Weishaupt
Stability, Vertex Stability, and Unfrozenness for Special Graph Classes.
Theory Comput. Syst.
68 (1) (2024)
Vincent Froese
,
Pascal Kunz
,
Philipp Zschoche
Disentangling the Computational Complexity of Network Untangling.
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)
volume 67, number 2, 2023
Onur Çagirici
On Embeddability of Unit Disk Graphs Onto Straight Lines.
Theory Comput. Syst.
67 (2) (2023)
Frank Gurski
,
Carolin Rehs
,
Jochen Rethmann
Characterizations and Directed Path-Width of Sequence Digraphs.
Theory Comput. Syst.
67 (2) (2023)
Ilya Olkhovsky
,
Alexander Okhotin
On the Transformation of LL(k)-linear to LL(1)-linear Grammars.
Theory Comput. Syst.
67 (2) (2023)
Yefim Dinitz
,
Shlomi Dolev
,
Manish Kumar
Local Deal-Agreement Algorithms for Load Balancing in Dynamic General Graphs.
Theory Comput. Syst.
67 (2) (2023)
Soumik Ghosh
,
John Watrous
Complexity Limitations on One-turn Quantum Refereed Games.
Theory Comput. Syst.
67 (2) (2023)
Abhishek Sahu
,
Saket Saurabh
Kernelization of Arc Disjoint Cycle Packing in α-Bounded Digraphs.
Theory Comput. Syst.
67 (2) (2023)
Yaokun Wu
,
Yinfeng Zhu
Correction to: Submodular Functions and Rooted Trees.
Theory Comput. Syst.
67 (2) (2023)
Henning Fernau
,
Mikhail V. Volkov
Preface of the Special Issue Dedicated to Selected Papers from CSR 2020.
Theory Comput. Syst.
67 (2) (2023)
Ilya Olkhovsky
,
Alexander Okhotin
Correction to: On the Transformation of LL(k)-linear to LL(1)-linear Grammars.
Theory Comput. Syst.
67 (2) (2023)
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)
Joshua A. Grochow
Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality.
Theory Comput. Syst.
67 (3) (2023)
Elvira Mayordomo
,
Mitsunori Ogihara
,
Atri Rudra
Foreword: a Commemorative Issue for Alan L. Selman.
Theory Comput. Syst.
67 (3) (2023)
Atri Rudra
Arithmetic Circuits, Structured Matrices and (not so) Deep Learning.
Theory Comput. Syst.
67 (3) (2023)
Mitsunori Ogiwara
,
Kei Uchizawa
Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions.
Theory Comput. Syst.
67 (3) (2023)
Siddharth Bhaskar
,
Cynthia Kop
,
Jakob Grue Simonsen
Subclasses of Ptime Interpreted by Programming Languages.
Theory Comput. Syst.
67 (3) (2023)
András Z. Salamon
,
Michael Wehar
Effective Guessing Has Unlikely Consequences.
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
Jozef Jirásek
,
Ian McQuillan
Visit-Bounded Stack Automata.
Theory Comput. Syst.
67 (5) (2023)
Henning Fernau
,
Kshitij Gajjar
The Space Complexity of Sum Labelling.
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)
Rodolfo Conde
,
Sergio Rajsbaum
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus.
Theory Comput. Syst.
67 (5) (2023)
Boaz Patt-Shamir
,
Evyatar Yadai
Non-Linear Ski Rental.
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)
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
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)
Abdolhamid Ghodselahi
,
Fabian Kuhn
Toward Online Mobile Facility Location on General Metrics.
Theory Comput. Syst.
67 (6) (2023)
Andreas Darmann
Stability and Welfare in (Dichotomous) Hedonic Diversity Games.
Theory Comput. Syst.
67 (6) (2023)
David E. Brown
,
David Skidmore
Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams.
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)
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)