@article{Bhatia-Immorlica-Kimbrel-Mirrokni-Naor-Schieber/08, AUTHOR = {Bhatia, Randeep and Immorlica, Nicole and Kimbrel, Tracy and Mirrokni, Vahab S. and Naor, Joseph (Seffi) and Schieber, Baruch}, TITLE = {Traffic engineering of management flows by link augmentations on confluent trees}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {1}, PAGES = {2-26}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9010-0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Awerbuch-Azar-Lotker-Patt-Shamir-Tuttle/08, AUTHOR = {Awerbuch, Baruch and Azar, Yossi and Lotker, Zvi and Patt-Shamir, Boaz and Tuttle, Mark R.}, TITLE = {Collaborate with strangers to find own preferences}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {1}, PAGES = {27-41}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9016-7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Chatzigiannakis-Kinalis-Nikoletseas/08, AUTHOR = {Chatzigiannakis, Ioannis and Kinalis, Athanasios and Nikoletseas, Sotiris}, TITLE = {Adaptive energy management for incremental deployment of heterogeneous wireless sensors}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {1}, PAGES = {42-72}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9011-z}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Sankowski/08a, AUTHOR = {Sankowski, Piotr}, TITLE = {Processor efficient parallel matching}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {1}, PAGES = {73-90}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9018-5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Gairing-Monien-Tiemann/08, AUTHOR = {Gairing, Martin and Monien, Burkhard and Tiemann, Karsten}, TITLE = {Selfish routing with incomplete information}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {1}, PAGES = {91-130}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9015-8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Hitchcock-Pavan-Vinodchandran/08, AUTHOR = {Hitchcock, John M. and Pavan, A. and Vinodchandran, N.V.}, TITLE = {Partial bi-immunity, scaled dimension, and $NP$-completeness}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {2}, PAGES = {131-142}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9000-2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Aronov-Asano-Kikuchi-Nandy-Sasahara-Uno/08, AUTHOR = {Aronov, Boris and Asano, Tetsuo and Kikuchi, Yosuke and Nandy, Subhas C. and Sasahara, Shinji and Uno, Takeaki}, TITLE = {A generalization of magic squares with applications to digital halftoning}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {2}, PAGES = {143-156}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9005-x}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Wartena/08, AUTHOR = {Wartena, Christian}, TITLE = {Storage products and linear control of derivations}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {2}, PAGES = {157-186}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9053-2}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Koizumi-Mizuki-Nishizeki/08, AUTHOR = {Koizumi, Koichi and Mizuki, Takaaki and Nishizeki, Takao}, TITLE = {A revised transformation protocol for unconditionally secure secret key exchange}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {2}, PAGES = {187-221}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9052-3}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Okun-Barak/08, AUTHOR = {Okun, Michael and Barak, Amnon}, TITLE = {Efficient algorithms for anonymous byzantine agreement}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {2}, PAGES = {222-238}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9006-9}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Creignou-Hermann-Krokhin-Salzer/08, AUTHOR = {Creignou, Nadia and Hermann, Miki and Krokhin, Andrei and Salzer, Gernot}, TITLE = {Complexity of clausal constraints over chains}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {2}, PAGES = {239-255}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9003-z}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Glasser-Schmitz/08, AUTHOR = {Gla{\ss}er, Christian and Schmitz, Heinz}, TITLE = {Languages of dot-depth 3/2}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {2}, PAGES = {256-286}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9002-0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Asahiro-Miyano-Shimoirisa/08, AUTHOR = {Asahiro, Yuichi and Miyano, Eiji and Shimoirisa, Shinichi}, TITLE = {Grasp and delivery for moving objects on broken lines}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {3}, PAGES = {289-305}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9081-y}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{van_Bakel-deLiguoro/08, AUTHOR = {van Bakel, Steffen and de'Liguoro, Ugo}, TITLE = {Logical equivalence for subtyping object and recursive types}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {3}, PAGES = {306-348}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9079-5}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Kopelowitz-Porat/08, AUTHOR = {Kopelowitz, Tsvi and Porat, Ely}, TITLE = {Improved algorithms for polynomial-time decay andtime-decay with additive error}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {3}, PAGES = {349-365}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9031-8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Jamroga-Dix/08, AUTHOR = {Jamroga, Wojciech and Dix, J{\"u}rgen}, TITLE = {Model checking abilities of agents: A closer look}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {3}, PAGES = {366-410}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9080-z}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Mantaci-Restivo-Rosone-Sciortino/08, AUTHOR = {Mantaci, S. and Restivo, A. and Rosone, G. and Sciortino, M.}, TITLE = {A new combinatorial approach to sequence comparison}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {3}, PAGES = {411-429}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9078-6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Epstein-Ganot/08, AUTHOR = {Epstein, Leah and Ganot, Arik}, TITLE = {Optimal on-line algorithms to minimize makespan on two machines with resource augmentation}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {431-449}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9007-8}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Bernasconi-Ciriani-Luccio-Pagli/08, AUTHOR = {Bernasconi, Anna and Ciriani, Valentina and Luccio, Fabrizio and Pagli, Linda}, TITLE = {Synthesis of autosymmetric functions in a new three-level form}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {450-464}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9009-6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Adler-Gong-Rosenberg/08, AUTHOR = {Adler, Micah and Gong, Ying and Rosenberg, Arnold L.}, TITLE = {On ``exploiting'' node-heterogeneous clusters optimally}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {465-487}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9001-1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Jurdzinski-Otto-Mraz-Platek/08, AUTHOR = {Jurdzi{\'n}ski, Tomasz and Otto, Friedrich and Mr{\'a}z, Franti{\v{s}}ek and Pl{\'a}tek, Martin}, TITLE = {On the complexity of 2-monotone restarting automata}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {488-518}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9004-y}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Herley-Pietracaprina-Pucci/08, AUTHOR = {Herley, Kieran T. and Pietracaprina, Andrea and Pucci, Geppino}, TITLE = {Store-and-forward multicast routing on the mesh}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {519-535}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9008-7}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Genest-Muscholl/08, AUTHOR = {Genest, Blaise and Muscholl, Anca}, TITLE = {Pattern matching and membership for hierarchical message sequence charts}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {536-567}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9054-1}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Balcazar-Dai-Tanaka-Watanabe/08, AUTHOR = {Balc{\'a}zar, Jos{\'e} L. and Dai, Yang and Tanaka, Junichi and Watanabe, Osamu}, TITLE = {Provably fast training algorithms for support vector machines}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {568-595}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9094-6}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Pavan-Vinodchandran/08, AUTHOR = {Pavan, A. and Vinodchandran, N.V.}, TITLE = {Relations between average-case and worst-case complexity}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {596-607}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9071-0}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Droste-Gastin/08, AUTHOR = {Droste, Manfred and Gastin, Paul}, TITLE = {On aperiodic and star-free formal power series in partially commuting variables}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {608-631}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9064-z}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, } @article{Flammini-Moscardelli-Navarra-Perennes/08, AUTHOR = {Flammini, Michele and Moscardelli, Luca and Navarra, Alfredo and P{\'e}rennes, St{\'e}phane}, TITLE = {Asymptotically optimal solutions for small world graphs}, JOURNAL = {Theory of Computing Systems}, VOLUME = {42}, NUMBER = {4}, PAGES = {632-650}, YEAR = {2008}, EDITOR = {Selman, Alan L.}, URL = {http://dx.doi.org/10.1007/s00224-007-9073-y}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, }