@article{Kupferman-Tamir/12,
AUTHOR = {Kupferman, Orna and Tamir, Tami},
TITLE = {Coping with selfish on-going behaviors},
JOURNAL = {Inf.~Comput.},
VOLUME = {210},
PAGES = {1-12},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {reactive systems, selfish agents, weighted automata},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001490},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Meer/12,
AUTHOR = {Meer, Klaus},
TITLE = {On Ladner's result for a class of real machines with restricted use of constants},
JOURNAL = {Inf.~Comput.},
VOLUME = {210},
PAGES = {13-20},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {complexity, real number model, diagonal problems, ladner's theorem},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001507},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Bienvenu-Day-Hoyrup-Mezhirov-Shen/12,
AUTHOR = {Bienvenu, Laurent and Day, Adam R. and Hoyrup, Mathieu and Mezhirov, Ilya and Shen, Alexander},
TITLE = {A constructive version of Birkhoff's ergodic theorem for Martin-L{\"o}f random points},
JOURNAL = {Inf.~Comput.},
VOLUME = {210},
PAGES = {21-30},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {algorithmic randomness, birkhoff's ergodic theorem, poincar{\'e} recurrence theorem, martin-l{\"o}f randomness},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001465},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Chechik-Emek-Patt-Shamir-Peleg/12,
AUTHOR = {Chechik, Shiri and Emek, Yuval and Patt-Shamir, Boaz and Peleg, David},
TITLE = {Sparse reliable graph backbones},
JOURNAL = {Inf.~Comput.},
VOLUME = {210},
PAGES = {31-39},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {network reliability, sparse subgraphs, tutte polynomial},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001477},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Rabinovich/12,
AUTHOR = {Rabinovich, Alexander},
TITLE = {Temporal logics over linear time domains are in PSPACE},
JOURNAL = {Inf.~Comput.},
VOLUME = {210},
PAGES = {40-67},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001672},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Aminof-Kupferman-Murano/12,
AUTHOR = {Aminof, Benjamin and Kupferman, Orna and Murano, Aniello},
TITLE = {Improved model checking of hierarchical systems},
JOURNAL = {Inf.~Comput.},
VOLUME = {210},
PAGES = {68-86},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {hierarchical systems, model checking, branching-time temporal logics, two-player games, parity games, abstraction-refinement},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001489},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}
@article{Brazdil-Esparza-Kiefer-Luttenberger/12,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Esparza, Javier and Kiefer, Stefan and Luttenberger, Michael},
TITLE = {Space-efficient scheduling of stochastically generated tasks},
JOURNAL = {Inf.~Comput.},
VOLUME = {210},
PAGES = {87-110},
YEAR = {2012},
EDITOR = {Meyer, Albert R.},
KEYWORDS = {stochastic models, space-efficient scheduling, multithreaded programs, branching processes},
URL = {http://www.sciencedirect.com/science/article/pii/S0890540111001453},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-San Louis},
}