Conferences in DBLP

Mathematical Foundations of Computer Science (MFCS) (mfcs)
2008 (conf/mfcs/2008)

1. 
   One Useful Logic That Defines Its Own Truth. [Citation Graph (, )][DBLP]
   
   
2. 
   On Synchronous and Asynchronous Interaction in Distributed Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   A Robust Class of Regular Languages. [Citation Graph (, )][DBLP]
   
   
4. 
   Deterministic Models of Communication Faults. [Citation Graph (, )][DBLP]
   
   
5. 
   Algebraic Graph Algorithms. [Citation Graph (, )][DBLP]
   
   
6. 
   Question/Answer Games on Towers and Pyramids. [Citation Graph (, )][DBLP]
   
   
7. 
   The Maximum Independent Set Problem in Planar Graphs. [Citation Graph (, )][DBLP]
   
   
8. 
   When Ignorance Helps: Graphical Multicast Cost Sharing Games. [Citation Graph (, )][DBLP]
   
   
9. 
   Shortest Synchronizing Strings for Huffman Codes. [Citation Graph (, )][DBLP]
   
   
10. 
    Optimizing Conjunctive Queries over Trees Using Schema Information. [Citation Graph (, )][DBLP]
    
    
11. 
    Clustering with Partial Information. [Citation Graph (, )][DBLP]
    
    
12. 
    Reoptimization of the Metric Deadline TSP. [Citation Graph (, )][DBLP]
    
    
13. 
    On the Shortest Linear Straight-Line Program for Computing Linear Forms. [Citation Graph (, )][DBLP]
    
    
14. 
    Flip Algorithm for Segment Triangulations. [Citation Graph (, )][DBLP]
    
    
15. 
    Computing Sharp 2-Factors in Claw-Free Graphs. [Citation Graph (, )][DBLP]
    
    
16. 
    A 6/5-Approximation Algorithm for the Maximum 3-Cover Problem. [Citation Graph (, )][DBLP]
    
    
17. 
    Positional Strategies for Higher-Order Pushdown Parity Games. [Citation Graph (, )][DBLP]
    
    
18. 
    Arthur and Merlin as Oracles. [Citation Graph (, )][DBLP]
    
    
19. 
    A Decision Problem for Ultimately Periodic Sets in Non-standard Numeration Systems. [Citation Graph (, )][DBLP]
    
    
20. 
    Regional Languages and Tiling: A Unifying Approach to Picture Grammars. [Citation Graph (, )][DBLP]
    
    
21. 
    On a Special Class of Primitive Words. [Citation Graph (, )][DBLP]
    
    
22. 
    Complexity of Data Tree Patterns over XML Documents. [Citation Graph (, )][DBLP]
    
    
23. 
    A PTAS for the Sparsest Spanners Problem on Apex-Minor-Free Graphs. [Citation Graph (, )][DBLP]
    
    
24. 
    Computational Complexity of Perfect-Phylogeny-Related Haplotyping Problems. [Citation Graph (, )][DBLP]
    
    
25. 
    Sincere-Strategy Preference-Based Approval Voting Broadly Resists Control. [Citation Graph (, )][DBLP]
    
    
26. 
    Reversal-Bounded Counter Machines Revisited. [Citation Graph (, )][DBLP]
    
    
27. 
    Iterative Compression and Exact Algorithms. [Citation Graph (, )][DBLP]
    
    
28. 
    Complexity and Limiting Ratio of Boolean Functions over Implication. [Citation Graph (, )][DBLP]
    
    
29. 
    Succinctness of Regular Expressions with Interleaving, Intersection and Counting. [Citation Graph (, )][DBLP]
    
    
30. 
    Nilpotency and Limit Sets of Cellular Automata. [Citation Graph (, )][DBLP]
    
    
31. 
    A Note on k-Colorability of P5-Free Graphs. [Citation Graph (, )][DBLP]
    
    
32. 
    Combinatorial Bounds and Algorithmic Aspects of Image Matching under Projective Transformations. [Citation Graph (, )][DBLP]
    
    
33. 
    Lower Bounds for Syntactically Multilinear Algebraic Branching Programs. [Citation Graph (, )][DBLP]
    
    
34. 
    Periodicity and Immortality in Reversible Computing. [Citation Graph (, )][DBLP]
    
    
35. 
    Step-Out Ring Signatures. [Citation Graph (, )][DBLP]
    
    
36. 
    The Height of Factorization Forests. [Citation Graph (, )][DBLP]
    
    
37. 
    Arithmetic Circuits, Syntactic Multilinearity, and the Limitations of Skew Formulae. [Citation Graph (, )][DBLP]
    
    
38. 
    Smoothed Analysis of Binary Search Trees and Quicksort under Additive Noise. [Citation Graph (, )][DBLP]
    
    
39. 
    From lambda-Calculus to Universal Algebra and Back. [Citation Graph (, )][DBLP]
    
    
40. 
    A Complete Axiomatic System for a Process-Based Spatial Logic. [Citation Graph (, )][DBLP]
    
    
41. 
    Voronoi Games on Cycle Graphs. [Citation Graph (, )][DBLP]
    
    
42. 
    Colouring Random Empire Trees. [Citation Graph (, )][DBLP]
    
    
43. 
    A Random Oracle Does Not Help Extract the Mutual Information. [Citation Graph (, )][DBLP]
    
    
44. 
    Approximating Independent Set and Coloring in Random Uniform Hypergraphs. [Citation Graph (, )][DBLP]
    
    
45. 
    A New Upper Bound for Max-2-SAT: A Graph-Theoretic Approach. [Citation Graph (, )][DBLP]
    
    
46. 
    Directed Percolation Arising in Stochastic Cellular Automata Analysis. [Citation Graph (, )][DBLP]
    
    
47. 
    Resolution Width and Cutting Plane Rank Are Incomparable. [Citation Graph (, )][DBLP]
    
    
48. 
    On the Decidability of Bounded Valuedness for Transducers. [Citation Graph (, )][DBLP]
    
    
49. 
    Monadic Second Order Logic on Graphs with Local Cardinality Constraints. [Citation Graph (, )][DBLP]
    
    
50. 
    Short Proofs of Strong Normalization. [Citation Graph (, )][DBLP]