@article{Fernandez_Anta-Lopez-Presa-Lorenzo-Manzano-Martinez-Romo-Mozo-Puig-Centelles-Santos-Thraves/11,
AUTHOR = {Fern{\'a}ndez Anta, Antonio and L{\'o}pez-Presa, Jos{\'e} Luis and Lorenzo, M. Araceli and Manzano, Pilar and Martinez-Romo, Juan and Mozo, Alberto and Puig-Centelles, Anna and Santos, Agust{\'{i}}n and Thraves, Christopher},
TITLE = {Performance of scheduling policies in adversarial networks with non-synchronized clocks},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {1-22},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/y65285168406m164/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Droste-Vogler/11,
AUTHOR = {Droste, Manfred and Vogler, Heiko},
TITLE = {Weighted logics for unranked tree automata},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {23-47},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/f51v473k44882674/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Fichtner/11,
AUTHOR = {Fichtner, Ina},
TITLE = {Weighted picture automata and weighted logics},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {48-78},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/88013pj637674647/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Epstein-van_Stee/11,
AUTHOR = {Epstein, Leah and van Stee, Rob},
TITLE = {Improved results for a memory allocation problem},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {79-92},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/4u42j3mt9h31618l/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Goller-Lohrey/11a,
AUTHOR = {G{\"o}ller, Stefan and Lohrey, Markus},
TITLE = {Fixpoint logics over hierarchical structures},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {93-131},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/l040u4g82m6nr643/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Dolev-Kopeetsky-Shamir/11,
AUTHOR = {Dolev, Shlomi and Kopeetsky, Marina and Shamir, Adi},
TITLE = {RFID authentication efficient proactive information security with computational security},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {132-149},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/e2528046gv541121/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Williams/11a,
AUTHOR = {Williams, Ryan},
TITLE = {Parallelizing time with polynomial circuits},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {150-169},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/m858jt341u2hv540/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bollig-Klump/11,
AUTHOR = {Bollig, Beate and Klump, Jochen},
TITLE = {New results on the most significant bit of integer multiplication},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {170-188},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/l153v08743146030/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Sakai/11a,
AUTHOR = {Sakai, Yoshifumi},
TITLE = {An almost quadratic time algorithm for sparse spliced alignment},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {189-210},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/h32106353jhm07g6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Blaser-Jakoby-Liskiewicz-Manthey/11,
AUTHOR = {Bl{\"a}ser, Markus and Jakoby, Andreas and Li{\'s}kiewicz, Maciej and Manthey, Bodo},
TITLE = {Privacy in non-private environments},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {1},
PAGES = {211-245},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/u881263312326741/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bauwens-Terwijn/11,
AUTHOR = {Bauwens, Bruno and Terwijn, Sebastiaan A.},
TITLE = {Notes on sum-tests and independence tests},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {247-268},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/l73628581962593k/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bender-Kuszmaul-Teng-Wang/11,
AUTHOR = {Bender, Michael A. and Kuszmaul, Bradley C. and Teng, Shang-Hua and Wang, Kebin},
TITLE = {Optimal cache-oblivious mesh layouts},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {269-296},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/550623841166r322/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Simonsen/11,
AUTHOR = {Simonsen, Jakob Grue},
TITLE = {Beta-shifts, their languages, and computability},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {297-318},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/9vq6335184454153/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Jez-Okhotin/11,
AUTHOR = {Je{\.z}, Artur and Okhotin, Alexander},
TITLE = {Complexity of equations over sets of natural numbers},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {319-342},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/v683t246hl16351v/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Messerschmidt-Otto/11,
AUTHOR = {Messerschmidt, Hartmut and Otto, Friedrich},
TITLE = {A hierarchy of monotone deterministic non-forgetting restarting automata},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {343-373},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/c5rt3024733513n7/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Levi-Litman/11a,
AUTHOR = {Levi, Tamir and Litman, Ami},
TITLE = {The strongest model of computation obeying 0-1 principles},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {374-388},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/q0103m58452g2713/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Chang-Lyuu/11,
AUTHOR = {Chang, Ching-Lueh and Lyuu, Yuh-Dauh},
TITLE = {Spreading of messages in random graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {389-401},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/e77372128g773g06/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gutin-Kim-Lampis-Mitsou/11,
AUTHOR = {Gutin, Gregory and Kim, Eun Jung and Lampis, Michael and Mitsou, Valia},
TITLE = {Vertex cover problem parameterized above and below tight bounds},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {402-410},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/y6818un6w4m13748/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Lohrey-Steinberg/11,
AUTHOR = {Lohrey, Markus and Steinberg, Benjamin},
TITLE = {Tilings and submonoids of Metabelian groups},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {411-427},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/141h9113742k0174/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Ba-Nguyen-Nguyen-Rubinfeld/11,
AUTHOR = {Ba, Khanh Do and Nguyen, Huy L. and Nguyen, Huy N. and Rubinfeld, Ronitt},
TITLE = {Sublinear time algorithms for earth mover's distance},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {2},
PAGES = {428-442},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/q7229880528771m0/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Marx/11b,
AUTHOR = {Marx, D{\'a}niel},
TITLE = {Tractable structures for constraint satisfaction with truth tables},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {444-464},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/y46387rnrg050t03/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gacs-Hoyrup-Rojas/11,
AUTHOR = {G{\'a}cs, Peter and Hoyrup, Mathieu and Rojas, Crist{\'o}bal},
TITLE = {Randomness on computable probability spaces --- A dynamical point of view},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {465-485},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/3q774874623m0nm6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Diekert-Kufleitner/11,
AUTHOR = {Diekert, Volker and Kufleitner, Manfred},
TITLE = {Fragments of first-order logic over infinite words},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {486-516},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/h3g673hhj18241v6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Hromkovic-Schnitger/11,
AUTHOR = {Hromkovi{\v{c}}, Juraj and Schnitger, Georg},
TITLE = {Ambiguity and communication},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {517-534},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/m222n031373271q6/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Alwen-Peikert/11,
AUTHOR = {Alwen, Jo{\"e}l and Peikert, Chris},
TITLE = {Generating shorter bases for hard random lattices},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {535-553},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/h160567384j1m033/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bojanczyk/11a,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj},
TITLE = {Weak MSO with the unbounding quantifier},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {554-576},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/t1957q4465515286/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Ebenlendr-Sgall/11,
AUTHOR = {Ebenlendr, Tom{\'a}{\v{s}} and Sgall, Ji{\v{r}}{\'{i}}},
TITLE = {Semi-online preemptive scheduling: One algorithm for all variants},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {577-613},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/k66u6tv1l7731654/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Beckmann-Lowe/11,
AUTHOR = {Beckmann, Arnold and L{\"o}we, Benedikt},
TITLE = {Computability in Europe 2008},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {614-616},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/e541346005rg7451/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Lathrop-Lutz-Patitz-Summers/11,
AUTHOR = {Lathrop, James I. and Lutz, Jack H. and Patitz, Matthew J. and Summers, Scott M.},
TITLE = {Computability and complexity in self-assembly},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {617-647},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/8lgg72580q169045/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Manasa-Krishna-Jain/11,
AUTHOR = {Manasa, Lakshmi and Krishna, Shankara Narayanan and Jain, Chinmay},
TITLE = {Model checking weighted integer reset timed automata},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {648-679},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/57p5q42443581440/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Soltys-Wilson/11,
AUTHOR = {Soltys, Michael and Wilson, Craig},
TITLE = {On the complexity of computing winning strategies for finite poset games},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {680-692},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/e654690552v70954/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Sablik-Theyssier/11,
AUTHOR = {Sablik, Mathieu and Theyssier, Guillaume},
TITLE = {Topological dynamics of cellular automata: Dimension matters},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {693-714},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/p1151614w5117v3v/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Ciobanu-Krishna/11,
AUTHOR = {Ciobanu, Gabriel and Krishna, Shankara Narayanan},
TITLE = {Enhanced mobile membranes: Computability results},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {3},
PAGES = {715-729},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/15p84507lnn0ljh4/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Mayordomo-Moser-Perifel/11,
AUTHOR = {Mayordomo, Elvira and Moser, Philippe and Perifel, Sylvain},
TITLE = {Polylog space compression, pushdown compression, and Lempel-Ziv are incomparable},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {4},
PAGES = {731-766},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/k823171644839234/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Cheng/11,
AUTHOR = {Cheng, Wen-Chiao},
TITLE = {Conditional fuzzy entropy of maps in fuzzy systems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {4},
PAGES = {767-780},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/048451527344217p/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Harks/11,
AUTHOR = {Harks, Tobias},
TITLE = {Stackelberg strategies and collusion in network games with splittable flow},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {4},
PAGES = {781-802},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/80w124t2g348g1m4/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Chen-Flum-Muller/11,
AUTHOR = {Chen, Yijia and Flum, J{\"o}rg and M{\"u}ller, Moritz},
TITLE = {Lower bounds for kernelizations and other preprocessing procedures},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {4},
PAGES = {803-839},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/30p4914340325720/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bergstra-Bethke/11,
AUTHOR = {Bergstra, Jan A. and Bethke, Inge},
TITLE = {Straight-line instruction sequence completeness for total calculation on cancellation meadows},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {4},
PAGES = {840-864},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/gg27514p61675587/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Jansson-Peng/11,
AUTHOR = {Jansson, Jesper and Peng, Zeshan},
TITLE = {Algorithms for finding a most similar subforest},
JOURNAL = {Theory of Computing Systems},
VOLUME = {48},
NUMBER = {4},
PAGES = {865-887},
YEAR = {2011},
EDITOR = {Selman, Alan L.},
URL = {http://springerlink.metapress.com/content/78g66254531pq145/fulltext.pdf},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}