@article{Giacobazzi-Mastroeni/05,
AUTHOR = {Giacobazzi, Roberto and Mastroeni, Isabella},
TITLE = {Transforming semantics by abstract interpretation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {1-50},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.021},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Costagliola-Ferrucci-Gravino/05,
AUTHOR = {Costagliola, Gennaro and Ferrucci, Filomena and Gravino, Carmine},
TITLE = {Adding symbolic information to picture models: Definitions and properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {51-104},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.03.028},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Karhumaki-Plandowski-Rytter/05,
AUTHOR = {Karhum{\"a}ki, Juhani and Plandowski, Wojciech and Rytter, Wojciech},
TITLE = {On the complexity of decidable cases of the commutation problem of languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {105-118},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.03.073},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{McQuillan/05,
AUTHOR = {McQuillan, I.},
TITLE = {The generative capacity of block-synchronized context-free grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {119-133},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.11.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cheng-Kellerer-Kotov/05,
AUTHOR = {Cheng, T.C. Edwin and Kellerer, Hans and Kotov, Vladimir},
TITLE = {Semi-on-line multiprocessor scheduling with given total processing time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {134-146},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.11.018},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Flocchini-Prencipe-Santoro-Widmayer/05,
AUTHOR = {Flocchini, Paola and Prencipe, Giuseppe and Santoro, Nicola and Widmayer, Peter},
TITLE = {Gathering of asynchronous robots with limited visibility},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {147-168},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.01.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chuan/05,
AUTHOR = {Chuan, Wai-Fong},
TITLE = {Factors of characteristic words of irrational numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {169-182},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.028},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Moriya-Hofbauer-Huber-Otto/05,
AUTHOR = {Moriya, Etsuro and Hofbauer, Dieter and Huber, Maria and Otto, Friedrich},
TITLE = {On state-alternating context-free grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {183-216},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.029},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bille/05,
AUTHOR = {Bille, Philip},
TITLE = {A survey on tree edit distance and related problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {217-239},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.030},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dias-de_Figueiredo-Szwarcfiter/05,
AUTHOR = {Dias, V{\^{a}}nia M.F. and de Figueiredo, Celina M.H. and Szwarcfiter, Jayme L.},
TITLE = {Generating bicliques of a graph in lexicographic order},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {240-248},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.01.014},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Elkin-Peleg/05,
AUTHOR = {Elkin, Michael and Peleg, David},
TITLE = {Approximating $k$-spanner problems for $k>2$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {249-277},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.11.022},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guelev-Hung/05,
AUTHOR = {Guelev, Dimitar P. and Hung, Dang Van},
TITLE = {On the completeness and decidability of duration calculus with iteration},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {278-304},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.01.017},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Kanj/05,
AUTHOR = {Chen, Jianer and Kanj, Iyad A.},
TITLE = {On approximating minimum vertex cover for graphs with perfect matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {305-318},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.034},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aigner-de_Marco-Montangero/05,
AUTHOR = {Aigner, Martin and de Marco, Gianluca and Montangero, Manuela},
TITLE = {The plurality problem with three colors and more},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {319-330},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.035},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Manthey-Reischuk/05a,
AUTHOR = {Manthey, Bodo and Reischuk, R{\"u}diger},
TITLE = {The intractability of computing the Hamming distance},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {331-346},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.02.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hoory-Szeider/05,
AUTHOR = {Hoory, Shlomo and Szeider, Stefan},
TITLE = {Computing unsatisfiable $k$-SAT instances with few occurrences per variable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {347-359},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.02.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chou-Ko/05,
AUTHOR = {Chou, Arthur W. and Ko, Ker-I},
TITLE = {The computational complexity of distance functions of two-dimensional domains},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {360-369},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.11.016},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hsieh/05a,
AUTHOR = {Hsieh, Sun-Yuan},
TITLE = {Embedding longest fault-free paths onto star graphs with more vertex faults},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {370-378},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {interconnection networks, fault-tolerant embedding, longest fault-free paths, star graphs},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.01.018},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bruin-Volkova/05,
AUTHOR = {Bruin, H. and Volkova, O.},
TITLE = {The complexity of Fibonacci-like kneading sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {379-389},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.02.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Huang-Li-Zhang/05,
AUTHOR = {Huang, Li-Sha and Li, Minming and Zhang, Bo},
TITLE = {Approximation of Walrasian equilibrium in single-minded auctions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {337},
NUMBER = {1-3},
PAGES = {390-398},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.03.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}