default search action
45th MFCS 2020: Prague, Czech Republic
- Javier Esparza
, Daniel Král'
45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic. LIPIcs 170, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-159-7 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:18
- Nathalie Bertrand
Concurrent Games with Arbitrarily Many Players (Invited Talk). 1:1-1:8 - Sergio Cabello
Some Open Problems in Computational Geometry (Invited Talk). 2:1-2:6 - Mary Wootters:
List-Decodability of Structured Ensembles of Codes (Invited Talk). 3:1-3:5 - Deniz Agaoglu
Isomorphism Problem for S_d-Graphs. 4:1-4:14 - Jungho Ahn, Eduard Eiben
A Polynomial Kernel for 3-Leaf Power Deletion. 5:1-5:14 - Saeed Akhoondian Amiri
Complexity of Computing the Anti-Ramsey Numbers for Paths. 6:1-6:14 - Susanne Albers, Arindam Khan, Leon Ladewig:
Best Fit Bin Packing with Random Order Revisited. 7:1-7:15 - Andris Ambainis, Kaspars Balodis, Janis Iraids, Kamil Khadiev
Quantum Lower and Upper Bounds for 2D-Grid and Dyck Language. 8:1-8:14 - Boris Aronov
Dynamic Time Warping-Based Proximity Problems. 9:1-9:12 - Vikraman Arvind, Abhranil Chatterjee, Rajit Datta, Partha Mukhopadhyay:
A Special Case of Rational Identity Testing and the Brešar-Klep Theorem. 10:1-10:14 - Max Bannach
Solving Packing Problems with Few Small Items Using Rainbow Matchings. 11:1-11:14 - Pierre Béaur, Jarkko Kari
Decidability in Group Shifts and Group Cellular Automata. 12:1-12:13 - Arpitha P. Bharathi, Monaldo Mastrolilli:
Ideal Membership Problem and a Majority Polymorphism over the Ternary Domain. 13:1-13:13 - Therese Biedl
Layered Fan-Planar Graph Drawings. 14:1-14:13 - Davide Bilò
Topological Influence and Locality in Swap Schelling Games. 15:1-15:15 - Arindam Biswas
Approximation in (Poly-) Logarithmic Space. 16:1-16:15 - Markus Bläser, Vladimir Lysikov
Slice Rank of Block Tensors and Irreversibility of Structure Tensors of Algebras. 17:1-17:15 - Martin Böhm, Ruben Hoeksma
Computing a Minimum-Cost k-Hop Steiner Tree in Tree-Like Metrics. 18:1-18:15 - Mikolaj Bojanczyk, Janusz Schmude
Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers. 19:1-19:14 - Jan Bok
List Homomorphism Problems for Signed Graphs. 20:1-20:14 - Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala
On a Temporal Logic of Prefixes and Infixes. 21:1-21:14 - Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Ismaël Jecker, Jakub Svoboda
Simplified Game of Life: Algorithms and Complexity. 22:1-22:13 - Nai-Hui Chia, Tongyang Li
Quantum-Inspired Sublinear Algorithm for Solving Low-Rank Semidefinite Programming. 23:1-23:15 - Alexandre Clément
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations. 24:1-24:14 - Alessio Conte, Pierluigi Crescenzi
Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs. 25:1-25:14 - Arjan Cornelissen, Stacey Jeffery, Maris Ozols
Span Programs and Quantum Time Complexity. 26:1-26:14 - Argyrios Deligkas
Exact and Approximate Algorithms for Computing a Second Hamiltonian Cycle. 27:1-27:13 - Palash Dey, Jaikumar Radhakrishnan, Santhoshini Velusamy
Improved Explicit Data Structures in the Bit-Probe Model Using Error-Correcting Codes. 28:1-28:12 - Gaëtan Douéneau-Tabot, Emmanuel Filiot
Register Transducers Are Marble Transducers. 29:1-29:14 - Pavol Duris, Rastislav Královic, Richard Královic, Dana Pardubská, Martin Pasen
Randomization in Non-Uniform Finite Automata. 30:1-30:13 - Eduard Eiben
Extending Nearly Complete 1-Planar Drawings in Polynomial Time. 31:1-31:16 - Yury Elkin, Vitaliy Kurlin
The Mergegram of a Dendrogram and Its Stability. 32:1-32:13 - Henning Fernau
Synchronizing Deterministic Push-Down Automata Can Be Really Hard. 33:1-33:15 - Nathanaël Fijalkow
Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games. 34:1-34:15 - Fedor V. Fomin
Building Large k-Cores from Sparse Graphs. 35:1-35:14 - Andreas Galanis, Leslie Ann Goldberg, Andrés Herrera-Poyatos:
The Complexity of Approximating the Complex-Valued Potts Model. 36:1-36:14 - Andreas Galanis, Leslie Ann Goldberg, James Stewart:
Fast Algorithms for General Spin Systems on Bipartite Expanders. 37:1-37:14 - Paul Gallot, Aurélien Lemay, Sylvain Salvati:
Linear High-Order Deterministic Tree Transducers with Regular Look-Ahead. 38:1-38:13 - Junhao Gan
Graph Clustering in All Parameter Regimes. 39:1-39:15 - Pierre Ganty
A Quasiorder-Based Perspective on Residual Automata. 40:1-40:14 - Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon:
Fractional Covers of Hypergraphs with Bounded Multi-Intersection. 41:1-41:14 - Zeyu Guo
Factoring Polynomials over Finite Fields with Linear Galois Groups: An Additive Combinatorics Approach. 42:1-42:14 - Chetan Gupta
Efficient Isolation of Perfect Matching in O(log n) Genus Bipartite Graphs. 43:1-43:13 - Emirhan Gürpinar, Andrei E. Romashchenko
Communication Complexity of the Secret Key Agreement in Algorithmic Information Theory. 44:1-44:14 - Kristoffer Arnsfelt Hansen
∃ℝ-Completeness of Stationary Nash Equilibria in Perfect Information Stochastic Games. 45:1-45:15 - Hiroshi Hirai
Minimum 0-Extension Problems on Directed Metrics. 46:1-46:13 - Svein Høgemo, Christophe Paul, Jan Arne Telle:
Hierarchical Clusterings of Unweighted Graphs. 47:1-47:13 - Stefan Jaax, Stefan Kiefer:
On Affine Reachability Problems. 48:1-48:14 - Lars Jaffke
Structural Parameterizations of Clique Coloring. 49:1-49:15 - Lars Jaffke
Compressing Permutation Groups into Grammars and Polytopes. A Graph Embedding Approach. 50:1-50:15 - Ismaël Jecker, Orna Kupferman, Nicolas Mazzocchi
Unary Prime Languages. 51:1-51:12 - Vít Jelínek
A Complexity Dichotomy for Permutation Pattern Matching on Grid Classes. 52:1-52:18 - Dhawal Jethwani, François Le Gall, Sanjay Kumar Singh
Quantum-Inspired Classical Algorithms for Singular Value Transformation. 53:1-53:14 - Toghrul Karimov
On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems. 54:1-54:14 - Piotr Kawalek, Jacek Krzaczkowski
Even Faster Algorithms for CSAT Over supernilpotent Algebras. 55:1-55:13 - Michal Konecný
Continuous and Monotone Machines. 56:1-56:16 - Jan Kratochvíl
U-Bubble Model for Mixed Unit Interval Graphs and Its Applications: The MaxCut Problem Revisited. 57:1-57:14 - Denis Kuperberg
Regular Resynchronizability of Origin Transducers Is Undecidable. 58:1-58:14 - Orna Kupferman, Ofer Leshkowitz:
On Repetition Languages. 59:1-59:14 - Kazuhiro Kurita
Efficient Enumerations for Minimal Multicuts and Multiway Cuts. 60:1-60:14 - Dietrich Kuske, Christian Schwarz:
Complexity of Counting First-Order Logic for the Subword Order. 61:1-61:12 - Sophie Laplante, Reza Naserasr, Anupa Sunny:
Sensitivity Lower Bounds from Linear Dependencies. 62:1-62:14 - Paloma T. Lima, Erik Jan van Leeuwen, Marieke van der Wegen
Algorithms for the Rainbow Vertex Coloring Problem on Graph Classes. 63:1-63:13 - Paloma T. Lima, Vinícius Fernandes dos Santos, Ignasi Sau
Reducing Graph Transversals via Edge Contractions. 64:1-64:15 - Alexander Lindermayr
Elimination Distance to Bounded Degree on Planar Graphs. 65:1-65:12 - Sven Linker
Analysing Spatial Properties on Neighbourhood Spaces. 66:1-66:14 - Markus Lohrey
Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. 67:1-67:15 - Raul Lopes
A Relaxation of the Directed Disjoint Paths Problem: A Global Congestion Metric Helps. 68:1-68:15 - Vincent Michielini, Michal Skrzypczak
Regular Choice Functions and Uniformisations For countable Domains. 69:1-69:13 - Pranabendu Misra, Fahad Panolan
Quick Separation in Chordal and Split Graphs. 70:1-70:14 - Nils Morawietz
A Timecop's Work Is Harder Than You Think. 71:1-71:14 - Janaky Murthy, Vineet Nair, Chandan Saha:
Randomized Polynomial-Time Equivalence Between Determinant and Trace-IMM Equivalence Tests. 72:1-72:16 - Satyadev Nandakumar, Prateek Vishnoi
Randomness and Effective Dimension of Continued Fractions. 73:1-73:13 - Daniel Neider
Optimally Resilient Strategies in Pushdown Safety Games. 74:1-74:15 - Rian Neogi, M. S. Ramanujan, Saket Saurabh, Roohani Sharma:
On the Parameterized Complexity of Deletion to ℋ-Free Strong Components. 75:1-75:13 - Mitsunori Ogihara
Synchronous Boolean Finite Dynamical Systems on Directed Graphs over XOR Functions. 76:1-76:13 - Louis Parlant, Jurriaan Rot, Alexandra Silva, Bas Westerbaan
Preservation of Equations by Monoidal Monads. 77:1-77:14 - Adam Paszke, Michal Pilipczuk:
VC Density of Set Systems Definable in Tree-Like Graphs. 78:1-78:13 - Jarkko Peltomäki
All Growth Rates of Abelian Exponents Are Attained by Infinite Binary Words. 79:1-79:10 - Alexander Rabinovich
Ambiguity Hierarchy of Regular Infinite Tree Languages. 80:1-80:14 - Mikhail Rubinchik, Arseny M. Shur:
Palindromic k-Factorization in Pure Linear Time. 81:1-81:14 - Ignasi Sau
Hitting Forbidden Induced Subgraphs on Bounded Treewidth Graphs. 82:1-82:15 - Yasuhiro Takahashi, Yuki Takeuchi, Seiichiro Tani
Classically Simulating Quantum Circuits with Local Depolarizing Noise. 83:1-83:13 - Kim Thang Nguyen
An Improved Approximation Algorithm for Scheduling Under Arborescence Precedence Constraints. 84:1-84:12 - Caterina Viola
The Combined Basic LP and Affine IP Relaxation for Promise VCSPs on Infinite Domains. 85:1-85:15
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 18:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: