@article{Awerbuch-Bartal-Fiat/03,
AUTHOR = {Awerbuch, Baruch and Bartal, Yair and Fiat, Amos},
TITLE = {Competitive distributed file allocation},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {1},
PAGES = {1-40},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00055-5},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Lanctot-Li-Ma-Wang-Zhang/03,
AUTHOR = {Lanctot, J. Kevin and Li, Ming and Ma, Bin and Wang, Shaojiu and Zhang, Louxin},
TITLE = {Distinguishing string selection problems},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {1},
PAGES = {41-55},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00057-9},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Tung/03,
AUTHOR = {Tung, Shih Ping},
TITLE = {Skolem functions of arithmetical sentences},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {1},
PAGES = {56-65},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00085-3},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Lopez-Ortiz-Schuierer/03,
AUTHOR = {L{\'{o}}pez-Ortiz, Alejandro and Schuierer, Sven},
TITLE = {Searching and on-line recognition of star-shaped polygons},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {1},
PAGES = {66-88},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {on-line searching, algorithmic foundations of robotics, competitive ratio, motion planning, star-shaped polygons},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00081-6},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Jain-Stephan/03,
AUTHOR = {Jain, Sanjay and Stephan, Frank},
TITLE = {Learning by switching type of information},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {1},
PAGES = {89-104},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00082-8},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Lynch-Segala-Vaandrager/03,
AUTHOR = {Lynch, Nancy and Segala, Roberto and Vaandrager, Frits},
TITLE = {Hybrid I/0 automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {1},
PAGES = {105-157},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00067-1},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Jantzen-Kurganskyy/03,
AUTHOR = {Jantzen, Matthias and Kurganskyy, Alexy},
TITLE = {Refining the hierarchy of blind multicounter languages and twist-closed trios},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {2},
PAGES = {159-181},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {reversal-bounded multicounter automata, shuffle, intersection-closed semi-afl, twist-closed semi-afls, hierarchy of semi-afls, blind multicounter languages, linear algebra, multipushdown acceptors},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00087-7},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Levy-Power-Thielecke/03,
AUTHOR = {Levy, Paul Blain and Power, John and Thielecke, Hayo},
TITLE = {Modelling environments in call-by-value programming languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {2},
PAGES = {182-210},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00088-9},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Valentini-Viale/03,
AUTHOR = {Valentini, Silvio and Viale, Matteo},
TITLE = {A binary modal logic for the intersection types of lambda-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {2},
PAGES = {211-232},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00089-0},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Maieli-Ruet/03,
AUTHOR = {Maieli, Roberto and Ruet, Paul},
TITLE = {Non-commutative logic III: Focusing proofs},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {2},
PAGES = {233-262},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00084-1},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Strahm/03,
AUTHOR = {Strahm, Thomas},
TITLE = {Theories with self-application and computational complexity},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {2},
PAGES = {263-297},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {bounded applicative theories, explicit mathematics, bounded arithmetic, feasible functionals},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00086-5},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}
@article{Ratsaby/03,
AUTHOR = {Ratsaby, Joel},
TITLE = {On learning multicategory classification with sample queries},
JOURNAL = {Inf.~Comput.},
VOLUME = {185},
NUMBER = {2},
PAGES = {298-327},
YEAR = {2003},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {multicategory classification, on-line learning algorithm, pattern recognition, structural risk minimization, stochastic gradient descent learning},
URL = {http://dx.doi.org/10.1016/S0890-5401(03)00083-X},
PUBLISHER = {Academic Press},
ADDRESS = {Orlando},
}