@article{Cardinal-Fiorini-Joret/12,
AUTHOR = {Cardinal, Jean and Fiorini, Samuel and Joret, Gwena{\"e}l},
TITLE = {Minimum entropy combinatorial optimization problems},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {1},
PAGES = {4-21},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9371-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Case-Moelius/12,
AUTHOR = {Case, John and Moelius III, Samuel E.},
TITLE = {Program self-reference in constructive Scott subdomains},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {1},
PAGES = {22-49},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9372-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Dantchev-Martin/12,
AUTHOR = {Dantchev, Stefan and Martin, Barnaby},
TITLE = {Cutting planes and the parameter cutwidth},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {1},
PAGES = {50-64},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9373-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gartner-Hotz/12,
AUTHOR = {G{\"a}rtner, Tobias and Hotz, G{\"u}nter},
TITLE = {Representation theorems for analytic machines and computability of analytic functions},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {1},
PAGES = {65-84},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9374-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kristiansen-Mender/12,
AUTHOR = {Kristiansen, Lars and Mender, Bedeho Mesghina Wolde},
TITLE = {Non-determinism in G{\"o}del's System $T$},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {1},
PAGES = {85-105},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9377-9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Ambos-Spies-Bakibayev/12,
AUTHOR = {Ambos-Spies, Klaus and Bakibayev, Timur},
TITLE = {Comparing nontriviality for E and EXP},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {1},
PAGES = {106-122},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9370-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Dumitrescu-Jiang/12a,
AUTHOR = {Dumitrescu, Adrian and Jiang, Minghui},
TITLE = {Dispersion in disks},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {2},
PAGES = {125-142},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9331-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Egri-Krokhin-Larose-Tesson/12,
AUTHOR = {Egri, L{\'a}szl{\'o} and Krokhin, Andrei and Larose, Benoit and Tesson, Pascal},
TITLE = {The complexity of the list homomorphism problem for graphs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {2},
PAGES = {143-178},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9333-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Hirsch-Itsykson-Monakhov-Smal/12,
AUTHOR = {Hirsch, Edward A. and Itsykson, Dmitry and Monakhov, Ivan and Smal, Alexander},
TITLE = {On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {2},
PAGES = {179-195},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9354-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Jez-Okhotin/12,
AUTHOR = {Je{\.z}, Artur and Okhotin, Alexander},
TITLE = {Representing hyper-arithmetical sets by equations over sets of integers},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {2},
PAGES = {196-228},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9352-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Fortnow-Lutz-Mayordomo/12,
AUTHOR = {Fortnow, Lance and Lutz, Jack H. and Mayordomo, Elvira},
TITLE = {Inseparability and strong hypotheses for disjoint NP pairs},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {2},
PAGES = {229-247},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9326-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Gu-Hitchcock-Pavan/12,
AUTHOR = {Gu, Xiaoyang and Hitchcock, John M. and Pavan, A.},
TITLE = {Collapsing and separating completeness notions under average-case and worst-case hypotheses},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {2},
PAGES = {248-265},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9365-0},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Blin-Rizzi-Vialette/12,
AUTHOR = {Blin, Guillaume and Rizzi, Romeo and Vialette, St{\'e}phane},
TITLE = {A faster algorithm for finding minimum Tucker submatrices},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {3},
PAGES = {270-281},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9388-1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Allender-Spakowski/12,
AUTHOR = {Allender, Eric and Spakowski, Holger},
TITLE = {Avoiding simplicity is complex},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {3},
PAGES = {282-296},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9334-7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Article/12,
AUTHOR = {Article, Rahul Santhanam},
TITLE = {The complexity of explicit constructions},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {3},
PAGES = {297-312},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9368-x},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Berger-Seisenberger/12,
AUTHOR = {Berger, Ulrich and Seisenberger, Monika},
TITLE = {Proofs, programs, processes},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {3},
PAGES = {313-329},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9325-8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Bienvenu-Stephan-Teutsch/12,
AUTHOR = {Bienvenu, Laurent and Stephan, Frank and Teutsch, Jason},
TITLE = {How powerful are integer-valued martingales?},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {3},
PAGES = {330-351},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9362-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Cenzer-Dashti-Toska-Wyman/12,
AUTHOR = {Cenzer, Douglas and Dashti, Ali and Toska, Ferit and Wyman, Sebastian},
TITLE = {Computability of countable subshifts in one dimension},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {3},
PAGES = {352-371},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9358-z},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Lutz-Shutters/12,
AUTHOR = {Lutz, Jack H. and Shutters, Brad},
TITLE = {Approximate self-assembly of the Sierpinski triangle},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {3},
PAGES = {372-400},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-011-9345-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Alistarh-Gilbert-Guerraoui-Travers/12a,
AUTHOR = {Alistarh, Dan and Gilbert, Seth and Guerraoui, Rachid and Travers, Corentin},
TITLE = {Generating fast indulgent algorithms},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {4},
PAGES = {404-424},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9407-2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Attiya-Hillel/12,
AUTHOR = {Attiya, Hagit and Hillel, Eshcar},
TITLE = {A single-version STM that is multi-versioned permissive},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {4},
PAGES = {425-446},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9406-3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Chakaravarthy-Choudhury-Garg-Sabharwal/12,
AUTHOR = {Chakaravarthy, Venkatesan T. and Choudhury, Anamitra R. and Garg, Vijay K. and Sabharwal, Yogish},
TITLE = {Efficient decentralized algorithms for the distributed trigger counting problem},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {4},
PAGES = {447-473},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9405-4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}
@article{Kalyanasundaram-Velauthapillai/12,
AUTHOR = {Kalyanasundaram, Bala and Velauthapillai, Mahe},
TITLE = {A near optimal periodic transmission schedule in bounded degree wireless sensor network},
JOURNAL = {Theory of Computing Systems},
VOLUME = {51},
NUMBER = {4},
PAGES = {474-491},
YEAR = {2012},
EDITOR = {Selman, Alan L.},
URL = {http://dx.doi.org/10.1007/s00224-012-9404-5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {New York},
NOTE = {formerly Mathematical Systems Theory},
}