@article{Ghosh-Mahdian/12, AUTHOR = {Ghosh, Arpita and Mahdian, Mohammad}, TITLE = {Christmas gift exchange games}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {3-19}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/n556022v23580385/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Ruskey-Williams/12, AUTHOR = {Ruskey, Frank and Williams, Aaron}, TITLE = {The feline Josephus problem}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {20-34}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/q215817845641u07/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Burcsi-Cicalese-Fici-Liptak/12a, AUTHOR = {Burcsi, P{\'e}ter and Cicalese, Ferdinando and Fici, Gabriele and Lipt{\'a}k, Zsuzsanna}, TITLE = {On approximate jumbled pattern matching in strings}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {35-51}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/y17tv0u720174402/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Focardi-Luccio/12, AUTHOR = {Focardi, Riccardo and Luccio, Flaminia L.}, TITLE = {Guessing bank PINs by winning a mastermind game}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {52-71}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/25v217108149776l/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Clifford-Jalsenius-Montanaro-Sach/12, AUTHOR = {Clifford, Rapha{\"e}l and Jalsenius, Markus and Montanaro, Ashley and Sach, Benjamin}, TITLE = {The complexity of flood filling games}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {72-92}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/p71w879026490t82/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Kostitsyna-Polishchuk/12, AUTHOR = {Kostitsyna, Irina and Polishchuk, Valentin}, TITLE = {Simple wriggling is hard unless you are a fat hippo}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {93-110}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/55q2687968657180/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Asano/12, AUTHOR = {Asano, Tetsuo}, TITLE = {In-place algorithm for erasing a connected component in a binary image}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {111-123}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/n26k80282mm62266/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Tamir/12, AUTHOR = {Tamir, Tami}, TITLE = {Scheduling with bully selfish jobs}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {124-146}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/76775637266w3781/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Kranakis-Krizanc/12, AUTHOR = {Kranakis, Evangelos and Krizanc, Danny}, TITLE = {Maintaining privacy on a line}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {147-157}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/q8311n1155936055/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Flocchini-Kellett-Mason-Santoro/12, AUTHOR = {Flocchini, Paola and Kellett, Matthew and Mason, Peter C. and Santoro, Nicola}, TITLE = {Searching for black holes in subways}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {158-184}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/r18w622860113785/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Elmasry-Jensen-Katajainen/12, AUTHOR = {Elmasry, Amr and Jensen, Claus and Katajainen, Jyrki}, TITLE = {Two skew-binary numeral systems and one application}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {1}, PAGES = {185-211}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/577h18345p828423/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Bielecki-Hidders-Paredaens-Spielmann-Tyszkiewicz-Van_den_Bussche/12, AUTHOR = {Bielecki, Micha{\l} and Hidders, Jan and Paredaens, Jan and Spielmann, Marc and Tyszkiewicz, Jerzy and Van den Bussche, Jan}, TITLE = {The navigational power of web browsers}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {2}, PAGES = {213-240}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/u4j8622gp91v7g03/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Fulop-Stuber-Vogler/12, AUTHOR = {F{\"u}l{\"o}p, Zolt{\'a}n and St{\"u}ber, Torsten and Vogler, Heiko}, TITLE = {A B{\"u}chi-like theorem for weighted tree automata over multioperator monoids}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {2}, PAGES = {241-278}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/764039737460854r/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Mandelbrod/12, AUTHOR = {Mandelbrod, Matan}, TITLE = {Layered hashing algorithm for real-time systems}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {2}, PAGES = {279-295}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/g271t221n70h4p87/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Vyugin/12, AUTHOR = {V'yugin, Vladimir}, TITLE = {On empirical meaning of randomness with respect to parametric families of probability distributions}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {2}, PAGES = {296-312}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/55621584j1630w3v/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Bergstra-Middelburg/12a, AUTHOR = {Bergstra, J.A. and Middelburg, C.A.}, TITLE = {On the expressiveness of single-pass instruction sequences}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {2}, PAGES = {313-328}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/l3278k70k2w42427/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Bova-Chen-Valeriote/12, AUTHOR = {Bova, Simone and Chen, Hubie and Valeriote, Matthew}, TITLE = {On the expression complexity of equivalence and isomorphism of primitive positive formulas}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {2}, PAGES = {329-353}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/0581503ll224245n/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Andreev-McNicholl/12, AUTHOR = {Andreev, Valentin V. and McNicholl, Timothy H.}, TITLE = {Computing conformal maps of finitely connected domains onto canonical slit domains}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {2}, PAGES = {354-369}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/t51316781m56gp75/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Couch-Daniel-McNicholl/12, AUTHOR = {Couch, P.J. and Daniel, B.D. and McNicholl, Timothy H.}, TITLE = {Computing space-filling curves}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {2}, PAGES = {370-386}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/y36u771666p318t3/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Cerda-Uguet-Schellekens-Valero/12, AUTHOR = {Cerd{\`a}-Uguet, M.A. and Schellekens, M.P. and Valero, O.}, TITLE = {The baire partial quasi-metric space: A mathematical tool for asymptotic complexity analysis in computer science}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {2}, PAGES = {387-399}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/u7023n052622k106/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Thomas/12a, AUTHOR = {Thomas, Michael}, TITLE = {The complexity of circumscriptive inference in Post's lattice}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {3}, PAGES = {401-419}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/w36754335l406083/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Bodlaender-Fomin-Koster-Kratsch-Thilikos/12, AUTHOR = {Bodlaender, Hans L. and Fomin, Fedor V. and Koster, Arie M.C.A. and Kratsch, Dieter and Thilikos, Dimitrios M.}, TITLE = {A note on exact algorithms for vertex ordering problems on graphs}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {3}, PAGES = {420-432}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/4152542rp012x102/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Cai-Izumi-Wada/12, AUTHOR = {Cai, Shukai and Izumi, Taisuke and Wada, Koichi}, TITLE = {How to prove impossibility under global fairness: On space complexity of self-stabilizing leader election on a population protocol model}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {3}, PAGES = {433-445}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/8362153018354vn5/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Durand-Hermann-Nordh/12, AUTHOR = {Durand, Arnaud and Hermann, Miki and Nordh, Gustav}, TITLE = {Trichotomies in the complexity of minimal inference}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {3}, PAGES = {446-491}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/274276r5u3047570/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Bille/12, AUTHOR = {Bille, Philip}, TITLE = {Faster approximate string matching for short patterns}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {3}, PAGES = {492-515}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/70412ql177707460/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Gal-Trifonov/12, AUTHOR = {G{\'a}l, Anna and Trifonov, Vladimir}, TITLE = {On the correlation between parity and modular polynomials}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {3}, PAGES = {516-536}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/xth57831h9054646/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Haque/12, AUTHOR = {Haque, Khandoker Mohammed Mominul}, TITLE = {Irregular total labellings of generalized Petersen graphs}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {3}, PAGES = {537-544}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/b6355r284v3202m5/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Ghasemalizadeh-Razzazi/12, AUTHOR = {Ghasemalizadeh, Hossein and Razzazi, Mohammadreza}, TITLE = {An improved approximation algorithm for the most points covering problem}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {3}, PAGES = {545-558}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/16jr1nkhr5086364/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Fotakis-Gkatzelis-Kaporis-Spirakis/12, AUTHOR = {Fotakis, Dimitris and Gkatzelis, Vasilis and Kaporis, Alexis C. and Spirakis, Paul G.}, TITLE = {The impact of social ignorance on weighted congestion games}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {3}, PAGES = {559-578}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/l62502lnj22h1840/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{McNicholl/12, AUTHOR = {McNicholl, Timothy H.}, TITLE = {An effective Carath{\'e}odory theorem}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {4}, PAGES = {579-588}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/6312102257358j26/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Caragiannis-Kaklamanis-Kanellopoulos-Kyropoulou/12a, AUTHOR = {Caragiannis, Ioannis and Kaklamanis, Christos and Kanellopoulos, Panagiotis and Kyropoulou, Maria}, TITLE = {The efficiency of fair division}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {4}, PAGES = {589-610}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/w770vv869j114g40/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Fomin-Golovach-Lokshtanov/12, AUTHOR = {Fomin, Fedor V. and Golovach, Petr A. and Lokshtanov, Daniel}, TITLE = {Cops and robber game without recharging}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {4}, PAGES = {611-620}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/eqq6824lk3718476/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Daniel-McNicholl/12, AUTHOR = {Daniel, Dale and McNicholl, Timothy H.}, TITLE = {Effective versions of local connectivity properties}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {4}, PAGES = {621-640}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/31w7x32v2q787q3v/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{van_Leeuwen-van_Leeuwen/12, AUTHOR = {van Leeuwen, Erik Jan and van Leeuwen, Jan}, TITLE = {Structure of polynomial-time approximation}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {4}, PAGES = {641-674}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/a15062861v851112/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Fellows-Gaspers-Rosamond/12, AUTHOR = {Fellows, Michael R. and Gaspers, Serge and Rosamond, Frances A.}, TITLE = {Parameterizing by the number of numbers}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {4}, PAGES = {675-693}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/50156u7135785j38/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Burgin-Gupta/12, AUTHOR = {Burgin, Mark and Gupta, Bidyut}, TITLE = {Second-level algorithms, superrecursivity, and recovery problem in distributed systems}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {4}, PAGES = {694-705}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/402u0961jul21776/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Bergstra-Bethke/12, AUTHOR = {Bergstra, Jan A. and Bethke, Inge}, TITLE = {On the contribution of backward jumps to instruction sequence expressiveness}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {4}, PAGES = {706-720}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/r8t53xu8673150w8/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, } @article{Hung/12, AUTHOR = {Hung, Ruo-Wei}, TITLE = {Linear-time algorithm for the paired-domination problem in convex bipartite graphs}, JOURNAL = {Theory of Computing Systems}, VOLUME = {50}, NUMBER = {4}, PAGES = {721-738}, YEAR = {2012}, EDITOR = {Selman, Alan L.}, URL = {http://springerlink.metapress.com/content/a80u6845670n8463/fulltext.pdf}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, NOTE = {formerly Mathematical Systems Theory}, }