Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Susanne Albers, Arindam Khan 0001, Leon Ladewig |
Best Fit Bin Packing with Random Order Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 7:1-7:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vikraman Arvind, Abhranil Chatterjee 0001, Rajit Datta, Partha Mukhopadhyay |
A Special Case of Rational Identity Testing and the Brešar-Klep Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 10:1-10:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Emirhan Gürpinar, Andrei E. Romashchenko |
Communication Complexity of the Secret Key Agreement in Algorithmic Information Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 44:1-44:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lars Jaffke, Mateus de Oliveira Oliveira, Hans Raj Tiwary |
Compressing Permutation Groups into Grammars and Polytopes. A Graph Embedding Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 50:1-50:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mary Wootters |
List-Decodability of Structured Ensembles of Codes (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 3:1-3:5, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Pawel Gawrychowski, Pierre Ohlmann |
Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 34:1-34:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Palash Dey, Jaikumar Radhakrishnan, Santhoshini Velusamy |
Improved Explicit Data Structures in the Bit-Probe Model Using Error-Correcting Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 28:1-28:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mikhail Rubinchik, Arseny M. Shur |
Palindromic k-Factorization in Pure Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 81:1-81:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Rabinovich, Doron Tiferet |
Ambiguity Hierarchy of Regular Infinite Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 80:1-80:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Therese Biedl, Steven Chaplick, Michael Kaufmann 0001, Fabrizio Montecchiani, Martin Nöllenburg, Chrysanthi N. Raftopoulou |
Layered Fan-Planar Graph Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 14:1-14:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Böhm 0001, Ruben Hoeksma, Nicole Megow, Lukas Nölke, Bertrand Simon 0001 |
Computing a Minimum-Cost k-Hop Steiner Tree in Tree-Like Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 18:1-18:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kim Thang Nguyen |
An Improved Approximation Algorithm for Scheduling Under Arborescence Precedence Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 84:1-84:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Michielini, Michal Skrzypczak |
Regular Choice Functions and Uniformisations For countable Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 69:1-69:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Daniel Král' (eds.) |
45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
1 | Alessio Conte, Pierluigi Crescenzi, Andrea Marino 0001, Giulia Punzi |
Enumeration of s-d Separators in DAGs with Application to Reliability Analysis in Temporal Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 25:1-25:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Adam Paszke, Michal Pilipczuk |
VC Density of Set Systems Definable in Tree-Like Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 78:1-78:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chetan Gupta 0002, Vimal Raj Sharma, Raghunath Tewari |
Efficient Isolation of Perfect Matching in O(log n) Genus Bipartite Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 43:1-43:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Louis Parlant, Jurriaan Rot, Alexandra Silva 0001, Bas Westerbaan |
Preservation of Equations by Monoidal Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 77:1-77:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jungho Ahn, Eduard Eiben, O-joung Kwon, Sang-il Oum |
A Polynomial Kernel for 3-Leaf Power Deletion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 5:1-5:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Arjan Cornelissen, Stacey Jeffery, Maris Ozols, Alvaro Piedrafita |
Span Programs and Quantum Time Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 26:1-26:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Arindam Biswas 0001, Venkatesh Raman 0001, Saket Saurabh 0001 |
Approximation in (Poly-) Logarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 16:1-16:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Argyrios Deligkas, George B. Mertzios, Paul G. Spirakis, Viktor Zamaraev |
Exact and Approximate Algorithms for Computing a Second Hamiltonian Cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 27:1-27:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Boris Aronov, Matthew J. Katz, Elad Sulami |
Dynamic Time Warping-Based Proximity Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 9:1-9:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ignasi Sau, Uéverton dos Santos Souza |
Hitting Forbidden Induced Subgraphs on Bounded Treewidth Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 82:1-82:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paloma T. Lima, Erik Jan van Leeuwen, Marieke van der Wegen |
Algorithms for the Rainbow Vertex Coloring Problem on Graph Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 63:1-63:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Orna Kupferman, Ofer Leshkowitz |
On Repetition Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 59:1-59:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Max Bannach, Sebastian Berndt 0001, Marten Maack, Matthias Mnich, Alexandra Lassota, Malin Rau, Malte Skambath |
Solving Packing Problems with Few Small Items Using Rainbow Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 11:1-11:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sven Linker, Fabio Papacchini, Michele Sevegnani |
Analysing Spatial Properties on Neighbourhood Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 66:1-66:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andris Ambainis, Kaspars Balodis, Janis Iraids, Kamil Khadiev, Vladislavs Klevickis, Krisjanis Prusis, Yixin Shen 0001, Juris Smotrovs, Jevgenijs Vihrovs |
Quantum Lower and Upper Bounds for 2D-Grid and Dyck Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 8:1-8:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kazuhiro Kurita, Yasuaki Kobayashi |
Efficient Enumerations for Minimal Multicuts and Multiway Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 60:1-60:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala |
On a Temporal Logic of Prefixes and Infixes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 21:1-21:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michal Konecný, Florian Steinberg 0001, Holger Thies |
Continuous and Monotone Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 56:1-56:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Petra Wolf 0002, Tomoyuki Yamakami |
Synchronizing Deterministic Push-Down Automata Can Be Really Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 33:1-33:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Béaur, Jarkko Kari |
Decidability in Group Shifts and Group Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 12:1-12:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pranabendu Misra, Fahad Panolan, Ashutosh Rai 0001, Saket Saurabh 0001, Roohani Sharma |
Quick Separation in Chordal and Split Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 70:1-70:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Duris, Rastislav Královic, Richard Královic, Dana Pardubská, Martin Pasen, Peter Rossmanith |
Randomization in Non-Uniform Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 30:1-30:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bilò, Vittorio Bilò, Pascal Lenzner, Louise Molitor |
Topological Influence and Locality in Swap Schelling Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 15:1-15:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Junhao Gan, David F. Gleich, Nate Veldt, Anthony Wirth, Xin Zhang 0094 |
Graph Clustering in All Parameter Regimes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 39:1-39:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Lars Jaffke, Paloma T. Lima, Geevarghese Philip |
Structural Parameterizations of Clique Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 49:1-49:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Clément, Simon Perdrix |
PBS-Calculus: A Graphical Language for Coherent Control of Quantum Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 24:1-24:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Hirai 0001, Ryuhei Mizutani |
Minimum 0-Extension Problems on Directed Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 46:1-46:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Galanis, Leslie Ann Goldberg, Andrés Herrera-Poyatos |
The Complexity of Approximating the Complex-Valued Potts Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 36:1-36:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ganty, Elena Gutiérrez, Pedro Valero 0001 |
A Quasiorder-Based Perspective on Residual Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 40:1-40:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Satyadev Nandakumar, Prateek Vishnoi |
Randomness and Effective Dimension of Continued Fractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 73:1-73:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lohrey, Georg Zetzsche |
Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 67:1-67:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gaëtan Douéneau-Tabot, Emmanuel Filiot, Paul Gastin |
Register Transducers Are Marble Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 29:1-29:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dhawal Jethwani, François Le Gall, Sanjay Kumar Singh |
Quantum-Inspired Classical Algorithms for Singular Value Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 53:1-53:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Eiben, Robert Ganian, Thekla Hamm, Fabian Klute, Martin Nöllenburg |
Extending Nearly Complete 1-Planar Drawings in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 31:1-31:16, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dietrich Kuske, Christian Schwarz |
Complexity of Counting First-Order Logic for the Subword Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 61:1-61:12, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rian Neogi, M. S. Ramanujan 0001, Saket Saurabh 0001, Roohani Sharma |
On the Parameterized Complexity of Deletion to ℋ-Free Strong Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 75:1-75:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yury Elkin, Vitaliy Kurlin |
The Mergegram of a Dendrogram and Its Stability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 32:1-32:13, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Neider, Patrick Totzke, Martin Zimmermann 0002 |
Optimally Resilient Strategies in Pushdown Safety Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 74:1-74:15, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Deniz Agaoglu, Petr Hlinený |
Isomorphism Problem for S_d-Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, August 24-28, 2020, Prague, Czech Republic., pp. 4:1-4:14, 2020, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-159-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Victor Chepoi, Arnaud Labourel, Sébastien Ratel |
Distance Labeling Schemes for Cube-Free Median Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 15:1-15:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Kiefer, Daniel Neuen |
The Power of the Weisfeiler-Leman Algorithm to Decompose Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 45:1-45:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Clifford, Pawel Gawrychowski, Tomasz Kociumaka, Daniel P. Martin 0001, Przemyslaw Uznanski |
RLE Edit Distance in Near Optimal Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 66:1-66:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ziyuan Gao, Sanjay Jain 0001, Bakhadyr Khoussainov, Wei Li 0050, Alexander G. Melnikov, Karen Seidel 0001, Frank Stephan 0001 |
Random Subgroups of Rationals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 25:1-25:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lokshtanov |
Picking Random Vertices (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 3:1-3:1, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Titouan Carette, Dominic Horsman, Simon Perdrix |
SZX-Calculus: Scalable Graphical Quantum Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 55:1-55:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Bournez, Arnaud Durand 0001 |
Recursion Schemes, Discrete Differential Equations and Characterization of Polynomial Time Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 23:1-23:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | C. Ramya, B. V. Raghavendra Rao |
Lower Bounds for Multilinear Order-Restricted ABPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 52:1-52:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philip Bille, Inge Li Gørtz |
From Regular Expression Matching to Parsing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 71:1-71:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jan Böker, Yijia Chen, Martin Grohe, Gaurav Rattan |
The Complexity of Homomorphism Indistinguishability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 54:1-54:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Bell, Mika Hirvensalo |
Acceptance Ambiguity for Quantum Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 70:1-70:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Esther Galby, Paloma T. Lima, Bernard Ries |
Reducing the Domination Number of Graphs via Edge Contractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 41:1-41:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Kieronski |
One-Dimensional Guarded Fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 16:1-16:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel, Svenja Schalthöfer |
Choiceless Logarithmic Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 31:1-31:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Evripidis Bampis, Bruno Escoffier, Alexandre Teiller |
Multistage Knapsack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 22:1-22:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen (eds.) |
44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
1 | Marthe Bonamy, Nicolas Bousquet, Marc Heinrich, Takehiro Ito, Yusuke Kobayashi 0001, Arnaud Mary, Moritz Mühlenthaler, Kunihiro Wasa |
The Perfect Matching Reconfiguration Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 80:1-80:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Athanasios L. Konstantinidis, Charis Papadopoulos |
Cluster Deletion on Interval Graphs and Split Related Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 12:1-12:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Berkholz, Nicole Schweikardt |
Constant Delay Enumeration with FPT-Preprocessing for Conjunctive Queries of Bounded Submodular Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 58:1-58:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Victor Lagerkvist, Gustav Nordh |
On the Strength of Uniqueness Quantification in Primitive Positive Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 36:1-36:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Markus Lohrey, Armin Weiß |
The Power Word Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 43:1-43:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Amirhossein Kazeminia, Andrei A. Bulatov |
Counting Homomorphisms Modulo a Prime Number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 59:1-59:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eva Fluck |
Tangles and Single Linkage Hierarchical Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 38:1-38:12, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Clairambault, Andrzej S. Murawski |
On the Expressivity of Linear Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 50:1-50:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sankardeep Chakraborty, Kunihiko Sadakane |
Indexing Graph Search Trees and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 67:1-67:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Danielski, Emanuel Kieronski |
Finite Satisfiability of Unary Negation Fragment with Transitivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 17:1-17:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Bienkowski, Jaroslaw Byrka, Marek Chrobak, Christian Coester, Lukasz Jez, Elias Koutsoupias |
Better Bounds for Online Line Chasing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 8:1-8:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Akanksha Agrawal 0001, Pallavi Jain 0001, Lawqueen Kanesh, Saket Saurabh 0001 |
Parameterized Complexity of Conflict-Free Matchings and Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 35:1-35:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 0:1-0:16, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Hoyrup, Donald M. Stull |
Semicomputable Points in Euclidean Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 48:1-48:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Henning Fernau, Vladimir V. Gusev, Stefan Hoffmann 0001, Markus Holzer 0001, Mikhail V. Volkov 0001, Petra Wolf 0002 |
Computational Complexity of Synchronization under Regular Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 63:1-63:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Erhard Aichinger |
Solving Systems of Equations in Supernilpotent Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 72:1-72:9, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carl Einarson, Felix Reidl |
Domination Above r-Independence: Does Sparseness Help? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 40:1-40:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara |
Additive Cellular Automata Over Finite Abelian Groups: Topological and Measure Theoretic Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 68:1-68:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Conte, Roberto Grossi, Mamadou Moustapha Kanté, Andrea Marino 0001, Takeaki Uno, Kunihiro Wasa |
Listing Induced Steiner Subgraphs as a Compact Way to Discover Steiner Trees in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 73:1-73:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Florent Koechlin, Cyril Nicaud, Pablo Rotondo |
Uniform Random Expressions Lack Expressivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 51:1-51:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Julian Dörfler, Marc Roth, Johannes Schmitt 0002, Philip Wellnitz |
Counting Induced Subgraphs: An Algebraic Approach to #W[1]-hardness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 26:1-26:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Surender Baswana, Shiv Kumar Gupta 0001, Ayush Tulsyan |
Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 65:1-65:16, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Bulatov, Stanislav Zivný |
Approximate Counting CSP Seen from the Other Side. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 60:1-60:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira, Varun Ramanathan 0001, Pascal Weil |
The Quantifier Alternation Hierarchy of Synchronous Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 29:1-29:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Silva 0001 |
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 2:1-2:1, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Barnaby Martin, Daniël Paulusma, Siani Smith |
Colouring H-Free Graphs of Bounded Diameter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 14:1-14:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jayakrishnan Madathil, Roohani Sharma, Meirav Zehavi |
A Sub-Exponential FPT Algorithm and a Polynomial Kernel for Minimum Directed Bisection on Semicomplete Digraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 28:1-28:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Czerwinski, Slawomir Lasota 0001, Christof Löding, Radoslaw Piórkowski |
New Pumping Technique for 2-Dimensional VASS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 62:1-62:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Lhote, Vincent Michielini, Michal Skrzypczak |
Uniformisation Gives the Full Strength of Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 61:1-61:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Galesi, Dmitry Itsykson, Artur Riazanov, Anastasia Sofronova |
Bounded-Depth Frege Complexity of Tseitin Formulas for All Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 49:1-49:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anantha Padmanabha, R. Ramanujam 0001 |
Two variable fragment of Term Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 30:1-30:14, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|