


default search action
40th MFCS 2015: Milan, Italy
- Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella:

Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9235, Springer 2015, ISBN 978-3-662-48053-3 - Fidaa Abed

, Ioannis Caragiannis, Alexandros A. Voudouris
:
Near-Optimal Asymmetric Binary Matrix Partitions. 1-13 - Eric Allender

, Anna Gál, Ian Mertz
:
Dual VP Classes. 14-25 - Vikraman Arvind, Johannes Köbler, Gaurav Rattan, Oleg Verbitsky:

On Tinhofer's Linear Programming Approach to Isomorphism Testing. 26-37 - Vikraman Arvind, Gaurav Rattan, Pushkar S. Joglekar:

On the Complexity of Noncommutative Polynomial Factorization. 38-49 - Martijn Baartse, Klaus Meer:

An Algebraic Proof of the Real Number PCP Theorem. 50-61 - Maxim A. Babenko, Andrew V. Goldberg, Haim Kaplan, Ruslan Savchenko, Mathias Weller:

On the Complexity of Hub Labeling (Extended Abstract). 62-74 - Neal Barcelo, Peter Kling

, Michael Nugent, Kirk Pruhs, Michele Scquizzato:
On the Complexity of Speed Scaling. 75-89 - Neal Barcelo, Michael Nugent, Kirk Pruhs, Michele Scquizzato:

Almost All Functions Require Exponential Energy. 90-101 - Surender Baswana, Keerti Choudhary:

On Dynamic DFS Tree in Directed Graphs. 102-114 - Rémy Belmonte, Fedor V. Fomin

, Petr A. Golovach
, M. S. Ramanujan:
Metric Dimension of Bounded Width Graphs. 115-126 - Ralph Bottesch, Dmitry Gavinsky, Hartmut Klauck

:
Equality, Revisited. 127-138 - Andreas Brandstädt, Konrad K. Dabrowski, Shenwei Huang, Daniël Paulusma

:
Bounding the Clique-Width of H-free Chordal Graphs. 139-150 - Vladimir Braverman, Zaoxing Liu, Tejasvam Singh, N. V. Vinodchandran, Lin F. Yang:

New Bounds for the CLIQUE-GAP Problem Using Graph Decomposition Theory. 151-162 - Alex Bredariol Grilo, Iordanis Kerenidis, Jamie Sikora:

QMA with Subset State Witnesses. 163-174 - Andrei A. Bulatov, Evgeny S. Skvortsov:

Phase Transition for Local Search on Planted SAT. 175-186 - Cafer Caferov, Baris Kaya, Ryan O'Donnell, A. C. Cem Say:

Optimal Bounds for Estimating Entropy with PMF Queries. 187-198 - Adam Case, Jack H. Lutz:

Mutual Dimension and Random Sequences. 199-210 - Lin Chen

, Nicole Megow
, Roman Rischke, Leen Stougie, José Verschae:
Optimal Algorithms and a PTAS for Cost-Aware Scheduling. 211-222 - Ruiwen Chen:

Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases. 223-234 - Daniyar Chumbalov, Andrei E. Romashchenko

:
Randomized Polynomial Time Protocol for Combinatorial Slepian-Wolf Problem. 235-247 - Andreas Cord-Landwehr, Pascal Lenzner:

Network Creation Games: Think Global - Act Local. 248-260 - Claude Crépeau, Raza Ali Kazmi:

Oblivious Transfer from Weakly Random Self-Reducible Public-Key Cryptosystem. 261-273 - Giovanni Di Crescenzo, Brian A. Coan, Jonathan Kirsch:

Efficient Computations over Encrypted Data Blocks. 274-286 - Michael Etscheid, Stefan Kratsch, Matthias Mnich

, Heiko Röglin
:
Polynomial Kernels for Weighted Problems. 287-298 - Stefan Fafianie, Stefan Kratsch:

A Shortcut to (Sun)Flowers: Kernels in Logarithmic Space or Linear Time. 299-310 - Diodato Ferraioli, Carmine Ventre

:
Metastability of Asymptotically Well-Behaved Potential Games - (Extended Abstract). 311-323 - Hervé Fournier, Nutan Limaye, Meena Mahajan

, Srikanth Srinivasan:
The Shifted Partial Derivative Complexity of Elementary Symmetric Polynomials. 324-335 - Jakub Gajarský, Michael Lampis, Kazuhisa Makino, Valia Mitsou, Sebastian Ordyniak

:
Parameterized Algorithms for Parity Games. 336-347 - Robert Ganian

, Eun Jung Kim, Stefan Szeider
:
Algorithmic Applications of Tree-Cut Width. 348-360 - Ignacio García-Marco

, Pascal Koiran, Sébastien Tavenas:
Log-Concavity and Lower Bounds for Arithmetic Circuits. 361-371 - Torben Hagerup:

Easy Multiple-Precision Divisors and Word-RAM Constants. 372-383 - Michael Hahn, Andreas Krebs, Klaus-Jörn Lange, Michael Ludwig:

Visibly Counter Languages and the Structure of NC1. 384-394 - Tatiana Romina Hartinger, Matthew Johnson

, Martin Milanic
, Daniël Paulusma
:
The Price of Connectivity for Cycle Transversals. 395-406 - Udo Hoffmann, Linda Kleist

, Tillmann Miltzow:
Upper and Lower Bounds on Long Dual Paths in Line Arrangements. 407-419 - Sune K. Jakobsen:

A Numbers-on-Foreheads Game. 420-431 - Dmitry Kosolobov

:
Faster Lightweight Lempel-Ziv Parsing. 432-444 - Daniel König, Markus Lohrey:

Parallel Identity Testing for Skew Circuits with Big Powers and Applications. 445-458 - Debasis Mandal, Aduri Pavan, N. V. Vinodchandran:

On Probabilistic Space-Bounded Machines with Multiple Access to Random Tape. 459-471 - Andrew McGregor, David Tench

, Sofya Vorotnikova, Hoa T. Vu
:
Densest Subgraph in Dynamic Graph Streams. 472-482 - Saad Mneimneh, Saman Farhat:

The Offline Carpool Problem Revisited. 483-492 - Sandro Montanari, Paolo Penna:

On Sampling Simple Paths in Planar Graphs According to Their Lengths. 493-504 - Moritz Mühlenthaler

:
Degree-Constrained Subgraph Reconfiguration is in P. 505-516 - Geevarghese Philip, Ashutosh Rai, Saket Saurabh:

Generalized Pseudoforest Deletion: Algorithms and Uniform Kernel. 517-528 - Mona Rahn, Guido Schäfer:

Efficient Equilibria in Polymatrix Coordination Games. 529-541 - Markus L. Schmid:

Finding Consensus Strings with Small Length Difference Between Input and Solution Strings. 542-554 - Henning Schnoor, Oliver Woizekowski:

Active Linking Attacks. 555-566 - Martijn van Ee, René Sitters:

On the Complexity of Master Problems. 567-576 - Xiaowei Wu

, Chenzi Zhang:
Efficient Algorithm for Computing All Low s-t Edge Connectivities in Directed Graphs. 577-588 - Meirav Zehavi

:
Maximum Minimal Vertex Cover Parameterized by Vertex Cover. 589-600 - Quan Zu, Miaomiao Zhang, Bin Yu:

Fast Dynamic Weight Matchings in Convex Bipartite Graphs. 601-612

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














