@article{Neider-Rabinovich-Zimmermann/14,
AUTHOR = {Neider, Daniel and Rabinovich, Roman and Zimmermann, Martin},
TITLE = {Down the Borel hierarchy: Solving Muller games via safety games},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {560, Part 3},
PAGES = {219-234},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {muller games, safety games, permissive strategies, game reductions},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514000346},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Canavoi-Gradel-Rabinovich/14,
AUTHOR = {Canavoi, Felix and Gr{\"a}del, Erich and Rabinovich, Roman},
TITLE = {The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {560, Part 3},
PAGES = {235-250},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {parity games, graph complexity measures, treewidth},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514000024},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Solimando-Delzanno-Guerrini/14,
AUTHOR = {Solimando, Alessandro and Delzanno, Giorgio and Guerrini, Giovanna},
TITLE = {Validating XML document adaptations via Hedge Automata transformations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {560, Part 3},
PAGES = {251-268},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {hedge automata, xml schema, xml, hedge rewriting systems},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514003156},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bresolin-Della_Monica-Montanari-Sala-Sciavicco/14,
AUTHOR = {Bresolin, Davide and Della Monica, Dario and Montanari, Angelo and Sala, Pietro and Sciavicco, Guido},
TITLE = {Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {560, Part 3},
PAGES = {269-291},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {interval temporal logics, discrete linear orders, expressiveness, decidability, complexity},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514002552},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gutierrez-Klaedtke-Lange/14,
AUTHOR = {Gutierrez, Julian and Klaedtke, Felix and Lange, Martin},
TITLE = {The $\mu$-calculus alternation hierarchy collapses over structures with restricted connectivity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {560, Part 3},
PAGES = {292-306},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {modal $\mu$-calculus, fixpoints, alternation hierarchy, parity automata},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514002497},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cantone-Longo/14,
AUTHOR = {Cantone, Domenico and Longo, Cristiano},
TITLE = {A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable extensions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {560, Part 3},
PAGES = {307-325},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {decision procedures, set theory, undecidability},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514002333},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Lange-Lozes-Guzman/14,
AUTHOR = {Lange, Martin and Lozes, Etienne and Guzm{\'a}n, Manuel Vargas},
TITLE = {Model-checking process equivalences},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {560, Part 3},
PAGES = {326-347},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {model-checking, process equivalence, polyadic $\mu$-calculus, higher-order $\mu$-calculus},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514006574},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Cerny-Chmelik-Henzinger-Radhakrishna/14,
AUTHOR = {{\v{C}}ern{\'y}, Pavol and Chmel{\'{i}}k, Martin and Henzinger, Thomas A. and Radhakrishna, Arjun},
TITLE = {Interface simulation distances},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {560, Part 3},
PAGES = {348-363},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {alternating simulation, quantitative analysis, games},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514006550},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Dimovski/14,
AUTHOR = {Dimovski, Aleksandar S.},
TITLE = {Program verification using symbolic game semantics},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {560, Part 3},
PAGES = {364-379},
YEAR = {2014},
EDITOR = {Ausiello, G. and Sannella, D. and Kari, L.},
KEYWORDS = {algorithmic game semantics, symbolic automata, program verification, predicate abstraction},
URL = {http://www.sciencedirect.com/science/article/pii/S0304397514000334},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}