Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2575 Publications

2011 | Technical Report | IST-REx-ID: 5381
Chatterjee, Krishnendu, and Laurent Doyen. Partial-Observation Stochastic Games: How to Win When Belief Fails. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0007.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3316
Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Specification-Centered Robustness.” In 6th IEEE International Symposium on Industrial and Embedded Systems, 176–85. IEEE, 2011. https://doi.org/10.1109/SIES.2011.5953660.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366   OA
Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_20 .
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3342   OA
Chatterjee, Krishnendu, Monika Henzinger, Manas Joglekar, and Shah Nisarg. “Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives.” edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:260–76. Springer, 2011. https://doi.org/10.1007/978-3-642-22110-1_21.
View | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3359
Cerny, Pavol, and Thomas A Henzinger. “From Boolean to Quantitative Synthesis,” 149–54. ACM, 2011. https://doi.org/10.1145/2038642.2038666.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3361   OA
Cerny, Pavol, Krishnendu Chatterjee, and Thomas A Henzinger. “The Complexity of Quantitative Information Flow Problems,” 205–17. IEEE, 2011. https://doi.org/10.1109/CSF.2011.21.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3347   OA
Chatterjee, Krishnendu, and Nathanaël Fijalkow. “Finitary Languages,” 6638:216–26. Springer, 2011. https://doi.org/10.1007/978-3-642-21254-3_16.
View | DOI | Download (ext.) | arXiv
 
2011 | Journal Article | IST-REx-ID: 3354
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Qualitative Concurrent Parity Games.” ACM Transactions on Computational Logic (TOCL) 12, no. 4 (2011). https://doi.org/10.1145/1970398.1970404.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5379
Chatterjee, Krishnendu, and Monika Henzinger. An O(N2) Time Algorithm for Alternating Büchi Games. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0009.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3266
Ion, Adrian, Joao Carreira, and Cristian Sminchisescu. “Probabilistic Joint Image Segmentation and Labeling.” In NIPS Proceedings, 24:1827–35. Neural Information Processing Systems Foundation, 2011.
View
 
2011 | Thesis | IST-REx-ID: 3273
Maître, Jean-Léon. Mechanics of Adhesion and De‐adhesion in Zebrafish Germ Layer Progenitors. IST Austria, 2011.
View
 
2011 | Conference Paper | IST-REx-ID: 3297   OA
Wojtan, Christopher J, Matthias Müller Fischer, and Tyson Brochu. “Liquid Simulation with Mesh-Based Surface Tracking.” ACM, 2011. https://doi.org/10.1145/2037636.2037644.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3324   OA
Piskac, Ruzica, and Thomas Wies. “Decision Procedures for Automating Termination Proofs.” edited by Ranjit Jhala and David Schmidt, 6538:371–86. Springer, 2011. https://doi.org/10.1007/978-3-642-18275-4_26.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3329   OA
Berberich, Eric, Dan Halperin, Michael Kerber, and Roza Pogalnikova. “Deconstructing Approximate Offsets.” In Proceedings of the Twenty-Seventh Annual Symposium on Computational Geometry, 187–96. ACM, 2011. https://doi.org/10.1145/1998196.1998225.
View | Files available | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3355   OA
Halalai, Raluca, Thomas A Henzinger, and Vasu Singh. “Quantitative Evaluation of BFT Protocols,” 255–64. IEEE, 2011. https://doi.org/10.1109/QEST.2011.40.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3343   OA
Chatterjee, Krishnendu, and Monika Henzinger. “Faster and Dynamic Algorithms for Maximal End Component Decomposition and Related Graph Problems in Probabilistic Verification,” 1318–36. SIAM, 2011. https://doi.org/10.1137/1.9781611973082.101.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3778   OA
Barton, Nicholas H. “Estimating Linkage Disequilibria.” Heredity 106, no. 2 (2011): 205–6. https://doi.org/10.1038/hdy.2010.67.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3386
Schrempf, Alexandra, Sylvia Cremer, and Jürgen Heinze. “Social Influence on Age and Reproduction Reduced Lifespan and Fecundity in Multi Queen Ant Colonies.” Journal of Evolutionary Biology 24, no. 7 (2011): 1455–61. https://doi.org/10.1111/j.1420-9101.2011.02278.x.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3393   OA
Barton, Nicholas H, and Michael Turelli. “Spatial Waves of Advance with Bistable Dynamics: Cytoplasmic and Genetic Analogues of Allee Effects.” American Naturalist 178, no. 3 (2011): E48–75. https://doi.org/10.1086/661246.
View | Files available | DOI
 
2011 | Journal Article | IST-REx-ID: 3374   OA
Tkacik, Gasper, and Aleksandra Walczak. “Information Transmission in Genetic Regulatory Networks a Review.” Journal of Physics: Condensed Matter 23, no. 15 (2011). https://doi.org/10.1088/0953-8984/23/15/153102.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed