@article{Ananichev-Volkov/05,
AUTHOR = {Ananichev, D.S. and Volkov, M.V.},
TITLE = {Synchronizing generalized monotonic automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {3-13},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {synchronizing automata, order-preserving transformation, monotonic automata, congruence on an automaton, generalized monotonic automata, rank of a word with respect to an automaton, rank of an automaton},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Austinat-Diekert-Hertrampf-Petersen/05,
AUTHOR = {Austinat, Holger and Diekert, Volker and Hertrampf, Ulrich and Petersen, Holger},
TITLE = {Regular frequency computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {15-21},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {frequency computation, regular languages},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Campeanu-Santean-Yu/05,
AUTHOR = {C{\^a}mpeanu, Cezar and S{\^a}ntean, Nicolae and Yu, Sheng},
TITLE = {Mergible states in large NFA},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {23-34},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {nondeterministic finite automata, mergible states, number of states, equivalent states},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Carpi-de_Luca/05,
AUTHOR = {Carpi, Arturo and de Luca, Aldo},
TITLE = {Completions in measure of languages and related combinatorial problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {35-57},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {bernoulli sets, bernoulli completions, codes},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.009},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dang-Ibarra-Sun/05,
AUTHOR = {Dang, Zhe and Ibarra, Oscar H. and Sun, Zhi-Wei},
TITLE = {On two-way nondeterministic finite automata with one reversal-bounded counter},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {59-79},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {counter machine, reversal-boundedness, emptiness problem, bounded language},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.010},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ding-Wang/05,
AUTHOR = {Ding, Cunsheng and Wang, Xuesong},
TITLE = {A coding theory construction of new systematic authentication codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {81-99},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {authentication codes, cryptography, error correcting codes},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.011},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Freund-Paun-Perez-Jimenez/05,
AUTHOR = {Freund, Rudolf and P{\u{a}}un, Gheorghe and P{\'e}rez-Jim{\'e}nez, Mario J.},
TITLE = {Tissue $P$ systems with channel states},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {101-116},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {matrix grammars, membrane computing, $p$ systems, states, turing computability},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.013},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Harju-Nowotka/05,
AUTHOR = {Harju, Tero and Nowotka, Dirk},
TITLE = {On the equation $x^k=z^{k_1}_1z^{k_2}_2...z^{k_n}_n$ in a free semigroup},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {117-121},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {combinatorics on words, word equations, periodicity msc: 68r15, 20m05},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.012},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Honkala/05b,
AUTHOR = {Honkala, Juha},
TITLE = {The language equivalence problem for HD0L systems having H0L growths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {123-133},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {D0L system, HD0L system, language equivalence problem},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.014},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hromkovic-Schnitger/05a,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Schnitger, Georg},
TITLE = {On the power of randomized multicounter machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {135-144},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {problem complexity, randomness, determinism, nondeterminism, multicounter machines},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.015},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Matiyasevich-Senizergues/05,
AUTHOR = {Matiyasevich, Yuri and S{\'e}nizergues, G{\'e}raud},
TITLE = {Decision problems for semi-Thue systems with a few rules},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {145-169},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {decidability, bounds, semi-thue system, accessibility, post correspondence problem, termination},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.016},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ruohonen/05,
AUTHOR = {Ruohonen, Keijo},
TITLE = {Explicit test sets for iterated morphisms in free monoids and Metabelian groups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {1},
PAGES = {171-191},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.09.017},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bordihn/05,
AUTHOR = {Bordihn, Henning},
TITLE = {On the number of components in cooperating distributed grammar systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {195-204},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {cooperating distributed grammar systems, descriptional complexity},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.03.071},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Castellanos-Leupold-Mitrana/05,
AUTHOR = {Castellanos, Juan and Leupold, Peter and Mitrana, Victor},
TITLE = {On the size complexity of hybrid networks of evolutionary processors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {205-220},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.07.035},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Champarnaud-Paranthoen/05,
AUTHOR = {Champarnaud, Jean-Marc and Parantho{\"e}n, Thomas},
TITLE = {Random generation of DFAs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {221-235},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.03.072},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Daley-McQuillan/05,
AUTHOR = {Daley, Mark and McQuillan, Ian},
TITLE = {Template-guided DNA recombination},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {237-250},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.06.028},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Freund-Kari-Oswald-Sosik/05,
AUTHOR = {Freund, Rudolf and Kari, Lila and Oswald, Marion and Sos{\'{i}}k, Petr},
TITLE = {Computationally universal $P$ systems without priorities: Two catalysts are sufficient},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {251-266},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.06.029},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Holzer-Kutrib/05,
AUTHOR = {Holzer, Markus and Kutrib, Martin},
TITLE = {On the descriptional complexity of finite automata with modified acceptance conditions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {267-285},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.06.030},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jiraskova/05,
AUTHOR = {Jir{\'a}skov{\'a}, Galina},
TITLE = {State complexity of some operations on binary regular languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {287-298},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.04.011},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kappes-Niessner/05,
AUTHOR = {Kappes, Martin and Nie{\ss}ner, Frank},
TITLE = {Succinct representations of languages by DFA with different levels of reliability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {299-310},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.04.012},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kutrib/05a,
AUTHOR = {Kutrib, Martin},
TITLE = {On the descriptional power of heads, counters, and pebbles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {311-324},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {descriptional complexity, state complexity, non-recursive trade-offs, finite automata},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.04.013},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Malcher/05,
AUTHOR = {Malcher, Andreas},
TITLE = {On two-way communication in cellular automata with a fixed number of cells},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {325-338},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {cellular automata, regular languages, descriptional complexity},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.04.014},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Margenstern-Paun-Rogozhin-Verlan/05,
AUTHOR = {Margenstern, Maurice and P{\u{a}}un, Gheorghe and Rogozhin, Yurii and Verlan, Sergey},
TITLE = {Context-free insertion-deletion systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {339-348},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.06.031},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mera-Pighizzini/05,
AUTHOR = {Mera, Filippo and Pighizzini, Giovanni},
TITLE = {Complementing unary nondeterministic automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {349-360},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.04.015},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Vaszil/05,
AUTHOR = {Vaszil, Gy{\"o}rgy},
TITLE = {On the descriptional complexity of some rewriting mechanisms regulated by context conditions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {2},
PAGES = {361-373},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {regulated rewriting, descriptional complexity, simple semi-conditional grammars, scattered context grammars},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.06.032},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aceto-Fokkink-Ingolfsdottir-Luttik/05,
AUTHOR = {Aceto, Luca and Fokkink, Wan and Ing{\'o}lfsd{\'o}ttir, Anna and Luttik, Bas},
TITLE = {CCS with Hennessy's merge has no finite-equational axiomatization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {3},
PAGES = {377-405},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.10.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bolton-Lowe/05,
AUTHOR = {Bolton, Christie and Lowe, Gavin},
TITLE = {A hierarchy of failures-based models: Theory and application},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {3},
PAGES = {407-438},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.10.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Carayol-Hirschkoff-Sangiorgi/05,
AUTHOR = {Carayol, Arnaud and Hirschkoff, Daniel and Sangiorgi, Davide},
TITLE = {On the representation of McCarthy's amb in the $\pi$ -calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {3},
PAGES = {439-473},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.10.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lozes/05,
AUTHOR = {Lozes, {\'E}tienne},
TITLE = {Elimination of spatial connectives in static spatial logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {3},
PAGES = {475-499},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.10.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Maffeis-Phillips/05,
AUTHOR = {Maffeis, Sergio and Phillips, Iain},
TITLE = {On the computational strength of pure ambient calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {3},
PAGES = {501-551},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.10.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mayr/05,
AUTHOR = {Mayr, Richard},
TITLE = {Weak bisimilarity and regularity of context-free processes is EXPTIME-hard},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {3},
PAGES = {553-575},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {context-free processes, bpa, pushdown automata, bisimulation},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.10.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Valencia/05a,
AUTHOR = {Valencia, Frank D.},
TITLE = {Decidability of infinite-state timed CCP processes and first-order LTL},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {330},
NUMBER = {3},
PAGES = {577-607},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://dx.doi.org/10.1016/j.tcs.2004.10.009},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}