@article{Ghari/14,
AUTHOR = {Ghari, Meghdad},
TITLE = {Distributed knowledge justification logics},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {1-40},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9492-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bille-Gortz-Vildhoj-Vind/14,
AUTHOR = {Bille, Philip and G{\o}rtz, Inge Li and Vildh{\o}j, Hjalte Wedel and Vind, S{\o}ren},
TITLE = {String indexing for patterns with wildcards},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {41-60},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9498-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Chopin-Nichterlein-Niedermeier-Weller/14,
AUTHOR = {Chopin, Morgan and Nichterlein, Andr{\'e} and Niedermeier, Rolf and Weller, Mathias},
TITLE = {Constant thresholds can make target set selection tractable},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {61-83},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9499-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Manea-Truthe/14,
AUTHOR = {Manea, Florin and Truthe, Bianca},
TITLE = {Accepting networks of evolutionary processors with subregular filters},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {84-109},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9502-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gall-Jacob-Richa-Scheideler-Schmid-Taubig/14,
AUTHOR = {Gall, Dominik and Jacob, Riko and Richa, Andrea and Scheideler, Christian and Schmid, Stefan and T{\"a}ubig, Hanjo},
TITLE = {A note on the parallel runtime of self-stabilizing graph linearization},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {110-135},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9504-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Czerwinski-Hofman-Lasota/14,
AUTHOR = {Czerwi{\'n}ski, Wojciech and Hofman, Piotr and Lasota, S{\l}awomir},
TITLE = {Decidability of branching bisimulation on normed commutative context-free processes},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {136-169},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9505-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Yamakami/14b,
AUTHOR = {Yamakami, Tomoyuki},
TITLE = {Constant unary constraints and symmetric real-weighted counting constraint satisfaction problems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {170-201},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9518-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Fung-Poon-Zheng/14,
AUTHOR = {Fung, Stanley P.Y. and Poon, Chung Keung and Zheng, Feifeng},
TITLE = {Improved randomized online scheduling of intervals and jobs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {202-228},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9528-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kavitha/14a,
AUTHOR = {Kavitha, Telikepalli},
TITLE = {Dynamic matrix rank with partial lookahead},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {229-249},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-014-9531-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kanazawa-Kobele-Michaelis-Salvat-Yoshinaka/14,
AUTHOR = {Kanazawa, Makoto and Kobele, Gregory M. and Michaelis, Jens and Salvat, Sylvein and Yoshinaka, Ryo},
TITLE = {The failure of the strong pumping lemma for multiple context-free languages},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {1},
PAGES = {250-278},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-014-9534-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Aaronson/14,
AUTHOR = {Aaronson, Scott},
TITLE = {The equivalence of sampling and searching},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {2},
PAGES = {281-298},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9527-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Musatov/14,
AUTHOR = {Musatov, Daniil},
TITLE = {Improving the space-bounded version of Muchnik's conditional complexity theorem via ``naive'' derandomization},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {2},
PAGES = {299-312},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9432-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Romashchenko/14,
AUTHOR = {Romashchenko, Andrei},
TITLE = {Pseudo-random graphs and bit probe schemes with one-sided error},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {2},
PAGES = {313-329},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9425-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Meer/14,
AUTHOR = {Meer, Klaus},
TITLE = {An extended tree-width notion for directed graphs related to the computation of permanents},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {2},
PAGES = {330-346},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9490-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Georgiadis-Nikolopoulos-Palios/14,
AUTHOR = {Georgiadis, Loukas and Nikolopoulos, Stavros D. and Palios, Leonidas},
TITLE = {Join-reachability problems in directed graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {2},
PAGES = {347-379},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9450-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Hansen-Ibsen-Jensen-Miltrsen/14,
AUTHOR = {Hansen, Kristoffer Arnsfelt and Ibsen-Jensen, Rasmus and Miltrsen, Peter Bro},
TITLE = {The complexity of solving reachability games using value and strategy iteration},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {2},
PAGES = {380-403},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9524-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Chattopadhyay-Gavalda-Hansen-Therien/14,
AUTHOR = {Chattopadhyay, Arkadev and Gavald{\`a}, Ricard and Hansen, Kristoffer Arnsfelt and Th{\'e}rien, Denis},
TITLE = {Learning read-constant polynomials of constant degree modulo composites},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {2},
PAGES = {404-420},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9488-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kapoutsis/14,
AUTHOR = {Kapoutsis, Christos A.},
TITLE = {Two-way automata versus logarithmic space},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {2},
PAGES = {421-447},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9465-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Aspnes-Ellen/14,
AUTHOR = {Aspnes, James and Ellen, Faith},
TITLE = {Tight bounds for adopt-commit objects},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {3},
PAGES = {451-474},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9448-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Fatourou-Kallimanis/14,
AUTHOR = {Fatourou, Panagiota and Kallimanis, Nikolaos D.},
TITLE = {Highly-efficient wait-free synchronization},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {3},
PAGES = {475-520},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9491-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Blelloch-Gupta-Koutis-Miller-Peng-Tangwongsan/14,
AUTHOR = {Blelloch, Guy E. and Gupta, Anupam and Koutis, Ioannis and Miller, Gary L. and Peng, Richard and Tangwongsan, Kanat},
TITLE = {Nearly-linear work parallel SDD solvers, low-diameter decomposition, and low-stretch subgraphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {3},
PAGES = {521-554},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9444-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Pankratius-Adl-Tabatabai/14,
AUTHOR = {Pankratius, Victor and Adl-Tabatabai, Ali-Reza},
TITLE = {Software engineering with transactional memory versus locks in practice},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {3},
PAGES = {555-590},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9452-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kniesburges-Koutsopoulos-Scheideler/14,
AUTHOR = {Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian},
TITLE = {Re-Chord: A self-stabilizing chord overlay network},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {3},
PAGES = {591-612},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9431-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Hajiaghayi-Khandekar-Kortsarz-Liaghat/14,
AUTHOR = {Hajiaghayi, Mohammad Taghi and Khandekar, Rohit and Kortsarz, Guy and Liaghat, Vahit},
TITLE = {On a local protocol for concurrent file transfers},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {3},
PAGES = {613-636},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9500-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Mucha/14,
AUTHOR = {Mucha, Marcin},
TITLE = {TeX-approximation for graphic TSP},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {4},
PAGES = {640-657},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9439-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Doerr-Winzen/14b,
AUTHOR = {Doerr, Benjamin and Winzen, Carola},
TITLE = {Playing Mastermind with constant-size memory},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {4},
PAGES = {658-684},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9438-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Jez/14b,
AUTHOR = {Je{\.z}, Artur},
TITLE = {The complexity of compressed membership problems for finite automata},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {4},
PAGES = {685-718},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9443-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Chan-Durocher-Larsen-Morrison-Wilkinson/14,
AUTHOR = {Chan, Timothy M. and Durocher, Stephane and Larsen, Kasper Green and Morrison, Jason and Wilkinson, Bryan T.},
TITLE = {Linear-space data structures for range mode query in arrays},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {4},
PAGES = {719-741},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9455-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Laun/14,
AUTHOR = {Laun, J{\"u}rn},
TITLE = {Efficient algorithms for highly compressed data: The word problem in generalized Higman groups is in P},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {4},
PAGES = {742-770},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9509-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Broadbent/14,
AUTHOR = {Broadbent, Christopher H.},
TITLE = {On first-order logic and CPDA graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {4},
PAGES = {771-832},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-014-9533-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Arnold-Michalewski-Niwinski/14,
AUTHOR = {Arnold, Andr{\'e} and Michalewski, Henryk and Niwi{\'n}ski, Damian},
TITLE = {On the separation question for tree languages},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {4},
PAGES = {833-855},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9461-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Zaid-Gradel-Kaiser-Pakusa/14,
AUTHOR = {Zaid, Faried Abu and Gr{\"a}del, Erich and Kaiser, {\L}ukasz and Pakusa, Wied},
TITLE = {Model-theoretic properties of $\omega$-automatic structures},
JOURNAL = {Theory of Computing Systems},
VOLUME = {55},
NUMBER = {4},
PAGES = {856-880},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9508-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Ahmad-Baca-Siddiqui/14,
AUTHOR = {Ahmad, Ali and Ba{\v{c}}a, Martin and Siddiqui, Muhammad Kamran},
TITLE = {On edge irregular total labeling of categorical product of two cycles},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {1},
PAGES = {1-12},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9470-3 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Liang/14,
AUTHOR = {Liang, Hongyu},
TITLE = {Optimal collapsing protocol for multiparty pointer jumping},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {1},
PAGES = {13-23},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9476-x parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Greiner-Nonner-Souza/14,
AUTHOR = {Greiner, Gero and Nonner, Tim and Souza, Alexander},
TITLE = {The bell is ringing in speed-scaled multiprocessor scheduling},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {1},
PAGES = {24-44},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9477-9 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bousquet-Goncalves-Mertzios-Paul-Sau-Thomasse/14,
AUTHOR = {Bousquet, Nicolas and Gon{\c{c}}alves, Daniel and Mertzios, George B. and Paul, Christophe and Sau, Ignasi and Thomass{\'e}, St{\'e}phane},
TITLE = {Parameterized domination in circle graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {1},
PAGES = {45-72},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9478-8 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Cygan-Lokshtanov-Pilipczuk-Plipczuk-Saurabh/14,
AUTHOR = {Cygan, Marek and Lokshtanov, Daniel and Pilipczuk, Marcin and Plipczuk, Micha{\l} and Saurabh, Saket},
TITLE = {On the hardness of losing width},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {1},
PAGES = {73-82},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9480-1 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gabarro-Garcia-Serna/14,
AUTHOR = {Gabarro, Joaquim and Garcia, Alina and Serna, Maria},
TITLE = {Computational aspects of uncertainty profiles and angel-daemon games},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {1},
PAGES = {83-110},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9481-0 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Ferte-Marin-Senizergues/14,
AUTHOR = {Fert{\'e}, Julien and Marin, Nathalie and S{\'e}nizergues, G{\'e}raud},
TITLE = {Word-mappings of level 2},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {1},
PAGES = {111-148},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9489-5 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Brihaye-Bruyere-De_Pril/14,
AUTHOR = {Brihaye, Thomas and Bruy{`e}re, V{\'e}ronique and De Pril, Julie},
TITLE = {On equilibria in quantitative games with reachability/safety objectives},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {150-189},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9495-7 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Yu/14,
AUTHOR = {Yu, Junhua},
TITLE = {Prehistoric graph in modal derivations and self-referentiality},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {190-210},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9510-z parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Berlinkov/14,
AUTHOR = {Berlinkov, Mikhail V.},
TITLE = {Approximating the minimum length of synchronizing words is hard},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {211-223},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9511-y parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Shur/14a,
AUTHOR = {Shur, Arseny M.},
TITLE = {Growth of power-free languages over large alphabets},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {224-243},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9512-x parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Johnson-Patel-Paulusma-Trunck/14,
AUTHOR = {Johnson, Matthew and Patel, Viresh and Paulusma, Dani{\"e}l and Trunck, Th{\'e}ophile},
TITLE = {Obtaining online ecological colourings by generalizing first-fit},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {244-260},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9513-9 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Itsykson/14,
AUTHOR = {Itsykson, Dmitry},
TITLE = {Lower bound on average-case complexity of inversion of Goldreich's function by drunken backtracking algorithms},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {261-276},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9514-8 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Brzozowski-Jiraskova-Zou/14,
AUTHOR = {Brzozowski, Janusz and Jir{\'a}skov{\'a}, Galina and Zou, Chenglong},
TITLE = {Quotient complexity of closed languages},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {277-292},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9515-7 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Martyugin/14,
AUTHOR = {Martyugin, Pavel},
TITLE = {Computational complexity of certain problems related to carefully synchronizing words for partial automata and directing words for nondeterministic automata},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {293-304},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9516-6 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Vereshchagin/14,
AUTHOR = {Vereshchagin, Nikolay},
TITLE = {Encoding invariance in average case complexity},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {305-317},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9517-5 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Jansen-Sarma/14,
AUTHOR = {Jansen, Maurice and Sarma, Jayalal},
TITLE = {Balancing bounded treewidth circuits},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {318-336},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9519-3 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gawrychowski-Jez-Jez/14,
AUTHOR = {Gawrychowski, Pawe{\l} and Je{\.z}, Artur and Je{\.z}, {\L}ukasz},
TITLE = {Validating the Knuth-Morris-Pratt failure function, fast and online},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {2},
PAGES = {337-372},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9522-8 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Koutsoupias/14,
AUTHOR = {Koutsoupias, Elias},
TITLE = {Scheduling without payments},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {3},
PAGES = {375-387},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9473-0 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Jain-Menache-Naor-Yaniv/14,
AUTHOR = {Jain, Navendu and Menache, Ishai and Naor, Joseph (Seffi) and Yaniv, Jonathan},
TITLE = {A truthful mechanism for value-based scheduling in cloud computing},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {3},
PAGES = {388-406},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9449-0 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Anshelevich-Hate-Kar/14,
AUTHOR = {Anshelevich, Elliot and Hate, Ameya and Kar, Koushik},
TITLE = {Strategic pricing in next-hop routing with elastic demands},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {3},
PAGES = {407-430},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9435-y parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Engelberg-Schapira/14,
AUTHOR = {Engelberg, Roee and Schapira, Michael},
TITLE = {Weakly-acyclic (Internet) routing games},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {3},
PAGES = {431-452},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9474-z parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Arnon-Mansour/14,
AUTHOR = {Arnon, Asaph and Mansour, Yishay},
TITLE = {Repeated budgeted second price ad auction},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {3},
PAGES = {453-478},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9472-1 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Panagopoulou-Spirakis/14,
AUTHOR = {Panagopoulou, Panagiota N. and Spirakis, Paul G.},
TITLE = {Random bimatrix games are asymptotically easy to solve (a simple proof)},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {3},
PAGES = {479-490},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9446-3 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bilo-Mavronicolas/14,
AUTHOR = {Bil{\`o}, Vittorio and Mavronicolas, Marios},
TITLE = {Complexity of rational and irrational Nash equilibria},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {3},
PAGES = {491-527},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9523-7 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Demaine-Demaine-Minsky-Mitchell-Rivest-Patrascu/14,
AUTHOR = {Demaine, Erik D. and Demaine, Martin L. and Minsky, Yair N. and Mitchell, Joseph S.B. and Rivest, Ronald L. and P{\v{a}}tra{\c{s}}cu, Mihai},
TITLE = {Picture-hanging puzzles},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {531-550},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9501-0 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Stevens-Williams/14,
AUTHOR = {Stevens, Brett and Williams, Aaron},
TITLE = {The coolest way to generate binary strings},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {551-577},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9486-8 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Cicalese/14,
AUTHOR = {Cicalese, Ferdinando},
TITLE = {Perfect strategies for the Ulam-R{\'e}nyi game with multi-interval questions},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {578-594},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9487-7 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Viglietta/14,
AUTHOR = {Viglietta, Giovanni},
TITLE = {Gaming is a hard job, but someone has to do it!},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {595-621},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9497-5 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Dobrev-Narayanan-Opatrny/14,
AUTHOR = {Dobrev, Stefan and Narayanan, Lata and Opatrny, Jaroslav},
TITLE = {Optimal sensor networks for area monitoring using rotating and beam sensors},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {622-639},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9483-y parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gethner-Kirkpatrick-Pippenger/14,
AUTHOR = {Gethner, Ellen and Kirkpatrick, David G. and Pippenger, Nicholas J.},
TITLE = {Computational aspects of M.C. Escher's ribbon patterns},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {640-658},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9485-9 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Lang/14,
AUTHOR = {Lang, Kevin J.},
TITLE = {Practical algorithms for generating a random ordering of the elements of a weighted set},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {659-688},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9496-6 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Alt-Arkin-Efrat-Hart-Hurtado-Kostitsyna-Kroller-Mitchell-Polishchuk/14,
AUTHOR = {Alt, Helmut and Arkin, Esther M. and Efrat, Alon and Hart, George and Hurtado, Ferran and Kostitsyna, Irina and Kr{\"o}ller, Alexander and Mitchell, Joseph S.B. and Polishchuk, Valentin},
TITLE = {Scandinavian thins on top of cake: New and improved algorithms for stacking and packing},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {689-714},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9493-9 parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bender-Bose-Chowdhury-McCauley/14,
AUTHOR = {Bender, Michael A. and Bose, Ritwik and Chowdhury, Rezaul and McCauley, and Samuel},
TITLE = {The kissing problem: How to end a gathering when everyone kisses everyone else goodbye},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {715-730},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9484-x parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Meeks-Scott/14,
AUTHOR = {Meeks, Kitty and Scott, Alexander},
TITLE = {Spanning trees and the complexity of flood-filling games},
JOURNAL = {Theory of Computing Systems},
VOLUME = {54},
NUMBER = {4},
PAGES = {731-753},
YEAR = {2014},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-013-9482-z parentDoi=},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}