MFCS B

51 papers

YearTitle / Authors
2008A 6/5-Approximation Algorithm for the Maximum 3-Cover Problem.
Ioannis Caragiannis, Gianpiero Monaco
2008A Complete Axiomatic System for a Process-Based Spatial Logic.
Radu Mardare, Alberto Policriti
2008A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems.
Emilie Charlier, Michel Rigo
2008A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach.
Daniel Raible, Henning Fernau
2008A Note on k-Colorability of P5-Free Graphs.
Chính T. Hoàng, Marcin Kaminski, Vadim V. Lozin, Joe Sawada, Xiao Shu
2008A PTAS for the Sparsest Spanners Problem on Apex-Minor-Free Graphs.
Feodor F. Dragan, Fedor V. Fomin, Petr A. Golovach
2008A Random Oracle Does Not Help Extract the Mutual Information.
Andrei A. Muchnik, Andrei Romashchenko
2008A Robust Class of Regular Languages.
Antonio Cano Gómez, Jean-Eric Pin
2008Algebraic Graph Algorithms.
Piotr Sankowski
2008Approximating Independent Set and Coloring in Random Uniform Hypergraphs.
Kai Plociennik
2008Arithmetic Circuits, Syntactic Multilinearity, and the Limitations of Skew Formulae.
Meena Mahajan, B. V. Raghavendra Rao
2008Arthur and Merlin as Oracles.
Venkatesan T. Chakaravarthy, Sambuddha Roy
2008Clustering with Partial Information.
Hans L. Bodlaender, Michael R. Fellows, Pinar Heggernes, Federico Mancini, Charis Papadopoulos, Frances A. Rosamond
2008Colouring Random Empire Trees.
Andrew R. A. McGrae, Michele Zito
2008Combinatorial Bounds and Algorithmic Aspects of Image Matching under Projective Transformations.
Christian Hundt, Maciej Liskiewicz
2008Complexity and Limiting Ratio of Boolean Functions over Implication.
Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger
2008Complexity of Data Tree Patterns over XML Documents.
Claire David
2008Computational Complexity of Perfect-Phylogeny-Related Haplotyping Problems.
Michael Elberfeld, Till Tantau
2008Computing Sharp 2-Factors in Claw-Free Graphs.
Hajo Broersma, Daniël Paulusma
2008Deterministic Models of Communication Faults.
Rastislav Kralovic, Richard Královic
2008Directed Percolation Arising in Stochastic Cellular Automata Analysis.
Damien Regnault
2008Flip Algorithm for Segment Triangulations.
Mathieu Brévilliers, Nicolas Chevallier, Dominique Schmitt
2008From lambda-Calculus to Universal Algebra and Back.
Giulio Manzonetto, Antonino Salibra
2008Iterative Compression and Exact Algorithms.
Fedor V. Fomin, Serge Gaspers, Dieter Kratsch, Mathieu Liedloff, Saket Saurabh
2008Lower Bounds for Syntactically Multilinear Algebraic Branching Programs.
Maurice J. Jansen
2008Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings
Edward Ochmanski, Jerzy Tyszkiewicz
2008Monadic Second Order Logic on Graphs with Local Cardinality Constraints.
Stefan Szeider
2008Nilpotency and Limit Sets of Cellular Automata.
Pierre Guillon, Gaétan Richard
2008On Synchronous and Asynchronous Interaction in Distributed Systems.
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke
2008On a Special Class of Primitive Words.
Elena Czeizler, Lila Kari, Shinnosuke Seki
2008On the Decidability of Bounded Valuedness for Transducers.
Jacques Sakarovitch, Rodrigo de Souza
2008On the Shortest Linear Straight-Line Program for Computing Linear Forms.
Joan Boyar, Philip Matthews, René Peralta
2008One Useful Logic That Defines Its Own Truth.
Andreas Blass, Yuri Gurevich
2008Optimizing Conjunctive Queries over Trees Using Schema Information.
Henrik Björklund, Wim Martens, Thomas Schwentick
2008Periodicity and Immortality in Reversible Computing.
Jarkko Kari, Nicolas Ollinger
2008Positional Strategies for Higher-Order Pushdown Parity Games.
Arnaud Carayol, Michaela Slaats
2008Question/Answer Games on Towers and Pyramids.
Sarmad Abbasi, Numan Sheikh
2008Regional Languages and Tiling: A Unifying Approach to Picture Grammars.
Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella
2008Reoptimization of the Metric Deadline TSP.
Hans-Joachim Böckenhauer, Dennis Komm
2008Resolution Width and Cutting Plane Rank Are Incomparable.
Mark Nicholas Charles Rhodes
2008Reversal-Bounded Counter Machines Revisited.
Alain Finkel, Arnaud Sangnier
2008Short Proofs of Strong Normalization.
Aleksander Wojdyga
2008Shortest Synchronizing Strings for Huffman Codes.
Marek Tomasz Biskup
2008Sincere-Strategy Preference-Based Approval Voting Broadly Resists Control.
Gábor Erdélyi, Markus Nowak, Jörg Rothe
2008Smoothed Analysis of Binary Search Trees and Quicksort under Additive Noise.
Bodo Manthey, Till Tantau
2008Step-Out Ring Signatures.
Marek Klonowski, Lukasz Krzywiecki, Miroslaw Kutylowski, Anna Lauks
2008Succinctness of Regular Expressions with Interleaving, Intersection and Counting.
Wouter Gelade
2008The Height of Factorization Forests.
Manfred Kufleitner
2008The Maximum Independent Set Problem in Planar Graphs.
Vladimir E. Alekseev, Vadim V. Lozin, Dmitriy S. Malyshev, Martin Milanic
2008Voronoi Games on Cycle Graphs.
Marios Mavronicolas, Burkhard Monien, Vicky G. Papadopoulou, Florian Schoppmann
2008When Ignorance Helps: Graphical Multicast Cost Sharing Games.
Vittorio Bilò, Angelo Fanelli, Michele Flammini, Luca Moscardelli