@article{Ehrhard-Regnier/03,
AUTHOR = {Ehrhard, Thomas and Regnier, Laurent},
TITLE = {The differential lambda-calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {309},
NUMBER = {1-3},
PAGES = {1-41},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {$\lambda$-calculus, Linear logic, Denotational semantics, Linear head reduction},
URL = {DOI:10.1016/S0304-3975(03)00392-X},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Galpin/03,
AUTHOR = {Galpin, Vashti},
TITLE = {A format for semantic equivalence comparison},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {309},
NUMBER = {1-3},
PAGES = {65-109},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Process algebra, Extended tyft/tyxt format, Structured operational semantics, Structural operational semantics, Comparison of semantic equivalences},
URL = {DOI:10.1016/S0304-3975(03)00129-4},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Forster/03,
AUTHOR = {Forster, Thomas},
TITLE = {Better-quasi-orderings and coinduction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {309},
NUMBER = {1-3},
PAGES = {111-123},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00131-2},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hermida-Mateus/03,
AUTHOR = {Hermida, Claudio and Mateus, Paulo},
TITLE = {Paracategories I: Internal paracategories and saturated partial algebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {309},
NUMBER = {1-3},
PAGES = {125-156},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Partial T-algebras, Monoid classifier, Paracetegories, Saturation},
URL = {DOI:10.1016/S0304-3975(03)00135-X},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gardiner/03,
AUTHOR = {Gardiner, Paul},
TITLE = {Power simulation and its relation to traces and failures refinement},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {309},
NUMBER = {1-3},
PAGES = {157-176},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Program semantics, Bisimulation, Failures, Unification, Predicate transformer},
URL = {DOI:10.1016/S0304-3975(03)00200-7},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bergstra-Ponse-van_der_Zwaag/03,
AUTHOR = {Bergstra, Jan A. and Ponse, Alban and van der Zwaag, Mark B.},
TITLE = {Branching time and orthogonal bisimulation equivalence},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {309},
NUMBER = {1-3},
PAGES = {313-355},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Orthogonal bisimulation, Branching time, Process algebra, Silent step, Labelled transition system},
URL = {DOI:10.1016/S0304-3975(03)00277-9},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duran-Meseguer/03,
AUTHOR = {Dur{\'a}n, Francisco and Meseguer, Jos{\'e}},
TITLE = {Structured theories and institutions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {309},
NUMBER = {1-3},
PAGES = {357-380},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Structured theories, Institutions, Maude},
URL = {DOI:10.1016/S0304-3975(03)00312-8},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Boigelot/03,
AUTHOR = {Boigelot, Bernard},
TITLE = {On iterating linear transformations over recognizable sets of integers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {309},
NUMBER = {1-3},
PAGES = {413-468},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Automata, Iterations, Presburger arithmetic, Recognizable sets of integers},
URL = {DOI:10.1016/S0304-3975(03)00314-1},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ghica-McCusker/03,
AUTHOR = {Ghica, Dan R. and McCusker, Guy},
TITLE = {The regular-language semantics of second-order idealized Algol},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {309},
NUMBER = {1-3},
PAGES = {469-502},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Game semantics, ALGOL-like languages, Regular languages},
URL = {http://dx.doi.org/10.1016/S0304-3975(03)00315-3},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fu-Yang/03a,
AUTHOR = {Fu, Yuxi and Yang, Zhenrong},
TITLE = {Tau laws for pi calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {308},
NUMBER = {1-3},
PAGES = {55-130},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Process algebra, Mobile process, Bisimulation, Axiomatization},
URL = {DOI:10.1016/S0304-3975(03)00202-0},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gumm-Hughes-Schroder/03,
AUTHOR = {Gumm, H. Peter and Hughes, Jesse and Schr{\"o}der, Tobias},
TITLE = {Distributivity of categories of coalgebras},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {308},
NUMBER = {1-3},
PAGES = {131-143},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(02)00582-0},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Afrati-Gergatsoulis-Toni/03,
AUTHOR = {Afrati, Foto and Gergatsoulis, Manolis and Toni, Francesca},
TITLE = {Linearisability on Datalog programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {308},
NUMBER = {1-3},
PAGES = {199-226},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Datalog programs, Program transformation, Program optimisation, Linearisability, Deductive databases, Database queries},
URL = {DOI:10.1016/S0304-3975(02)00730-2},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Danvy-Nielsen/03,
AUTHOR = {Danvy, Olivier and Nielsen, Lasse R.},
TITLE = {A first-order one-pass CPS transformation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {308},
NUMBER = {1-3},
PAGES = {239-257},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {$\lambda$-calculus, Continuations, Continuation-passing style (CPS), Administrative reductions},
URL = {DOI:10.1016/S0304-3975(02)00733-8},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Charatonik-Zilio-Gordon-Mukhopadhyay-Talbot/03,
AUTHOR = {Charatonik, Witold and Zilio, Silvano Dal and Gordon, Andrew D. and Mukhopadhyay, Supratik and Talbot, Jean-Marc},
TITLE = {Model checking mobile ambients},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {308},
NUMBER = {1-3},
PAGES = {277-331},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Ambient calculus, Model checking, Ambient logic, Mobile computation, Verification},
URL = {DOI:10.1016/S0304-3975(02)00832-0},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen/03f,
AUTHOR = {Chen, Yifeng},
TITLE = {A fixpoint theory for non-monotonic parallelism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {308},
NUMBER = {1-3},
PAGES = {367-392},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
KEYWORDS = {Recursion, Fixpoint, Reactive programs, Parallelism, Semantics},
URL = {DOI:10.1016/S0304-3975(02)00893-9},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Abraham/03,
AUTHOR = {Abraham, Uri},
TITLE = {Self-stabilizing timestamps},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {308},
NUMBER = {1-3},
PAGES = {449-515},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00130-0},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Allouche-Shallit/03,
AUTHOR = {Allouche, Jean-Paul and Shallit, Jeffrey},
TITLE = {The ring of $k$-regular sequences, II},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {3-29},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00090-2},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aberkane/03,
AUTHOR = {Aberkane, Ali},
TITLE = {Words whose complexity satisfies $lim\frac{p(n)}{n}=1$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {31-46},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00091-4},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Adamczewski/03,
AUTHOR = {Adamczewski, Boris},
TITLE = {Balances for fixed points of primitive substitutions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {47-75},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00092-6},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ananichev-Cherubini-Volkov/03,
AUTHOR = {Ananichev, D.S. and Cherubini, A. and Volkov, M.V.},
TITLE = {Image reducing words and subgroups of free groups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {77-92},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00093-8},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ceccherini-Silberstein-Mach-Scarabotti/03,
AUTHOR = {Ceccherini-Silberstein, Tullio and Mach{\`{\i}}, Antonio and Scarabotti, Fabio},
TITLE = {On the entropy of regular languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {93-102},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00094-X},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ceccherini-Silberstein-Woess/03,
AUTHOR = {Ceccherini-Silberstein, Tullio and Woess, Wolfgang},
TITLE = {Growth-sensitivity of context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {103-116},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00095-1},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Forys-Krawczyk-Anderson/03,
AUTHOR = {Fory{\'s}, Wit and Krawczyk, Tomasz and Anderson, James A.},
TITLE = {Semiretracts --- A counterexample and some results},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {117-127},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00096-3},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guesnet/03,
AUTHOR = {Guesnet, Yannick},
TITLE = {On maximal synchronous codes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {129-138},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00097-5},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Harju-Nowotka/03,
AUTHOR = {Harju, Tero and Nowotka, Dirk},
TITLE = {On the independence of equations in three variables},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {139-172},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00098-7},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hohlweg-Reutenauer/03,
AUTHOR = {Hohlweg, Christophe and Reutenauer, Christophe},
TITLE = {Lyndon words, permutations and trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {1},
PAGES = {173-178},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00099-9},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arques-Micheli/03,
AUTHOR = {Arqu{\`e}s, Didier and Micheli, Anne},
TITLE = {A generalization of the language of {\L}ukasiewicz coding rooted planar hypermaps},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {2},
PAGES = {221-239},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00217-2},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bonichon-Mosbah/03,
AUTHOR = {Bonichon, Nicolas and Mosbah, Mohamed},
TITLE = {Watermelon uniform random generation with applications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {2},
PAGES = {241-256},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00218-4},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bousquet-Melou-Petkovsek/03,
AUTHOR = {Bousquet-M{\'e}lou, Mireille and Petkov{\v{s}}ek, Marko},
TITLE = {Walks confined in a quadrant are not always $D$-finite},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {2},
PAGES = {257-276},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00219-6},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bousquet-Chauve-Labelle-Leroux/03,
AUTHOR = {Bousquet, Michel and Chauve, Cedric and Labelle, Gilbert and Leroux, Pierre},
TITLE = {Two bijective proofs for the arborescent form of the Good-Lagrange formula and some applications to colored rooted trees and cacti},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {2},
PAGES = {277-302},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00220-2},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chandran-Ibarra-Ruskey-Sawada/03,
AUTHOR = {Chandran, L.S. and Ibarra, L. and Ruskey, F. and Sawada, J.},
TITLE = {Generating and characterizing the perfect elimination orderings of a chordal graph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {2},
PAGES = {303-317},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00221-4},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Deutsch-Prodinger/03,
AUTHOR = {Deutsch, Emeric and Prodinger, Helmut},
TITLE = {A bijection between directed column-convex polyominoes and ordered trees of height at most three},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {2},
PAGES = {319-325},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00222-6},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ferrari-Grazzini-Pergola-Rinaldi/03,
AUTHOR = {Ferrari, L. and Grazzini, E. and Pergola, E. and Rinaldi, S.},
TITLE = {Some bijective results about the area of Schr{\"o}der paths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {2},
PAGES = {327-335},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00223-8},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Harper/03a,
AUTHOR = {Harper, L.H.},
TITLE = {Accidental combinatorist, an autobiography},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {3},
PAGES = {457-472},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00231-7},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bezrukov-Elsasser/03,
AUTHOR = {Bezrukov, Sergei L. and Els{\"a}sser, Robert},
TITLE = {Edge-isoperimetric problems for Cartesian powers of regular graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {3},
PAGES = {473-492},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00232-9},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bollobas-Leader/03,
AUTHOR = {Bollob{\'a}s, B{\'e}la and Leader, Imre},
TITLE = {Union of shadows},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {3},
PAGES = {493-502},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00233-0},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calamoneri-Massini-Vrto/03,
AUTHOR = {Calamoneri, Tiziana and Massini, Annalisa and Vr{\v{t}}o, Imrich},
TITLE = {New results on edge-bandwidth},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {3},
PAGES = {503-513},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00234-2},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Canfield/03,
AUTHOR = {Canfield, E. Rodney},
TITLE = {Integer partitions and the Sperner property},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {3},
PAGES = {515-529},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00235-4},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Diaz-Do-Serna-Wormald/03,
AUTHOR = {D{\'i}az, J. and Do, N. and Serna, M.J. and Wormald, N.C.},
TITLE = {Bounds on the max and min bisection of random cubic and random 4-regular graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {3},
PAGES = {531-547},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00236-6},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Elsasser-Kralovic-Monien/03,
AUTHOR = {Els{\"a}sser, R. and Kr{\'a}lovi{\v{c}}, R. and Monien, B.},
TITLE = {Sparse topologies with small spectrum size},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {307},
NUMBER = {3},
PAGES = {549-565},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
URL = {DOI:10.1016/S0304-3975(03)00237-8},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Farr/03,
AUTHOR = {Farr, G.E.},
TITLE = {The Go polynomials of a graph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {1-18},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Daley-Ibarra-Kari/03,
AUTHOR = {Daley, Mark and Ibarra, Oscar H. and Kari, Lila},
TITLE = {Closure and decidability properties of some language classes with respect to ciliate bio-operations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {19-38},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Balogh-Csirik-Ishai-Kushilevitz/03,
AUTHOR = {Balogh, J{\'o}zsef and Csirik, J{\'a}nos A. and Ishai, Yuval and Kushilevitz, Eyal},
TITLE = {Private computation using a PEZ dispenser},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {69-84},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Albert-Atkinson-Ruskuc/03,
AUTHOR = {Albert, M.H. and Atkinson, M.D. and Ru{\v{s}}kuc, N.},
TITLE = {Regular closed sets of permutations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {85-100},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Andrei-Cavadini-Chin/03,
AUTHOR = {Andrei, {\c{S}}tefan and Cavadini, Salvador Valerio and Chin, Wei-Ngan},
TITLE = {A new algorithm for regularizing one-letter context-free grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {113-122},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Francez-Kaminski/03,
AUTHOR = {Francez, Nissim and Kaminski, Michael},
TITLE = {An algebraic characterization of deterministic regular languages over infinite alphabets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {155-175},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ambos-Spies-Merkle-Reimann-Terwijn/03,
AUTHOR = {Ambos-Spies, Klaus and Merkle, Wolfgang and Reimann, Jan and Terwijn, Sebastiaan A.},
TITLE = {Almost complete sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {177-194},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bunimovich-Kreslavskiy/03,
AUTHOR = {Bunimovich, L.A. and Kreslavskiy, D.M.},
TITLE = {Lorentz gas cellular automata on graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {195-221},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{De_Bonis-Vaccaro/03,
AUTHOR = {De Bonis, Annalisa and Vaccaro, Ugo},
TITLE = {Constructions of generalized superimposed codes with applications to group testing and conflict resolution in multiple access channels},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {223-243},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bienvenue-Francois/03,
AUTHOR = {Bienven{\"u}e, Alexis and Fran{\c{c}}ois, Olivier},
TITLE = {Global convergence for evolution strategies in spherical problems: Some simple proofs and difficulties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {269-289},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gravier-Mhalla-Tannier/03,
AUTHOR = {Gravier, Sylvain and Mhalla, Mehdi and Tannier, Eric},
TITLE = {On a modular domination game},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {291-303},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Epstein-Imreh-van_Stee/03,
AUTHOR = {Epstein, Leah and Imreh, Csan{\'a}d and van Stee, Rob},
TITLE = {More on weighted servers or Fifo is better than Lru},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {305-317},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Angel-Bampis-Kononov/03,
AUTHOR = {Angel, Eric and Bampis, Evripidis and Kononov, Alexander},
TITLE = {On the approximate tradeoff for bicriteria batching and parallel machine scheduling problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {319-338},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dias-da_Fonseca-de_Figueiredo-Szwarcfiter/03,
AUTHOR = {Dias, V{\^a}nia M.F. and da Fonseca, Guilherme D. and de Figueiredo, Celina M.H. and Szwarcfiter, Jayme L.},
TITLE = {The stable marriage problem with restricted pairs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {391-405},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Evans-Smith-Wareham/03,
AUTHOR = {Evans, Patricia A. and Smith, Andrew D. and Wareham, H. Todd},
TITLE = {On the complexity of finding common approximate substrings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {407-430},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Halldorsson-Irving-Iwama-Manlove-Miyazaki-Morita-Scott/03,
AUTHOR = {Halld{\'o}rsson, Magn{\'u}s M. and Irving, Robert W. and Iwama, Kazuo and Manlove, David F. and Miyazaki, Shuichi and Morita, Yasufumi and Scott, Sandy},
TITLE = {Approximability results for stable marriage problems with ties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {431-447},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dulucq-Tichit/03,
AUTHOR = {Dulucq, Serge and Tichit, Laurent},
TITLE = {RNA secondary structure comparison: Exact analysis of the Zhang-Shasha tree edit algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {471-484},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dalmau-Jeavons/03,
AUTHOR = {Dalmau, V{\'i}ctor and Jeavons, Peter},
TITLE = {Learnability of quantified formulas},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {485-511},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Frid/03,
AUTHOR = {Frid, A.E.},
TITLE = {Arithmetical complexity of symmetric D0L words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {306},
NUMBER = {1-3},
PAGES = {535-542},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Amenta-Peters-Russell/03,
AUTHOR = {Amenta, Nina and Peters, Thomas J. and Russell, Alexander C.},
TITLE = {Computational topology: Ambient isotopic approximation of 2-manifolds},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {3-15},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brattka/03a,
AUTHOR = {Brattka, Vasco},
TITLE = {Recursive quasi-metric spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {17-42},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brattka-Presser/03,
AUTHOR = {Brattka, Vasco and Presser, Gero},
TITLE = {Computability on subsets of metric spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {43-76},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Coquand-Zhang/03,
AUTHOR = {Coquand, Thierry and Zhang, Guo-Qiang},
TITLE = {A representation of stably compact spaces, and patch topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {77-84},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Curi/03,
AUTHOR = {Curi, Giovanni},
TITLE = {Constructive metrisability in point-free topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {85-109},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Galton/03,
AUTHOR = {Galton, Antony},
TITLE = {A generalized topological view of motion in discrete space},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {111-134},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hardie-Salbany-Vermeulen-Witbooi/03,
AUTHOR = {Hardie, K.A. and Salbany, S. and Vermeulen, J.J.C. and Witbooi, P.J.},
TITLE = {A non-Hausdorff quaternion multiplication},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {135-158},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heckmann/03,
AUTHOR = {Heckmann, Reinhold},
TITLE = {A non-topological view of dcpos as convergence spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {159-186},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hitzler-Seda/03,
AUTHOR = {Hitzler, Pascal and Seda, Anthony Karel},
TITLE = {Generalized metrics and uniquely determined logic programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {305},
NUMBER = {1-3},
PAGES = {187-219},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brunetti-Daurat/03,
AUTHOR = {Brunetti, Sara and Daurat, Alain},
TITLE = {An algorithm reconstructing convex lattice sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {35-57},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Carpentieri/03,
AUTHOR = {Carpentieri, Marco},
TITLE = {On the simulation of quantum Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {103-128},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Feigenbaum-Krishnamurthy-Sami-Shenker/03,
AUTHOR = {Feigenbaum, Joan and Krishnamurthy, Arvind and Sami, Rahul and Shenker, Scott},
TITLE = {Hardness results for multicast cost sharing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {215-236},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Xue/03,
AUTHOR = {Chen, Guangting and Xue, Guoliang},
TITLE = {A PTAS for weight constrained Steiner trees in series-parallel graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {237-247},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bertet-Gustedt-Morvan/03,
AUTHOR = {Bertet, Karell and Gustedt, Jens and Morvan, Michel},
TITLE = {Weak-order extensions of an order},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {249-268},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Formenti-Grange/03,
AUTHOR = {Formenti, Enrico and Grange, Aristide},
TITLE = {Number conserving cellular automata II: Dynamics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {269-290},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hashiguchi-Wada-Jimbo/03,
AUTHOR = {Hashiguchi, Kosaburo and Wada, Yoshito and Jimbo, Shuji},
TITLE = {Regular binoid expressions and regular binoid languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {291-313},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fulop-Gazdag/03,
AUTHOR = {F{\"u}l{\"o}p, Zolt{\'a}n and Gazdag, Zsolt},
TITLE = {Shape preserving top-down tree transducers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {315-339},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Crescenzi-Lungo-Grossi-Lodi-Pagli-Rossi/03,
AUTHOR = {Crescenzi, Pilu and Lungo, Alberto Del and Grossi, Roberto and Lodi, Elena and Pagli, Linda and Rossi, Gianluca},
TITLE = {Text sparsification via local maxima},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {341-364},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cao-Wen/03,
AUTHOR = {Cao, Wei-Ting and Wen, Zhi-Ying},
TITLE = {Some properties of the factors of Sturmian sequences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {365-385},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fukuyama/03,
AUTHOR = {Fukuyama, Masahiko},
TITLE = {A Nim game played on graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {387-399},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fukuyama/03a,
AUTHOR = {Fukuyama, Masahiko},
TITLE = {A Nim game played on graphs II},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {401-419},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hachachi/03,
AUTHOR = {Hacha{\"{\i}}chi, Yassine},
TITLE = {A descriptive complexity approach to the linear hierarchy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {421-429},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hitchcock/03a,
AUTHOR = {Hitchcock, John M.},
TITLE = {Fractal dimension and logarithmic loss unpredictability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {431-441},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cheng-Du-Min-Ngo-Ruan-Sun-Wu/03,
AUTHOR = {Cheng, Xiaoyan and Du, Xiufeng and Min, Manki and Ngo, Hung Q. and Ruan, Lu and Sun, Jianhua and Wu, Weili},
TITLE = {Super link-connectivity of iterated line digraphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {461-469},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Demaine-Lopez-Ortiz-Munro/03,
AUTHOR = {Demaine, Erik D. and L{\'o}pez-Ortiz, Alejandro and Munro, J. Ian},
TITLE = {On universally easy classes for $NP$-complete problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {471-476},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gasarch-Golub-Srinivasan/03,
AUTHOR = {Gasarch, William and Golub, Evan and Srinivasan, Aravind},
TITLE = {When does a random Robin Hood win?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {477-484},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dartnell-Maass-Schwartz/03,
AUTHOR = {Dartnell, Pablo and Maass, Alejandro and Schwartz, Fernando},
TITLE = {Combinatorial constructions associated to the dynamics of one-sided cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {304},
NUMBER = {1-3},
PAGES = {485-497},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arnold-Vincent-Walukiewicz/03,
AUTHOR = {Arnold, A. and Vincent, A. and Walukiewicz, I.},
TITLE = {Games for synthesis of controllers with partial observation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {1},
PAGES = {7-34},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Carbone-Gromov/03,
AUTHOR = {Carbone, A. and Gromov, M.},
TITLE = {Functional labels and syntactic entropy on DNA strings and proteins},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {1},
PAGES = {35-51},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cegielski-Heroult-Richard/03,
AUTHOR = {C{\'e}gielski, Patrick and Heroult, Fran{\c{c}}ois and Richard, Denis},
TITLE = {On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {1},
PAGES = {53-62},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dekhtyar-Dikovsky-Valiev/03,
AUTHOR = {Dekhtyar, Michael and Dikovsky, Alexander and Valiev, Mars},
TITLE = {On feasible cases of checking multi-agent systems behavior},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {1},
PAGES = {63-81},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grigoriev-Hirsch/03,
AUTHOR = {Grigoriev, Dima and Hirsch, Edward A.},
TITLE = {Algebraic proof systems over formulas},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {1},
PAGES = {83-102},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guessarian-Foustoucos-Andronikos-Afrati/03,
AUTHOR = {Guessarian, Ir{\`}ene and Foustoucos, Eug{\'e}nie and Andronikos, Theodore and Afrati, Foto},
TITLE = {On temporal logic versus Datalog},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {1},
PAGES = {103-133},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fournier/03a,
AUTHOR = {Fournier, J.C.},
TITLE = {Combinatorics of perfect matchings in plane bipartite graphs and application to tilings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {2-3},
PAGES = {333-351},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Desreux/03,
AUTHOR = {Desreux, S{\'e}bastien},
TITLE = {An algorithm to generate exactly once every tiling with lozenges of a domain},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {2-3},
PAGES = {375-408},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beauquier-Nivat/03,
AUTHOR = {Beauquier, Dani{\`e}le and Nivat, Maurice},
TITLE = {A codicity undecidable problem in the plane},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {2-3},
PAGES = {417-430},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Delgado-Friedrichs/03,
AUTHOR = {Delgado-Friedrichs, Olaf},
TITLE = {Data structures and algorithms for tilings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {2-3},
PAGES = {431-445},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fitzkee-Hockett-Robinson/03,
AUTHOR = {Fitzkee, Thomas L. and Hockett, Kevin G. and Robinson, E. Arthur, Jr.},
TITLE = {A weakly mixing tiling dynamical system with a smooth model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {2-3},
PAGES = {447-462},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Frougny-Gazeau-Krejcar/03,
AUTHOR = {Frougny, Christiane and Gazeau, Jean-Pierre and Krejcar, Rudolf},
TITLE = {Additive and multiplicative properties of point sets based on beta-integers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {2-3},
PAGES = {491-516},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Eloranta/03,
AUTHOR = {Eloranta, Kari},
TITLE = {The bounded eight-vertex model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {303},
NUMBER = {2-3},
PAGES = {539-552},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Damaschke/03b,
AUTHOR = {Damaschke, Peter},
TITLE = {Nearly optimal strategies for special cases of on-line capital investment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {35-44},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Dang/03,
AUTHOR = {Dang, Zhe},
TITLE = {Pushdown timed automata: A binary reachability characterization and safety verification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {93-121},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Brlek-Ladouceur/03,
AUTHOR = {Brlek, S. and Ladouceur, A.},
TITLE = {A note on differentiable palindromes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {167-178},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Chen/03e,
AUTHOR = {Chen, Jingchao},
TITLE = {Optimizing stable in-place merging},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {191-210},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Domosi-Nehaniv-Rhodes/03,
AUTHOR = {D{\"o}m{\"o}si, P{\'a}l and Nehaniv, Chrystopher L. and Rhodes, John L.},
TITLE = {Finite semigroups, feedback, and the Letichevsky criteria on non-empty words in finite automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {295-317},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Fishkin-Zhang/03,
AUTHOR = {Fishkin, Aleksei V. and Zhang, Guochuan},
TITLE = {On maximizing the throughput of multiprocessor tasks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {319-335},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Clementi-Monti-Silvestri/03,
AUTHOR = {Clementi, Andrea E.F. and Monti, Angelo and Silvestri, Riccardo},
TITLE = {Distributed broadcast in radio networks of unknown topology},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {337-364},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Creignou-Daude/03,
AUTHOR = {Creignou, Nadia and Daud{\'e}, Herv{\'e}},
TITLE = {Generalized satisfiability problems: Minimal elements and phase transitions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {417-430},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Bertoni-Choffrut-Goldwurm-Lonati/03,
AUTHOR = {Bertoni, Alberto and Choffrut, Christian and Goldwurm, Massimiliano and Lonati, Violetta},
TITLE = {On the number of occurrences of a symbol in words of regular languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {431-456},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Hemaspaandra-Hempel/03,
AUTHOR = {Hemaspaandra, Lane A. and Hempel, Harald},
TITLE = {$P$-immune sets with holes lack self-reducibility properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {457-466},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Biedl-Buss-Demaine-Demaine-Hajiaghayi-Vinar/03,
AUTHOR = {Biedl, Therese and Buss, Jonathan F. and Demaine, Erik D. and Demaine, Martin L. and Hajiaghayi, Mohammadtaghi and Vina{\v{r}}, Tom{\'a}{\v{s}}},
TITLE = {Palindrome recognition using a multidimensional tape},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {475-480},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Honkala/03a,
AUTHOR = {Honkala, Juha},
TITLE = {Decidability results for Watson-Crick D0L systems with nonregular triggers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {481-488},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Czumaj-Gasieniec-Gaur-Krishnamurti-Rytter-Zito/03,
AUTHOR = {Czumaj, Artur and G{\c{a}}sieniec, Leszek and Gaur, Daya Ram and Krishnamurti, Ramesh and Rytter, Wojciech and Zito, Michele},
TITLE = {On polynomial-time approximation algorithms for the variable length scheduling problem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {489-495},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Chrobak/03,
AUTHOR = {Chrobak, Marek},
TITLE = {Errata to: "Finite automata and unary languages"},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {302},
NUMBER = {1-3},
PAGES = {497-498},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
NOTE = {Originally in TCS, vol. 47, 1986, pp. 149-158},
TYPE = {proceeding},
}
@article{Gerbessiotis-Siniolakis/03a,
AUTHOR = {Gerbessiotis, Alexandros V. and Siniolakis, Constantinos J.},
TITLE = {Architecture independent parallel selection with applications to parallel priority queues},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {119-142},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Ferretti-Mauri-Paun-Zandron/03,
AUTHOR = {Ferretti, Claudio and Mauri, Giancarlo and P{\u{a}}un, Gheorghe and Zandron, Claudio},
TITLE = {On three variants of rewriting $P$ systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {201-215},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Finkel/03b,
AUTHOR = {Finkel, Olivier},
TITLE = {Ambiguity in omega context free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {217-270},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Boliac-Lozin/03,
AUTHOR = {Boliac, R. and Lozin, V.},
TITLE = {Independent domination in finitely defined classes of graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {271-284},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Ellis-Ruskey-Sawada-Simpson/03,
AUTHOR = {Ellis, John and Ruskey, Frank and Sawada, Joe and Simpson, Jamie},
TITLE = {Euclidean strings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {321-340},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Formenti/03,
AUTHOR = {Formenti, Enrico},
TITLE = {On the sensitivity of additive cellular automata in Besicovitch topologies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {341-354},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Flocchini-Roncato-Santoro/03a,
AUTHOR = {Flocchini, Paola and Roncato, Alessandro and Santoro, Nicola},
TITLE = {Computing on anonymous networks with sense of direction},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {355-379},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Dolinka/03,
AUTHOR = {Dolinka, Igor},
TITLE = {The multiplicative fragment of the Yanov equational theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {417-425},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Georgiadis/03,
AUTHOR = {Georgiadis, Leonidas},
TITLE = {Arborescence optimization problems solvable by Edmonds' algorithm},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {427-437},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Barge-Diamond-Holton/03,
AUTHOR = {Barge, Marcy and Diamond, Beverly and Holton, Charles},
TITLE = {Asymptotic orbits of primitive substitutions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {439-450},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Harper/03,
AUTHOR = {Harper, L.H.},
TITLE = {On the bandwidth of a Hamming graph},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {301},
NUMBER = {1-3},
PAGES = {491-498},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Aczel-Adamek-Milius-Velebil/03,
AUTHOR = {Aczel, Peter and Ad{\'a}mek, Ji{\v{r}}{\'{\i}} and Milius, Stefan and Velebil, Ji{\v{r}}{\'{\i}}},
TITLE = {Infinite trees and completely iterative theories: A coalgebraic view},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {1-45},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Cattani-Winskel/03,
AUTHOR = {Cattani, Gian Luca and Winskel, Glynn},
TITLE = {Presheaf models for CCS-like languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {47-89},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Finkelstein-Freyd-Lipton/03,
AUTHOR = {Finkelstein, Stacy E. and Freyd, Peter and Lipton, James},
TITLE = {A new framework for declarative programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {91-160},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
NOTE = {see Erratum in Theor.~Comput.~Sci., Vol. 311, 2004, No. 1-3, 527},
TYPE = {proceeding},
}
@article{Demri/03,
AUTHOR = {Demri, St{\'e}phane},
TITLE = {A polynomial space construction of tree-like models for logics with local chains of modal connectives},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {235-258},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Devillers-Klaudel-Riemann/03,
AUTHOR = {Devillers, Raymond and Klaudel, Hanna and Riemann, Robert-C.},
TITLE = {General parameterised refinement and recursion for the $M$-net calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {259-300},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Ayari-Basin-Klaedtke/03,
AUTHOR = {Ayari, Abdelwaheb and Basin, David and Klaedtke, Felix},
TITLE = {Decision procedures for inductive Boolean functions based on alternating automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {301-329},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Carlucci/03,
AUTHOR = {Carlucci, Lorenzo},
TITLE = {A new proof-theoretic proof of the independence of Kirby-Paris' Hydra Theorem},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {365-378},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Gordon-Jeffrey/03,
AUTHOR = {Gordon, Andrew D. and Jeffrey, Alan},
TITLE = {Typing correspondence assertions for communication protocols},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {379-409},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Aceto-Bouyer-Burgueno-Larsen/03,
AUTHOR = {Aceto, Luca and Bouyer, Patricia and Burgue{\~n}o, Augusto and Larsen, Kim G.},
TITLE = {The power of reachability testing for timed automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {411-475},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{David/03,
AUTHOR = {David, R.},
TITLE = {Decidability results for primitive recursive algorithms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {300},
NUMBER = {1-3},
PAGES = {477-504},
YEAR = {2003},
EDITOR = {Ausiello, G. and Mislove, M.W. and Sannella, D.},
PUBLISHER = {Elsevier Science Publishers B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
TYPE = {proceeding},
}
@article{Courcelle/03,
AUTHOR = {Courcelle, Bruno},
TITLE = {The monadic second-order logic of graphs XIV: Uniformly sparse graphs and edge set quantifications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {1-36},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aracena-Goles/03,
AUTHOR = {Aracena, Julio and Goles, Eric},
TITLE = {Complexity of perceptron recognition for a class of geometric patterns},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {65-79},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Epifanio-Koskas-Mignosi/03,
AUTHOR = {Epifanio, Chiara and Koskas, Michel and Mignosi, Filippo},
TITLE = {On a conjecture on bidimensional words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {123-150},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bartha-Kresz/03,
AUTHOR = {Bartha, Mikl{\'{o}}s and Kr{\'{e}}sz, Mikl{\'{o}}s},
TITLE = {Structuring the elementary components of graphs having a perfect internal matching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {179-210},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Jiang-Lin-Wen-Xu-Xu-Xu/03,
AUTHOR = {Chen, Zhi-Zhong and Jiang, Tao and Lin, Guohui and Wen, Jianjun and Xu, Dong and Xu, Jinbo and Xu, Ying},
TITLE = {Approximation algorithms for NMR spectral peak assignment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {211-229},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Baeza-Yates-Gabarro-Messeguer/03,
AUTHOR = {Baeza-Yates, R. and Gabarr{\'{o}}, J. and Messeguer, X.},
TITLE = {Fringe analysis of synchronized parallel insertion algorithms in 2-3 trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {231-271},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Holzer-McKenzie/03,
AUTHOR = {Holzer, Markus and McKenzie, Pierre},
TITLE = {Alternating and empty alternating auxiliary stack automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {307-326},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Finkel/03a,
AUTHOR = {Finkel, Olivier},
TITLE = {On omega context free languages which are Borel sets of infinte rank},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {327-346},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dang-Pietro-Kemmerer/03,
AUTHOR = {Dang, Zhe and Pietro, Pierluigi San and Kemmerer, Richard A.},
TITLE = {Presburger liveness verification of discrete timed automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {413-438},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Epstein-Stee/03,
AUTHOR = {Epstein, Leah and Stee, Rob van},
TITLE = {Lower bounds for on-line single-machine scheduling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {439-450},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fiorenzi/03,
AUTHOR = {Fiorenzi, Francesca},
TITLE = {Cellular automata and strongly irreducible shifts of finite type},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {477-493},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durand-Formenti-Roka/03,
AUTHOR = {Durand, Bruno and Formenti, Enrico and R{\'{o}}ka, Zsuzsanna},
TITLE = {Number-conserving cellular automata I: Decidability},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {523-535},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Engebretsen-Holmerin/03,
AUTHOR = {Engebretsen, Lars and Holmerin, Jonas},
TITLE = {Towards optimal lower bounds for clique and chromatic number},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {537-584},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Giorgetti/03,
AUTHOR = {Giorgetti, Alain},
TITLE = {An asymptotic study for path reversal},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {585-602},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernau-Holzer-Freund/03,
AUTHOR = {Fernau, H. and Holzer, M. and Freund, R.},
TITLE = {Hybrid modes in cooperating distributed grammar systems: Combining the $t$-mode with the modes $\leq k$ and $=k$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {633-662},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Buchsbaum-Giancarlo-Westbrook/03,
AUTHOR = {Buchsbaum, Adam L. and Giancarlo, Raffaele and Westbrook, Jeffery R.},
TITLE = {On finding common neighborhoods in massive graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {707-718},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gerber-Kobler/03,
AUTHOR = {Gerber, Michael U. and Kobler, Daniel},
TITLE = {Algorithms for vertex-partitioning problems on graphs with fixed clique-width},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {719-734},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Heam/03,
AUTHOR = {H{\'{e}}am, P.-C.},
TITLE = {Some complexity results for polynomial rational expressions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {735-741},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Clementi-Ianni-Silvestri/03,
AUTHOR = {Clementi, Andrea E.F. and Ianni, Miriam Di and Silvestri, Riccardo},
TITLE = {The minimum broadcast range assignment problem on linear multi-hop wireless networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {751-761},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Garcia-Ruiz-Vazquez_de_Parga/03,
AUTHOR = {Garc{\'{i}}a, Pedro and Ruiz, Jos{\'{e}} and Vazquez de Parga, Manuel},
TITLE = {Bilateral locally testable languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {775-783},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Csuhaj-Varju-Paun-Vaszil/03,
AUTHOR = {Csuhaj-Varj{\'{u}}, Erzs{\'{e}}bet and P{\u{a}}un, Gheorghe and Vaszil, Gy{\"o}rgy},
TITLE = {PC grammar systems with five context-free components generate all recursively enumberable languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {299},
NUMBER = {1-3},
PAGES = {785-794},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Akutsu-Kuhara-Maruyama-Miyano/03,
AUTHOR = {Akutsu, Tatsuya and Kuhara, Satoru and Maruyama, Osamu and Miyano, Satoru},
TITLE = {Identification of genetic networks by strategic gene disruptions and gene overexpressions under a Boolean model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {1},
PAGES = {235-251},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dezani-Ciancaglini-Severi-Vries/03,
AUTHOR = {Dezani-Ciancaglini, Mariangiola and Severi, Paula and Vries, Fer-Jan de},
TITLE = {Infinitary lambda calculus and discrimination of Berarducci trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {2},
PAGES = {275-302},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Downey-Fortnow/03,
AUTHOR = {Downey, Rod and Fortnow, Lance},
TITLE = {Uniformly hard languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {2},
PAGES = {303-315},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fellows-McCartin/03,
AUTHOR = {Fellows, Michael R. and McCartin, Catherine},
TITLE = {On the parametric complexity of schedules to minimize tardy tasks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {2},
PAGES = {317-324},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Abadi-Blanchet/03,
AUTHOR = {Abadi, Mart{\'{i}}n and Blanchet, Bruno},
TITLE = {Secrecy types for asymmetric communication},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {3},
PAGES = {387-415},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aceto-Esik-Ingolfsdottir/03a,
AUTHOR = {Aceto, Luca and {\'{E}}sik, Zolt{\'{a}}n and Ing{\'{o}}lfsd{\'{o}}ttir, Anna},
TITLE = {Equational theories of tropical semirings},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {3},
PAGES = {417-469},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bidoit-Hennicker-Kurz/03,
AUTHOR = {Bidoit, Michel and Hennicker, Rolf and Kurz, Alexander},
TITLE = {Observational logic, constructor-based logic, and their duality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {3},
PAGES = {471-510},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bojanczyk/03a,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj},
TITLE = {The finite graph problem for two-way alternating automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {3},
PAGES = {511-528},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Busi-Zavattaro/03,
AUTHOR = {Busi, Nadia and Zavattaro, Gianluigi},
TITLE = {Expired data collection in shared dataspaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {3},
PAGES = {529-556},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calcagno-OHearn-Bornat/03,
AUTHOR = {Calcagno, Cristiano and O'Hearn, Peter and Bornat, Richard},
TITLE = {Program logic and equivalence in the presence of garbage collection},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {298},
NUMBER = {3},
PAGES = {557-581},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Akhavi/03,
AUTHOR = {Akhavi, Ali},
TITLE = {The optimal LLL algorithm is still polynomial in fixed dimension},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {3-23},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Berrizbeitia-Odreman-Ayuso/03,
AUTHOR = {Berrizbeitia, Pedro and Odrem{\'{a}}n, Mauricio and Ayuso, Juan Tena},
TITLE = {Primality test for nummbers $M$ with a large power of 5 dividing $M^4-1$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {25-36},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Carton-Michel/03,
AUTHOR = {Carton, Olivier and Michel, Max},
TITLE = {Unambiguous B{\"u}chi automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {37-81},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cicerone-Stefano-Frigioni-Nanni/03,
AUTHOR = {Cicerone, Serafino and Stefano, Gabriele Di and Frigioni, Daniele and Nanni, Umberto},
TITLE = {A fully dynamic algorithm for distributed shortest paths},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {83-102},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cohen-Colbourn/03,
AUTHOR = {Cohen, Myra B. and Colbourn, Charles J.},
TITLE = {Optimal and pessimal orderings of Steiner triple systems in disk arrays},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {103-117},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Corteel-Valencia-Pabon-Gardy-Barth-Denise/03,
AUTHOR = {Corteel, Sylvie and Valencia-Pabon, Mario and Gardy, Dani{\`{e}}le and Barth, Dominique and Denise, Alain},
TITLE = {The permutation-path coloring problem on trees},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {119-143},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernandez-Mackie/03,
AUTHOR = {Fern{\'{a}}ndez, Maribel and Mackie, Ian},
TITLE = {Operational equivalence for interaction nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {157-181},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernandez-Baca/03,
AUTHOR = {Fern{\'{a}}ndez-Baca, David},
TITLE = {Decomposable multi-parameter matroid optimization problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {183-198},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Goerdt-Molloy/03,
AUTHOR = {Goerdt, Andreas and Molloy, Mike},
TITLE = {Analysis of edge deletion processes on faulty random regular graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {241-260},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grabner-Prodinger/03,
AUTHOR = {Grabner, Peter J. and Prodinger, Arnold Knopfmacher Helmut},
TITLE = {Combinatorics of geometrically distributed random variables: Run statistics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {261-270},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gutierrez/03,
AUTHOR = {Guti{\'{e}}rrez, Claudio},
TITLE = {Equations in free semigroups with involution and their relation to equations in free groups},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {297},
NUMBER = {1-3},
PAGES = {271-280},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aichholzer-Aurenhammer-Hurtado-Krasser/03,
AUTHOR = {Aichholzer, Oswin and Aurenhammer, Franz and Hurtado, Ferran and Krasser, Hannes},
TITLE = {Towards compatible triangulations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {1},
PAGES = {3-13},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cai-Bach/03,
AUTHOR = {Cai, Jin-Yi and Bach, Eric},
TITLE = {On testing for zero polynomials by a set of points with bounded precision},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {1},
PAGES = {15-25},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chan-Lam-Ting-Wong/03a,
AUTHOR = {Chan, Wun-Tat and Lam, Tak-Wah and Ting, Hing-Fung and Wong, Prudence W.H.},
TITLE = {On-line straeam merging in a general setting},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {1},
PAGES = {27-46},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cheong-Shin-Vigneron/03,
AUTHOR = {Cheong, Otfried and Shin, Chan-Su and Vigneron, Antoine},
TITLE = {Computing farthest neighbors on a convex polytope},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {1},
PAGES = {47-58},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dang-Ibarra-Kemmerer/03,
AUTHOR = {Dang, Zhe and Ibarra, Oscar H. and Kemmerer, Richard A.},
TITLE = {Generalized discrete timed automata: Decidable approximations for safety verification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {1},
PAGES = {59-74},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duncan-Qian-Vigneron-Zhu/03,
AUTHOR = {Duncan, Rob and Qian, Jianbo and Vigneron, Antoine and Zhu, Binhai},
TITLE = {Polynomial time algorithms for three-label point labeling},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {1},
PAGES = {75-87},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hsu-McConnell/03,
AUTHOR = {Hsu, Wen-Lian and McConnell, Ross M.},
TITLE = {PC trees and circular-ones arrangements},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {1},
PAGES = {99-116},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Caucal/03a,
AUTHOR = {Caucal, Didier},
TITLE = {On the transition graphs of Turing machines},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {2},
PAGES = {195-223},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernau/03a,
AUTHOR = {Fernau, Henning},
TITLE = {Nonterminal complexity of programmed grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {2},
PAGES = {225-251},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Besozzi-Mauri-Paun-Zandron/03,
AUTHOR = {Besozzi, D. and Mauri, G. and P{\u{a}}un, G. and Zandron, C.},
TITLE = {Gemmating $P$ systems: Collapsing hierarchies},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {2},
PAGES = {253-267},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Frisco/03,
AUTHOR = {Frisco, Pierluigi},
TITLE = {Direct constructions of universal extended $H$ systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {2},
PAGES = {269-293},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Herrmann-Margenstern/03,
AUTHOR = {Herrmann, Francine and Margenstern, Maurice},
TITLE = {A universal cellular automaton in the hyperbolic plane},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {2},
PAGES = {327-364},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arenas-Bertossi-Chomicki-He-Raghavan-Spinrad/03,
AUTHOR = {Arenas, Marcelo and Bertossi, Leopoldo and Chomicki, Jan and He, Xin and Raghavan, Vijay and Spinrad, Jeremy},
TITLE = {Scalar aggregation in inconsistent databases},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {3},
PAGES = {405-434},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Edmonds-Gryz-Liang-Miller/03,
AUTHOR = {Edmonds, Jeff and Gryz, Jarek and Liang, Dongming and Miller, Ren{\'{e}}e J.},
TITLE = {Mining for empty spaces in large data sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {3},
PAGES = {435-452},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Grahne-Thomo/03,
AUTHOR = {Grahne, G{\"o}sta and Thomo, Alex},
TITLE = {Algebraic rewritings for optimizing regular path queries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {3},
PAGES = {453-471},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hesse/03,
AUTHOR = {Hesse, William},
TITLE = {The dynamic complexity of tranisitve closure is in DynTC$^0$},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {296},
NUMBER = {3},
PAGES = {473-485},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ambainis-Kikusts/03,
AUTHOR = {Ambainis, Andris and {\c{K}}ikusts, Arnolds},
TITLE = {Exact results for accepting probabilities of quantum automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {3-25},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Atserias/03,
AUTHOR = {Atserias, Albert},
TITLE = {Improved bounds on the weak pigeonhole principle and infinitely many primes from weaker axioms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {27-39},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Barrett-Hunt-Marathe-Ravi-Rosenkrantz-Stearns/03,
AUTHOR = {Barrett, Chris and Hunt III, Harry B. and Marathe, Madhav V. and Ravi, S.S. and Rosenkrantz, Daniel J. and Stearns, Richard E.},
TITLE = {Reachability problems for sequential dynamical systems with threshold functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {41-64},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blaser/03d,
AUTHOR = {Bl{\"a}ser, Markus},
TITLE = {The complexity of bivariate power series arithmetic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {65-83},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bouajjani-Habermehl-Mayr/03,
AUTHOR = {Bouajjani, Ahmed and Habermehl, Peter and Mayr, Richard},
TITLE = {Automatic verification of recursive procedures with one integer parameter},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {85-106},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cautis-Mignosi-Shallit-Wang-Yazdani/03,
AUTHOR = {Cautis, Sabin and Mignosi, Filippo and Shallit, Jeffrey and Wang, Ming-wei and Yazdani, Soroosh},
TITLE = {Periodicity, morphisms, and matrices},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {107-121},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Di_Crescenzo/03,
AUTHOR = {Di Crescenzo, Giovanni},
TITLE = {Sharing one secret vs. sharing many secrets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {123-140},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duris-Manuch/03,
AUTHOR = {{\v{D}}uri{\v{s}}, Pavol and Ma{\v{n}}uch, J{\'a}n},
TITLE = {On the computational complexity of infinite words},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {141-151},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fournier/03,
AUTHOR = {Fournier, Herv{\'e}},
TITLE = {Quantifier rank for parity of embedded finite models},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {153-169},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Geffert/03a,
AUTHOR = {Geffert, Viliam},
TITLE = {Space hierarchy theorem revised},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {171-187},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Geffert-Mereghetti-Pighizzini/03,
AUTHOR = {Geffert, Viliam and Mereghetti, Carlo and Pighizzini, Giovanni},
TITLE = {Converting two-way nondeterministic unary automata into simpler automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {189-203},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hoang-Thierauf/03,
AUTHOR = {Hoang, Thanh Minh and Thierauf, Thomas},
TITLE = {The complexity of the characteristic and the minimal polynomial},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {295},
NUMBER = {1-3},
PAGES = {205-222},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Adamek/03,
AUTHOR = {Ad{\'{a}}mek, Ji{\v{r}}{\'{i}}},
TITLE = {On final coalgebras of continuous functors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {294},
NUMBER = {1-2},
PAGES = {3-29},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bucalo-Fuhrmann-Simpson/03,
AUTHOR = {Bucalo, Anna and F{\"u}hrmann, Carsten and Simpson, Alex},
TITLE = {An equational notion of lifting monad},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {294},
NUMBER = {1-2},
PAGES = {31-60},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cockett-Lack/03,
AUTHOR = {Cockett, J.R.B. and Lack, Stephen},
TITLE = {Restriction categories II: Partial map classification},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {294},
NUMBER = {1-2},
PAGES = {61-102},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fiorentini-Ghilardi/03,
AUTHOR = {Fiorentini, Camillo and Ghilardi, Silvio},
TITLE = {Combining word problems through rewriting in categories with products},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {294},
NUMBER = {1-2},
PAGES = {103-149},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hildebrandt/03,
AUTHOR = {Hildebrandt, Thomas T.},
TITLE = {Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {294},
NUMBER = {1-2},
PAGES = {151-181},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Abrusci/03,
AUTHOR = {Abrusci, V. Michele},
TITLE = {Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {294},
NUMBER = {3},
PAGES = {335-351},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Danos-Joinet-Schellinx/03,
AUTHOR = {Danos, Vincent and Joinet, Jean-Baptiste and Schellinx, Harold},
TITLE = {Computational isomorphisms in classical logic},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {294},
NUMBER = {3},
PAGES = {353-378},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Guerrini-Martini-Masini/03,
AUTHOR = {Guerrini, Stefano and Martini, Simone and Masini, Andrea},
TITLE = {Coherence for sharing proof-nets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {294},
NUMBER = {3},
PAGES = {379-409},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bernhard/03,
AUTHOR = {Bernhard, Pierre},
TITLE = {Minimax---or feared value---$L^1/L^\infty$ control},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {293},
NUMBER = {1},
PAGES = {25-44},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gunawardena/03,
AUTHOR = {Gunawardena, Jeremy},
TITLE = {From max-plus algebra to nonexpansive mappings: A nonlinear theory for discrete event systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {293},
NUMBER = {1},
PAGES = {141-167},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Aceto-Esik-Ingolfsdottir/03,
AUTHOR = {Aceto, Luca and {\'E}sik, Zolt{\'{a}}n and Ing{\'{o}}lfsd{\'{o}}ttir, Anna},
TITLE = {The max-plus algebra of the natural numbers has no finite equational basis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {293},
NUMBER = {1},
PAGES = {169-188},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Comet/03,
AUTHOR = {Comet, J.-P},
TITLE = {Application of Max-Plus algebra to biological sequence comparisons},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {293},
NUMBER = {1},
PAGES = {189-217},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ducourthial-Tixeuil/03,
AUTHOR = {Ducourthial, Bertrand and Tixeuil, S{\'{e}}bastien},
TITLE = {Self-stabilization with path algebra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {293},
NUMBER = {1},
PAGES = {219-236},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duchier/03,
AUTHOR = {Duchier, Denys},
TITLE = {Dominance constraints with Boolean connectives: A model-eliminative treatment},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {293},
NUMBER = {2},
PAGES = {321-343},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Boullier/03,
AUTHOR = {Boullier, P.},
TITLE = {Counting with range concatenation grammars},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {293},
NUMBER = {2},
PAGES = {391-416},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Asveld/03,
AUTHOR = {Asveld, Peter R.J.},
TITLE = {Algebraic aspects of families of fuzzy languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {293},
NUMBER = {2},
PAGES = {417-445},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cantone-Formisano-Omodeo-Zarba/03,
AUTHOR = {Cantone, D. and Formisano, A. and Omodeo, E.G. and Zarba, C.G.},
TITLE = {Compiling dyadic first-order specifications into map algebra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {293},
NUMBER = {2},
PAGES = {447-475},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Allouche-Baake-Cassaigne-Damanik/03,
AUTHOR = {Allouche, Jean-Paul and Baake, Michael and Cassaigne, Julien and Damanik, David},
TITLE = {Palindrome complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {9-31},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Austinat-Diekert-Hertrampf/03,
AUTHOR = {Austinat, Holger and Diekert, Volker and Hertrampf, Ulrich},
TITLE = {A structural property of regular frequency computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {33-43},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beal-Carton-Prieur-Sakarovitch/03,
AUTHOR = {B{\'{e}}al, Marie-Pierre and Carton, Olivier and Prieur, Christophe and Sakarovitch, Jacques},
TITLE = {Squaring transducers: An efficient procedure for deciding functionality and sequentiality},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {45-63},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beauquier/03,
AUTHOR = {Beauquier, Dani{\`{e}}le},
TITLE = {On probabilistic timed automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {65-84},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Brlek-Reutenauer/03,
AUTHOR = {Brlek, Sre{\v{c}}ko and Reutenauer, Christoph},
TITLE = {On a valuation of rational subsets of $Z^k$ --- D{\'e}di{\'e} {\`a} Jean Berstel},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {85-96},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bruyere/03,
AUTHOR = {Bruy{\`{e}}re, V{\'{e}}ronique},
TITLE = {Cumulative defect},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {97-109},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Carpi-Luca/03,
AUTHOR = {Carpi, Arturo and Luca, Aldo de},
TITLE = {Semiperiodic words and root-conjugacy},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {111-130},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Choffrut/03,
AUTHOR = {Choffrut, Christian},
TITLE = {Minimizing subsequential transducers: A survey},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {131-143},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chretienne-Sourd/03,
AUTHOR = {Chr{\'{e}}tienne, Philippe and Sourd, Francis},
TITLE = {PERT scheduling with convex cost functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {145-164},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cori-Schaeffer/03,
AUTHOR = {Cori, Robert and Schaeffer, Gilles},
TITLE = {Description trees and Tutte formulas},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {165-183},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Crochemore/03,
AUTHOR = {Crochemore, Maxime},
TITLE = {Reducing space for index implementation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {185-197},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ehrenfeucht-Harju-Petre-Prescott-Rozenberg/03,
AUTHOR = {Ehrenfeucht, Andrzej and Harju, Tero and Petre, Ion and Prescott, David M. and Rozenberg, Grzegorz},
TITLE = {Formal systems for gene assembly in ciliates},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {199-219},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Frougny/03,
AUTHOR = {Frougny, Christiane},
TITLE = {On-line digit set conversion in real base},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {1},
PAGES = {221-235},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hajek-Holena/03,
AUTHOR = {H{\'{a}}jek, Petr and Hole{\v{n}}a, Martin},
TITLE = {Formal logics of discovery and hypothesis formation by machine},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {2},
PAGES = {345-357},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hayashi-Matsumoto-Shinohara-Takeda/03,
AUTHOR = {Hayashi, Yosuke and Matsumoto, Satoshi and Shinohara, Ayumi and Takeda, Masayuki},
TITLE = {Uniform characterizations of polynomial-query learnabilities},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {2},
PAGES = {377-385},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gama/03,
AUTHOR = {Gama, Jo{\~a}o},
TITLE = {Iterative Bayes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {2},
PAGES = {417-430},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hirao-Hoshino-Shinohara-Takeda-Arikawa/03,
AUTHOR = {Hirao, Masahiro and Hoshino, Hiromasa and Shinohara, Ayumi and Takeda, Masayuki and Arikawa, Setsuo},
TITLE = {A practical algorithm to find the best subsequence patterns},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {2},
PAGES = {465-479},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Akutsu-Miyano-Kuhara/03,
AUTHOR = {Akutsu, Tatsuya and Miyano, Satoru and Kuhara, Satoru},
TITLE = {A simple greedy algorithm for finding functional relations: Efficient implementation and average case analysis},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {2},
PAGES = {481-495},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Horodecki-Smolin-Terhal-Thapliyal/03,
AUTHOR = {Horodecki, Pawel and Smolin, John A. and Terhal, Barbara M. and Thapliyal, Ashish V.},
TITLE = {Rank two bipartite bound entangled states do not exist},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {3},
PAGES = {589-596},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fortnow/03,
AUTHOR = {Fortnow, Lance},
TITLE = {One complexity theorist's view of quantum computing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {3},
PAGES = {597-610},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Ehrenfeucht-Rozenberg/03,
AUTHOR = {Ehrenfeucht, A. and Rozenberg, G.},
TITLE = {Forbidding-enforcing systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {3},
PAGES = {611-638},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chen-Chen/03,
AUTHOR = {Chen, Wei-Mei and Chen, Gen-Huey},
TITLE = {Divide-and-conquer recurrences associated with generalized heaps, optimal merge, and related structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {3},
PAGES = {667-677},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dai/03,
AUTHOR = {Dai, Jack Jie},
TITLE = {A stronger Kolmogorov zero-one law for resource-bounded measure},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {292},
NUMBER = {3},
PAGES = {723-732},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bermond-Marlin-Peleg-Perennes/03,
AUTHOR = {Bermond, Jean-Claude and Marlin, Nausica and Peleg, David and Perennes, St{\'{e}}phane},
TITLE = {Directed virtual path layouts in ATM networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {291},
NUMBER = {1},
PAGES = {3-28},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Flocchini-Mans-Santoro/03,
AUTHOR = {Flocchini, Paola and Mans, Bernard and Santoro, Nicola},
TITLE = {Sense of direction in distributed computing},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {291},
NUMBER = {1},
PAGES = {29-53},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Herlihy-Rajsbaum/03,
AUTHOR = {Herlihy, Maurice and Rajsbaum, Sergio},
TITLE = {A classification of wait-free loop agreement tasks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {291},
NUMBER = {1},
PAGES = {55-77},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hanrot-Rivat-Tenenbaum-Zimmermann/03,
AUTHOR = {Hanrot, G. and Rivat, J. and Tenenbaum, G. and Zimmermann, P.},
TITLE = {Density results on floating-point invertible numbers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {291},
NUMBER = {2},
PAGES = {135-141},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Daumas-Langlois/03,
AUTHOR = {Daumas, Marc and Langlois, Philippe},
TITLE = {Additive symmetries: The non-negative case},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {291},
NUMBER = {2},
PAGES = {143-157},
YEAR = {2003},
KEYWORDS = {`},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Adi-Debbabi-Mejri/03,
AUTHOR = {Adi, Kamel and Debbabi, Mourad and Mejri, Mohamed},
TITLE = {A new logic for electronic commerce protocols},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {291},
NUMBER = {3},
PAGES = {223-283},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Focardi-Gorrieri-Martinelli/03,
AUTHOR = {Focardi, Riccardo and Gorrieri, Roberto and Martinelli, Fabio},
TITLE = {A comparison of three authentication properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {291},
NUMBER = {3},
PAGES = {285-327},
YEAR = {2003},
PUBLISHER = {Elsevier Science B.V.},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Caucal/03,
AUTHOR = {Caucal, Didier},
TITLE = {On infinite transition graphs having a decidable monadic theory},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {79-115},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bernardo-Bravetti/03,
AUTHOR = {Bernardo, Marco and Bravetti, Mario},
TITLE = {Performance measure sensitive congruences for Markovian process algebra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {117-160},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Abdulla-Jonsson/03,
AUTHOR = {Abdulla, Parosh Aziz and Jonsson, Bengt},
TITLE = {Model checking of systems with many identical timed processes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {241-264},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bravetti-Aldini/03,
AUTHOR = {Bravetti, M. and Aldini, A.},
TITLE = {Discrete time generative-reactive probabilistic processes with different advancing speeds},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {355-406},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Barbanera-Berardi/03,
AUTHOR = {Barbanera, Franco and Berardi, Stefano},
TITLE = {A full continuous model of polymorphism},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {407-428},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chesnevar-Dix-Stolzenburg-Simari/03,
AUTHOR = {Ches{\~{n}}evar, Carlos Iv{\'{a}}n and Dix, J{\"u}rgen and Stolzenburg, Frieder and Simari, Guillermo Ricardo},
TITLE = {Relating defeasible and normal logic programming through transformation properties},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {499-529},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cousot-Cousot/03,
AUTHOR = {Cousot, Patrick and Cousot, Radhia},
TITLE = {Parsing as abstract interpretation of grammar semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {531-544},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Alessi-Baldan-Honsell/03,
AUTHOR = {Alessi, Fabio and Baldan, Paolo and Honsell, Furio},
TITLE = {A category of compositional domain-models for separable stone spaces},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {599-635},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bernardinello-Ferigato-Pomello/03,
AUTHOR = {Bernardinello, Luca and Ferigato, Carlo and Pomello, Lucia},
TITLE = {An algebraic model of observable properties in distributed systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {637-668},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Calders-Paredaens/03,
AUTHOR = {Calders, T. and Paredaens, J.},
TITLE = {Axiomatization of frequent itemsets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {669-693},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Amadio-Lugiez-Vanackere/03,
AUTHOR = {Amadio, Roberto M. and Lugiez, Denis and Vanack{\`{e}}re, Vincent},
TITLE = {On the symbolic reduction of processes with cryptographic functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {695-740},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fu-Yang/03,
AUTHOR = {Fu, Yuxi and Yang, Zhenrong},
TITLE = {Unterstanding the mismatch combinator in chi calculus},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {779-830},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Gori/03,
AUTHOR = {Gori, Roberta},
TITLE = {An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {863-936},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Coquand/03,
AUTHOR = {Coquand, Thierry},
TITLE = {A syntactical proof of the Marriage Lemma},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {1},
PAGES = {1107-1113},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cao-Singhal/03,
AUTHOR = {Cao, Guohong and Singhal, Mukesh},
TITLE = {Checkpointing with mutable checkpoints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {2},
PAGES = {1127-1148},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Caruso-Chessa-Maestrini-Santi/03,
AUTHOR = {Caruso, Antonio and Chessa, Stefano and Maestrini, Piero and Santi, Paolo},
TITLE = {Fault-diagnosis of grid structures},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {2},
PAGES = {1149-1174},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Colby-Crary-Harper-Lee-Pfenning/03,
AUTHOR = {Colby, Christopher and Crary, Karl and Harper, Robert and Lee, Peter and Pfenning, Frank},
TITLE = {Automated techniques for provably safe mobile code},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {2},
PAGES = {1175-1199},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Duparc/03,
AUTHOR = {Duparc, J.},
TITLE = {A hierarchy of deterministic context-free $\omega$-languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1253-1300},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durr-Goles-Rapaport-Remila/03,
AUTHOR = {D{\"u}rr, Christoph and Goles, Eric and Rapaport, Ivan and R{\'{e}}mila, Eric},
TITLE = {Tiling with bars under tomographic constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1317-1329},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Goldman-Mounie-Trystram/03,
AUTHOR = {Goldman, Alfredo and Mounie, Gregory and Trystram, Denis},
TITLE = {1-optimality of static BSP computations: Scheduling independent chains as a case study},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1331-1359},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Amir-Landau-Sokol/03a,
AUTHOR = {Amir, Amihood and Landau, Gad M. and Sokol, Dina},
TITLE = {Inplace run-length 2d compressed search},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1361-1383},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Finkel/03,
AUTHOR = {Finkel, Olivier},
TITLE = {Borel hierarchy and omega context free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1385-1405},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blayo-Rouze-Sagot/03,
AUTHOR = {Blayo, Philippe and Rouz{\'{e}}, Pierre and Sagot, Marie-France},
TITLE = {Orphan gene finding --- An exon assembly approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1407-1431},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Drewes-Kreowski-Lapoire/03,
AUTHOR = {Drewes, Frank and Kreowski, Hans-J{\"o}rg and Lapoire, Denis},
TITLE = {Criteria to disprove context freeness of collage languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1445-1458},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Blazewicz-Kasprzak/03,
AUTHOR = {B{\l}a{\.z}ewicz, Jacek and Kasprzak, Marta},
TITLE = {Complexity of DNA sequencing by hybridization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1459-1473},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hwang-Tsai/03,
AUTHOR = {Hwang, Hsien-Kuei and Tsai, Tsung-Hsi},
TITLE = {An asymptotic theory for recurrence relations based on minimization and maximization},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1475-1501},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chepoi-Rollin/03,
AUTHOR = {Chepoi, Victor and Rollin, Alexis},
TITLE = {Interval routing in some planar networks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1503-1540},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hussini-Kari-Konstantinidis/03,
AUTHOR = {Hussini, Salah and Kari, Lila and Konstantinidis, Stavros},
TITLE = {Coding properties of DNA languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1557-1579},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Beaudry-Holzer-Niemann-Otto/03,
AUTHOR = {Beaudry, M. and Holzer, M. and Niemann, G. and Otto, F.},
TITLE = {McNaughton families of languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1581-1628},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Damico-Manzini-Margara/03,
AUTHOR = {D'amico, Michele and Manzini, Giovanni and Margara, Luciano},
TITLE = {On computing the entropy of cellular automata},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1629-1646},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Boufkhad-Dubois-Nivat/03,
AUTHOR = {Boufkhad, Yacine and Dubois, Olivier and Nivat, Maurice},
TITLE = {Reconstructing $(h,v)$-convex 2-dimensional patterns of objects from approximate horizontal and vertical projections},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1647-1664},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Csima-Csuhaj-Varju-Salomaa/03,
AUTHOR = {Csima, Judit and Csuhaj-Varj{\'{u}}, Erzs{\'{e}}bet and Salomaa, Arto},
TITLE = {Power and size of extended Watson-Crick $L$ systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1665-1678},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernau/03,
AUTHOR = {Fernau, Henning},
TITLE = {Identification of function distinguishable languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1679-1711},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chanson-Ding-Salomaa/03,
AUTHOR = {Chanson, Samuel and Ding, Cunsheng and Salomaa, Arto},
TITLE = {Cartesian authentication codes from functions with optimal nonlinearity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1737-1752},
YEAR = {2003},
KEYWORDS = {17371752},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dyer-Frieze-Molloy/03,
AUTHOR = {Dyer, Martin and Frieze, Alan and Molloy, Michael},
TITLE = {A probabilistic analysis of randomly generated binary constraint satisfaction problems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1815-1828},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Honkala/03,
AUTHOR = {Honkala, Juha},
TITLE = {On images of D0L and DT0L power series},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1869-1882},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Bampis-Giroudeau-Konig/03,
AUTHOR = {Bampis, Evripidis and Giroudeau, Rodolphe and K{\"o}nig, Jean-Claude},
TITLE = {An approximation algorithm for the precedence constrained scheduling problem with hierarchical communications},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1883-1895},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Dutour-Fedou/03,
AUTHOR = {Dutour, I. and F{\'{e}}dou, J.M.},
TITLE = {Objekt grammars and bijections},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1915-1929},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Harrison/03,
AUTHOR = {Harrison, Peter G.},
TITLE = {Turning back time in Markovian process algebra},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1947-1986},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Durand-Kanovei-Uspensky-Vereshchagin/03,
AUTHOR = {Durand, Bruno and Kanovei, Vladimir and Uspensky, Vladimir A. and Vereshchagin, Nikolai},
TITLE = {Do stronger definitions of randomness exist?},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1987-1996},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chrobak-Koutsoupias-Noga/03,
AUTHOR = {Chrobak, Marek and Koutsoupias, Elias and Noga, John},
TITLE = {More on randomized on-line algorithms for caching},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {1997-2008},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cai-Deng-Wang/03,
AUTHOR = {Cai, Mao-Cheng and Deng, Xiaotie and Wang, Lusheng},
TITLE = {Approximate sequencing for variable length tasks},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {2037-2044},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Costa/03,
AUTHOR = {Costa, Jos{\'{e}} Carlos},
TITLE = {Biinfinite words with maximal recurrent unbordered factors},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {2053-2061},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Arratia-Stewart/03,
AUTHOR = {Arratia, Argimiro A. and Stewart, Iain A.},
TITLE = {A note on first-order projections and games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {2085-2093},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Charaon-Hudry-Lobstein/03,
AUTHOR = {Charaon, Ir{\`{e}}ne and Hudry, Olivier and Lobstein, Antoine},
TITLE = {Minimizing the size of an identifying or locating-dominating code in a graph is $NP$-hard},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {2109-2120},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Fernau-Meduna/03a,
AUTHOR = {Fernau, Henning and Meduna, Alexander},
TITLE = {On the degree of scattered context-sensitivity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {2121-2124},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Chrobak-Couperus-Durr-Woeginger/03,
AUTHOR = {Chrobak, Marek and Couperus, Peter and D{\"u}rr, Christoph and Woeginger, Gerhard},
TITLE = {On tiling under tomographic constraints},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {2125-2136},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Hajdu-Tijdeman/03,
AUTHOR = {Hajdu, L. and Tijdeman, R.},
TITLE = {Algebraic aspects of emission tomography with absorption},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {290},
NUMBER = {3},
PAGES = {2169-2181},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}
@article{Cuninghame-Green-Butkovic/03,
AUTHOR = {Cuninghame-Green, R.A. and Butkovic, P.},
TITLE = {The equation $A \bigotimes x = B\bigotimes y$ over $max,+$},
JOURNAL = {Theor.~Comput.~Sci.},
NUMBER = {1},
PAGES = {3-12},
YEAR = {2003},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
ADDRESS = {Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo},
}