@article{Demri-Lazic-Nowak/07,
AUTHOR = {Demri, St{\'e}phane and Lazi{\'c}, Ranko and Nowak, David},
TITLE = {On the freeze quantifier in constraint LTL: Decidability and complexity},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {1},
PAGES = {2-24},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {linear-time temporal logic, constraints, freeze quantifier, decidability, computational complexity},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4M3BC61-1/2/ca21c9c4ea8abb21f38ca0875b889377},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Schafer/07,
AUTHOR = {Sch{\"a}fer, Andreas},
TITLE = {Axiomatisation and decidability of multi-dimensional Duration Calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {1},
PAGES = {25-64},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {real-time systems, mobile systems, spatial logic, temporal logic, duration calculus},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4M5WHWD-1/2/63dbb89723e8d9dfbe83070d969340f4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Yang-Shahabi/07,
AUTHOR = {Yang, Kiyoung and Shahabi, Cyrus},
TITLE = {An efficient $k$ nearest neighbor search for multivariate time series},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {1},
PAGES = {65-98},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {multivariate time series, distance-based index structure, similarity measure, principal component analysis, feature subset selection},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4M4TNNF-1/2/f29fdb8e2fe46d176c3f535883d2d501},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lutz-Walther-Wolter/07,
AUTHOR = {Lutz, Carsten and Walther, Dirk and Wolter, Frank},
TITLE = {Quantitative temporal logics over the reals: PSPACE and below},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {1},
PAGES = {99-123},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MFJT9R-1/2/6990bf76e12b7d92ee2dbb6293f16e37},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Rensink-Vogler/07,
AUTHOR = {Rensink, Arend and Vogler, Walter},
TITLE = {Fair testing},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {2},
PAGES = {125-198},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {fairness, testing theory, coarsest congruence, process algebra},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MCW9RX-1/2/7dc2ca1924ca27138a5de3ab53b852ec},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Bouajjani-Muscholl-Touili/07,
AUTHOR = {Bouajjani, Ahmed and Muscholl, Anca and Touili, Tayssir},
TITLE = {Permutation rewriting and algorithmic verification},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {2},
PAGES = {199-224},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {regular model checking, semi-commutations, rewrite systems, verification},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MFK428-1/2/1d77e1e72604c24a034864c06f520dcd},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Gao-Hesselink/07,
AUTHOR = {Gao, H. and Hesselink, W.H.},
TITLE = {A general lock-free algorithm using compare-and-swap},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {2},
PAGES = {225-241},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {lock-free, refinement mapping, atomicity, compare-and-swap, correctness},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MK0HPT-1/2/6faa098ff049f311a3eddd5f420e14bf},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Chernov-Hutter-Schmidhuber/07,
AUTHOR = {Chernov, Alexey and Hutter, Marcus and Schmidhuber, J{\"u}rgen},
TITLE = {Algorithmic complexity bounds on future prediction errors},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {2},
PAGES = {242-261},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {kolmogorov complexity, posterior bounds, online sequential prediction, solomonoff prior, monotone conditional complexity, total error, future loss, randomness deficiency},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MM25XG-1/2/bb671d1a2354e650b7c14db5bdb416a7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Dawar-Gardner-Ghelli/07,
AUTHOR = {Dawar, Anuj and Gardner, Philippa and Ghelli, Giorgio},
TITLE = {Expressiveness and complexity of graph logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {3},
PAGES = {263-310},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {spatial logics, graphs, complexity},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MYMNWT-1/2/524660da7d1e7393a0293fc08c18f7fc},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Schweikardt/07,
AUTHOR = {Schweikardt, Nicole},
TITLE = {An Ehrenfeucht-Fra{\"{i}}ss{\'e} game approach to collapse results in database theory},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {3},
PAGES = {311-379},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MHPHJY-1/2/222002577cde6133fc37e8ee39fb769b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Demri-DSouza/07,
AUTHOR = {Demri, St{\'e}phane and D'Souza, Deepak},
TITLE = {An automata-theoretic approach to constraint LTL},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {3},
PAGES = {380-415},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {temporal logic, logics of space and time, model-checking},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MC71HH-1/2/8a43c6ef79a632d6bc32b81d324e83e4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kesner-Lengrand/07,
AUTHOR = {Kesner, Delia and Lengrand, St{\'ep}hane},
TITLE = {Resource operators for $\lambda$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {4},
PAGES = {419-473},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MY6N3J-1/2/2fa3cd74f3de6e10bed7a0446139e377},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Hirokawa-Middeldorp/07,
AUTHOR = {Hirokawa, Nao and Middeldorp, Aart},
TITLE = {Tyrolean termination tool: Techniques and features},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {4},
PAGES = {474-511},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {term rewriting, termination, automation, dependency pair method, polynomial interpretations},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MM1P2T-1/2/ab572da069211556bd0577c9c9a019e8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Geser-Hofbauer-Waldmann-Zantema/07,
AUTHOR = {Geser, Alfons and Hofbauer, Dieter and Waldmann, Johannes and Zantema, Hans},
TITLE = {On tree automata that certify termination of left-linear term rewriting systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {4},
PAGES = {512-534},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {term rewriting systems, termination, forward closures, rewrite labellings, tree automata},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MYMNWT-2/2/a541e180ea99c321ca129d9a78fa9a04},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Dershowitz-Castedo_Ellerman/07,
AUTHOR = {Dershowitz, Nachum and Castedo Ellerman, E.},
TITLE = {Leanest quasi-orderings},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {4},
PAGES = {535-556},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {quasi-ordering, well-quasi-ordering, lexicographic path ordering},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MWGYJH-1/2/5bda4e91e4bd624d9f8b73dc8426ddbc},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Nieuwenhuis-Oliveras/07,
AUTHOR = {Nieuwenhuis, Robert and Oliveras, Albert},
TITLE = {Fast congruence closure and extensions},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {4},
PAGES = {557-580},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {decision procedures, congruence closure, equational reasoning, verification},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MWXT8D-1/2/5fd7a9f8ab446a803098a16c04bf476e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lafourcade-Lugiez-Treinen/07,
AUTHOR = {Lafourcade, Pascal and Lugiez, Denis and Treinen, Ralf},
TITLE = {Intruder deduction for the equational theory of Abelian groups with distributive encryption},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {4},
PAGES = {581-623},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N0PFT3-1/2/17ff69fba2694a2d553034ea49a95727},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Boy_de_la_Tour-Echenim/07,
AUTHOR = {Boy de la Tour, Thierry and Echenim, Mnacho},
TITLE = {Permutative rewriting and unification},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {4},
PAGES = {624-650},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {equational theories, term rewriting, e-unification, permutation groups},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MWXT8D-2/2/cc2c5151dae61249cbeb34112521ceeb},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Bulatov-Dalmau/07,
AUTHOR = {Bulatov, Andrei A. and Dalmau, V{\'{i}}ctor},
TITLE = {Towards a dichotomy theorem for the counting constraint satisfaction problem},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {5},
PAGES = {651-678},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {constraint satisfaction problem, counting problems, complexity},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MBT205-1/2/2f972290270a282caaaa876cc65c7763},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lavault-Marckert-Ravelomanana/07,
AUTHOR = {Lavault, Christian and Marckert, Jean-Fran{\c{c}}ois and Ravelomanana, Vlady},
TITLE = {Quasi-optimal energy-efficient leader election algorithms in radio networks},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {5},
PAGES = {679-693},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {election, radio networks, distributed systems, energy-efficient, 68w15, 68w20, 68w40},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MJBTK4-1/2/2003d63ae01eb636831821962269b7bc},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Hitchcock-Pavan/07,
AUTHOR = {Hitchcock, John M. and Pavan, A.},
TITLE = {Comparing reductions to $NP$-complete sets},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {5},
PAGES = {694-706},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MP5KP7-1/2/c74adc57d21df665191ca8455519fec0},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Rabinovich/07,
AUTHOR = {Rabinovich, Alexander},
TITLE = {Temporal logics with incommensurable distances are undecidable},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {5},
PAGES = {707-715},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MKCGXG-2/2/6875eb28fb0c94ecf380e8afa8be2274},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Klein-Wessler/07,
AUTHOR = {Klein, Andreas and Wessler, Markus},
TITLE = {Extended visual cryptography schemes},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {5},
PAGES = {716-732},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MR86G6-1/2/3ee5bc86921d59d965fefe9249735f9d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Baldan-Corradini-Montanari-Ribeiro/07,
AUTHOR = {Baldan, Paolo and Corradini, Andrea and Montanari, Ugo and Ribeiro, Leila},
TITLE = {Unfolding semantics of graph transformation},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {5},
PAGES = {733-782},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {graph transformation systems, unfolding, concurrency, nondeterminism, event structures, petri nets, read arcs},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MVF4W9-1/2/af51daa04b838100959a9f7bfad37af7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Delporte-Gallet-Fauconnier-Guerraoui-Pochon/07,
AUTHOR = {Delporte-Gallet, Carole and Fauconnier, Hugues and Guerraoui, Rachid and Pochon, Bastian},
TITLE = {The perfectly synchronized round-based model of distributed computing},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {5},
PAGES = {783-815},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {abstraction, simulation, distributed systems, fault-tolerance, synchronous system models, complexity},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MNR0J1-1/2/b0bf9be79129773672422ba769e19aa3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Verma-Goubault-Larrecq/07,
AUTHOR = {Verma, Kumar Neeraj and Goubault-Larrecq, Jean},
TITLE = {Alternating two-way AC-tree automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {6},
PAGES = {817-869},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {associative-commutative, tree automata, two-way tree automata, alternating tree automata, branching vector addition systems with states, resolution, cryptographic protocols},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MS9RDC-1/2/4c7e08f0eb3dd662da1a489bba4d96e7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Rabinovich/07a,
AUTHOR = {Rabinovich, Alexander},
TITLE = {On decidability of monadic logic of order over the naturals extended by monadic predicates},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {6},
PAGES = {870-889},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MPC440-1/2/269371926b52f0ca647fd9b09c47987a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kilpelainen-Tuhkanen/07,
AUTHOR = {Kilpel{\"a}inen, Pekka and Tuhkanen, Rauno},
TITLE = {One-unambiguity of regular expressions with numeric occurrence indicators},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {6},
PAGES = {890-916},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {regular expression, numeric iteration, interval expression, one-unambiguity, xml schema, unique particle attribution},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MPKBT9-1/2/9a04113c27899b8405694afc6af52a6e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Fernandez-Gabbay/07,
AUTHOR = {Fern{\'a}ndez, Maribel and Gabbay, Murdoch J.},
TITLE = {Nominal rewriting},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {6},
PAGES = {917-965},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {binders, [alpha]-conversion, first and higher-order rewriting, confluence},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MMPNHH-1/2/3a0f418f7112a2445237ebe9049d991e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Reif-Chakraborty/07,
AUTHOR = {Reif, John H. and Chakraborty, Sukhendu},
TITLE = {Efficient and exact quantum compression},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {7},
PAGES = {967-981},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {quantum computing, quantum compression, algorithm},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MYMFTC-1/2/5da55b63293c3f04e66d730186e916c8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Gabbay/07,
AUTHOR = {Gabbay, Murdoch J.},
TITLE = {A general mathematics of names},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {7},
PAGES = {982-1011},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {set theory, fraenkel-mostowski set theory, new quantifier, nominal techniques, alpha-conversion, names},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N25VSF-1/2/c5eb52a7260cc6f5d3274c903c2b7566},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Apostolico/07,
AUTHOR = {Apostolico, Alberto},
TITLE = {Fast gapped variants for Lempel-Ziv-Welch compression},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {7},
PAGES = {1012-1026},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {data compression by textual substitution, lossy compression, ziv-lempel-welch phrase parse, pattern matching, trie, design and analysis of algorithms},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N7S53V-1/2/7998599d6674f77b44d9d91e7861bc32},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kwiatkowska-Norman-Sproston-Wang/07,
AUTHOR = {Kwiatkowska, Marta and Norman, Gethin and Sproston, Jeremy and Wang, Fuzhi},
TITLE = {Symbolic model checking for probabilistic timed automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {7},
PAGES = {1027-1077},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MY0MGC-1/2/70e84ab4302dd2abe4f0c5f6f735a0ff},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Honkala-Laihonen/07,
AUTHOR = {Honkala, Iiro and Laihonen, Tero},
TITLE = {On identifying codes that are robust against edge changes},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {7},
PAGES = {1078-1095},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {identifying code, fault tolerance, robustness, edge changes, optimal code, multiprocessor system, graphs},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MWXPTC-1/2/3847d5940adea9a413f9d21ccc0aa7f1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Fredriksson-Makinen-Navarro/07,
AUTHOR = {Fredriksson, Kimmo and M{\"a}kinen, Veli and Navarro, Gonzalo},
TITLE = {Rotation and lighting invariant template matching},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {7},
PAGES = {1096-1113},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {2-dimensional pattern matching, approximate pattern matching, rotation invariance, lighting invariance, transposition invariance},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N8M87H-1/2/25e7a87ce2e09c8faad7817a4de69820},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Alon-Kaplan-Krivelevich-Malkhi-Stern/07,
AUTHOR = {Alon, Noga and Kaplan, Haim and Krivelevich, Michael and Malkhi, Dahlia and Stern, Julien},
TITLE = {Addendum to ``Scalable secure storage when half the system is faulty''},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {7},
PAGES = {1114-1116},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N7RY1V-1/2/d5ed461ab7f9d8d07efedbf7fbe0013a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
NOTE = {Originally in Inf.~Comput., Vol. 174, 2002, No. 2, 203-213},
}
@article{Ailon-Alon/07,
AUTHOR = {Ailon, Nir and Alon, Noga},
TITLE = {Hardness of fully dense problems},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {8},
PAGES = {1117-1129},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {dense problems, np-hardness},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N6NJWR-1/2/34ee434389e4e346b5fa1fe8d87cf5df},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Grumberg-Lange-Leucker-Shoham/07,
AUTHOR = {Grumberg, Orna and Lange, Martin and Leucker, Martin and Shoham, Sharon},
TITLE = {When not losing is better than winning: Abstraction and refinement for the full $\mu$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {8},
PAGES = {1130-1148},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MW320N-1/2/344c21eb60c76325af779d81632fe461},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Fersman-Krcal-Pettersson-Yi/07,
AUTHOR = {Fersman, Elena and Krcal, Pavel and Pettersson, Paul and Yi, Wang},
TITLE = {Task automata: Schedulability, decidability and undecidability},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {8},
PAGES = {1149-1172},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {real time systems, schedulability analysis, timed automata, modeling and verification},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4NH7F0F-1/2/7dde5b82a4017513a38a7e8295d2214e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Geffert-Mereghetti-Pighizzini/07,
AUTHOR = {Geffert, Viliam and Mereghetti, Carlo and Pighizzini, Giovanni},
TITLE = {Complementing two-way finite automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {8},
PAGES = {1173-1187},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {finite state automata, formal languages, descriptional complexity},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4NF4F3D-1/2/f60cbdb33ede06eaf6e7f5b4f033ed60},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Badban-van_de_Pol-Tveretina-Zantema/07,
AUTHOR = {Badban, Bahareh and van de Pol, Jaco and Tveretina, Olga and Zantema, Hans},
TITLE = {Generalizing DPLL and satisfiability for equalities},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {8},
PAGES = {1188-1211},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {satisfiability, dpll procedure, equality, ground term algebra, inductive datatypes, decision procedure},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4NCSGM4-1/2/fe730c71a1cffafa3da41fd832aeaa94},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lohrey-Ondrusch/07,
AUTHOR = {Lohrey, Markus and Ondrusch, Nicole},
TITLE = {Inverse monoids: Decidability and complexity of algebraic questions},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {8},
PAGES = {1212-1234},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {inverse monoids, word problems, cayley-graphs, complexity},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MW320N-3/2/e742938179647fa3b49bf4f012cef81d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Crafa-Rossi/07,
AUTHOR = {Crafa, Silvia and Rossi, Sabina},
TITLE = {Controlling information release in the $\pi$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {8},
PAGES = {1235-1273},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {process algebra, noninterference, downgrading},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4MW320N-2/2/65a18d04d47179ab703ce0c80ade1d56},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Hemaspaandra-Homan-Kosub/07,
AUTHOR = {Hemaspaandra, Lane A. and Homan, Christopher M. and Kosub, Sven},
TITLE = {Cluster computing and the power of edge recognition},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {8},
PAGES = {1274-1293},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N2KTBF-1/2/556eeb2046db81108a0167905de8f59b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Bell-Goh/07,
AUTHOR = {Bell, Jason P. and Goh, Teow Lim},
TITLE = {Exponential lower bounds for the number of words of uniform length avoiding a pattern},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1295-1306},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {pattern avoidance, combinatorics on words, avoidable patterns},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N56BRD-1/2/29273f75ac02130daf1332867628be86},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Konstantinidis/07,
AUTHOR = {Konstantinidis, Stavros},
TITLE = {Computing the edit distance of a regular language},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1307-1316},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {algorithm, finite automaton, constraint system, edit distance, levenshtein distance, regular language},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4P06CDG-1/2/0d49b95526acf1a2addb266438109219},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Gu-Lutz-Moser/07,
AUTHOR = {Gu, Xiaoyang and Lutz, Jack H. and Moser, Philippe},
TITLE = {Dimensions of Copeland-Erd{\H{o}}s sequences},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1317-1333},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {normality, finite-state dimension},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4NNYJ7J-1/2/e7d313b2f8fa59a2e25e463fa2654f8c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{De_Francesco-Martini/07,
AUTHOR = {De Francesco, Nicoletta and Martini, Luca},
TITLE = {Instruction-level security analysis for information flow in stack-based assembly languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1334-1370},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {abstract interpretation, flow-sensitive, language-based security, static analysis},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4NNWCFP-1/2/949f64e389beb66620b121026b1ae5d7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Liquori-Ronchi_Della_Rocca/07,
AUTHOR = {Liquori, Luigi and Ronchi Della Rocca, Simona},
TITLE = {Intersection-types {\`a} la Church},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1371-1386},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {logics and intersection-types, [lambda]-calculus a la curry and a la church},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4NWCGTM-1/2/73589698d07f919cb9fb6cf5ff480394},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Jurdzinski-Lorys/07,
AUTHOR = {Jurdzi{\'n}ski, Tomasz and Lory{\'s}, Krzysztof},
TITLE = {Lower bound technique for length-reducing automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1387-1412},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {automata and formal languages, kolmogorov complexity, string rewriting},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N4YMGC-1/2/c4dec366551e3f538202568a01539795},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Zhang/07,
AUTHOR = {Zhang, Guo-Qiang},
TITLE = {Mediating secure information flow policies},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1413-1425},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N6NJWR-2/2/3295d3a3aaa956a48946387767304ddb},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Cleaveland-Luttgen-Natarajan/07,
AUTHOR = {Cleaveland, Rance and L{\"u}ttgen, Gerald and Natarajan, V.},
TITLE = {Priority and abstraction in process algebra},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1426-1458},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {process algebra, priority, bisimulation, observation congruence, full abstraction, axiomatization},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4NVH7TR-1/2/9d1f4a220e896226a7b2e1b8c6536ada},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Rytter/07,
AUTHOR = {Rytter, Wojciech},
TITLE = {The number of runs in a string},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1459-1469},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {run, string, periodicity},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N0X5NJ-1/2/91f27bdb1588b824b2b3f74a6b0c04bc},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Amadio/07,
AUTHOR = {Amadio, Roberto M.},
TITLE = {A synchronous $\pi$-calculus},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {9},
PAGES = {1470-1490},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N3GFGG-1/2/e137e829e78dd984884ea9d65c027e76},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{De_Nicola-Gorla-Pugliese/07,
AUTHOR = {De Nicola, Rocco and Gorla, Daniele and Pugliese, Rosario},
TITLE = {Basic observables for a calculus for global computing},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {10},
PAGES = {1491-1525},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {process calculi, distribution and mobility, explicit connections, basic observables, bisimulation, may testing},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4NFXDG0-1/2/bb54ad8f5c93f3b378b377b7034ef1a0},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Gardner-Laneve-Wischik/07,
AUTHOR = {Gardner, Philippa and Laneve, Cosimo and Wischik, Lucian},
TITLE = {Linear forwarders},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {10},
PAGES = {1526-1550},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {pi-calculus, distributed implementation, input capability, linear forwarders},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4N0X5NJ-2/2/2a1958eca48ee7d621e78c747e46a399},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Carlucci-Case-Jain-Stephan/07,
AUTHOR = {Carlucci, Lorenzo and Case, John and Jain, Sanjay and Stephan, Frank},
TITLE = {Results on memory-limited U-shaped learning},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {10},
PAGES = {1551-1573},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4NKXWHM-1/2/b427ef0fad97637590de23ea452f9e7f},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lanotte-Tini/07,
AUTHOR = {Lanotte, Ruggero and Tini, Simone},
TITLE = {Taylor approximation for hybrid systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {11},
PAGES = {1575-1607},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PCXGFF-1/2/3c89d7b765bdec02c7fd01d0e01ba7dd},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Feng-Duan-Ji-Ying/07,
AUTHOR = {Feng, Yuan and Duan, Runyao and Ji, Zhengfeng and Ying, Mingsheng},
TITLE = {Probabilistic bisimulations for quantum processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {11},
PAGES = {1608-1639},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {quantum process, probabilistic bisimulation, congruence},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PJ04VW-1/2/0412c2df3ef6ac732807dd5060834a7e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Doty-Lutz-Nandakumar/07,
AUTHOR = {Doty, David and Lutz, Jack H. and Nandakumar, Satyadev},
TITLE = {Finite-state dimension and real arithmetic},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {11},
PAGES = {1640-1651},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4P96216-1/2/552a1a6702f06e4384a22cef0ded13c5},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Geffert/07,
AUTHOR = {Geffert, Viliam},
TITLE = {Magic numbers in the state hierarchy of finite automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {11},
PAGES = {1652-1670},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {descriptional complexity, finite-state automata, regular languages},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PC8RGB-2/2/3c80f33aca5316b4ec05ef9cbf45039e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Jain-Lange-Zilles/07,
AUTHOR = {Jain, Sanjay and Lange, Steffen and Zilles, Sandra},
TITLE = {Some natural conditions on incremental learning},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {11},
PAGES = {1671-1684},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {inductive inference, iterative learning, formal languages, recursion theory},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PC8RGB-1/2/9622b248703cad902f1515f4b0382a18},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Backes-Pfitzmann-Waidner/07,
AUTHOR = {Backes, Michael and Pfitzmann, Birgit and Waidner, Michael},
TITLE = {The reactive simulatability (RSIM) framework for asynchronous systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {12},
PAGES = {1685-1720},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {security, cryptography, simulatability, formal methods, reactive systems, composability, probabilistic io automata, distributed polynomial time},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4P2YWMK-1/2/7d0320c5ebe9b033b2a6bfd23187ddef},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Korman-Peleg/07,
AUTHOR = {Korman, Amos and Peleg, David},
TITLE = {Labeling schemes for weighted dynamic trees},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {12},
PAGES = {1721-1740},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {distance labeling schemes, dynamic graphs, distributed computing, approximate distances},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PNFV60-1/2/c73bd44b89bea2d07966d81f73a835e1},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kusters-Wilke/07,
AUTHOR = {K{\"u}sters, Ralf and Wilke, Thomas},
TITLE = {Transducer-based analysis of cryptographic protocols},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {12},
PAGES = {1741-1776},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {cryptographic protocols, automatic analysis, decidability, transducers},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PNFV60-2/2/9fde7e73add085fce81cd9484a2835f6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Jain-Kinber/07,
AUTHOR = {Jain, Sanjay and Kinber, Efim},
TITLE = {Iterative learning from positive data and negative counterexamples},
JOURNAL = {Inf.~Comput.},
VOLUME = {205},
NUMBER = {12},
PAGES = {1777-1805},
YEAR = {2007},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PSC24D-1/2/14af6954f8991ea65fbda7f6c427a4c6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}