@article(nwtl,
 author       = "Rajeev Alur and Marcelo Arenas and Pablo Barcel{\'o} and Kousha Etessami and Neil Immerman and Leonid Libkin",
 year         = "2008",
 title        = "First-Order and Temporal Logics for Nested Words",
 journal      = "Logical Methods in Computer Science",
 volume       = "4",
 number       = "4",
 doi          = "10.2168/LMCS-4(4:11)2008",
)
@article(AlurRecursiveSMjournal,
 author       = "Rajeev Alur and Michael Benedikt and Kousha Etessami and Patrice Godefroid and Thomas W. Reps and Mihalis Yannakakis",
 year         = "2005",
 title        = "Analysis of recursive state machines",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "27",
 number       = "4",
 pages        = "786--818",
 doi          = "10.1145/1075382.1075387",
)
@inproceedings(caret,
 author       = "Rajeev Alur and Kousha Etessami and P. Madhusudan",
 year         = "2004",
 title        = "A Temporal Logic of Nested Calls and Returns",
 editor       = "Kurt Jensen and Andreas Podelski",
 booktitle    = "TACAS",
 series       = "Lecture Notes in Computer Science",
 volume       = "2988",
 publisher    = "Springer",
 pages        = "467--481",
 doi          = "10.1007/978-3-540-24730-2\_35",
)
@article(ltlgeneratorsJournal,
 author       = "Rajeev Alur and Salvatore {La Torre}",
 year         = "2004",
 title        = "Deterministic generators and games for Ltl fragments",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "5",
 number       = "1",
 pages        = "1--25",
 doi          = "10.1145/963927.963928",
)
@inproceedings(ALM03cav,
 author       = "Rajeev Alur and Salvatore {La Torre} and P. Madhusudan",
 year         = "2003",
 title        = "Modular Strategies for Infinite Games on Recursive Graphs",
 editor       = "Warren A. Hunt Jr. and Fabio Somenzi",
 booktitle    = "CAV",
 series       = "Lecture Notes in Computer Science",
 volume       = "2725",
 publisher    = "Springer",
 pages        = "67--79",
 doi          = "10.1007/978-3-540-45069-6\_6",
)
@inproceedings(concur03,
 author       = "Rajeev Alur and Salvatore {La Torre} and P. Madhusudan",
 year         = "2003",
 title        = "Playing Games with Boxes and Diamonds",
 editor       = "Roberto M. Amadio and Denis Lugiez",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "2761",
 publisher    = "Springer",
 pages        = "127--141",
 doi          = "10.1007/978-3-540-45187-7\_8",
)
@article(ALM06_TCS,
 author       = "Rajeev Alur and Salvatore {La Torre} and P. Madhusudan",
 year         = "2006",
 title        = "Modular strategies for recursive game graphs",
 journal      = "Theor. Comput. Sci.",
 volume       = "354",
 number       = "2",
 pages        = "230--249",
 doi          = "10.1016/j.tcs.2005.11.017",
)
@article(NWA,
 author       = "Rajeev Alur and P. Madhusudan",
 year         = "2009",
 title        = "Adding nesting structure to words",
 journal      = "J. ACM",
 volume       = "56",
 number       = "3",
 doi          = "10.1145/1516512.1516518",
)
@article(AMM2014,
 author       = "Benjamin Aminof and Fabio Mogavero and Aniello Murano",
 year         = "2014",
 title        = "Synthesis of hierarchical systems",
 journal      = "Sci. Comput. Program.",
 volume       = "83",
 pages        = "56--79",
 doi          = "10.1016/j.scico.2013.07.001",
)
@inproceedings(RP2013,
 author       = "Ilaria De Crescenzo and Salvatore {La Torre}",
 year         = "2013",
 title        = "Modular Synthesis with Open Components",
 editor       = "Parosh Aziz Abdulla and Igor Potapov",
 booktitle    = "RP",
 series       = "Lecture Notes in Computer Science",
 volume       = "8169",
 publisher    = "Springer",
 pages        = "96--108",
 doi          = "10.1007/978-3-642-41036-9\_10",
)
@inproceedings(RepsCav2012,
 author       = "William R. Harris and Somesh Jha and Thomas W. Reps",
 year         = "2012",
 title        = "Secure Programming via Visibly Pushdown Safety Games",
 editor       = "P. Madhusudan and Sanjit A. Seshia",
 booktitle    = "CAV",
 series       = "Lecture Notes in Computer Science",
 volume       = "7358",
 publisher    = "Springer",
 pages        = "581--598",
 doi          = "10.1007/978-3-642-31424-7\_41",
)
@inproceedings(icalp07,
 author       = "Salvatore {La Torre} and Gennaro Parlato",
 year         = "2007",
 title        = "On the Complexity of LtlModel-Checking of Recursive State Machines",
 editor       = "Lars Arge and Christian Cachin and Tomasz Jurdzinski and Andrzej Tarlecki",
 booktitle    = "ICALP",
 series       = "Lecture Notes in Computer Science",
 volume       = "4596",
 publisher    = "Springer",
 pages        = "937--948",
 doi          = "10.1007/978-3-540-73420-8\_80",
)
@inproceedings(vpg,
 author       = "Christof L{\"o}ding and P. Madhusudan and Olivier Serre",
 year         = "2004",
 title        = "Visibly Pushdown Games",
 editor       = "Kamal Lodaya and Meena Mahajan",
 booktitle    = "FSTTCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "3328",
 publisher    = "Springer",
 pages        = "408--420",
 doi          = "10.1007/978-3-540-30538-5\_34",
)
@inproceedings(VardiFossacs,
 author       = "Yoad Lustig and Moshe Y. Vardi",
 year         = "2009",
 title        = "Synthesis from Component Libraries",
 editor       = "Luca de Alfaro",
 booktitle    = "FOSSACS",
 series       = "Lecture Notes in Computer Science",
 volume       = "5504",
 publisher    = "Springer",
 pages        = "395--409",
 doi          = "10.1007/978-3-642-00596-1\_28",
)
@inproceedings(VardiGandalf,
 author       = "Yoad Lustig and Moshe Y. Vardi",
 year         = "2011",
 title        = "Synthesis from Recursive-Components Libraries",
 editor       = "Giovanna D'Agostino and Salvatore {La Torre}",
 booktitle    = "GandALF",
 series       = "EPTCS",
 volume       = "54",
 pages        = "1--16",
 doi          = "10.4204/EPTCS.54.1",
)
@article(MS95,
 author       = "David E. Muller and Paul E. Schupp",
 year         = "1995",
 title        = "Simulating Alternating Tree Automata by Nondeterministic Automata: New Results and New Proofs of the Theorems of Rabin, McNaughton and Safra",
 journal      = "Theor. Comput. Sci.",
 volume       = "141",
 number       = "1{\&}2",
 pages        = "69--107",
 doi          = "10.1016/0304-3975(94)00214-4",
)
@inproceedings(pnueli77,
 author       = "Amir Pnueli",
 year         = "1977",
 title        = "The Temporal Logic of Programs",
 booktitle    = "FOCS",
 publisher    = "IEEE Computer Society",
 pages        = "46--57",
 doi          = "10.1109/SFCS.1977.32",
)
@inproceedings(PR89,
 author       = "Amir Pnueli and Roni Rosner",
 year         = "1989",
 title        = "On the Synthesis of a Reactive Module",
 booktitle    = "POPL",
 publisher    = "ACM Press",
 pages        = "179--190",
 doi          = "10.1145/75277.75293",
 url          = "http://dl.acm.org/citation.cfm?id=75277",
)
@inproceedings(SW2013,
 author       = "Sylvain Salvati and Igor Walukiewicz",
 year         = "2013",
 title        = "Evaluation is MSOL-compatible",
 editor       = "Anil Seth and Nisheeth K. Vishnoi",
 booktitle    = "FSTTCS",
 series       = "LIPIcs",
 volume       = "24",
 publisher    = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
 pages        = "103--114",
 doi          = "10.4230/LIPIcs.FSTTCS.2013.103",
 url          = "http://drops.dagstuhl.de/portals/extern/index.php?semnr=13018",
)
@inproceedings(ThomasCav02,
 author       = "Wolfgang Thomas",
 year         = "2002",
 title        = "Infinite Games and Verification (Extended Abstract of a Tutorial)",
 editor       = "Ed Brinksma and Kim Guldstrand Larsen",
 booktitle    = "CAV",
 series       = "Lecture Notes in Computer Science",
 volume       = "2404",
 publisher    = "Springer",
 pages        = "58--64",
 doi          = "10.1007/3-540-45657-0\_5",
)
@article(Wal01,
 author       = "Igor Walukiewicz",
 year         = "2001",
 title        = "Pushdown Processes: Games and Model-Checking",
 journal      = "Inf. Comput.",
 volume       = "164",
 number       = "2",
 pages        = "234--263",
 doi          = "10.1006/inco.2000.2894",
)