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

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

2645 Publications

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.

2011 | Thesis | IST-REx-ID: 3273
J.-L. Maître, Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. IST Austria, 2011.

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

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed