Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Hoàng-Oanh Le, Van Bang Le |
Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowki, Alvaro Velasquez |
Farkas Bounds on Horn Constraint Systems. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Bergé, Guillaume Ducoffe, Michel Habib |
Subquadratic-time Algorithm for the Diameter and all Eccentricities on Median Graphs. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Maletti, Andreea-Teodora Nász |
Weighted Tree Automata with Constraints. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Frank Gurski, Jörg Rothe, Robin Weishaupt |
Stability, Vertex Stability, and Unfrozenness for Special Graph Classes. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Yijie Chen, Kewei Lv |
New Results on the Remote Set Problem and Its Applications in Complexity Study. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Qisheng Wang, Mingsheng Ying |
Quantum Algorithm for Lexicographically Minimal String Rotation. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Vahan Mkrtchyan, Garik Petrosyan, K. Subramani 0001, Piotr Wojciechowski 0002 |
On the Partial Vertex Cover Problem in Bipartite Graphs - a Parameterized Perspective. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Froese, Pascal Kunz, Philipp Zschoche |
Disentangling the Computational Complexity of Network Untangling. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Schaefer 0001, Daniel Stefankovic |
Beyond the Existential Theory of the Reals. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Marat Kh. Faizrahmanov |
On Non-principal Arithmetical Numberings and Families. |
Theory Comput. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Jirásek 0002, Ian McQuillan |
Visit-Bounded Stack Automata. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Olkhovsky, Alexander Okhotin |
On the Transformation of LL(k)-linear to LL(1)-linear Grammars. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Boaz Patt-Shamir, Evyatar Yadai |
Non-Linear Ski Rental. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
In Memoriam - Alan Selman (1941 - 2021). |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Unit Read-once Refutations for Systems of Difference Constraints. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Mayordomo, Mitsunori Ogihara, Atri Rudra |
Foreword: a Commemorative Issue for Alan L. Selman. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mitsunori Ogiwara, Kei Uchizawa |
Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Darmann |
Stability and Welfare in (Dichotomous) Hedonic Diversity Games. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Sahu, Saket Saurabh 0001 |
Kernelization of Arc Disjoint Cycle Packing in α-Bounded Digraphs. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kaoru Fujioka |
On the Hierarchy of Swarm-automaton for the Number of Agents. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Garvardt, Christian Komusiewicz, Frank Sommer |
The Parameterized Complexity of s-Club with Triangle and Seed Constraints. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Abdolhamid Ghodselahi, Fabian Kuhn |
Toward Online Mobile Facility Location on General Metrics. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bläsius, Philipp Fischbeck, Tobias Friedrich 0001, Maximilian Katzmann |
Solving Vertex Cover in Polynomial Time on Hyperbolic Random Graphs. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Satyadev Nandakumar, Subin Pulari |
Ergodic Theorems and Converses for PSPACE Functions. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rustem Takhanov |
Computing a Partition Function of a Generalized Pattern-Based Energy over a Semiring. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vadim E. Levit, David Tankus |
Well-Covered Graphs With Constraints On Δ And δ. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jarkko Kari, Etienne Moutot |
Decidability and Periodicity of Low Complexity Tilings. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sayan Bandyapadhyay, Fedor V. Fomin, Petr A. Golovach, Nidhi Purohit, Kirill Simonov |
Lossy Kernelization of Same-Size Clustering. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andrés Cristi, Mathieu Mari, Andreas Wiese |
Fixed-Parameter Algorithms for Unsplittable Flow Cover. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jan Philipp Wächter, Armin Weiß |
An Automaton Group with PSPACE-Complete Word Problem. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Berwanger, Laurent Doyen 0001 |
Observation and Distinction: Representing Information in Infinite Games. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Glazik, Jan Schiemann, Anand Srivastav |
A One Pass Streaming Algorithm for Finding Euler Tours. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Arijit Bishnu, Arijit Ghosh, Sudeshna Kolay, Gopinath Mishra, Saket Saurabh 0001 |
Small Vertex Cover Helps in Fixed-Parameter Tractability of Graph Deletion Problems over Data Streams. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jarkko Kari |
Expansivity and Periodicity in Algebraic Subshifts. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Olkhovsky, Alexander Okhotin |
Correction to: On the Transformation of LL(k)-linear to LL(1)-linear Grammars. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Mikhail V. Volkov 0001 |
Preface of the Special Issue Dedicated to Selected Papers from CSR 2020. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Vyas 0001, R. Ryan Williams |
Lower Bounds Against Sparse Symmetric Functions of ACC Circuits: Expanding the Reach of #SAT Algorithms. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Paul, Markus Bläser |
Preface of STACS 2020 Special Issue. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vladan Gloncak, Jarl Emil Erla Munkstrup, Jakob Grue Simonsen |
Implicit Representation of Relations. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | András Z. Salamon, Michael Wehar |
Effective Guessing Has Unlikely Consequences. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Siddharth Bhaskar, Cynthia Kop, Jakob Grue Simonsen |
Subclasses of Ptime Interpreted by Programming Languages. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pyry Herva, Jarkko Kari |
On Forced Periodicity of Perfect Colorings. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Léo Gayral, Mathieu Sablik |
Arithmetical Hierarchy of the Besicovitch-Stability of Noisy Tilings. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yaokun Wu, Yinfeng Zhu 0001 |
Correction to: Submodular Functions and Rooted Trees. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kostolányi |
Polynomially Ambiguous Unary Weighted Automata over Fields. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz R. Kowalski, Miguel A. Mosteiro, Kevin Zaki |
Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz R. Kowalski, Miguel A. Mosteiro, Kevin Zaki |
Correction to: Dynamic Multiple-Message Broadcast: Bounding Throughput in the Affectance Model. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Apon, William Gasarch, Kevin Lawler |
The Complexity of Grid Coloring. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rodolfo Conde, Sergio Rajsbaum |
The Solvability of Consensus in Iterated Models Extended with Safe-Consensus. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Soumik Ghosh, John Watrous |
Complexity Limitations on One-turn Quantum Refereed Games. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yefim Dinitz, Shlomi Dolev, Manish Kumar 0011 |
Local Deal-Agreement Algorithms for Load Balancing in Dynamic General Graphs. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Kshitij Gajjar |
The Space Complexity of Sum Labelling. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David E. Brown, David Skidmore |
Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jack H. Lutz, Neil Lutz, Elvira Mayordomo |
Dimension and the Structure of Complexity Classes. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Frank Gurski, Carolin Rehs, Jochen Rethmann |
Characterizations and Directed Path-Width of Sequence Digraphs. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hans L. Bodlaender, Lars Jaffke, Jan Arne Telle |
Typical Sequences Revisited - Computing Width Parameters of Graphs. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhiguo Fu, Jin-Yi Cai |
Holographic Algorithms on Domains of General Size. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joshua A. Grochow |
Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yiannis Giannakopoulos, Diogo Poças |
A Unifying Approximate Potential for Weighted Congestion Games. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Atri Rudra |
Arithmetic Circuits, Structured Matrices and (not so) Deep Learning. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Philip Bille, Inge Li Gørtz |
Random Access in Persistent Strings and Segment Selection. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Onur Çagirici |
On Embeddability of Unit Disk Graphs Onto Straight Lines. |
Theory Comput. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Petr A. Golovach, Paloma T. Lima, Charis Papadopoulos |
Graph Square Roots of Small Distance from Degree One Graphs. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hiroe Inoue, Yoshiaki Matsuoka, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda |
Factorizing Strings into Repetitions. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pradeesha Ashok, Sudeshna Kolay, Neeldhara Misra, Saket Saurabh 0001 |
Exact Multi-Covering Problems with Geometric Sets. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chien-Chung Huang, Naonori Kakimura |
Multi-Pass Streaming Algorithms for Monotone Submodular Function Maximization. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dimitris Fotakis 0001, Evangelos Markakis |
Special issue on algorithmic game theory (SAGT 2019). |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jin-Yi Cai, Zhiguo Fu, Heng Guo 0001, Tyson Williams |
FKT is Not Universal - A Planar Holant Dichotomy for Symmetric Constraints. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Suman Banerjee 0002, Rogers Mathew, Fahad Panolan |
Target Set Selection Parameterized by Vertex Cover and More. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nils Morawietz, Niels Grüttemeier, Christian Komusiewicz, Frank Sommer |
Refined Parameterizations for Computing Colored Cuts in Edge-Colored Graphs. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Bazgan, Stefan Ruzika, Clemens Thielen, Daniel Vanderpooten |
The Power of the Weighted Sum Scalarization for Approximating Multiobjective Optimization Problems. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mathias Hedenborg, Jonas Lundberg, Welf Löwe, Martin Trapp 0002 |
A Framework for Memory Efficient Context-Sensitive Program Analysis. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chi-Kit Lam, C. Gregory Plaxton |
Maximum Stable Matching with One-Sided Ties of Bounded Length. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chi-Kit Lam, C. Gregory Plaxton |
On the Existence of Three-Dimensional Stable Matchings with Cyclic Preferences. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Abhranil Chatterjee 0001, Rajit Datta, Partha Mukhopadhyay |
Univariate Ideal Membership Parameterized by Rank, Degree, and Number of Generators. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anastasiya Chistopolskaya, Vladimir V. Podolskii |
On the Decision Tree Complexity of Threshold Functions. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yaokun Wu, Yinfeng Zhu 0001 |
Submodular Functions and Rooted Trees. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vishnu V. Narayan, Enguerrand Prebet, Adrian Vetta |
The Declining Price Anomaly Is Not Universal in Multi-Buyer Sequential Auctions (but almost is). |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Giannis Fikioris, Dimitris Fotakis 0001 |
Mechanism Design for Perturbation Stable Combinatorial Auctions. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | John M. Hitchcock, Hadi Shafei |
Nonuniform Reductions and NP-Completeness. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Siqi Liu 0005, J. Benjamin Miller, Alexandros Psomas 0001 |
Risk-Robust Mechanism Design for a Prospect-Theoretic Buyer. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Till Fluschnik, Rolf Niedermeier, Valentin Rohm, Philipp Zschoche |
Multistage Vertex Cover. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Po-An Chen, Chi-Jen Lu, Yu-Sin Lu |
An Alternating Algorithm for Finding Linear Arrow-Debreu Market Equilibria. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Chryssis Georgiou, Marios Mavronicolas, Burkhard Monien |
(In)Existence of Equilibria for 2-Player, 2-Value Games with Semistrictly Quasiconcave Cost Functions. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paul Sauer |
The Complexity of Unavoidable Word Patterns. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Diodato Ferraioli, Carmine Ventre |
Obvious Strategyproofness, Bounded Rationality and Approximation. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ching-Lueh Chang |
On Random Perfect Matchings in Metric Spaces with Not-too-large Diameters. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Fedor V. Fomin, Vijayaragunathan Ramamoorthi |
On the Parameterized Complexity of the Expected Coverage Problem. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Péter Gács, Ilkka Törmä |
Stable Multi-Level Monotonic Eroders. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Augustin Chaintreau, Guillaume Ducoffe, Dorian Mazauric |
Non-Existence of Stable Social Groups in Information-Driven Networks. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yusong Du, Xiao Ma 0001 |
On the Rejection Rate of Exact Sampling Algorithm for Discrete Gaussian Distributions over the Integers. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jiabao Lin |
The Complexity of Counting CSPd. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
Second-Order Finite Automata. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Greg Aloupis, Tamon Stephen, Olga Zasenko |
Computing Colourful Simplicial Depth and Median in ℝ2. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Caragiannis, George Christodoulou 0001, Nicos Protopapas |
Impartial Selection with Additive Approximation Guarantees. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Vishnu V. Narayan, Gautam Rayaprolu, Adrian Vetta |
Risk-Free Bidding in Complement-Free Combinatorial Auctions. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yuuki Aoike, Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi 0001, Kazuhiro Kurita, Yota Otachi |
An Improved Deterministic Parameterized Algorithm for Cactus Vertex Deletion. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Reza Aghayan |
Generating Visual Invariants -a New Approach to Invariant Recognition. |
Theory Comput. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|