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.




2616 Publications

2011 | Conference Paper | IST-REx-ID: 3323
T. Wies, M. Muñiz, and V. Kuncak, “An efficient decision procedure for imperative tree data structures,” presented at the CADE 23: Automated Deduction , Wrocław, Poland, 2011, vol. 6803, pp. 476–491.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5381
K. Chatterjee and L. Doyen, Partial-observation stochastic games: How to win when belief fails. IST Austria, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3316
R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann, “Specification-centered robustness,” in 6th IEEE International Symposium on Industrial and Embedded Systems, Vasteras, Sweden, 2011, pp. 176–185.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3366   OA
P. Cerny, K. Chatterjee, T. A. Henzinger, A. Radhakrishna, and R. Singh, “Quantitative synthesis for concurrent programs,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 243–259.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3359
P. Cerny and T. A. Henzinger, “From boolean to quantitative synthesis,” presented at the EMSOFT: Embedded Software , Taipei; Taiwan, 2011, pp. 149–154.
View | DOI
 
2011 | Conference Paper | IST-REx-ID: 3361   OA
P. Cerny, K. Chatterjee, and T. A. Henzinger, “The complexity of quantitative information flow problems,” presented at the CSF: Computer Security Foundations, Cernay-la-Ville, France, 2011, pp. 205–217.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3347   OA
K. Chatterjee and N. Fijalkow, “Finitary languages,” presented at the LATA: Language and Automata Theory and Applications, Tarragona, Spain, 2011, vol. 6638, pp. 216–226.
View | DOI | Download (ext.) | arXiv
 
2011 | Journal Article | IST-REx-ID: 3354
K. Chatterjee, L. De Alfaro, and T. A. Henzinger, “Qualitative concurrent parity games,” ACM Transactions on Computational Logic (TOCL), vol. 12, no. 4, 2011.
View | Files available | DOI
 
2011 | Technical Report | IST-REx-ID: 5379
K. Chatterjee and M. Henzinger, An O(n2) time algorithm for alternating Büchi games. IST Austria, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3342
K. Chatterjee, M. Henzinger, M. Joglekar, and S. Nisarg, “Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives,” presented at the CAV: Computer Aided Verification, Snowbird, USA, 2011, vol. 6806, pp. 260–276.
View | Files available | DOI | Download (ext.) | arXiv
 
2011 | Conference Paper | IST-REx-ID: 3266
A. Ion, J. Carreira, and C. Sminchisescu, “Probabilistic joint image segmentation and labeling,” in NIPS Proceedings, Granada, Spain, 2011, vol. 24, pp. 1827–1835.
View
 
2011 | Thesis | IST-REx-ID: 3273
J.-L. Maître, Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. IST Austria, 2011.
View
 
2011 | Conference Paper | IST-REx-ID: 3297   OA
C. J. Wojtan, M. Müller Fischer, and T. Brochu, “Liquid simulation with mesh-based surface tracking,” presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada, 2011.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3324   OA
R. Piskac and T. Wies, “Decision procedures for automating termination proofs,” presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA, 2011, vol. 6538, pp. 371–386.
View | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3329   OA
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Deconstructing approximate offsets,” in Proceedings of the twenty-seventh annual symposium on Computational geometry, Paris, France, 2011, pp. 187–196.
View | Files available | DOI | Download (ext.)
 
2011 | Conference Paper | IST-REx-ID: 3355   OA
R. Halalai, T. A. Henzinger, and V. Singh, “Quantitative evaluation of BFT protocols,” presented at the QEST: Quantitative Evaluation of Systems, Aachen, Germany, 2011, pp. 255–264.
View | Files available | DOI
 
2011 | Conference Paper | IST-REx-ID: 3343   OA
K. Chatterjee and M. Henzinger, “Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification,” presented at the SODA: Symposium on Discrete Algorithms, San Francisco, USA, 2011, pp. 1318–1336.
View | DOI | Download (ext.)
 
2011 | Journal Article | IST-REx-ID: 3778   OA
N. H. Barton, “Estimating linkage disequilibria,” Heredity, vol. 106, no. 2, pp. 205–206, 2011.
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2011 | Journal Article | IST-REx-ID: 3386
A. Schrempf, S. Cremer, and J. Heinze, “Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies,” Journal of Evolutionary Biology, vol. 24, no. 7, pp. 1455–1461, 2011.
View | DOI
 
2011 | Journal Article | IST-REx-ID: 3393   OA
N. H. Barton and M. Turelli, “Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects,” American Naturalist, vol. 178, no. 3, pp. E48–E75, 2011.
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed