@article{Kari/05, AUTHOR = {Kari, Jarkko}, TITLE = {Theory of cellular automata: A survey}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {3-33}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.11.021}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Auger/05, AUTHOR = {Auger, Anne}, TITLE = {Convergence results for the $(1, \lambda)$-SA-ES using the theory of $\varphi$-irreducible Markov chains}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {35-69}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.11.017}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Bonizzoni-e_Felice-Zizza/05, AUTHOR = {Bonizzoni, Paola and e Felice, Clelia and Zizza, Rosalba}, TITLE = {The structure of reflexive regular splicing languages via Sch{\"u}tzenberger constants}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {71-98}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.033}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Gaborit-King/05, AUTHOR = {Gaborit, Philippe and King, Oliver D.}, TITLE = {Linear constructions for DNA codes}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {99-113}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.11.004}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Ibarra/05a, AUTHOR = {Ibarra, Oscar H.}, TITLE = {On membrane hierarchy in $P$ systems}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {115-129}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.05.007}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Kari-Konstantinidis-Sosik/05b, AUTHOR = {Kari, Lila and Konstantinidis, Stavros and Sos{\'{i}}k, Petr}, TITLE = {On properties of bond-free DNA languages}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {131-159}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.032}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Mutyam/05, AUTHOR = {Mutyam, Madhu}, TITLE = {Rewriting $P$ systems: Improved hierarchies}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {161-175}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, KEYWORDS = {$p$ systems, rewriting p systems, recursively enumerable languages, computational universality, leftmost rewriting, replicated rewriting, matrix languages, conditional communication, penttonen normal form, hybrid $p$ systems}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.06.015}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Sauerhoff-Sieling/05, AUTHOR = {Sauerhoff, Martin and Sieling, Detlef}, TITLE = {Quantum branching programs and space-bounded nonuniform quantum complexity}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {177-225}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.031}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Woods-Naughton/05, AUTHOR = {Woods, Damien and Naughton, Thomas J.}, TITLE = {An optical model of computation}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {227-258}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.07.001}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Yang-Hung-Song-Perkowski/05, AUTHOR = {Yang, Guowu and Hung, William N.N. and Song, Xiaoyu and Perkowski, Marek}, TITLE = {Majority-based reversible logic gates}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {259-274}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.12.026}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, } @article{Yamasaki-Kobayashi-Imai/05, AUTHOR = {Yamasaki, Tomohiro and Kobayashi, Hirotada and Imai, Hiroshi}, TITLE = {Quantum versus deterministic counter automata}, JOURNAL = {Theor.~Comput.~Sci.}, VOLUME = {334}, NUMBER = {1-3}, PAGES = {275-297}, YEAR = {2005}, EDITOR = {Ausiello, G. and Sannella, D.}, URL = {http://dx.doi.org/10.1016/j.tcs.2004.07.034}, PUBLISHER = {Elsevier B.V.}, ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo}, }