@article{Durchholz/02,
AUTHOR = {Durchholz, Reiner},
TITLE = {A generic causal model for place latency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {1-49},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grabner-Prodinger/02,
AUTHOR = {Grabner, Peter J. and Prodinger, Helmut},
TITLE = {Sorting algorithms for broadcast communications: Mathematical analysis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {51-67},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dantsin-Goerdt-Hirsch-Kannan-Kleinberg-Papadimitriou-Raghavan-Schoning/02,
AUTHOR = {Dantsin, Evgeny and Goerdt, Andreas and Hirsch, Edward A. and Kannan, Ravi and Kleinberg, Jon and Papadimitriou, Christos and Raghavan, Prabhakar and Sch{\"o}ning, Uwe},
TITLE = {A deterministic $(2-2/(k+1))^n$ algorithm for $k$-SAT based on local search},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {69-83},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Eilam-Moran-Zaks/02,
AUTHOR = {Eilam, T. and Moran, S. and Zaks, S.},
TITLE = {The complexity of the characterization of networks supporting shortest-path interval routing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {85-104},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Barbe-Haeseler/02,
AUTHOR = {Barb{\'{e}}, A. and Haeseler, F. von},
TITLE = {Symmetries of decimation invariant sequences and digit sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {105-136},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Champarnaud-Ziadi/02,
AUTHOR = {Champarnaud, J.-M. and Ziadi, D.},
TITLE = {Canonical derivatives, partial derivatives and finite automaton constructions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {137-163},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ibarra-Su-Dang-Bultan-Kemmerer/02,
AUTHOR = {Ibarra, Oscar H. and Su, Jianwen and Dang, Zhe and Bultan, Tevfik and Kemmerer, Richard A.},
TITLE = {Counter machines and verification problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {165-189},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ibarra-Su/02,
AUTHOR = {Ibarra, Oscar H. and Su, Jianwen},
TITLE = {Augmenting the discrete timed automaton with other data structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {191-204},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Atkinson-Murphy-Ruskuc/02,
AUTHOR = {Atkinson, M.D. and Murphy, M.M. and Ru{\v{s}}kuc, N.},
TITLE = {Sorting with two ordered stacks in series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {205-223},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beal-Carton/02,
AUTHOR = {B{\'{e}}al, Marie-Pierre and Carton, Olivier},
TITLE = {Determinization of transducers over finite and infinite words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {225-251},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Klein-Kutrib/02a,
AUTHOR = {Klein, Andreas and Kutrib, Martin},
TITLE = {Deterministic Turing machines in the range between real-time and linear-time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {253-275},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Wada-Kawaguchi/02,
AUTHOR = {Chen, Wei and Wada, Koichi and Kawaguchi, Kimio},
TITLE = {Robust algorithms for constructing strongly convex hulls in parallel},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {277-295},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blanchet-Sadri-Luhmann/02,
AUTHOR = {Blanchet-Sadri, F. and Luhmann, D.K.},
TITLE = {Conjugacy on partial words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {297-312},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chung-Yan-Wu/02,
AUTHOR = {Chung, Kuo-Liang and Yan, Wen-Ming and Wu, Jung-Gen},
TITLE = {Load-balanced parallel banded-system solvers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {313-334},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bein-Chrobak-Larmore/02,
AUTHOR = {Bein, Wolfgang W. and Chrobak, Marek and Larmore, Lawrence L.},
TITLE = {The 3-server problem in the plane},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {335-354},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Auletta-Caragiannis-Kaklamanis-Persiano/02,
AUTHOR = {Auletta, Vincenzo and Caragiannis, Ioannis and Kaklamanis, Christos and Persiano, Pino},
TITLE = {Randomized path coloring on binary trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {355-399},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brit-Moran-Taubenfeld/02,
AUTHOR = {Brit, Hagit and Moran, Shlomo and Taubenfeld, Gadi},
TITLE = {Public data structures: Counters as a special case},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {401-423},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernau/02b,
AUTHOR = {Fernau, Henning},
TITLE = {Even linear simple matrix languages: Formal language properties and grammatical inference},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {425-456},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Feige-Rayzman/02,
AUTHOR = {Feige, Uriel and Rayzman, Giora},
TITLE = {On the drift of short schedules},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {473-484},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fleischner-Kullmann-Szeider/02,
AUTHOR = {Fleischner, Herbert and Kullmann, Oliver and Szeider, Stefan},
TITLE = {Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable difference},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {503-516},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Eriksen/02,
AUTHOR = {Eriksen, Niklas},
TITLE = {$(1+\varepsilon)$-approximation of sorting by reversals and transpositions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {517-529},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Crvenkovic-Dolinka/02,
AUTHOR = {Crvenkovi{\'c}, Sini{\v{s}}a and Dolinka, Igor},
TITLE = {On axioms for commutative regular equations without addition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {531-551},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cai-Juedes-Kanj/02,
AUTHOR = {Cai, Liming and Juedes, David and Kanj, Iyad},
TITLE = {The inapproximability of non-$NP$-hard optimization problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {553-571},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blondel-Cassaigne-Nichitiu/02,
AUTHOR = {Blondel, Vincent D. and Cassaigne, Julien and Nichitiu, Codrin},
TITLE = {On the presence of periodic configurations in Turing machines and in counter machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {573-590},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Baumgartner-Gottlob/02,
AUTHOR = {Baumgartner, Robert and Gottlob, Georg},
TITLE = {Propositional default logics made easier: Computational complexity of model checking},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {591-627},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arnold-Beyer/02,
AUTHOR = {Arnold, Dirk V. and Beyer, Hans-Georg},
TITLE = {Performance analysis of evolution strategies with multi-recombination in high-dimensional $R^N$-search spaces disturbed by noise},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {629-647},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Knessl-Szpankowski/02a,
AUTHOR = {Knessl, Charles and Szpankowski, Wojciech},
TITLE = {The height of a binary search tree: The limiting distribution perspective},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {649-703},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Karhumaki-Petre/02,
AUTHOR = {Karhum{\"a}ki, Juhani and Petre, Ion},
TITLE = {Conway's problem for three-word sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {705-725},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ciobanu-Rotaru/02,
AUTHOR = {Ciobanu, Gabriel and Rotaru, Mihai},
TITLE = {Molecular interaction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {801-827},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Damaschke/02c,
AUTHOR = {Damaschke, Peter},
TITLE = {Two short notes on the on-line Travelling Salesman: Handling times and lookahead},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {845-852},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hashiguchi/02,
AUTHOR = {Hashiguchi, Kosaburo},
TITLE = {Algorithms for determining the smallest number of nonterminals (states) sufficient for generating (accepting) a regular language $R$ with $R_1 \subseteq R \subseteq R_2$ for given regular languages $R_1,R_2$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {853-859},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hitchcock/02a,
AUTHOR = {Hitchcock, John M.},
TITLE = {MAX3SAT is exponentially hard to approximate if $NP$ has positive dimension},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {861-869},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ageev/02,
AUTHOR = {Ageev, M.},
TITLE = {Martin's game: A lower bound for the number of sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {1},
PAGES = {871-876},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aurenhammer-Katoh-Kojima-Ohsaki-Xu/02,
AUTHOR = {Aurenhammer, Franz and Katoh, Naoki and Kojima, Hiromichi and Ohsaki, Makoto and Xu, Yinfeng},
TITLE = {Approximating uniform triangular meshes in polygons},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {2},
PAGES = {879-895},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hernando-Houle-Hurtado/02,
AUTHOR = {Hernando, Carmen and Houle, Michael E. and Hurtado, Ferran},
TITLE = {On local transformation of polygons with visibility properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {2},
PAGES = {919-937},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fujita-Hada/02,
AUTHOR = {Fujita, Satoshi and Hada, Takeshi},
TITLE = {Two-dimensional on-line bin packing problem with rotatable items},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {2},
PAGES = {939-952},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Halldorsson-Iwama-Miyazaki-Taketomi/02,
AUTHOR = {Halld{\'{o}}rsson, Magn{\'{u}}s M. and Iwama, Kazuo and Miyazaki, Shuichi and Taketomi, Shiro},
TITLE = {Online independent sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {2},
PAGES = {953-962},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ono-Makino-Ibaraki/02,
AUTHOR = {Ono, Hirotaka and Makino, Kazuhisa and Ibaraki, Toshihide},
TITLE = {Logical analysis of data with decomposable structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {2},
PAGES = {977-995},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Khot-Raman/02,
AUTHOR = {Khot, Subhash and Raman, Venkatesh},
TITLE = {Parameterized complexity of finding subgraphs with hereditary properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {289},
NUMBER = {2},
PAGES = {997-1008},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beckmann/02,
AUTHOR = {Beckmann, Arnold},
TITLE = {Notations for exponentiation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {1},
PAGES = {3-19},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Buhrman-Wolf/02,
AUTHOR = {Buhrman, Harry and Wolf, Ronald de},
TITLE = {Complexity measures and decision tree complexity: A survey},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {1},
PAGES = {21-43},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Carbone/02,
AUTHOR = {Carbone, A.},
TITLE = {Streams and strings in formal proofs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {1},
PAGES = {45-83},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Crescenzi-Rossi/02,
AUTHOR = {Crescenzi, P. and Rossi, G.},
TITLE = {On the Hamming distance of constraint satisfaction problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {1},
PAGES = {85-100},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Eiter-Veith/02,
AUTHOR = {Eiter, Thomas and Veith, Helmut},
TITLE = {On the complexity of data disjunctions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {1},
PAGES = {101-128},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gradel/02,
AUTHOR = {Gr{\"a}del, Erich},
TITLE = {Guarded fixed point logics and the monadic theory of countable trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {1},
PAGES = {129-152},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Libkin/02,
AUTHOR = {Libkin, Leonid Limsoon Wong},
TITLE = {Lower bounds for invariant queries in logics with counting},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {1},
PAGES = {153-180},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Balcazar-Castro-Guijarro-Simon/02,
AUTHOR = {Balc{\'{a}}zar, Jos{\'{e}} L. and Castro, Jorge and Guijarro, David and Simon, Hans-Ulrich},
TITLE = {The consistency dimension and distribution-dependent learning from queries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {2},
PAGES = {197-215},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Goldman-Kwek/02,
AUTHOR = {Goldman, Sally A. and Kwek, Stephen S.},
TITLE = {On learning unions of pattern languages and tree patterns in the mistake bound model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {2},
PAGES = {237-254},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bshouty-Eiron-Kushilevitz/02,
AUTHOR = {Bshouty, Nader H. and Eiron, Nadav and Kushilevitz, Eyal},
TITLE = {PAC learning with nasty noise},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {2},
PAGES = {255-275},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lange-Grieser/02,
AUTHOR = {Lange, Steffen and Grieser, Gunter},
TITLE = {On the learning of incremental learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {288},
NUMBER = {2},
PAGES = {277-307},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Amos-Paun-Rozenberg-Salomaa/02,
AUTHOR = {Amos, Martyn and P{\u{a}}un, Georghe and Rozenberg, Grzegorz and Salomaa, Arto},
TITLE = {Topics in the theory of DNA computing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {3-38},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brenneman-Condon/02,
AUTHOR = {Brenneman, Arwen and Condon, Anne},
TITLE = {Strand design for biomolecular computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {39-58},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hagiya-Rose-Komiya-Sakamoto/02,
AUTHOR = {Hagiya, Masami and Rose, John A. and Komiya, Ken and Sakamoto, Kensaku},
TITLE = {Comlexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {59-71},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Paun-Rozenberg/02,
AUTHOR = {P{\u{a}}un, Gheorghe and Rozenberg, Grzegorz},
TITLE = {A guide to membrane computing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {73-100},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beyer-Schwefel-Wegener/02,
AUTHOR = {Beyer, Hans-Georg and Schwefel, Hans-Paul and Wegener, Ingo},
TITLE = {How to analyse evolutionary algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {101-130},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Droste-Jansen-Wegener/02a,
AUTHOR = {Droste, Stefan and Jansen, Thomas and Wegener, Ingo},
TITLE = {Optimization with randomized search heuristics --- The (A)NFL theorem, realistic scenarios, and difficult functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {131-144},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Muhlenbach-Mahnig/02,
AUTHOR = {M{\"u}hlenbach, H. and Mahnig, Th.},
TITLE = {Evolutionary computation and Wright's equation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {145-165},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Naudts-Schoofs/02,
AUTHOR = {Naudts, B. and Schoofs, L.},
TITLE = {GA performance distributions and randomly generated binary constraint satisfaction problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {167-185},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Oja/02,
AUTHOR = {Oja, Erkki},
TITLE = {Unsupervised learning in neural computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {187-207},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gammerman-Vovk/02,
AUTHOR = {Gammerman, Alex and Vovk, Volodya},
TITLE = {Prediction algorithms and confidence measures based on algorithmic randomness theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {209-217},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heskes-Bakker-Kappen/02,
AUTHOR = {Heskes, Tom and Bakker, Bart and Kappen, Bert},
TITLE = {Approximate algorithms for neural-Bayesian approaches},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {219-238},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Legenstein-Maass/02,
AUTHOR = {Legenstein, Robert A. and Maass, Wolfgang},
TITLE = {Neural circuits for pattern recognition with small total wire length},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {239-249},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Natschlager-Maass/02,
AUTHOR = {Natschl{\"a}ger, Thomas and Maass, Wolfgang},
TITLE = {Spiking neurons and the induction of finite state machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {251-265},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hirvensalo/02,
AUTHOR = {Hirvensalo, Mika},
TITLE = {Computing with quanta --- Impacts of quantum theory on computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {267-298},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ambainis-Watrous/02,
AUTHOR = {Ambainis, Andris and Watrous, John},
TITLE = {Two-way finite automata with quantum and classical states},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {1},
PAGES = {299-311},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Akhavi/02,
AUTHOR = {Akhavi, Ali},
TITLE = {Random lattices, threshold phenomena and efficient reduction algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {359-385},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Anderson-Chrobak-Noga-Sgall-Woeginger/02,
AUTHOR = {Anderson, Eric and Chrobak, Marek and Noga, John and Sgall, Ji{\v{r}}{\'{i}} and Woeginger, Gerhard J.},
TITLE = {Solution of a problem in DNA computing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {387-391},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Anderson-Hildrum-Karlin-Rasala-Saks/02,
AUTHOR = {Anderson, Eric J. and Hildrum, Kirsten and Karlin, Anna R. and Rasala, April and Saks, Michael},
TITLE = {On list update and work function algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {393-418},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Azar-Regav-Sgall-Woeginger/02,
AUTHOR = {Azar, Yossi and Regav, Oded and Sgall, Ji{\v{r}}{\'{i}} and Woeginger, Gerhard J.},
TITLE = {Off-line temporary tasks assignment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {419-428},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Becchetti-Ianni-Marchetti-Spaccamela/02,
AUTHOR = {Becchetti, Luca and Ianni, Mriam di and Marchetti-Spaccamela, Alberto},
TITLE = {Approximation algorithms for routing and call scheduling in all-optical chains and rings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {429-448},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Diks-Kranakis-Krizanc-Pelc/02,
AUTHOR = {Diks, Krzysztof and Kranakis, Evangelos and Krizanc, Danny and Pelc, Andrzej},
TITLE = {The impact of information on broadcasting time in linear radio networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {449-471},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Drori-Peleg/02,
AUTHOR = {Drori, Limor and Peleg, David},
TITLE = {Faster exact solutions for some $NP$-hard problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {473-499},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Finocchiaro-Pellegrini/02,
AUTHOR = {Finocchiaro, Daniele V. and Pellegrini, Marco},
TITLE = {On computing the diameter of a point set in high dimensional Euclidean space},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {501-514},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Flajolet-Hatzis-Nikoletseas-Spirakis/02,
AUTHOR = {Flajolet, P. and Hatzis, K. and Nikoletseas, S. and Spirakis, P.},
TITLE = {On the robustness of interconnections in random graphs: A symbolic approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {515-534},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Frankel-MacKenzie-Yung/02,
AUTHOR = {Frankel, Yair and MacKenzie, Philip and Yung, Moti},
TITLE = {Adaptively secure distributed public-key systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {535-561},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gaillard-Groeflin-Hoffman-Pulleyblank/02,
AUTHOR = {Gaillard, Arlette and Groeflin, Heinz and Hoffman, Alan J. and Pulleyblank, William R.},
TITLE = {On the submodular matrix representation of a digraph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {563-570},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Laber-Milidiu-Pessoa/02a,
AUTHOR = {Laber, Eduardo Sany and Milidi{\'{u}}, Ruy Luiz and Pessoa, Artur Alves},
TITLE = {A strategy for searching with different access costs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {571-584},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nesetril-Tardif/02,
AUTHOR = {Ne{\v{s}}et{\v{r}}il, Jaroslav and Tardif, Claude},
TITLE = {Density via duality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {585-591},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nicodeme-Salvy-Flajolet/02,
AUTHOR = {Nicod{\`{e}}me, Pierre and Salvy, Bruno and Flajolet, Philippe},
TITLE = {Motif statistics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {287},
NUMBER = {2},
PAGES = {593-617},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Afrati-Guessarian-Rougemont/02,
AUTHOR = {Afrati, Foto and Guessarian, Ir{\`{e}}ne and Rougemont, Michel de},
TITLE = {The expressiveness of DAC},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {3-32},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Khasidashvili-Glauert/02,
AUTHOR = {Khasidashvili, Zurab and Glauert, John},
TITLE = {Relating conflict-free stable transition and event models via redex families},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {65-95},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Holzer/02,
AUTHOR = {Holzer, Markus},
TITLE = {Multi-head finite automata: Data-independent versus data-dependent computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {97-116},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Choffrut-Pighizzini/02,
AUTHOR = {Choffrut, Christian and Pighizzini, Giovanni},
TITLE = {Distances between languages and reflexivity of relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {117-138},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Krznaric-Levcopoulos/02,
AUTHOR = {Krznaric, Drqgo and Levcopoulos, Christos},
TITLE = {Optimal algorithms for complete linkage clustering in $d$ dimensions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {1},
PAGES = {139-149},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Astesiano-Bidoit-Kirchner-Krieg-Bruckner-Mosses-Sannella-Tarlecki/02,
AUTHOR = {Astesiano, Egidio and Bidoit, Michel and Kirchner, H{\'{e}}l{\`{e}}ne and Krieg-Br{\"u}ckner, Bernd and Mosses, Peter D. and Sannella, Donald and Tarlecki, Andrzej},
TITLE = {CASL: The common algebraic specification language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {153-196},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Borzyszkowski/02,
AUTHOR = {Borzyszkowski, Tomasz},
TITLE = {Logical systems for structured specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {197-245},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bruni-Gadducci-Montanari/02,
AUTHOR = {Bruni, Roberto and Gadducci, Fabio and Montanari, Ugo},
TITLE = {Normal forms for algebras of connections},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {247-292},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Corradini-Gadducci/02,
AUTHOR = {Corradini, Andrea and Gadducci, Fabio},
TITLE = {A functorial semantics for multi-algebras and partial algebras, with applications to syntax},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {293-322},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Konikowska/02,
AUTHOR = {Konikowska, Beata},
TITLE = {Rasiowa-Sikorski deduction systems in computer science applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {323-366},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mossakowski/02a,
AUTHOR = {Mossakowski, Till},
TITLE = {Relating CASL with other specification languages: The institution level},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {286},
NUMBER = {2},
PAGES = {367-475},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bockenhauer-Hromkovic-Klasing-Seibert-Unger/02,
AUTHOR = {B{\"o}ckenhauer, Hans-Joachim and Hromkovi{\v{c}}, Juraj and Klasing, Ralf and Seibert, Sebastian and Unger, Walter},
TITLE = {Towards the notion of stability of approximation for hard optimization tasks and the Traveling Salesman problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {1},
PAGES = {3-24},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cantone-Cincotti/02,
AUTHOR = {Cantone, D. and Cincotti, G.},
TITLE = {QuickHeapsort, an efficient mix of classical sorting algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {1},
PAGES = {25-42},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Damaschke/02b,
AUTHOR = {Damaschke, Peter},
TITLE = {Online strategies for backups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {1},
PAGES = {43-53},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dinur/02,
AUTHOR = {Dinur, Irit},
TITLE = {Approximating SVP$\infty$ to within almost-polynomial factors is $NP$-hard},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {1},
PAGES = {55-71},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Merlini-Sprugnoli-Verri/02b,
AUTHOR = {Merlini, Donatella and Sprugnoli, Renzo and Verri, M. Cecilia},
TITLE = {Modified binary searching for static tables},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {1},
PAGES = {73-88},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Marti-Oliet-Meseguer/02,
AUTHOR = {Mart{\'{i}}-Oliet and Meseguer, Jos{\'{e}}},
TITLE = {Rewriting logic: Roadmap and bibliography},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {2},
PAGES = {121-154},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Borovansky-Kirchner-Kirchner-Moreau/02,
AUTHOR = {Borovansk{\'y}, Peter and Kirchner, Claude and Kirchner, H{\'{e}}l{\`{e}}ne and Moreau, Pierre-Etienne},
TITLE = {ELAN from a rewriting logic point of view},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {2},
PAGES = {155-185},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Clavel-Duran-Eker-Lincoln-Marti-Oliet-Meseguer-Quesada/02,
AUTHOR = {Clavel, M. and Dur{\'{a}}n, F. and Eker, S. and Lincoln, P. and Mart{\'{i}}-Oliet, N. and Meseguer, J. and Quesada, J.F.},
TITLE = {Maude: Specification and programming in rewriting logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {2},
PAGES = {187-243},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Clavel-Meseguer/02,
AUTHOR = {Clavel, Manuel and Meseguer, Jos{\'{e}}},
TITLE = {Reflection in conditional rewriting logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {2},
PAGES = {245-288},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Diaconescu-Futatsugi/02,
AUTHOR = {Diaconescu, R{\u{a}}zvan and Futatsugi, Kokichi},
TITLE = {Logical foundations of CafeOBJ},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {2},
PAGES = {289-318},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gadduccci-Montanari/02,
AUTHOR = {Gadduccci, Fabio and Montanari, Ugo},
TITLE = {Comparing logics for rewriting: Rewriting logic, action calculi and tile logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {2},
PAGES = {319-358},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Olveczky-Meseguer/02,
AUTHOR = {{\"O}lveczky, Peter Csaba and Meseguer, Jos{\'{e}}},
TITLE = {Specification of real-time and hybrid systems in rewriting logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {2},
PAGES = {359-405},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pita-Marti-Oliet/02,
AUTHOR = {Pita, Isabel and Mart{\'{i}}-Oliet, Narciso},
TITLE = {A Maude specification of an object-oriented model for telecommunication networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {285},
NUMBER = {2},
PAGES = {407-439},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Antos/02,
AUTHOR = {Antos, Andr{\'{a}}s},
TITLE = {Lower bounds for the rate of convergence in nonparametric pattern recognition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {1},
PAGES = {3-24},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fine-Gilad-Bachrach-Shamir/02,
AUTHOR = {Fine, Shai and Gilad-Bachrach, Ran and Shamir, Eli},
TITLE = {Query by committee, linear separation and random walks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {1},
PAGES = {25-51},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bartlett-Ben-David/02,
AUTHOR = {Bartlett, Peter L. and Ben-David, Shai},
TITLE = {Hardness results for neural network approximation problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {1},
PAGES = {53-66},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duffy-Helmbold/02,
AUTHOR = {Duffy, Nigel and Helmbold, David},
TITLE = {A geometric approach to leveraging weak learners},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {1},
PAGES = {67-108},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Helmbold-Panizza-Warmuth/02,
AUTHOR = {Helmbold, D.P. and Panizza, S. and Warmuth, M.K.},
TITLE = {Direct and indirect algorithms for on-line learning of disjunctions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {1},
PAGES = {109-142},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jain-Sharma/02,
AUTHOR = {Jain, Sanjay and Sharma, Arun},
TITLE = {Mind change complexity of learning logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {1},
PAGES = {143-160},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ott-Stephan/02,
AUTHOR = {Ott, Matthias and Stephan, Frank},
TITLE = {Avoiding coding tricks by hyperrobust learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {1},
PAGES = {161-180},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pinter/02,
AUTHOR = {Pint{\'{e}}r, M{\'{a}}rta},
TITLE = {On the rate of convergence of error estimates for the partitioning classification rule},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {1},
PAGES = {181-196},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blaser/02,
AUTHOR = {Bl{\"a}ser, Markus},
TITLE = {Uniform computational complexity of the derivatives of $C^\infty$-functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {199-206},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blanck-Stoltenberg-Hansen-Tucker/02,
AUTHOR = {Blanck, J. and Stoltenberg-Hansen, V. and Tucker, J.V.},
TITLE = {Domain representations of partial functions, with applications to spatial objects and constructive volume geometry},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {207-240},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brattka-Hertling/02,
AUTHOR = {Brattka, Vasco and Hertling, Peter},
TITLE = {Topological properties of real numer representations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {241-257},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bridges-Ward/02,
AUTHOR = {Bridges, Douglas S. and Ward, Nicholas Dudley},
TITLE = {Kernels of seminorms in constructive analysis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {259-267},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calude/02,
AUTHOR = {Calude, Cristian S.},
TITLE = {Chaitin $\Omega$ numbers, Solovay machines, and G{\"o}del incompleteness},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {269-277},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cenzer-Remmel/02,
AUTHOR = {Cenzer, Douglas and Remmel, Jeffrey B.},
TITLE = {Effectively closed sets and graphs of computable real functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {279-318},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Edalat-Lieutier/02,
AUTHOR = {Edalat, Abbas and Lieutier, Andr{\'{e}}},
TITLE = {Foundation of a computable solid modelling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {319-345},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hemmerling/02,
AUTHOR = {Hemmerling, Armin},
TITLE = {Effective metric spaces and representations of the reals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {347-372},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Konecny/02,
AUTHOR = {Kone{\v{c}}n{\'y}, Michal},
TITLE = {Real functions computable by finite automata using affine representations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {373-396},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Krupski/02,
AUTHOR = {Krupski, Vladimir N.},
TITLE = {Effective simultaneous approximability of reals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {397-417},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mori/02,
AUTHOR = {Mori, Takakazu},
TITLE = {On the computability of Walsh functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {419-436},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Normann/02,
AUTHOR = {Normann, Dag},
TITLE = {Exact real number computations relative to hereditarily total functionals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {437-453},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Downey-LaForte/02,
AUTHOR = {Downey, Rodney G. and LaForte, Geoffrey L.},
TITLE = {Presentations of computably enumberable reals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {284},
NUMBER = {2},
PAGES = {539-555},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kong/02,
AUTHOR = {Kong, T.Y.},
TITLE = {Topological adjacency relations on $Z^n$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {1},
PAGES = {3-28},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ayala-Dominguez-Frances-Quintero/02,
AUTHOR = {Ayala, R. and Dom{\'{i}}nguez, E. and Franc{\'{e}}s, A.R. and Quintero, A.},
TITLE = {Weak lighting functions and strong 26-surfaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {1},
PAGES = {29-66},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Malgouyres-More/02,
AUTHOR = {Malgouyres, R{\'{e}}my and More, Malika},
TITLE = {On the computational complexity of reachability in 2D binary images and some basic problems of 2D digital topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {1},
PAGES = {67-108},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fourey-Malgouyres/02,
AUTHOR = {Fourey, S{\'{e}}bastien and Malgouyres, R{\'{e}}my},
TITLE = {Intersection number and topology preservation within digital surfaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {1},
PAGES = {109-150},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brimkov-Barneva/02,
AUTHOR = {Brimkov, Valentin E. and Barneva, Reneta P.},
TITLE = {Graceful planes and lines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {1},
PAGES = {151-170},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gerard/02,
AUTHOR = {G{\'{e}}rard, Yan},
TITLE = {Periodic graphs and connectivity of the rational digital hyperplanes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {1},
PAGES = {171-182},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jacob-Da_Col/02,
AUTHOR = {Jacob-Da Col, Marie-Andr{\'{e}}e},
TITLE = {About local configurations in arithmetic planes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {1},
PAGES = {183-201},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Devillers-Gandoin/02,
AUTHOR = {Devillers, Olivier and Gandoin, Pierre-Marie},
TITLE = {Rounding Voronoi diagram},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {1},
PAGES = {203-221},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kuba-Balogh/02,
AUTHOR = {Kuba, Attila and Balogh, Emese},
TITLE = {Reconstruction of convex 2D discrete sets in polynomial time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {1},
PAGES = {223-242},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bodei-Degano-Focardi-Priami/02,
AUTHOR = {Bodei, Chiara and Degano, Pierpaolo and Focardi, Riccardo and Priami, Corrado},
TITLE = {Primitives for authentication in process algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {2},
PAGES = {271-304},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Denney-Jensen/02,
AUTHOR = {Denney, Ewen and Jensen, Thomas},
TITLE = {Correctness of Java Card method lookup via logical relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {2},
PAGES = {305-331},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guttman-Thayer/02,
AUTHOR = {Guttman, Joshua D. and Thayer, F. Javier},
TITLE = {Authentication tests and the structure of bundles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {2},
PAGES = {333-380},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nielson-Riis_Nielson-Hansen/02,
AUTHOR = {Nielson, Flemming and Riis Nielson, Hanne and Hansen, Ren{\'{e}} Rydhof},
TITLE = {Validating firewalls using flow logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {283},
NUMBER = {2},
PAGES = {381-418},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bravetti-Gorrieri/02,
AUTHOR = {Bravetti, Mario and Gorrieri, Roberto},
TITLE = {The theory of interactive generalized semi-Markov processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {1},
PAGES = {5-32},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Jonsson-Yi/02,
AUTHOR = {Jonsson, Bengt and Yi, Wang},
TITLE = {Testing preorders for probabilistic processes can be characterized by simulations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {1},
PAGES = {33-51},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kolano/02,
AUTHOR = {Kolano, Paul Z.},
TITLE = {Proof assistance for real-time systems using an interactive theorem prover},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {1},
PAGES = {53-99},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kwiatkowska-Norman-Segala-Sproston/02,
AUTHOR = {Kwiatkowska, Marta and Norman, Gethin and Segala, Roberto and Sproston, Jeremy},
TITLE = {Automatic verification of real-time systems with discrete probability distributions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {1},
PAGES = {101-150},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lermer-Fidge/02,
AUTHOR = {Lermer, Karl and Fidge, Colin},
TITLE = {A formal model of real-time program compilation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {1},
PAGES = {151-190},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{McIver/02,
AUTHOR = {McIver, A.K.},
TITLE = {Quantitative program logic and expected time bounds in probabilistic distributed algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {1},
PAGES = {191-219},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Luccio/02,
AUTHOR = {Luccio, F.},
TITLE = {Algorithms, nymphs, and shepherds},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {2},
PAGES = {223-229},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Peleg/02a,
AUTHOR = {Peleg, David},
TITLE = {Local majorities, coalitions and monopolies in graphs: A review},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {2},
PAGES = {231-257},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Boldi-Santini-Vigna/02,
AUTHOR = {Boldi, Paolo and Santini, Massimo and Vigna, Sebastiano},
TITLE = {Measuring with jugs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {2},
PAGES = {259-270},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fraenkel/02,
AUTHOR = {Fraenkel, Aviezri S.},
TITLE = {Arrays, numeration systems and Frankenstein games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {2},
PAGES = {271-284},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pedrotti/02,
AUTHOR = {Pedrotti, Alberto},
TITLE = {Playing by searching: Two strategies against a linearly bounded liar},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {2},
PAGES = {285-302},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Itai-Rodeh-Shachnai/02,
AUTHOR = {Itai, Alon and Rodeh, Michael and Shachnai, Hadas},
TITLE = {The passport control problem or how to keep a dynamic service system load balanced?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {2},
PAGES = {303-318},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Daurat-Gerard-Nivat/02,
AUTHOR = {Daurat, Alain and G{\'{e}}rard, Yan and Nivat, Maurice},
TITLE = {The chords' problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {2},
PAGES = {319-336},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Merlini-Sprugnoli-Verri/02a,
AUTHOR = {Merlini, Donatella and Sprugnoli, Renzo and Verri, M. Cecilia},
TITLE = {A strip-like tiling algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {2},
PAGES = {337-352},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Becker-Simeone-Chiang/02,
AUTHOR = {Becker, Ronald and Simeone, Bruno and Chiang, Yen-I},
TITLE = {A shifting algorithm for continuous tree partitioning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {282},
NUMBER = {2},
PAGES = {353-380},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Curien/02,
AUTHOR = {Curien, Pierre-Louis},
TITLE = {Une br{\`e}ve biographie scientifique de Maurice Nivat},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {3-23},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arnold/02,
AUTHOR = {Arnold, Andr{\'{e}}},
TITLE = {Nivat's processes and their synchronization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {31-36},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Banderier-Flajolet/02,
AUTHOR = {Banderier, Cyril and Flajolet, Philippe},
TITLE = {Basic analytic combinatorics of directed lattice paths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {37-80},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beauquier-Fournier/02,
AUTHOR = {Beauquier, Dani{\`{e}}le and Fournier, Jean-Claude},
TITLE = {Groups and tilings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {81-97},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Berstel-Vuillon/02,
AUTHOR = {Berstel, Jean and Vuillon, Laurent},
TITLE = {Coding rotations on intervals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {99-107},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Boudol-Castellani/02,
AUTHOR = {Boudol, G{\'{e}}rard and Castellani, Ilaria},
TITLE = {Noninterference for concurrent programs and thread systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {109-130},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bruni-Montanari/02,
AUTHOR = {Bruni, Roberto and Montanari, Ugo},
TITLE = {Dynamic connectors for concurrency},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {131-176},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Courcelle-Knapik/02,
AUTHOR = {Courcelle, Bruno and Knapik, Teodor},
TITLE = {The evaluation of first-order substitution is monadic second-order compatible},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {177-206},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cousineau/02,
AUTHOR = {Cousineau, Guy},
TITLE = {Tilings as a programming exercise},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {207-217},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dauchet-Tison-Tommasi/02,
AUTHOR = {Dauchet, Max and Tison, Sophie and Tommasi, Marc},
TITLE = {R{\'e}duction de la non-lin{\'e}arit{\'e} des morphismes d'arbres recognizable tree-languages and non-linear morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {219-233},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Del_Lungo/02,
AUTHOR = {Del Lungo, Alberto},
TITLE = {Reconstructing permutation matrices from diagonal sums},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {235-249},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Delorme-Mazoyer/02,
AUTHOR = {Delorme, Marianne and Mazoyer, Jacques},
TITLE = {Reconnaissance parall{\`e}le des langages rationnels sur automates cellulaires plans},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {251-289},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Diaz-Serna-Thilikos/02a,
AUTHOR = {D{\'{i}}az, Josep and Serna, Maria and Thilikos, Dimitrios M.},
TITLE = {Counting $H$-colorings of partial $k$-trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {291-309},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durand/02a,
AUTHOR = {Durand, Bruno},
TITLE = {De la logique aux pavages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {311-324},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ehrenfeucht-Harju-Rozenberg/02,
AUTHOR = {Ehrenfeucht, A. and Harju, T. and Rozenberg, G.},
TITLE = {Gene assembly through cyclic graph decomposition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {325-349},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Farrari-Pergola-Pinzani-Rinaldi/02,
AUTHOR = {Farrari, Luca and Pergola, Elisa and Pinzani, Renzo and Rinaldi, Simone},
TITLE = {An algebraic characterization of the set of succession rules},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {351-367},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gastin-Mislove/02,
AUTHOR = {Gastin, Paul and Mislove, Michael},
TITLE = {A truly concurrent semantics for a process algebra using resource pomsets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {369-421},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grigorieff/02,
AUTHOR = {Grigorieff, Serge},
TITLE = {Modelization of deterministic rational relations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {423-453},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gritzmann-Vries/02,
AUTHOR = {Gritzmann, Peter and Vries, Sven de},
TITLE = {On the algorithmic inversion of the discrete Radon transform},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {455-469},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Okada/02,
AUTHOR = {Okada, Mitsuhiro},
TITLE = {A uniform semantic proof for cut-elimination and completeness of various first and higher order logics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {471-498},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Huet/02,
AUTHOR = {Huet, G{\'{e}}rard},
TITLE = {{\'S}r{\={\i}} Yantra Geometry},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {281},
NUMBER = {1-2},
PAGES = {609-628},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cirstea/02,
AUTHOR = {C{\^i}rstea, Corina},
TITLE = {A coalgebraic equational approach to specifying observational structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {280},
NUMBER = {1-2},
PAGES = {35-68},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kurz-Hennicker/02,
AUTHOR = {Kurz, Alexander and Hennicker, Rolf},
TITLE = {On institutions for modular coalgebraic specifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {280},
NUMBER = {1-2},
PAGES = {69-103},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pavlovic-Pratt/02,
AUTHOR = {Pavlovi{\'c}, D. and Pratt, V.},
TITLE = {The continuum as a final coalgebra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {280},
NUMBER = {1-2},
PAGES = {105-122},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lasota/02,
AUTHOR = {Lasota, S{\l}awomir},
TITLE = {Coalgebra morphisms subsume open maps},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {280},
NUMBER = {1-2},
PAGES = {123-135},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Power-Watanabe/02,
AUTHOR = {Power, John and Watanabe, Hiroshi},
TITLE = {Combining a monad and a comonad},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {280},
NUMBER = {1-2},
PAGES = {137-162},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Corradini-Heckel-Montanari/02,
AUTHOR = {Corradini, Andrea and Heckel, Reiko and Montanari, Ugo},
TITLE = {Compositional SOS and beyond: A coalgebraic view of open systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {280},
NUMBER = {1-2},
PAGES = {163-192},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Etiemble/02,
AUTHOR = {Etiemble, Daniel},
TITLE = {Computer arithmetic and hardware: ``off the shelf'' microprocessors versus ``custom hardware''},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {279},
NUMBER = {1-2},
PAGES = {3-27},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lester-Chambers-Lu/02,
AUTHOR = {Lester, David and Chambers, Scott and Lu, Heoi Lee},
TITLE = {A constructive algorithm for finding the exact roots of polynomials with computable real coefficients},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {279},
NUMBER = {1-2},
PAGES = {51-64},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heckmann/02,
AUTHOR = {Heckmann, Reinhold},
TITLE = {Contracitvity of linear fractional transformations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {279},
NUMBER = {1-2},
PAGES = {65-82},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hertling/02b,
AUTHOR = {Hertling, Peter},
TITLE = {A lower bound for range enclosure in interval arithmetic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {279},
NUMBER = {1-2},
PAGES = {83-95},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Freyd/02,
AUTHOR = {Freyd, Peter},
TITLE = {Cartesian logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {3-21},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fitting/02,
AUTHOR = {Fitting, Melvin},
TITLE = {Fixpoint semantics for logic programming a survey},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {25-51},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hennessy/02,
AUTHOR = {Hennessy, Matthew},
TITLE = {A fully abstract denotational semantics for the $\pi$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {53-89},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bucciarelli-Malacaria/02,
AUTHOR = {Bucciarelli, Antonio and Malacaria, Pasquale},
TITLE = {Relative definability of Boolean functions via hypergraphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {91-110},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fiech-Schmidt/02,
AUTHOR = {Fiech, Adrian and Schmidt, David A.},
TITLE = {Polymorphic lambda calculus and subtyping},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {111-140},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Flagg-Sunderhauf/02,
AUTHOR = {Flagg, Robert C. and S{\"u}nderhauf, Philipp},
TITLE = {The essence of ideal completion in quantitative form},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {141-158},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kunzi-Schellekens/02,
AUTHOR = {K{\"u}nzi, H.P. and Schellekens, M.P.},
TITLE = {On the Yoneda completion of a quasi-metric space},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {159-194},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gastin-Teodosiu/02,
AUTHOR = {Gastin, Paul and Teodosiu, Dan},
TITLE = {Resource traces: A domain for processes sharing exclusive resources},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {195-221},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gupta-Jagadeesan-Saraswat/02,
AUTHOR = {Gupta, V. and Jagadeesan, R. and Saraswat, V.A.},
TITLE = {Truly concurrent constraint programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {223-255},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mulry/02,
AUTHOR = {Mulry, P.S.},
TITLE = {Lifting results for categories of algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {257-269},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Naumann/02,
AUTHOR = {Naumann, David A.},
TITLE = {Soundness of data refinement for a higher-order imperative language},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {271-301},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Power-Rosolini/02,
AUTHOR = {Power, John and Rosolini, Giuseppe},
TITLE = {Fixpoint operators for domain equations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {278},
NUMBER = {1-2},
PAGES = {323-333},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bagnara-Hill-Zaffanella/02,
AUTHOR = {Bagnara, Roberto and Hill, Patricia M. and Zaffanella, Enea},
TITLE = {Set-sharing is redundant for pair-sharing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {277},
NUMBER = {1-2},
PAGES = {3-46},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cousot/02,
AUTHOR = {Cousot, Patrick},
TITLE = {Constructive design of a hierarchy of semantics of a transition system by abstract interpretation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {277},
NUMBER = {1-2},
PAGES = {47-103},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Frey/02a,
AUTHOR = {Frey, Alexandre},
TITLE = {Satisfying subtype inequalities in polynomial space},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {277},
NUMBER = {1-2},
PAGES = {105-117},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cori-Rossin-Salvy/02,
AUTHOR = {Cori, Robert and Rossin, Dominique and Salvy, Bruno},
TITLE = {Polynomial ideals for sandpiles and their Gr{\"o}bner bases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {1-15},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bouchitte-Todinca/02,
AUTHOR = {Bouchitt{\'{e}}, Vincent and Todinca, Ioan},
TITLE = {Listing all potential maximal cliques of a graph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {17-32},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calinescu-Wan/02,
AUTHOR = {C{\v{a}}linescu, Gruia and Wan, Peng-Jun},
TITLE = {Splittable traffic partition in WDM/SONET rings to minimize SONET ADMs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {33-50},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Droste-Jansen-Wegener/02,
AUTHOR = {Droste, Stefan and Jansen, Thomas and Wegener, Ingo},
TITLE = {On the analysis of the $(1+1)$ evolutionary algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {51-81},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ma-Wang-Zhang/02,
AUTHOR = {Ma, Bin and Wang, Lusheng and Zhang, Kaizhong},
TITLE = {Computing similarity between RNA structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {111-132},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Maitra-Sarkar/02,
AUTHOR = {Maitra, Subhamoy and Sarkar, Palash},
TITLE = {Cryptographically significant Boolean functions with five valued Walsh spectra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {133-146},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nishimura-Ozawa/02,
AUTHOR = {Nishimura, Harumichi and Ozawa, Masanao},
TITLE = {Computational complexity of uniform quantum circuit families and quantum Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {147-181},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Halava-Harju-Hirvensalo/02,
AUTHOR = {Halava, Vesa and Harju, Tero and Hirvensalo, Mika},
TITLE = {Binary (generalized) Post Correspondenz Problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {183-204},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Csuhaj-Varju-Vaszil/02,
AUTHOR = {Csuhaj-Varj{\'{u}}, Erzs{\'{e}}bet and Vaszil, Gy{\"o}rgy},
TITLE = {Parallel communicating grammar systems with bounded resources},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {205-219},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fulop-Terlutte/02,
AUTHOR = {F{\"u}l{\"o}p, Z. and Terlutte, A.},
TITLE = {Iterated relabeling tree transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {221-244},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Manlove-Irving-Iwama/02,
AUTHOR = {Manlove, David F. and Irving, Robert W. and Iwama, Kazuo},
TITLE = {Hard variants of stable marriage},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {261-279},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Justin-Pirillo/02,
AUTHOR = {Justin, Jacques and Pirillo, Giuseppe},
TITLE = {Episturmian words and Episturmian morphisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {281-313},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cicerone-Stefano-Flammini/02,
AUTHOR = {Cicerone, Serafino and Stefano, Gabriele Di and Flammini, Michele},
TITLE = {Static and dynamic low-congested interval routing schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {315-354},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Konstantinidis-OHearn/02,
AUTHOR = {Konstantinidis, Stavros and O'Hearn, Amber},
TITLE = {Error-detecting properties of languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {355-375},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernau-Stiebe/02,
AUTHOR = {Fernau, Henning and Stiebe, Ralf},
TITLE = {Sequential grammars and automata with valences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {377-405},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen/02d,
AUTHOR = {Chen, Chiuyuan},
TITLE = {A necessary condition for a graph to be the visibility graph of a simple polygon},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {417-424},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Malajovich/02,
AUTHOR = {Malajovich, Gregorio},
TITLE = {Lower bounds for some decision problems over $C$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {276},
NUMBER = {1-2},
PAGES = {425-434},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Burdick/02,
AUTHOR = {Burdick, Bruce S.},
TITLE = {A note on iterated duals of certain topological spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {69-77},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Manes/02,
AUTHOR = {Manes, Ernest G.},
TITLE = {Taut monads and $T0$-spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {79-109},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Busi/02,
AUTHOR = {Busi, Nadia},
TITLE = {Analysis issues in Petri nets with inhibitor arcs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {127-177},
YEAR = {2002},
KEYWORDS = {7},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Abiteboul-Cluet-Milo/02,
AUTHOR = {Abiteboul, Serge and Cluet, Sophie and Milo, Tova},
TITLE = {Correspondence and translation for heterogeneous data},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {179-213},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duggan-Ophel/02,
AUTHOR = {Duggan, Dominic and Ophel, John},
TITLE = {Open and closed scopes for constrained genericity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {215-258},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Degano-Gadducci-Priami/02,
AUTHOR = {Degano, Pierpaolo and Gadducci, Fabio and Priami, Corrado},
TITLE = {A causal semantics for CCS via rewriting logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {259-282},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beauquier-Slissenko/02,
AUTHOR = {Beauquier, Dani{\`{e}}le and Slissenko, Anatol},
TITLE = {Decidable verification for reducible timed automata specified in a first order logic with time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {347-388},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Adamek-Hebert-Rosicky/02,
AUTHOR = {Ad{\'{a}}mek, J. and H{\'{e}}bert, M. and Rosick{\'y}, J.},
TITLE = {On abstract data types presented by multiequations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {427-462},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cortesi-Dovier-Quintarelli-Tanca/02,
AUTHOR = {Cortesi, Agostino and Dovier, Agostino and Quintarelli, Elisa and Tanca, Letizia},
TITLE = {Operational and abstract semantics of the query language G-Log},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {521-560},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cardone/02,
AUTHOR = {Cardone, Felice},
TITLE = {A coinductive completeness proof for the equivalence of recursive types},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {575-587},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Neven-Schwentick/02,
AUTHOR = {Neven, Frank and Schwentick, Thomas},
TITLE = {Query automata over finite trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {633-674},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bouhoula-Rusinowitch/02,
AUTHOR = {Bouhoula, Adel and Rusinowitch, Micha{\"e}l},
TITLE = {Observational proofs by rewriting},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {275},
NUMBER = {1-2},
PAGES = {675-698},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hermanns-Herzog-Katoen/02,
AUTHOR = {Hermanns, Holger and Herzog, Ulrich and Katoen, Joost-Pieter},
TITLE = {Process algebra for performance evaluation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {274},
NUMBER = {1-2},
PAGES = {43-87},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lugiez-Schnoebelen/02,
AUTHOR = {Lugiez, D. and Schnoebelen, Ph.},
TITLE = {The regular viewpoint on PA-processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {274},
NUMBER = {1-2},
PAGES = {89-115},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Madhusudan-Thiagarajan/02,
AUTHOR = {Madhusudan, P. and Thiagarajan, P.S.},
TITLE = {Branching time controllers for discrete event systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {274},
NUMBER = {1-2},
PAGES = {117-149},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brown/02,
AUTHOR = {Brown, Tom C.},
TITLE = {Applications of standard Sturmian words to elementary number theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {5-9},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{DAllessandro/02,
AUTHOR = {D'Allessandro, Flavio},
TITLE = {A combinatorial problem on trapezoidal words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {11-33},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heinis/02,
AUTHOR = {Heinis, Alex},
TITLE = {The $P(n)/n$-function for bi-infinite words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {35-46},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Berstel-Boasson/02,
AUTHOR = {Berstel, Jean and Boasson, Luc},
TITLE = {Shuffle factorization is unique},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {47-67},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Choffrut-Karhumaki-Ollinger/02,
AUTHOR = {Choffrut, Christian and Karhum{\"a}ki, Juhani and Ollinger, Nicolas},
TITLE = {The commutation of finite sets: A challenging problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {69-79},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Karhumaki-Manuch/02,
AUTHOR = {Karhum{\"a}ki, Juhani and Ma{\v{n}}uch, J{\'{a}}n},
TITLE = {Multiple factorizations of words and defect effect},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {81-97},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mignosi-Rstivo-Sciortino/02,
AUTHOR = {Mignosi, F. and Rstivo, A. and Sciortino, M.},
TITLE = {Words and forbidden factors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {99-117},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guesnet/02,
AUTHOR = {Guesnet, Yannick},
TITLE = {On maximal codes with a finite interpreting delay},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {167-183},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Neraud-Selmi/02,
AUTHOR = {N{\'{e}}raud, Jean and Selmi, Carla},
TITLE = {Locally complete sets and finite decomposable codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {185-196},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Berthe-Tijdeman/02,
AUTHOR = {Berth{\'{e}}, Val{\'{e}}rie and Tijdeman, Robert},
TITLE = {Balance properties of multi-dimensional words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {197-224},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Esik/02,
AUTHOR = {{\'E}sik, Zolt{\'{a}}n},
TITLE = {Axiomatizing the subsumption and subword preorders on finite and infinite partial words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {225-248},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mauduit/02,
AUTHOR = {Mauduit, Christian},
TITLE = {Finite and infinite pseudorandom binary words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {249-261},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Malyshev/02,
AUTHOR = {Malyshev, V.},
TITLE = {Quantum evolution of words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {263-269},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bigotte-Jacob-Oussous-Petitot/02,
AUTHOR = {Bigotte, M. and Jacob, G. and Oussous, N.E. and Petitot, M.},
TITLE = {Lyndon words and shuffle algebras for generating the coloured multiple zeta values relations tables},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {271-282},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duchamp-Laugerotte-Luque/02,
AUTHOR = {Duchamp, G. and Laugerotte, {\'E}. and Luque, J.-G.},
TITLE = {On the support of graph Lie algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {283-294},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Encheva-Cohen/02,
AUTHOR = {Encheva, Sylvia and Cohen, G{\'{e}}rard},
TITLE = {Frameproof codes against limited coalitions of pirates},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {273},
NUMBER = {1-2},
PAGES = {295-304},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blanqui-Jouannaud-Okada/02,
AUTHOR = {Blanqui, Fr{\'{e}}d{\'{e}}ric and Jouannaud, Jean-Pierre and Okada, Mitsuhiro},
TITLE = {Iductive-data-type systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {41-68},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Coppo-Damiani-Giannini/02,
AUTHOR = {Coppo, Mario and Damiani, Ferrucccio and Giannini, Paola},
TITLE = {Strictness, totality, and non-standard-type inference},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {69-112},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hasegawa/02,
AUTHOR = {Hasegawa, Ryu},
TITLE = {Two applications of analytic functors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {113-175},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hayashi-Sumitomo-Shii/02,
AUTHOR = {Hayashi, Susumu and Sumitomo, Ryosuke and Shii, Kech-ichiro},
TITLE = {Towards the animation of proofs --- Testing proofs by examples},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {177-195},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ishihara-Kurata/02,
AUTHOR = {Ishihara, Hajime and Kurata, Toshihiko},
TITLE = {Completeness of intersection and union type assignment systems for call-by-value $\lambda$-models},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {197-221},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kameyama-Sato/02,
AUTHOR = {Kameyama, Yukiyoshi and Sato, Masahiko},
TITLE = {Strong normalizability of the non-deterministic catch/throw calculi},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {223-245},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ker-Nickau-Ong/02,
AUTHOR = {Ker, Andrew D. and Nickau, Hanno and Ong, C.-H. Luke},
TITLE = {Innocent game models of untyped $\lambda$-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {247-292},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Oostdijk-Geuvers/02,
AUTHOR = {Oostdijk, Martijn and Geuvers, Herman},
TITLE = {Proof by computation in the Coq system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {272},
NUMBER = {1-2},
PAGES = {293-314},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calude/02a,
AUTHOR = {Calude, Cristian S.},
TITLE = {A characterization of c.e. random reals},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {271},
NUMBER = {1-2},
PAGES = {3-14},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Muchnik-Positselsky/02,
AUTHOR = {Muchnik, Andrej A. and Positselsky, Semen Ye.},
TITLE = {Kolmogorov entropy in the context of computability theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {271},
NUMBER = {1-2},
PAGES = {15-35},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durand-Porrot/02,
AUTHOR = {Durand, Bruno and Porrot, Sylvain},
TITLE = {Comparison between the complexity of a function and the complexity of its graph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {271},
NUMBER = {1-2},
PAGES = {37-46},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durand-Shen-Vereshchagin/02,
AUTHOR = {Durand, Bruno and Shen, Alexander and Vereshchagin, Nikolai},
TITLE = {Descriptive complexity of computable sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {271},
NUMBER = {1-2},
PAGES = {47-58},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chernov-Muchnik-Romashchenko-Shen-Vereshchagin/02,
AUTHOR = {Chernov, Alexei and Muchnik, Andrej and Romashchenko, Andrei and Shen, Alexander and Vereshchagin, Nikolai},
TITLE = {Upper semi-lattice of binary strings with the relation ``$x$ is simple conditional to $y$''},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {271},
NUMBER = {1-2},
PAGES = {69-95},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Muchnik/02,
AUTHOR = {Muchnik, Andrej A.},
TITLE = {Conditional complexity and codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {271},
NUMBER = {1-2},
PAGES = {97-109},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grigorieff-Marion/02,
AUTHOR = {Grigorieff, Serge and Marion, Jean-Yves},
TITLE = {Kolmogorov complexity and non-determinism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {271},
NUMBER = {1-2},
PAGES = {151-180},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kalnishkan/02,
AUTHOR = {Kalnishkan, Yuri},
TITLE = {General linear relations between different types of predictive complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {271},
NUMBER = {1-2},
PAGES = {181-200},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Matz/02,
AUTHOR = {Matz, Oliver},
TITLE = {Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {1-70},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pelc/02,
AUTHOR = {Pelc, Andrzej},
TITLE = {Searching games with errors --- fifty years of coping with liars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {71-109},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hwang-Yao-Dasgupta/02,
AUTHOR = {Hwang, F.K. and Yao, Y.C. and Dasgupta, B.},
TITLE = {Some permutation routing algorithms for low-dimensional hypercubes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {111-124},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bourgade/02,
AUTHOR = {Bourgade, M{\'e}nard},
TITLE = {Calculs sur les structures de langage d{\'e}nombrable},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {205-222},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cockett-Lack/02,
AUTHOR = {Cockett, J.R.B. and Lack, Stephen},
TITLE = {Rstriction categories I: Categories of partial maps},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {223-259},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lenhart-Liotta/02,
AUTHOR = {Lenhart, William and Liotta, Giuseppe},
TITLE = {The drawability problem for minimum weight triangulation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {261-286},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Case-Jain-Suraj/02,
AUTHOR = {Case, John and Jain, Sanjay and Suraj, Mandayam},
TITLE = {Control structures in hypothesis spaces: The influence on learning},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {287-308},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Herley-Pietracaprina-Pucci/02,
AUTHOR = {Herley, Kieran T. and Pietracaprina, Andrea and Pucci, Geppino},
TITLE = {Deterministic parallel backtrack search},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {309-324},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Lam-Ting-To-Wong/02,
AUTHOR = {Lam, Tak-Wah and Ting, Hing-Fung and To, Kar-Keung and Wong, Wai-Ha},
TITLE = {On-line load balancing of temporary tasks revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {325-340},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Becchetti-Bertolazzi-Gaibisso-Gambosi/02,
AUTHOR = {Becchetti, Luca and Bertolazzi, Paola and Gaibisso, Carlo and Gambosi, Giorgio},
TITLE = {On the design of efficient ATM routing schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {341-359},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Caragiannis-Kaklamanis-Persiano/02,
AUTHOR = {Caragiannis, Ioannis and Kaklamanis, Christos and Persiano, Pino},
TITLE = {Edge coloring of bipartite graphs with constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {361-399},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blanchet-Sadri-Hegstrom/02,
AUTHOR = {Blanchet-Sadri, F. and Hegstrom, Robert A.},
TITLE = {Partial words and a theorem of Fine and Wilf revisited},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {401-419},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fujimura/02,
AUTHOR = {Fujimura, Kikuo},
TITLE = {Time-minimal paths amidst moving obstacles in three dimensions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {421-440},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Nebel/02,
AUTHOR = {Nebel, Markus E.},
TITLE = {The stack-size of tries: A combinatorial study},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {441-461},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cherubini-Crespi_Reghizzi-San_Pietro/02,
AUTHOR = {Cherubini, Alessandra and Crespi Reghizzi, Stefano and San Pietro, Pierluigi},
TITLE = {Associative language descriptions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {463-491},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Eiter-Ibaraki-Makino/02a,
AUTHOR = {Eiter, Thomas and Ibaraki, Toshihide and Makino, Kazuhisa},
TITLE = {Decision lists and related Boolean functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {493-524},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mairesse-Vuillon/02,
AUTHOR = {Mairesse, Jean and Vuillon, Laurent},
TITLE = {Asymptotic behavior in a heap model with two pieces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {525-560},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Murat-Paschos/02,
AUTHOR = {Murat, C{\'{e}}cile and Paschos, Vangelis Th.},
TITLE = {A priori optimization for the probabilistic maximum independent set problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {561-590},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bergman-Slutzki/02,
AUTHOR = {Bergman, Clifford and Slutzki, Giora},
TITLE = {Computational complexity of some problems involving congruences on algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {591-608},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Mehta-Raghavan/02,
AUTHOR = {Mehta, Dinesh and Raghavan, Vijay},
TITLE = {Decision tree approximations of Boolean functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {609-623},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durand-Hermann-Juban/02,
AUTHOR = {Durand, Arnaud and Hermann, Miki and Juban, Laurent},
TITLE = {On the complexity of recognizing the Hilbert basis of a linear diophantine system},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {625-642},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pergola-Pinzani-Rinaldi/02,
AUTHOR = {Pergola, E. and Pinzani, R. and Rinaldi, S.},
TITLE = {Approximating algebraic functions by means of rational ones},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {643-657},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kucera-Mayr/02b,
AUTHOR = {Ku{\v{c}}era, Anton{\'{i}}n and Mayr, Richard},
TITLE = {Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {677-700},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dassow-Mitrana-Salomaa/02,
AUTHOR = {Dassow, J{\"u}rgen and Mitrana, Victor and Salomaa, Arto},
TITLE = {Operations and language generating devices suggested by the genome evolution},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {701-738},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gottlob-Leone-Scarcello/02a,
AUTHOR = {Gottlob, Georg and Leone, Nicola and Scarcello, Francesco},
TITLE = {Computing LOGCFL certificates},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {761-777},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Martin-Vide-Paun-Rozenberg/02,
AUTHOR = {Mart{\'{i}}n-Vide, Carlos and P{\u{a}}un, Gheorghe and Rozenberg, Grzegorz},
TITLE = {Membrane systems with carriers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {779-796},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Iwamoto-Hatsuyama-Morita-Imai/02,
AUTHOR = {Iwamoto, Chuzo and Hatsuyama, Tomonobu and Morita, Kenichi and Imai, Katsunobu},
TITLE = {Constructible functions in cellular automata and their applications to hierarchy results},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {797-809},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Busch-Demetriou-Herlihy-Mavronicolas/02,
AUTHOR = {Busch, Costas and Demetriou, Neophytos and Herlihy, Maurice and Mavronicolas, Marios},
TITLE = {Threshold counters with increments and decrements},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {811-826},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Goles-Morvan-Phan/02,
AUTHOR = {Goles, Eric and Morvan, Michel and Phan, Ha Duong},
TITLE = {The structure of a linear chip firing game and related models},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {827-841},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Pluhar/02,
AUTHOR = {Pluh{\'{a}}r, Andr{\'{a}}s},
TITLE = {The accelerated $k$-in-a-row game},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {865-875},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cicalese-Mundici-Vaccaro/02,
AUTHOR = {Cicalese, Ferdinando and Mundici, Daniele and Vaccaro, Ugo},
TITLE = {Least adaptive optimal search with unreliable tests},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {877-893},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Flake-Baum/02,
AUTHOR = {Flake, Gary William and Baum, Eric B.},
TITLE = {Rush Hour is PSPACE-complete, or ``Why you should generously tip parking lot attendants''},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {895-911},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Drmota/02,
AUTHOR = {Drmota, Michael},
TITLE = {The variance of the height of binary search trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {913-919},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Akiyama-Petho/02,
AUTHOR = {Akiyama, Shigeki and Peth{\H{o}}, Attila},
TITLE = {On canonical number systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {921-933},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fiebig-Fiebig/02,
AUTHOR = {Fiebig, Doris and Fiebig, Ulf-Rainer},
TITLE = {Compact factors of countable state Markov shifts},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {935-946},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Becher-Figueira/02,
AUTHOR = {Becher, Ver{\'o}nica and Figueira, Santiago},
TITLE = {An example of a computable absolutely normal number},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {947-958},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ewert-Walt/02,
AUTHOR = {Ewert, Sigrid and Walt, Andries van der},
TITLE = {A pumping lemma for random permitting context languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {959-967},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Kim/02,
AUTHOR = {Kim, Changwook},
TITLE = {Two undecidability results for chain code picture languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {270},
NUMBER = {1-2},
PAGES = {969-976},
YEAR = {2002},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}