Lahiri, Shuvendu, Shaz Qadeer, Juan Galeotti, Jan Voung, and Thomas Wies. “Intra-Module Inference,”https://doi.org/1555__493–508. Springer, 2009.https://doi.org/1555 .
LibreCat: https://research-explorer.ista.ac.at/record/4375
DOI: 1555

Hoenicke, Jochen, K Rustan Leino, Andreas Podelski, Martin Schäf, and Thomas Wies. “It’s Doomed; We Can Prove It,”https://doi.org/1557__338–53. Springer, 2009.https://doi.org/1557 .
LibreCat: https://research-explorer.ista.ac.at/record/4377
DOI: 1557

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,”https://doi.org/10.1007/978-3-642-02658-4_26__5643:321–36. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_26 .
LibreCat: https://research-explorer.ista.ac.at/record/4383
DOI: 10.1007/978-3-642-02658-4_26

Dragojevic, Aleksandar, Rachid Guerraoui, Anmol Singh, and Vasu Singh. “Preventing versus Curing: Avoiding Conflicts in Transactional Memories,”https://doi.org/1533__7–16. ACM, 2009.https://doi.org/1533 .
LibreCat: https://research-explorer.ista.ac.at/record/4385
DOI: 1533

Lublinerman, Roberto, Swarat Chaudhuri, and Pavol Cerny. “Parallel Programming with Object Assemblies,”https://doi.org/1546__61–80. ACM, 2009.https://doi.org/1546 .
LibreCat: https://research-explorer.ista.ac.at/record/4376
DOI: 1546

Cerny, Pavol, and Rajeev Alur. “Automated Analysis of Java Methods for Confidentiality,”https://doi.org/1548__173–87. Springer, 2009.https://doi.org/1548 .
LibreCat: https://research-explorer.ista.ac.at/record/4391
DOI: 1548

Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,”https://doi.org/10.1007/978-3-642-04027-6_9__5771:86–101. Springer, 2009.https://doi.org/10.1007/978-3-642-04027-6_9 .
LibreCat: https://research-explorer.ista.ac.at/record/4403
DOI: 10.1007/978-3-642-04027-6_9

Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,”https://doi.org/10.1007/978-3-642-02658-4_27__5643:337–52. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_27 .
LibreCat: https://research-explorer.ista.ac.at/record/4453
DOI: 10.1007/978-3-642-02658-4_27

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes,”https://doi.org/10.1007/978-3-642-03845-7_12__5688:173–88. Springer, 2009.https://doi.org/10.1007/978-3-642-03845-7_12 .
LibreCat: https://research-explorer.ista.ac.at/record/4535
DOI: 10.1007/978-3-642-03845-7_12

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,”https://doi.org/10.1007/978-3-642-03409-1_2__5699:3–13. Springer, 2009.https://doi.org/10.1007/978-3-642-03409-1_2 .
LibreCat: https://research-explorer.ista.ac.at/record/4542
DOI: 10.1007/978-3-642-03409-1_2

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,”https://doi.org/10.1007/978-3-642-02930-1_1__5556:1–15. Springer, 2009.https://doi.org/10.1007/978-3-642-02930-1_1 .
LibreCat: https://research-explorer.ista.ac.at/record/4545
DOI: 10.1007/978-3-642-02930-1_1

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,”https://doi.org/10.1007/978-3-642-03816-7_4__5734:34–54. Springer, 2009.https://doi.org/10.1007/978-3-642-03816-7_4 .
LibreCat: https://research-explorer.ista.ac.at/record/4543
DOI: 10.1007/978-3-642-03816-7_4

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,”https://doi.org/10.1137/1.9781611973068.23__197–206. SIAM, 2009.https://doi.org/10.1137/1.9781611973068.23 .
LibreCat: https://research-explorer.ista.ac.at/record/4544
DOI: 10.1137/1.9781611973068.23

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages,”https://doi.org/10.1109/LICS.2009.16__199–208. IEEE, 2009.https://doi.org/10.1109/LICS.2009.16 .
LibreCat: https://research-explorer.ista.ac.at/record/4540
DOI: 10.1109/LICS.2009.16

Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,”https://doi.org/10.1007/978-3-642-02658-4_14__5643:140–56. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_14 .
LibreCat: https://research-explorer.ista.ac.at/record/4569
DOI: 10.1007/978-3-642-02658-4_14
arXiv: 0904.2638

Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,”https://doi.org/10.1007/978-3-642-00768-2_7__5505:58–61. Springer, 2009.https://doi.org/10.1007/978-3-642-00768-2_7 .
LibreCat: https://research-explorer.ista.ac.at/record/4580
DOI: 10.1007/978-3-642-00768-2_7

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0003 .
LibreCat: https://research-explorer.ista.ac.at/record/5393
DOI: 10.15479/AT:IST-2009-0003

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0002 .
LibreCat: https://research-explorer.ista.ac.at/record/5394
DOI: 10.15479/AT:IST-2009-0002

Chatterjee, Krishnendu. Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0004 .
LibreCat: https://research-explorer.ista.ac.at/record/5392
DOI: 10.15479/AT:IST-2009-0004

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0001 .
LibreCat: https://research-explorer.ista.ac.at/record/5395
DOI: 10.15479/AT:IST-2009-0001