@article{DArgenio-Katoen/05,
AUTHOR = {D'Argenio, Pedro R. and Katoen, Joost-Pieter},
TITLE = {A theory of stochastic systems. Part I: Stochastic automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {203},
NUMBER = {1},
PAGES = {1-38},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.07.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{DArgenio-Katoen/05a,
AUTHOR = {D'Argenio, Pedro R. and Katoen, Joost-Pieter},
TITLE = {A theory of stochastic systems. Part II: Process algebra},
JOURNAL = {Inf.~Comput.},
VOLUME = {203},
NUMBER = {1},
PAGES = {39-74},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.07.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lugiez-Schnoebelen/05,
AUTHOR = {Lugiez, Denis and Schnoebelen, Philippe},
TITLE = {Decidable first-order transition logics for $PA$-processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {203},
NUMBER = {1},
PAGES = {75-113},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.02.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lohrey-DArgenio-Hermanns/05,
AUTHOR = {Lohrey, Markus and D'Argenio, Pedro R. and Hermanns, Holger},
TITLE = {Axiomatising divergence},
JOURNAL = {Inf.~Comput.},
VOLUME = {203},
NUMBER = {2},
PAGES = {115-144},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Ablayev-Gainutdinova-Karpinski-Moore-Pollett/05,
AUTHOR = {Ablayev, Farid and Gainutdinova, Aida and Karpinski, Marek and Moore, Cristopher and Pollett, Christopher},
TITLE = {On the computational power of probabilistic and quantum branching program},
JOURNAL = {Inf.~Comput.},
VOLUME = {203},
NUMBER = {2},
PAGES = {145-162},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.04.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Hemaspaandra-Mukherji-Tantau/05,
AUTHOR = {Hemaspaandra, Lane A. and Mukherji, Proshanto and Tantau, Till},
TITLE = {Context-free languages can be accepted with absolutely no space overhead},
JOURNAL = {Inf.~Comput.},
VOLUME = {203},
NUMBER = {2},
PAGES = {163-180},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {context-free languages, deterministic context-free languages, editing turing machines, in-place algorithms, linear space, overhead-free computation, restarting automata, rrw-automata, space overhead, space reuse, two-stack automata},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kowalski-Shvartsman/05,
AUTHOR = {Kowalski, Dariusz R. and Shvartsman, Alex A.},
TITLE = {Performing work with asynchronous processors: Message-delay-sensitive bounds},
JOURNAL = {Inf.~Comput.},
VOLUME = {203},
NUMBER = {2},
PAGES = {181-210},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.08.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lange-Zilles/05,
AUTHOR = {Lange, Steffen and Zilles, Sandra},
TITLE = {Relations between Gold-style learning and query learning},
JOURNAL = {Inf.~Comput.},
VOLUME = {203},
NUMBER = {2},
PAGES = {211-237},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.08.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Henriksen-Mukund-Kumar-Sohoni-Thiagarajan/05,
AUTHOR = {Henriksen, Jesper G. and Mukund, Madhavan and Kumar, K. Narayan and Sohoni, Milind and Thiagarajan, P.S.},
TITLE = {A theory of regular MSC languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {1},
PAGES = {1-38},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {message sequence charts, message-passing systems, regularity, realizability, synthesis, monadic second-order logic},
URL = {http://dx.doi.org/10.1016/j.ic.2004.08.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Bugliesi-Crafa-Merro-Sassone/05,
AUTHOR = {Bugliesi, Michele and Crafa, Silvia and Merro, Massimo and Sassone, Vladimiro},
TITLE = {Communication and mobility control in boxed ambients},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {1},
PAGES = {39-86},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.06.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Zhang-Jiang/05,
AUTHOR = {Zhang, Guo-Qiang and Jiang, Ying},
TITLE = {On an open problem of Amadio and Curien: The finite antichain condition},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {1},
PAGES = {87-103},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.06.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Diekert-Gutierrez-Hagenah/05,
AUTHOR = {Diekert, Volker and Gutierrez, Claudio and Hagenah, Christian},
TITLE = {The existential theory of equations with rational constraints in free groups is $P$SPACE},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {2},
PAGES = {105-140},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.04.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Abdulla-Bertrand-Rabinovich-Schnoebelen/05,
AUTHOR = {Abdulla, P.A. and Bertrand, N. and Rabinovich, A. and Schnoebelen, Ph.},
TITLE = {Verification of probabilistic systems with faulty communication},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {2},
PAGES = {141-165},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Cece-Finkel/05,
AUTHOR = {C{\'e}c{\'e}, G{\'e}rard and Finkel, Alain},
TITLE = {Verification of progarams with half-duplex communicaton},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {2},
PAGES = {166-190},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {ommunicating finite state machines, half-duplex communication, symbolic verification, channel-recognizable reachability sets, decidability, regular model checking, PLTL model-checking, CTL model-checking},
URL = {http://dx.doi.org/10.1016/j.ic.2005.06.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Gradara-Santone-Villani/05,
AUTHOR = {Gradara, Sara and Santone, Antonella and Villani, Maria Luisa},
TITLE = {Using heuristic search for finding deadlocks in concurrent systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {202},
NUMBER = {2},
PAGES = {191-262},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {state explosion, deadlock, heuristic search, CCS},
URL = {http://dx.doi.org/10.1016/j.ic.2005.07.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Castagna-Vitek-Nardelli/05,
AUTHOR = {Castagna, G. and Vitek, J. and Nardelli, F. Zappa},
TITLE = {The Seal calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {1},
PAGES = {1-54},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.11.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kalnishkan-Vovk-Vyugin/05,
AUTHOR = {Kalnishkan, Yuri and Vovk, Vladimir and Vyugin, Michael V.},
TITLE = {How many strings are easy to predict?},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {1},
PAGES = {55-71},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.04.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Reynolds/05,
AUTHOR = {Reynolds, Mark},
TITLE = {An axiomatization of PCTL*},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {1},
PAGES = {72-119},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {temporal logic, axiomatization, branching time},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Choppella-Haynes/05,
AUTHOR = {Choppella, Venkatesh and Haynes, Christopher T.},
TITLE = {Source-tracking unification},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {121-159},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.013},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Krause-Savicky-Wegener/05,
AUTHOR = {Krause, Matthias and Savick{\'y}, Petr and Wegener, Ingo},
TITLE = {On the influence of the variable ordering for algorithmic learning using OBDDs},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {160-177},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Nakamura/05,
AUTHOR = {Nakamura, Atsuyoshi},
TITLE = {An efficient query learning algorithm for ordered binary decision diagrams},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {178-198},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {ordered binary decision diagram, branching program, query learning, exact learning, DFA},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Akiyama-Bassino-Frougny/05,
AUTHOR = {Akiyama, Shigeki and Bassino, Fr{\'e}d{\'e}rique and Frougny, Christiane},
TITLE = {Arithmetic Meyer sets and finite automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {199-215},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Chen-Chor-Fellows-Huang-Juedes-Kanj-Xia/05,
AUTHOR = {Chen, Jianer and Chor, Benny and Fellows, Mike and Huang, Xiuzhen and Juedes, David and Kanj, Iyad A. and Xia, Ge},
TITLE = {Tight lower bounds for certain parameterized $NP$-hard problems},
JOURNAL = {Inf.~Comput.},
VOLUME = {201},
NUMBER = {2},
PAGES = {216-231},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.05.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Spakowski-Thakur-Tripathi/05,
AUTHOR = {Spakowski, Holger and Thakur, Mayur and Tripathi, Rahul},
TITLE = {Quantum and classical complexity classes: Separations, collapses, and closure properties},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {1},
PAGES = {1-34},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.009},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kesten-Piterman-Pnueli/05,
AUTHOR = {Kesten, Yonit and Piterman, Nir and Pnueli, Amir},
TITLE = {Bridging the gap between fair simulation and trace inclusion},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {1},
PAGES = {35-61},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Israeli-Shaham/05,
AUTHOR = {Israeli, Amos and Shaham, Amnon},
TITLE = {Time and space optimal implementations of atomic multi-writer register},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {1},
PAGES = {62-106},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.11.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Mousavi-Reniers-Groote/05,
AUTHOR = {Mousavi, Mohammad Reza and Reniers, Michel A. and Groote, Jan Friso},
TITLE = {Notions of bisimulation and congruence formats for SOS with data},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {1},
PAGES = {107-147},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Baier-Katoen-Hermanns-Wolf/05,
AUTHOR = {Baier, Christel and Katoen, Joost-Pieter and Hermanns, Holger and Wolf, Verena},
TITLE = {Comparative branching-time semantics for Markov chains},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {2},
PAGES = {149-214},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Quaglia-Walker/05,
AUTHOR = {Quaglia, Paola and Walker, David},
TITLE = {Types and full abstraction for polyadic $\pi$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {2},
PAGES = {215-246},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {$\pi$-calculus},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Glasser-Selman-Sengupta/05,
AUTHOR = {Gla{\ss}er, Christian and Selman, Alan L. and Sengupta, Samik},
TITLE = {Reductions between disjoint $NP$-pairs},
JOURNAL = {Inf.~Comput.},
VOLUME = {200},
NUMBER = {2},
PAGES = {247-267},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {disjoint $NP$-pairs, reductions, promise problems, smart reductions},
URL = {http://dx.doi.org/10.1016/j.ic.2005.03.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Ganzinger-Stuber/05,
AUTHOR = {Ganzinger, Harald and Stuber, J{\"u}rgen},
TITLE = {Superposition with equivalence reasoning and delayed clause normal form transformation},
JOURNAL = {Inf.~Comput.},
VOLUME = {199},
NUMBER = {1-2},
PAGES = {3-23},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {automated theorem proving, deduction, rewriting, clause-normal-form transformation, logical equivalence, superposition, paramodulation, first-order logic, set theory},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.010},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{de_Nivelle/05,
AUTHOR = {de Nivelle, Hans},
TITLE = {Translation of resolution proofs into short first-order proofs without choice axioms},
JOURNAL = {Inf.~Comput.},
VOLUME = {199},
NUMBER = {1-2},
PAGES = {24-54},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {theorem proving, proof theory, skolemization},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.011},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Konev-Degtyarev-Dixon-Fisher-Hustadt/05,
AUTHOR = {Konev, Boris and Degtyarev, Anatoli and Dixon, Clare and Fisher, Michael and Hustadt, Ullrich},
TITLE = {Mechanising first-order temporal resolution},
JOURNAL = {Inf.~Comput.},
VOLUME = {199},
NUMBER = {1-2},
PAGES = {55-86},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {clausal resolution, temporal logics, monodic fragment},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Krstic-Conchon/05,
AUTHOR = {Krsti{\'c}, Sava and Conchon, Sylvain},
TITLE = {Canonization for disjoint unions of theories},
JOURNAL = {Inf.~Comput.},
VOLUME = {199},
NUMBER = {1-2},
PAGES = {87-106},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.11.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Gulwani-Necula/05,
AUTHOR = {Gulwani, Sumit and Necula, George C.},
TITLE = {A randomized satisfiability procedure for arithmetic and uninterpreted function symbols},
JOURNAL = {Inf.~Comput.},
VOLUME = {199},
NUMBER = {1-2},
PAGES = {107-131},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {randomized algorithm, satisfiability procedure, linear arithmetic, uninterpreted function symbols},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.006},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lutz-Sattler-Tendera/05,
AUTHOR = {Lutz, Carsten and Sattler, Ulrike and Tendera, Lidia},
TITLE = {The complexity of finite model reasoning in description logics},
JOURNAL = {Inf.~Comput.},
VOLUME = {199},
NUMBER = {1-2},
PAGES = {132-171},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {description logic, finite satisfiability, number restrictions},
URL = {http://dx.doi.org/10.1016/j.ic.2004.11.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Hirokawa-Middeldorp/05,
AUTHOR = {Hirokawa, Nao and Middeldorp, Aart},
TITLE = {Automating the dependency pair method},
JOURNAL = {Inf.~Comput.},
VOLUME = {199},
NUMBER = {1-2},
PAGES = {172-199},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {term rewriting, termination, dependency pair method},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Mehta-Nipkow/05,
AUTHOR = {Mehta, Farhad and Nipkow, Tobias},
TITLE = {Proving pointer programs in higher-order logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {199},
NUMBER = {1-2},
PAGES = {200-227},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {pointer programs, verification, hoare logic, higher-order logic, schorr-waite algorithm},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Riazanov-Voronkov/05,
AUTHOR = {Riazanov, Alexandre and Voronkov, Andrei},
TITLE = {Efficient instance retrieval with standard and relational path indexing},
JOURNAL = {Inf.~Comput.},
VOLUME = {199},
NUMBER = {1-2},
PAGES = {228-252},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {backward demodulation, instance retrieval, path indexing},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.012},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Cai-Chakaravarthy-Hemaspaandra-Ogihara/05,
AUTHOR = {Cai, Jin-Yi and Chakaravarthy, Venkatesan T. and Hemaspaandra, Lane A. and Ogihara, Mitsunori},
TITLE = {Competing provers yield improved Karp-Lipton collapse results},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {1},
PAGES = {1-23},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {structural complexity, competing provers, nonuniform complexity, symmetric alternation, karp-lipton theorem, yap's theorem, k{\"a}mper-afk theorem, lowness},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Albers-Buttner/05,
AUTHOR = {Albers, Susanne and B{\"u}ttner, Markus},
TITLE = {Integrated prefetching and caching in single and parallel disk systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {1},
PAGES = {24-39},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {magnetic disks, prefetching, caching, approximation algorithms, linear program},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Metivier-Saheb-Djahromi-Zemmari/05,
AUTHOR = {M{\'e}tivier, Yves and Saheb-Djahromi, Nasser and Zemmari, Akka},
TITLE = {Locally guided randomized elections in trees: The totally fair case},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {1},
PAGES = {40-55},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {distributed algorithm, election, probabilistic analysis, randomized algorithm, stochastic process},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.005},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Galota-Vollmer/05,
AUTHOR = {Galota, Matthias and Vollmer, Heribert},
TITLE = {Functions computable in polynomial space},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {1},
PAGES = {56-70},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {polynomial space, complexity class of functions, bottleneck machines, leaf languages, arithmetic circuits, straight-line programs},
URL = {http://dx.doi.org/10.1016/j.ic.2005.02.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Colazzo-Ghelli/05,
AUTHOR = {Colazzo, Dario and Ghelli, Giorgio},
TITLE = {Subtyping, recursion, and parametric polymorphism in kernel Fun},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {2},
PAGES = {71-147},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {type theory and type systems, subtyping, recursive types, kernel fun},
URL = {http://dx.doi.org/10.1016/j.ic.2004.11.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Hirshfeld-Rabinovich/05,
AUTHOR = {Hirshfeld, Yoram and Rabinovich, Alexander},
TITLE = {Timer formulas and decidable metric temporal logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {198},
NUMBER = {2},
PAGES = {148-178},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.12.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Niemann-Otto/05,
AUTHOR = {Niemann, Gundula and Otto, Friedrich},
TITLE = {The Church-Rosser languages are the deterministic variants of the growing context-sensitive languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {197},
NUMBER = {1-2},
PAGES = {1-21},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {automata and formal languages, string rewriting},
URL = {http://dx.doi.org/10.1016/j.ic.2004.09.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Abdulla-Baier-Iyer-Jonsson/05,
AUTHOR = {Abdulla, Parosh and Baier, Christel and Iyer, S. Purushothaman and Jonsson, Bengt},
TITLE = {Simulating perfect channels with probabilistic lossy channels},
JOURNAL = {Inf.~Comput.},
VOLUME = {197},
NUMBER = {1-2},
PAGES = {22-40},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.12.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Fenner-Lutz-Mayordomo-Reardon/05,
AUTHOR = {Fenner, Stephen A. and Lutz, Jack H. and Mayordomo, Elvira and Reardon, Patrick},
TITLE = {Weakly useful sequences},
JOURNAL = {Inf.~Comput.},
VOLUME = {197},
NUMBER = {1-2},
PAGES = {41-54},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {computability, randomness, random sequence, computational depth, logical depth, computable measure, resource-bounded measure, useful, weakly useful},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Bloom-Esik/05,
AUTHOR = {Bloom, Stephen L. and {\'E}sik, Zolt{\'a}n},
TITLE = {The equational theory of regular words},
JOURNAL = {Inf.~Comput.},
VOLUME = {197},
NUMBER = {1-2},
PAGES = {55-89},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {word, arrangement, regular, linear order, equational theory},
URL = {http://dx.doi.org/10.1016/j.ic.2005.01.004},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Chomicki-Marcinkowski/05,
AUTHOR = {Chomicki, Jan and Marcinkowski, Jerzy},
TITLE = {Minimal-change integrity maintenance using tuple deletions},
JOURNAL = {Inf.~Comput.},
VOLUME = {197},
NUMBER = {1-2},
PAGES = {90-121},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.04.007},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Luo-Luo/05,
AUTHOR = {Luo, Zhaohui and Luo, Yong},
TITLE = {Transitivity in coercive subtyping},
JOURNAL = {Inf.~Comput.},
VOLUME = {197},
NUMBER = {1-2},
PAGES = {122-144},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.008},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Milius/05,
AUTHOR = {Milius, Stefan},
TITLE = {Completely iterative algebras and completely iterative monads},
JOURNAL = {Inf.~Comput.},
VOLUME = {196},
NUMBER = {1},
PAGES = {1-41},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {completely iterative algebra, coalgebra, completely iterative theory, monad},
URL = {http://dx.doi.org/10.1016/j.ic.2004.05.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Batu-Rubinfeld-White/05,
AUTHOR = {Batu, Tu{\v{g}}kan and Rubinfeld, Ronitt and White, Patrick},
TITLE = {Fast approximate PCPs for multidimensional bin-packing problems},
JOURNAL = {Inf.~Comput.},
VOLUME = {196},
NUMBER = {1},
PAGES = {42-56},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {proof-assisted property testing, probabilistically checkable proofs, multidimensional bin-packing problems, sublinear-time algorithms},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.001},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Tan-He-Epstein/05,
AUTHOR = {Tan, Zhiyi and He, Yong and Epstein, Leah},
TITLE = {Optimal on-line algorithms for the uniform machine scheduling problem with ordinal data},
JOURNAL = {Inf.~Comput.},
VOLUME = {196},
NUMBER = {1},
PAGES = {57-70},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {analysis of algorithm, scheduling, semi-online, competitive ratio},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Flammini-Perennes/05,
AUTHOR = {Flammini, Michele and P{\'e}renn{\`{e}}s, St{\'e}phane},
TITLE = {Lower bounds on systolic gossip},
JOURNAL = {Inf.~Comput.},
VOLUME = {196},
NUMBER = {2},
PAGES = {71-94},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
URL = {http://dx.doi.org/10.1016/j.ic.2004.09.002},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Durand-Middeldorp/05,
AUTHOR = {Durand, Ir{\`{e}}ne and Middeldorp, Aart},
TITLE = {Decidable call-by-need computations in term rewriting},
JOURNAL = {Inf.~Comput.},
VOLUME = {196},
NUMBER = {2},
PAGES = {95-126},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {term rewriting, strategies, call-by-need, tree automata},
URL = {http://dx.doi.org/10.1016/j.ic.2004.10.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Cardelli-Ghelli-Gordon/05,
AUTHOR = {Cardelli, Luca and Ghelli, Giorgio and Gordon, Andrew D.},
TITLE = {Secrecy and group creation},
JOURNAL = {Inf.~Comput.},
VOLUME = {196},
NUMBER = {2},
PAGES = {127-155},
YEAR = {2005},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {$\pi$-calculus, secrecy, security types},
URL = {http://dx.doi.org/10.1016/j.ic.2004.08.003},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}