@article{Valiant/03a,
AUTHOR = {Valiant, Leslie G.},
TITLE = {Erratum to ''Expressiveness of matchgates''},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1},
PAGES = {795},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
NOTE = {Originally in Theor.~Comput.~Sci., Vol. 289, No. 1, 2002, 457-471},
}
@article{Courcelle/03,
AUTHOR = {Courcelle, Bruno},
TITLE = {The monadic second-order logic of graphs XIV: Uniformly sparse graphs and edge set quantifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {1-36},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Magnoni-Mirolli-Montagna-Simi/03,
AUTHOR = {Magnoni, Letizia and Mirolli, Massimo and Montagna, Franco and Simi, Giulia},
TITLE = {PAC learning of probability distributions over a discrete domain},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {37-63},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aracena-Goles/03,
AUTHOR = {Aracena, Julio and Goles, Eric},
TITLE = {Complexity of perceptron recognition for a class of geometric patterns},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {65-79},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kiwi/03,
AUTHOR = {Kiwi, M.},
TITLE = {Algebraic testing and weight distributions of codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {81-106},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hwang/03,
AUTHOR = {Hwang, F.K.},
TITLE = {A survey on multi-loop networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {107-121},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Epifanio-Koskas-Mignosi/03,
AUTHOR = {Epifanio, Chiara and Koskas, Michel and Mignosi, Filippo},
TITLE = {On a conjecture on bidimensional words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {123-150},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Wood/03,
AUTHOR = {Wood, David R.},
TITLE = {Optimal three-dimensional orthogonal graph drawing in the general position model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {151-178},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bartha-Kresz/03,
AUTHOR = {Bartha, Mikl{\'{o}}s and Kr{\'{e}}sz, Mikl{\'{o}}s},
TITLE = {Structuring the elementary components of graphs having a perfect internal matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {179-210},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Jiang-Lin-Wen-Xu-Xu-Xu/03,
AUTHOR = {Chen, Zhi-Zhong and Jiang, Tao and Lin, Guohui and Wen, Jianjun and Xu, Dong and Xu, Jinbo and Xu, Ying},
TITLE = {Approximation algorithms for NMR spectral peak assignment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {211-229},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Baeza-Yates-Gabarro-Messeguer/03,
AUTHOR = {Baeza-Yates, R. and Gabarr{\'{o}}, J. and Messeguer, X.},
TITLE = {Fringe analysis of synchronized parallel insertion algorithms in 2-3 trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {231-271},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nandy-Das-Goswami/03,
AUTHOR = {Nandy, Subhas C. and Das, Sandip and Goswami, Partha P.},
TITLE = {An efficient $k$ nearest neighbors searching algorithm for a query line},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {273-288},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Malkhi-Mansour-Reiter/03,
AUTHOR = {Malkhi, Dahlia and Mansour, Yishay and Reiter, Michael K.},
TITLE = {Diffusion without false rumors: On propagating updates in a Byzantine environment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {289-306},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Holzer-McKenzie/03,
AUTHOR = {Holzer, Markus and McKenzie, Pierre},
TITLE = {Alternating and empty alternating auxiliary stack automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {307-326},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Finkel/03a,
AUTHOR = {Finkel, Olivier},
TITLE = {On omega context free languages which are Borel sets of infinte rank},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {327-346},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kuske/03a,
AUTHOR = {Kuske, Dietrich},
TITLE = {Towards a language theory for infinite $N$-free pomsets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {347-386},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lemstrom-Hella/03,
AUTHOR = {Lemstr{\"o}m, Kjell and Hella, Lauri},
TITLE = {Approximate pattern matching and transitive closure logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {387-412},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dang-Pietro-Kemmerer/03,
AUTHOR = {Dang, Zhe and Pietro, Pierluigi San and Kemmerer, Richard A.},
TITLE = {Presburger liveness verification of discrete timed automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {413-438},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Epstein-Stee/03,
AUTHOR = {Epstein, Leah and Stee, Rob van},
TITLE = {Lower bounds for on-line single-machine scheduling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {439-450},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rusinowitch-Turuani/03,
AUTHOR = {Rusinowitch, Micha{\"e}l and Turuani, Mathieu},
TITLE = {Protocol insecurity with a finite number of sessions and composed keys is $NP$-complete},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {451-475},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fiorenzi/03,
AUTHOR = {Fiorenzi, Francesca},
TITLE = {Cellular automata and strongly irreducible shifts of finite type},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {477-493},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Krishna-Rama/03,
AUTHOR = {Krishna, Shankara Narayanan and Rama, Raghavan},
TITLE = {Breaking DES using $P$ systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {495-508},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Watson/03,
AUTHOR = {Watson, Bruce W.},
TITLE = {A new regular grammar pattern matching algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {509-521},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durand-Formenti-Roka/03,
AUTHOR = {Durand, Bruno and Formenti, Enrico and R{\'{o}}ka, Zsuzsanna},
TITLE = {Number-conserving cellular automata I: Decidability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {523-535},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Engebretsen-Holmerin/03,
AUTHOR = {Engebretsen, Lars and Holmerin, Jonas},
TITLE = {Towards optimal lower bounds for clique and chromatic number},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {537-584},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Giorgetti/03,
AUTHOR = {Giorgetti, Alain},
TITLE = {An asymptotic study for path reversal},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {585-602},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Wild/03,
AUTHOR = {Wild, Marcel},
TITLE = {Idempotent and co-idempotent stack filters and min-max operators},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {603-631},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernau-Holzer-Freund/03,
AUTHOR = {Fernau, H. and Holzer, M. and Freund, R.},
TITLE = {Hybrid modes in cooperating distributed grammar systems: Combining the $t$-mode with the modes $\leq k$ and $=k$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {633-662},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Okhotin/03c,
AUTHOR = {Okhotin, Alexander},
TITLE = {On the closure properties of linear conjunctive languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {663-685},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ibarra-Dang/03,
AUTHOR = {Ibarra, Oscar H. and Dang, Zhe},
TITLE = {Eliminating the storage tape inreachability constructions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {687-706},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Buchsbaum-Giancarlo-Westbrook/03,
AUTHOR = {Buchsbaum, Adam L. and Giancarlo, Raffaele and Westbrook, Jeffery R.},
TITLE = {On finding common neighborhoods in massive graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {707-718},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gerber-Kobler/03,
AUTHOR = {Gerber, Michael U. and Kobler, Daniel},
TITLE = {Algorithms for vertex-partitioning problems on graphs with fixed clique-width},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {719-734},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heam/03,
AUTHOR = {H{\'{e}}am, P.-C.},
TITLE = {Some complexity results for polynomial rational expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {735-741},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Liu/03c,
AUTHOR = {Liu, Y.J.},
TITLE = {Regular component decomposition of regular languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {743-749},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Clementi-Ianni-Silvestri/03,
AUTHOR = {Clementi, Andrea E.F. and Ianni, Miriam Di and Silvestri, Riccardo},
TITLE = {The minimum broadcast range assignment problem on linear multi-hop wireless networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {751-761},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Rytter/03,
AUTHOR = {Rytter, Wojciech},
TITLE = {On maximal suffixes and constant-space linear-time versions of KMP algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {763-774},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Garcia-Ruiz-Vazquez_de_Parga/03,
AUTHOR = {Garc{\'{i}}a, Pedro and Ruiz, Jos{\'{e}} and Vazquez de Parga, Manuel},
TITLE = {Bilateral locally testable languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {775-783},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Csuhaj-Varju-Paun-Vaszil/03,
AUTHOR = {Csuhaj-Varj{\'{u}}, Erzs{\'{e}}bet and P{\u{a}}un, Gheorghe and Vaszil, Gy{\"o}rgy},
TITLE = {PC grammar systems with five context-free components generate all recursively enumberable languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {785-794},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}