@article{Moser/08,
AUTHOR = {Moser, Philippe},
TITLE = {Generic density and small span theorem},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {1},
PAGES = {1-14},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {genericity, resource-bounded dimension, small span theorem},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PXDM2H-1/2/f291a4e2d800475add919b297aed8479},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Moser/08a,
AUTHOR = {Moser, Philippe},
TITLE = {Baire categories on small complexity classes and meager-comeager laws},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {1},
PAGES = {15-33},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {baire categories},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PXM69V-1/2/f0a54c1c577d9843bd8f86abb98df6ab},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Phillips-Vigliotti/08,
AUTHOR = {Phillips, Iain and Vigliotti, Maria Grazia},
TITLE = {Symmetric electoral systems for ambient calculi},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {1},
PAGES = {34-72},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {ambient calculi, [pi]-calculus, leader election, electoral system, expressiveness},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PRRBKD-1/2/e85de35174f717d1d4b9a8467be17e70},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Bouyer-Haddad-Reynier/08,
AUTHOR = {Bouyer, Patricia and Haddad, Serge and Reynier, Pierre-Alain},
TITLE = {Timed Petri nets and timed automata: On the discriminating power of zeno sequences},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {1},
PAGES = {73-107},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {timed automata, timed petri nets, expressiveness},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R0CK63-1/2/6983b7f211f98022b782d0b4223e4c3d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Hesselink/08,
AUTHOR = {Hesselink, Wim H.},
TITLE = {Universal extensions to simulate specifications},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {1},
PAGES = {108-128},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {tla, stuttering, simulation, semantic completeness, theorem proving, auxiliary variable},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PYYTRH-1/2/037255d7656b3569ba81df7e9058282a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Udrea-Lumezanu-Foster/08,
AUTHOR = {Udrea, Octavian and Lumezanu, Cristian and Foster, Jeffrey S.},
TITLE = {Rule-based static analysis of network protocol implementations},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {130-157},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R8H1PN-2/2/4c408e0033a89eaa1b30a12e664e0747},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Talhi-Tawbi-Debbabi/08,
AUTHOR = {Talhi, Chamseddine and Tawbi, Nadia and Debbabi, Mourad},
TITLE = {Execution monitoring enforcement under memory-limitation constraints},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {158-184},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {execution monitoring, security policies, edit automata, bounded history automata, locally testable properties},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J624-9/2/1221d28e5bcc241c8e6e669ab28b9685},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Sistla-Zhou/08,
AUTHOR = {Sistla, A. Prasad and Zhou, Min},
TITLE = {Analysis of dynamic policies},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {185-212},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {dynamic access control policies, security properties, trust management systems, role containment, tree automata, first order ctl},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J624-4/2/40d63790d6d006ebf221e44f7628aded},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Santen/08,
AUTHOR = {Santen, Thomas},
TITLE = {Preservation of probabilistic information flow under refinement},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {213-249},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {information flow property, refinement, confidentiality, security, information theory, csp, process calculus},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J624-8/2/c5e5dff8c53b3e3ad5b5417c4553ee96},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Nguyen-Roscoe/08,
AUTHOR = {Nguyen, L.H. and Roscoe, A.W.},
TITLE = {Authenticating ad hoc networks by comparison of short digests},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {250-271},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J83J-1/2/1e62ed752f994af02c0c54d42a1f73c7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Mukhamedov-Ryan/08,
AUTHOR = {Mukhamedov, Aybek and Ryan, Mark D.},
TITLE = {Fair multi-party contract signing using private contract signatures},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {272-290},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7NR1V-1/2/9e44c53ab3ea3a5df622848bb29e66e4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Modersheim/08,
AUTHOR = {M{\"o}dersheim, Sebastian},
TITLE = {On the relationships between models in protocol verification},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {291-311},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {formal verification, security protocols, abstraction},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J624-3/2/ca7407fa1c9d78191bf8be8d363e0ba4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Delaune-Lafourcade-Lugiez-Treinen/08,
AUTHOR = {Delaune, St{\'e}phanie and Lafourcade, Pascal and Lugiez, Denis and Treinen, Ralf},
TITLE = {Symbolic protocol analysis for monoidal equational theories},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {312-351},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J624-6/2/7d994b7c1443197e4200fbab597e484b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Chevalier-Rusinowitch/08,
AUTHOR = {Chevalier, Yannick and Rusinowitch, Michael},
TITLE = {Hierarchical combination of intruder theories},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {352-377},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {cryptographic protocols, dolev-yao intruder, combination of decision procedures, equational theories},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J624-2/2/e16e5b5dbb15ab5af2043fc5701a8432},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Chatzikokolakis-Palamidessi-Panangaden/08,
AUTHOR = {Chatzikokolakis, Konstantinos and Palamidessi, Catuscia and Panangaden, Prakash},
TITLE = {Anonymity protocols as noisy channels},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {378-401},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J624-7/2/9e0331cb165042092e24e413f4e46219},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Cervesato-Jaggard-Scedrov-Tsay-Walstad/08,
AUTHOR = {Cervesato, Iliano and Jaggard, Aaron D. and Scedrov, Andre and Tsay, Joe-Kai and Walstad, Christopher},
TITLE = {Breaking and fixing public-key Kerberos},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {402-424},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {computer security, authentication protocols, kerberos, pkinit, man-in-the-middle attack, protocol verification},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J624-5/2/8ade11ead1dd72f5db36f1f6014b72e7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Andova-Cremers-Gjosteen-Mauw-Mjolsnes-Radomirovic/08,
AUTHOR = {Andova, Suzana and Cremers, Cas and Gj{\o}steen, Kristian and Mauw, Sjouke and Mj{\o}lsnes, Stig F. and Radomirovi{\'c}, Sa{\v{s}}a},
TITLE = {A framework for compositional verification of security protocols},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {425-459},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {compositionality, security protocols, automatic verification, wimax, security properties, authentication, confidentiality, semantics},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R7J624-1/2/835f22a364324742e5977408de947b75},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Braghin-Cortesi-Focardi/08,
AUTHOR = {Braghin, Chiara and Cortesi, Agostino and Focardi, Riccardo},
TITLE = {Information flow security in boundary ambients},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {2-4},
PAGES = {460-489},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R9GGSB-1/2/7132167115fc25c979dfcfba721a1f58},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Chen-Fokkink-Luttik-Nain/08,
AUTHOR = {Chen, Taolue and Fokkink, Wan and Luttik, Bas and Nain, Sumit},
TITLE = {On finite alphabets and infinite bases},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {492-519},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {concurrency, process algebra, equational theory, [omega]-completeness},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4RC2NM4-1/2/6bece84493ff60674eb61a311bb0b00b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Brazdil-Brozek-Forejt-Kucera/08,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Bro{\v{z}}ek, V{\'a}clav and Forejt, Vojt{\v{e}}ch and Ku{\v{c}}era, Anton{\'{i}}n},
TITLE = {Reachability in recursive Markov decision processes},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {520-537},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {markov decision processes, temporal logics, stochastic games},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4RC2NM4-2/2/581c14f67352896ce1dcafdb999d4c4d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Kosub-Wagner/08,
AUTHOR = {Kosub, Sven and Wagner, Klaus W.},
TITLE = {The Boolean hierarchy of $NP$-partitions},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {538-568},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {computational complexity theory, partitions, boolean hierarchy, polynomial hierarchy, orders and lattices},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4PJCY9X-1/2/8a8a7a221b233d194eb14a7d7feb168a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Schulz/08,
AUTHOR = {Schulz, Frank},
TITLE = {Trees with exponentially growing costs},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {569-578},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {analysis of algorithms, search trees, dynamic programming, random trees, r{\'o}nyi entropy},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R5VYSJ-1/2/264bfef06f83e3776389ce2c3e10faf8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Hustadt-Motik-Sattler/08,
AUTHOR = {Hustadt, Ullrich and Motik, Boris and Sattler, Ulrike},
TITLE = {Deciding expressive description logics in the framework of resolution},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {579-601},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {description logics, resolution decision procedure, basic superposition},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R9JTTG-1/2/02503240a9e00585386dac5caedce1db},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Dosa-Epstein/08,
AUTHOR = {D{\'o}sa, Gy{\"o}rgy and Epstein, Leah},
TITLE = {Preemptive scheduling on a small number of hierarchical machines},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {602-619},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R8NB90-2/2/55e1abb270324eb730e2720e7c49a390},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Ranzato-Tapparo/08,
AUTHOR = {Ranzato, Francesco and Tapparo, Francesco},
TITLE = {Generalizing the Paige-Tarjan algorithm by abstract interpretation},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {620-651},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4RSJDSM-2/2/d2d91bfb2781cb84c37fefe709972b56},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Lucas-Meseguer/08,
AUTHOR = {Lucas, Salvador and Meseguer, Jos{\'e}},
TITLE = {Termination of just/fair computations in term rewriting},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {652-675},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {concurrent programming, fairness, term rewriting, program analysis, termination},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4R8H1PN-1/2/98f1043cd44725d5ec4d8b95d6e278d3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Blanchet-Sadri-Bal-Sisodia/08,
AUTHOR = {Blanchet-Sadri, F. and Bal, Deepak and Sisodia, Gautam},
TITLE = {Graph connectivity, partial words, and a theorem of Fine and Wilf},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {676-693},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {words, partial words, fine and wilf's theorem, periods, graph connectivity},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4RGFCYJ-1/2/57df89811243a8fd653e0011b932cc7e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Baliga-Case-Merkle-Stephan-Wiehagen/08,
AUTHOR = {Baliga, Ganesh and Case, John and Merkle, Wolfgang and Stephan, Frank and Wiehagen, Rolf},
TITLE = {When unlearning helps},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {5},
PAGES = {694-709},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {03d25, 03d80, 68t05, computational learning theory, cognitive science, inductive inference of grammars for languages from positive data},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4RC6R72-1/2/71f1f291c2f1c80e53c07312833d9902},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Francalanza-Hennessy/08,
AUTHOR = {Francalanza, Adrian and Hennessy, Matthew},
TITLE = {A theory of system behaviour in the presence of node and link failure},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {6},
PAGES = {711-759},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {distributed calculi, node and link failure, reduction barbed congruence, labelled transition systems, bisimulation},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4RSJDSM-1/2/ea40d7faa4e255215e2e2317b68099bc},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Goldsmith-Hagen-Mundhenk/08,
AUTHOR = {Goldsmith, Judy and Hagen, Matthias and Mundhenk, Martin},
TITLE = {Complexity of DNF minimization and isomorphism testing for monotone formulas},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {6},
PAGES = {760-775},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {computational complexity, monotone formulas, prime implicants, formula isomorphism},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4S7BDDS-2/2/4ee9f168ba434242eda1c3b0d23ac1cf},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Jain-Stephan/08,
AUTHOR = {Jain, Sanjay and Stephan, Frank},
TITLE = {Learning in Friedberg numberings},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {6},
PAGES = {776-790},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4S7JFWJ-1/2/414719e2e3c274a08072c1052ba5437c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Tung/08,
AUTHOR = {Tung, Shih Ping},
TITLE = {Computational complexity of sentences over fields},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {7},
PAGES = {791-805},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {arithmetical sentences, computational complexity, fields},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SFG4KS-1/2/1622d4c74155d3d37c87d076fb3d6f30},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Martens-Neven-Gyssens/08,
AUTHOR = {Martens, Wim and Neven, Frank and Gyssens, Marc},
TITLE = {Typechecking top-down XML transformations: Fixed input or output schemas},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {7},
PAGES = {806-827},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {xml, xslt, tree transformations, typechecking, unranked tree transducers, complexity},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4S7BDDS-1/2/44349c605f19c9b651bba973bc5c072b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Wang-Lin-Lin-Ku/08,
AUTHOR = {Wang, Biing-Feng and Lin, Tzu-Chin and Lin, Chien-Hsin and Ku, Shan-Chyun},
TITLE = {Finding the conditional location of a median path on a tree},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {7},
PAGES = {828-839},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {location theory, medians, centers, conditional location problems, trees, paths, algorithms},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SJG672-1/2/b6992e4088091062857a2ecae96a07ef},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Gurov-Huisman-Sprenger/08,
AUTHOR = {Gurov, Dilian and Huisman, Marieke and Sprenger, Christoph},
TITLE = {Compositional verification of sequential programs with procedures},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {7},
PAGES = {840-868},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {program verification, control-flow behaviour, compositional reasoning, modal [mu]-calculus, safety properties, maximal model, private procedures},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SG4HK1-1/2/e53dcc77fd3a191c6fe1ea20066c36c8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Baldan-Corradini-Konig/08,
AUTHOR = {Baldan, Paolo and Corradini, Andrea and K{\"o}nig, Barbara},
TITLE = {A framework for the verification of infinite-state graph transformation systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {7},
PAGES = {869-907},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {graph transformation, petri nets, category theory, abstraction, verification},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SG4HK1-2/2/5069fa8f2e77108da5ce48476a273071},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Goldberg-Jerrum/08,
AUTHOR = {Goldberg, Leslie Ann and Jerrum, Mark},
TITLE = {Inapproximability of the Tutte polynomial},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {7},
PAGES = {908-929},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SGD4PW-1/2/75548375ed35c3c434f4e1ca754004df},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Orlando-Amsterdam-Tokyo-Singapore},
}
@article{Gorla/08,
AUTHOR = {Gorla, Daniele},
TITLE = {Comparing communication primitives via their relative expressive power},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {8},
PAGES = {931-952},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {process calculi, communication primitives, relative expressiveness, encodings},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNNT58-2/2/0a0500d1ca7472af449a13ed1997200e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Zhang-Zhu/08,
AUTHOR = {Zhang, Jinjin and Zhu, Zhaohui},
TITLE = {Characterize branching distance in terms of $(\eta, \alpha)$-bisimilarity},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {8},
PAGES = {953-965},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {quantitative transition systems, approximate bisimilarity, branching distance},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SSND4B-1/2/73702694d47a630b4144292b6acab632},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Adamek-Milius-Velebil/08,
AUTHOR = {Ad{\'a}mek, Ji{\v{r}}{\'{i}} and Milius, Stefan and Velebil, Ji{\v{r}}{\'{i}}},
TITLE = {Bases for parametrized iterativity},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {8},
PAGES = {966-1002},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {iterative algebra, monad, iterative theory, parametrized signature, locally presentable category},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SR713W-1/2/653938cc9b9f8ddea0d948205623954c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Correa-Epstein/08,
AUTHOR = {Correa, Jos{\'e} R. and Epstein, Leah},
TITLE = {Bin packing with controllable item sizes},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {8},
PAGES = {1003-1016},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {bin packing, online algorithms, approximation schemes, discrete time-cost tradeoff},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNNT58-1/2/0d6a32ebe122ca38ebfc8d75a1b3db41},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Francez-Kaminski/08,
AUTHOR = {Francez, Nissim and Kaminski, Michael},
TITLE = {Commutation-augmented pregroup grammars and push-down automata with cancellation},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1018-1032},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {pregroup grammars, commutation, push-down automata, pumping lemma},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-7/2/590467d51e757ce95e3d94eae61cd48a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Jurgensen/08,
AUTHOR = {J{\"u}rgensen, Helmut},
TITLE = {Synchronization},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1033-1044},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {synchronization, codes, solid codes, automata, cern{\'o}'s conjecture},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-8/2/0a7b294e9cbe591e7a3c76f6f79e21a0},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Baader-Hladik-Penaloza/08,
AUTHOR = {Baader, Franz and Hladik, Jan and Pe{\~n}aloza, Rafael},
TITLE = {Automata can show PSPACE results for description logics},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1045-1056},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {automata theory, description logics, complexity, pspace},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-1/2/11269ede3553baa1cf1d3152354fd6e4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Blanchet-Sadri-Corcoran-Nyberg/08,
AUTHOR = {Blanchet-Sadri, F. and Corcoran, Kevin and Nyberg, Jenell},
TITLE = {Periodicity properties on partial words},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1057-1064},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {formal languages, combinatorics on words, fine and wilf's periodicity result, partial words, primitive partial words, periods, weak periods},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-2/2/33056545ec52ec18599a1e395bc4abbb},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Bodini-Fernique-Remila/08,
AUTHOR = {Bodini, Olivier and Fernique, Thomas and R{\'e}mila, {\'E}ric},
TITLE = {A characterization of flip-accessibility for rhombus tilings of the whole plane},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1065-1073},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {de bruijn line, flip, quasicrystal, rhombus tiling, statistical mechanics, tiling of the plane},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-3/2/a53031e1086cd7d0991a2e7af981a0d0},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Boldi-Lonati-Radicioni-Santini/08,
AUTHOR = {Boldi, Paolo and Lonati, Violetta and Radicioni, Roberto and Santini, Massimo},
TITLE = {The number of convex permutominoes},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1074-1083},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-4/2/831ec2077f0faae5dd6c7c63c0e5e61c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Bollig-Kuske/08,
AUTHOR = {Bollig, Benedikt and Kuske, Dietrich},
TITLE = {Muller message-passing automata and logics},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1084-1094},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {concurrency, muller automata, message-passing automata, infinite message sequence charts, monadic second-order logic},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-5/2/ebad9e846dd759fa88dead372043b6a7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Dassow-Fernau/08,
AUTHOR = {Dassow, J{\"u}rgen and Fernau, Henning},
TITLE = {Comparison of some descriptional complexities of OL systems obtained by a unifying approach},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1095-1103},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {descriptional complexity, lindenmayer systems},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-6/2/8193b635e6cef99047bf28b69cac00a6},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Di_Lena-Margara/08,
AUTHOR = {Di Lena, P. and Margara, L.},
TITLE = {Computational complexity of dynamical systems: The case of cellular automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1104-1116},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {cellular automata, universality, classification},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-9/2/94e4190180090c5475dcb6858a8add6c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Han-Wood/08,
AUTHOR = {Han, Yo-Sub and Wood, Derick},
TITLE = {Generalizations of 1-deterministic regular languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1117-1125},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {one-unambiguous regular languages, k-lookahead determinism, k-block determinism},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SP3SNK-1/2/f8de31c93fea1c75add8ed6c663e6ab3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Kresz/08,
AUTHOR = {Kr{\'e}sz, Mikl{\'o}s},
TITLE = {Soliton automata with constant external edges},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1126-1141},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {molecular electronics, soliton automata, matchings in graphs, automata product},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SP3SNK-2/2/01acad8723635be38a4c0593b36cc53e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Kutrib-Malcher/08,
AUTHOR = {Kutrib, Martin and Malcher, Andreas},
TITLE = {Fast reversible language recognition using cellular automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1142-1151},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {cellular automata, real-time reversible computations, language recognition, closure properties, decidability questions},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SP3SNK-3/2/47ad44aba8389b4fef7162c0df7d0f15},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Kutrib-Reimann/08,
AUTHOR = {Kutrib, Martin and Reimann, Jens},
TITLE = {Succinct description of regular languages by weak restarting automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1152-1160},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-B/2/fa3ed28e77410ea75b35413440ab6530},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{La_Torre-Napoli-Parente-Parlato/08,
AUTHOR = {La Torre, Salvatore and Napoli, Margherita and Parente, Mimmo and Parlato, Gennaro},
TITLE = {Verification of scope-dependent hierarchical state machines},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1161-1177},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {hierarchical state machines, model checking, automata, temporal logic},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SNWW1Y-C/2/34d9ae29f85c1c8a721abc1774fee1c7},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Liu-Martin-Vide-Salomaa-Yu/08,
AUTHOR = {Liu, Guangwu and Martin-Vide, Carlos and Salomaa, Arto and Yu, Sheng},
TITLE = {State complexity of basic language operations combined with reversal},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1178-1186},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {finite state automata, regular languages, state complexity, combined operations},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SPC0N0-1/2/3e86417a95a5919f4d7a11b93727cf88},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Maletti/08,
AUTHOR = {Maletti, Andreas},
TITLE = {Compositions of extended top-down tree transducers},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1187-1196},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {tree transducer, composition, bimorphism, natural language processing, tree transformation},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SPC0N0-2/2/ad85e02cea64857a1959c35dfefcbb10},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Martugin/08,
AUTHOR = {Martugin, P.V.},
TITLE = {A series of slowly synchronizing automata with a zero state over a small alphabet},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1197-1203},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {synchronization, automata, reset words},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SPC0N0-3/2/b91bd0c4e1754347f3d7018b84df964c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Messerschmidt-Otto/08,
AUTHOR = {Messerschmidt, Hartmut and Otto, Friedrich},
TITLE = {On determinism versus nondeterminism for restarting automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1204-1218},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SPC0N0-4/2/84c0c76d9eaeeaba835af7e88289adab},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Nomikos-Rondogiannis/08,
AUTHOR = {Nomikos, Christos and Rondogiannis, Panos},
TITLE = {Locally stratified Boolean grammars},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1219-1233},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SPC0N0-5/2/1d99bdbeb2cc02ebce1c66299d4d68c0},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Okhotin/08,
AUTHOR = {Okhotin, Alexander},
TITLE = {Unambiguous Boolean grammars},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1234-1247},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {boolean grammars, conjunctive grammars, ambiguity, parsing},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SPJ1SS-1/2/9559bfb67163cb97013f2340550e27b4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Stiebe/08,
AUTHOR = {Stiebe, Ralf},
TITLE = {Slender Siromoney matrix languages},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {9-10},
PAGES = {1248-1258},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {two-dimensional languages, pattern matching, decidability, slender languages},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SPJ1SS-2/2/214bdff6b88ffecfde9fbc4e22b9e4ac},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Jancar/08,
AUTHOR = {Jan{\v{c}}ar, Petr},
TITLE = {Bouziane's transformation of the Petri net reachability problem and incorrectness of the related algorithm},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1259-1263},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {petri net, reachability},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SYCPS4-1/2/3f8899c24094724badfb0edc443139f9},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Chlebik-Chlebikova/08,
AUTHOR = {Chleb{\'{i}}k, M. and Chleb{\'{i}}kov{\'a}, J.},
TITLE = {Approximation hardness of dominating set problems in bounded degree graphs},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1264-1275},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4T4Y5TN-1/2/48167c771f370cdf71f8eb8b93499897},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Fraigniaud-Ilcinkas-Pelc/08,
AUTHOR = {Fraigniaud, Pierre and Ilcinkas, David and Pelc, Andrzej},
TITLE = {Tree exploration with advice},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1276-1287},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4T9CCSP-1/2/418f12f2c3f3750372b08b447a73d9e9},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Hung/08,
AUTHOR = {Hung, Ruo-Wei},
TITLE = {Optimal vertex ranking of block graphs},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1288-1302},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {graph algorithms, vertex ranking, edge ranking, trees, block graphs},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4T9VP62-1/2/60e452c6dbfbed3c8facd4a10ffe4cb3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Hermelin-Rawitz-Rizzi-Vialette/08,
AUTHOR = {Hermelin, Danny and Rawitz, Dror and Rizzi, Romeo and Vialette, St{\'e}phane},
TITLE = {The minimum substring cover problem},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1303-1312},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {approximation algorithms, dictionary generation, local-ratio, randomized rounding, substring cover},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SVC5M0-1/2/0a81f1f55a6b075d100f3b1d7c79fa6e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Shoham-Grumberg/08,
AUTHOR = {Shoham, Sharon and Grumberg, Orna},
TITLE = {3-valued abstraction: More precision at less cost},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1313-1333},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4T6CTKX-1/2/bbf63fd4ef03af566b4771994ad153af},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Israeli-Rawitz-Sharon/08,
AUTHOR = {Israeli, Amos and Rawitz, Dror and Sharon, Oran},
TITLE = {On the complexity of sequential rectangle placement in IEEE 802.16/WiMAX systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1334-1345},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {approximation algorithms, ieee 802.16/wimax systems, scheduling, sequential rectangle placement},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4T2S8PP-2/2/be4ebe2a213632310bf97c3532609c61},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Petre-Rogojin/08,
AUTHOR = {Petre, Ion and Rogojin, Vladimir},
TITLE = {Decision problem for shuffled genes},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1346-1352},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {ciliates, gene assembly, intramolecular, simple model, simple dlad, sorting, permutation, dependency graph, decidability},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4T1940J-1/2/b194b8716a7b8e6d5e00e7c774cb58a2},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Bell-Potapov/08,
AUTHOR = {Bell, Paul and Potapov, Igor},
TITLE = {Reachability problems in quaternion matrix and rotation semigroups},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1353-1361},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {quaternions, matrix semigroups, rotation semigroups, membership problem, undecidability, post's correspondence problem},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4SYJS4X-1/2/f5cdb4b55ddd39843d3cd6612d1a94ab},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Akama-Zeugmann/08,
AUTHOR = {Akama, Yohji and Zeugmann, Thomas},
TITLE = {Consistent and coherent learning with $\delta$-delay},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {11},
PAGES = {1362-1374},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {inductive inference, consistency, coherence, characterizations, recursion theory},
URL = {http://www.sciencedirect.com/science/article/B6WGK-4T2S8PP-1/2/8cac7a860c10b940161ea917f12a779c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Takahashi/08,
AUTHOR = {Takahashi, Hayato},
TITLE = {On a definition of random sequences with respect to conditional probability},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {12},
PAGES = {1375-1382},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Fraigniaud-Nisse/08,
AUTHOR = {Fraigniaud, Pierre and Nisse, Nicolas},
TITLE = {Monotony properties of connected visible graph searching},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {12},
PAGES = {1383-1393},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Casagrande-Piazza-Policriti-Mishra/08,
AUTHOR = {Casagrande, Alberto and Piazza, Carla and Policriti, Alberto and Mishra, Bud},
TITLE = {Inclusion dynamics hybrid automata},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {12},
PAGES = {1394-1424},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Hirshfeld-Rabinovich/08,
AUTHOR = {Hirshfeld, Yoram and Rabinovich, Alex},
TITLE = {Decidable metric logics},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {12},
PAGES = {1425-1442},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Japaridze/08,
AUTHOR = {Japaridze, Giorgi},
TITLE = {Sequential operators in computability logic},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {12},
PAGES = {1443-1475},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Doberkat/08,
AUTHOR = {Doberkat, Ernst-Erich},
TITLE = {Erratum and Addendum to``Eilenberg-Moore algebras for stochastic relations''},
JOURNAL = {Inf.~Comput.},
VOLUME = {206},
NUMBER = {12},
PAGES = {1476-1484},
YEAR = {2008},
EDITOR = {Meyer, Albert R.},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
NOTE = {Originally in Inf.~Comput., Vol. 204, 2006, No. 12, 1756-1781},
}