[TYPES/announce] MFCS 2006 accepted papers

Pawel Urzyczyn urzy at mimuw.edu.pl
Fri Jun 2 12:58:44 EDT 2006


                      MFCS 2006 - accepted papers

Viliam Geffert. Magic Numbers in the State Hierarchy of Finite Automata

Pascal Koiran and Sylvain Prifel. Valiant's model: from exponential sums 
to exponential products

Rodrigo Leo and Valmir Barbosa. Minimal Chordal Sense of Direction and 
Circulant Graphs

Petr Hlineny. On Matroid Representability and Minor Problems

Yury Lifshits and Markus Lohrey. Querying and Embedding Compressed Texts

Linh Anh Nguyen. The Data Complexity of MDatalog in Basic Modal Logics

Sergey Goncharov, Lutz Schrder and Till Mossakowski. Completeness of 
Global Evaluation Logic

Lance Fortnow and Mitsunori Ogihara. Very Sparse Leaf Languages

Christian Glasser and Stephen David Travers. Machines that can Output 
Empty Words

Johanne Cohen, Fedor Fomin, Pinar Heggernes, Dieter Kratsch and Gregory 
Kucherov. Optimal Linear Arrangement of Interval Graphs

Marcin Kik. Sorting Long Sequence in a Single Hop Radio Network

Peter Jonsson and Gustav Nordh. Generalised Integer Programming Based 
on Logically Defined Relations

F. Blanchet-Sadri, D. Dakota Blair and Rebeca V. Lewis. Equations on 
Partial Words

Martin Kutrib and Andreas Malcher. Fast Iterative Arrays with Restricted 
Inter-Cell Communication: Constructions and Decidability

Fredrik Kuivinen. Approximability of Bounded Occurrence Max Ones

Miroslaw Dynia, Jaroslaw Kutylowski, Friedhelm Meyer auf der Heide and 
Christian Schindelhauer. Smart Robot Teams Exploring Sparse Trees

Sorin Constantinescu and Lucian Ilie. The Lempel--Ziv complexity of fixed 
points of morphisms

Richard Beigel, William Gasarch and James Glenn. The Multiparty Communication 
Complexity of Exact-T

Xiaoyang Gu and Jack H. Lutz. Dimension Characterizations of Complexity Classes

Anna Gal and Vladimir Trifonov. On the Correlation Between Parity and Modular 
Polynomials

Refael Hassin, Jerome Monnot and Danny Segev. Approximation Algorithms and 
Hardness Results for Labeled Connectivity Problems

Giuseppe Persiano and Ivan Visconti. On Non-Interactive Zero-Knowledge Proofs 
of Knowledge in the Shared Random String Model

Christopher Homan and Lane A. Hemaspaandra. Guarantees for the Success 
Frequency of an Algorithm for Finding Dodgson-Election Winners

Jianer Chen, Iyad kanj and Ge Xia. Improved Parameterized Upper Bounds for 
Vertex Cover

A.N. Trahtman. An efficient algorithm finds noticeable trends and
examples concerning the Cerny conjecture

Alessandra Savelli and Jean Berstel. Crochemore factorization of
Sturmian and other infinite words

Michael Domaratzki and Kai Salomaa. Lower Bounds for the Transition
Complexity of NFAs

Andre Gronemeier. NOF-Multiparty Information Complexity Bounds for
Pointer Jumping

Alessandra Cherubini, Pawel Gawrychowski, Andrzej Kisielewicz and
Brunetto Piochi. A Combinatorial Approach to Collapsing Words

Alexander Kostin. A Reachability Algorithm for General Petri Nets
Based on Transition Invariants

Guillaume Malod and Natacha Portier. Characterizing Valiant's
algebraic complexity classes

Adele Rescigno and Luisa Gargano. Optimally Fast Data Gathering in
Sensor Networks

Beat Gfeller, Leon Peeters, Birgitta Weber and Peter Widmayer. Online
Single Machine Batch Scheduling

VIkraman Arvind and Piyush P Kurur. A Polynomial Time Nilpotence Test
for Galois Groups and Related Results

Francois Le Gall. Quantum Weakly Nondeterministic Communication
Complexity

Tomasz Jurdzinski. Probabilistic Length-Reducing Automata

Volker Diekert, Markus Lohrey and Alexander Miller. Partially
commutative inverse monoids

Sasanka Roy, Arindam Karmakar, Sandip Das and Subhas
C. Nandy. Constrained Minimum Enclosing Circle with Center on a Query
Line Segment

Norbert Dojer. A polynomial-time algorithm for learning Bayesian
networks from data

Slawomir Lasota and Wojciech Rytter. Faster Algorithm for Bisimulation
Equivalence of Normed Context-Free Processes

Arturo Carpi. On the repetition threshold for large alphabets

Wael El-Oraiby and Dominique Schmitt. $k$-sets of convex inclusion
chains of planar point sets

Oswin Aichholzer, Clemens Huemer, Sarah Kappes, Bettina Speckmann and
Csaba D. Toth. On Decompositions, Partitions, and Coverings with
Convex Polygons and Pseudo-Triangles

Martin Hoefer. Non-cooperative Tree Creation

Guillaume Theyssier, Victor Poupet and Laurent Boyer. On the
Complexity of Limit Sets of Cellular Automata Associated with
Probability Measures

Qi Cheng. On comparing sums of square roots of small integers

Angelo Fanelli, Michele Flammini, Giovanna Melideo and Luca
Moscardelli. Multicast Transmissions in Non-Cooperative Networks with
a Limited Number of Selfish Moves

Ulrik Brandes and Juergen Lerner. Coloring Random 3-Colorable Graphs
with Non-Uniform Edge Probabilities

Pablo Arrighi. Algebraic characterizations of unitary one dimensional
quantum cellular automata

Aris Pagourtzis and Stathis Zachos. The Complexity of Counting
Functions with Easy Decision Version

Damian Wojtowicz and Jerzy Tiuryn. On genome evolution with innovation

Lyudmil Aleksandrov, Hristo N. Djidjev, Hua Guo, Anil Maheshwari,
Doron Nussbaum and Jorg Sack. Approximate Shortest Path Queries on
Weighted Polyhedral Surfaces

Kazuo Iwama and Hiroki Morizumi. Reductions for Monotone Boolean
Circuits

Yoram Hirshfeld and Alexander Rabinovich. An Expressive Temporal Logic
for Real Time

Ondrej Klima, Benoit Larose and Pascal Tesson. Systems of Equations
over Finite Semigroups and the #CSP Dichotomy Conjecture

Rahul Tripathi. Hierarchical Unambiguity

Cyril Allauzen and Mehryar Mohri. A Unified Construction of the
Glushkov, Follow, and Antimirov Automata

Maria Lopez-Valdes. Lempel-Ziv Dimension for Lempel-Ziv Compression

Marios Mavronicolas, Loizos Michael, Vicky Papadopoulou, Anna
Philippou and Paul Spirakis. The Price of Defense

rene peralta and Joan Boyar. Concrete multiplicative complexity of
symmetric functions

Robert Elsaesser. Toward the Eigenvalue Power Law

Arnaud Carayol and Didier Caucal. The Kleene equality for graphs
-----------------------------------------------------------------



More information about the Types-announce mailing list