@article{Ambos-Spies-Ding-Fan-Merkle/13,
AUTHOR = {Ambos-Spies, Klaus and Ding, Decheng and Fan, Yun and Merkle, Wolfgang},
TITLE = {Maximal pairs of computably enumerable sets in the computably Lipschitz degrees},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {2-27},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9424-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Baartse-Barmpalias/13,
AUTHOR = {Baartse, Martijn and Barmpalias, George},
TITLE = {On the gap between trivial and nontrivial initial segment prefix-free complexity},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {28-47},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9400-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Cenzer-Weber/13,
AUTHOR = {Cenzer, Douglas and Weber, Rebecca},
TITLE = {Effective randomness of unions and intersections},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {48-64},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9416-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Fouche/13,
AUTHOR = {Fouch{\'e}, Willem L.},
TITLE = {Martin-L{\"o}f randomness, invariant measures and countable homogeneous structures},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {65-79},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9419-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Holzl-Kraling-Merkle/13,
AUTHOR = {H{\"o}lzl, Rupert and Kr{\"a}ling, Thorsten and Merkle, Wolfgang},
TITLE = {Time-bounded Kolmogorov complexity and Solovay functions},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {80-94},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9413-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Lopez-Valdes-Mayordomo/13,
AUTHOR = {L{\'o}pez-Vald{\'e}s, Mar{\'{i}}a and Mayordomo, Elvira},
TITLE = {Dimension is compression},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {95-112},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9417-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Miyabe/13,
AUTHOR = {Miyabe, Kenshi},
TITLE = {Characterization of Kurtz randomness by a differentiation theorem},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {113-132},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9422-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Ryabko-Reznikova-Druzyaka/13,
AUTHOR = {Ryabko, Boris and Reznikova, Zhanna and Druzyaka, Alexey},
TITLE = {Using ideas of Kolmogorov complexity for studying biological texts},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {133-147},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9403-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Taveneaux/13,
AUTHOR = {Taveneaux, Antoine},
TITLE = {Axiomatizing Kolmogorov complexity},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {148-161},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9395-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Antunes-Matos-Pinto-Souto/13,
AUTHOR = {Antunes, Lu{\'{i}}s and Matos, Armando and Pinto, Alexandre and Souto, Andr{\'e}},
TITLE = {One-way functions using algorithmic and classical information theories},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {1},
PAGES = {162-178},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9418-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Czyzowicz-Kosowski-Pelc/13,
AUTHOR = {Czyzowicz, Jurek and Kosowski, Adrian and Pelc, Andrzej},
TITLE = {Deterministic rendezvous of asynchronous bounded-memory agents in polygonal terrains},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {2},
PAGES = {179-199},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9379-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Anshelevich-Caskurlu-Hate/13,
AUTHOR = {Anshelevich, Elliot and Caskurlu, Bugra and Hate, Ameya},
TITLE = {Strategic multiway cut and multicut games},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {2},
PAGES = {200-220},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9380-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Montoya-Muller/13,
AUTHOR = {Montoya, Juan Andr{\'e}s and M{\"u}ller, Moritz},
TITLE = {Parameterized random complexity},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {2},
PAGES = {221-270},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9381-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Yamamoto/13,
AUTHOR = {Yamamoto, Masaki},
TITLE = {A combinatorial analysis for the critical clause tree},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {2},
PAGES = {271-284},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9383-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Athanassopoulos-Caragiannis/13,
AUTHOR = {Athanassopoulos, Stavros and Caragiannis, Ioannis},
TITLE = {Energy-efficient communication in multi-interface wireless networks},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {2},
PAGES = {285-296},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9384-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bauwens-Shen/13,
AUTHOR = {Bauwens, Bruno and Shen, Alexander},
TITLE = {An additivity theorem for plain Kolmogorov complexity},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {2},
PAGES = {297-302},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9385-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Chang-Wang/13,
AUTHOR = {Chang, Ching-Lueh and Wang, Chao-Hong},
TITLE = {On reversible cascades in scale-free and Erd{\H{o}}s-R{\'e}nyi random graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {2},
PAGES = {303-318},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9387-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Pettarin-Pietracaprina-Pucci/13,
AUTHOR = {Pettarin, Alberto and Pietracaprina, Andrea and Pucci, Geppino},
TITLE = {On the expansion and diameter of Bluetooth-like topologies},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {2},
PAGES = {319-339},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9390-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Afshani-Agarwal-Arge/13,
AUTHOR = {Afshani, Peyman and Agarwal, Pankaj K. and Arge, Lars},
TITLE = {(Approximate) uncertain skylines},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {3},
PAGES = {342-366},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9382-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Deutch/13,
AUTHOR = {Deutch, Daniel},
TITLE = {Querying probabilistic business processes for sub-flows},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {3},
PAGES = {367-402},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9391-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Jha-Suciu/13,
AUTHOR = {Jha, Abhay and Suciu, Dan},
TITLE = {Knowledge compilation meets database theory: Compiling queries to decision diagrams},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {3},
PAGES = {403-440},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9392-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bertossi-Kolahi-Lakshmanan/13,
AUTHOR = {Bertossi, Leopoldo and Kolahi, Solmaz and Lakshmanan, Laks V.S.},
TITLE = {Data cleaning and query answering with matching dependencies and matching functions},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {3},
PAGES = {441-482},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9402-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Pichler-Sallinger-Savenkov/13,
AUTHOR = {Pichler, Reinhard and Sallinger, Emanuel and Savenkov, Vadim},
TITLE = {Relaxed notions of schema mapping equivalence revisited},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {3},
PAGES = {483-541},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9397-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Antonopoulos-Geerts-Martens-Neven/13,
AUTHOR = {Antonopoulos, Timos and Geerts, Floris and Martens, Wim and Neven, Frank},
TITLE = {Generating, sampling and counting subclasses of regular tree languages},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {3},
PAGES = {542-585},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9428-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Myasnikov-Romankov/13,
AUTHOR = {Myasnikov, A. and Roman'kov, V.},
TITLE = {On rationality of verbal subsets in a group},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {4},
PAGES = {587-598},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9394-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kante-Rao/13,
AUTHOR = {Kant{\'e}, Mamadou Moustapha and Rao, Michael},
TITLE = {The rank-width of edge-coloured graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {4},
PAGES = {599-644},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9399-y},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Couturier-Golovach-Kratsch/13,
AUTHOR = {Couturier, Jean-Francois and Golovach, Petr A. and Kratsch, Dieter},
TITLE = {Colorings with few colors: Counting, enumeration and combinatorial bounds},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {4},
PAGES = {645-667},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9410-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bilo-Caragiannis-Fanelli/13,
AUTHOR = {Bil{\`o}, Vittorio and Caragiannis, Ioannis and Fanelli, Angelo},
TITLE = {Improved lower bounds on the price of stability of undirected network design games},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {4},
PAGES = {668-686},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9411-6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{van_Rooij-van_Kooten_Niekerk/13,
AUTHOR = {van Rooij, Johan M.M. and van Kooten Niekerk, Marcel E.},
TITLE = {Partition into triangles on bounded degree graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {4},
PAGES = {687-718},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9412-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Crowston-Gutin-Jones-Yeo/13,
AUTHOR = {Crowston, R. and Gutin, G. and Jones, M. and Yeo, A.},
TITLE = {Parameterized complexity of satisfying almost all linear equations over $\mathbb F_2$},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {4},
PAGES = {719-728},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9415-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Attiya-Hillel/13,
AUTHOR = {Attiya, Hagit and Hillel, Eshcar},
TITLE = {Built-in coloring for highly-concurrent doubly-linked lists},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {4},
PAGES = {729-762},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9420-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Huang/13b,
AUTHOR = {Huang, Chien-Chung},
TITLE = {Collusion in atomic splittable routing games},
JOURNAL = {Theory of Computing Systems},
VOLUME = {52},
NUMBER = {4},
PAGES = {763-801},
YEAR = {2013},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9421-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}