en
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.
2490 Publications
2011 | Technical Report | IST-REx-ID: 5386   

Chen, C., Freedman, D., & Lampert, C. (2011). Enforcing topological constraints in random field image segmentation. IST Austria. https://doi.org/10.15479/AT:IST-2011-0002
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3266
Ion, A., Carreira, J., & Sminchisescu, C. (2011). Probabilistic joint image segmentation and labeling. In NIPS Proceedings (Vol. 24, pp. 1827–1835). Granada, Spain: Neural Information Processing Systems Foundation.
View
2011 | Thesis | IST-REx-ID: 3273
Maître, J.-L. (2011). Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. IST Austria.
View
2011 | Conference Paper | IST-REx-ID: 3297   

Wojtan, C. J., Müller Fischer, M., & Brochu, T. (2011). Liquid simulation with mesh-based surface tracking. Presented at the SIGGRAPH: Special Interest Group on Computer Graphics and Interactive Techniques, Vancouver, BC, Canada: ACM. https://doi.org/10.1145/2037636.2037644
View
| Files available
| DOI
2011 | Conference Poster | IST-REx-ID: 3312   

Zheng, Y., Gu, S., Edelsbrunner, H., Tomasi, C., & Benfey, P. (2011). Detailed reconstruction of 3D plant root shape. Proceedings of the IEEE International Conference on Computer Vision (p. 6126475). Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126475
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3329   

Berberich, E., Halperin, D., Kerber, M., & Pogalnikova, R. (2011). Deconstructing approximate offsets. In Proceedings of the twenty-seventh annual symposium on Computational geometry (pp. 187–196). Paris, France: ACM. https://doi.org/10.1145/1998196.1998225
View
| Files available
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3343   

Chatterjee, K., & Henzinger, M. (2011). Faster and dynamic algorithms for maximal end component decomposition and related graph problems in probabilistic verification (pp. 1318–1336). Presented at the SODA: Symposium on Discrete Algorithms, San Francisco, USA: SIAM. https://doi.org/10.1137/1.9781611973082.101
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3324   

Piskac, R., & Wies, T. (2011). Decision procedures for automating termination proofs. In R. Jhala & D. Schmidt (Eds.) (Vol. 6538, pp. 371–386). Presented at the VMCAI: Verification Model Checking and Abstract Interpretation, Texas, USA: Springer. https://doi.org/10.1007/978-3-642-18275-4_26
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3386
Schrempf, A., Cremer, S., & Heinze, J. (2011). Social influence on age and reproduction reduced lifespan and fecundity in multi queen ant colonies. Journal of Evolutionary Biology, 24(7), 1455–1461. https://doi.org/10.1111/j.1420-9101.2011.02278.x
View
| DOI
2011 | Journal Article | IST-REx-ID: 3393   

Barton, N. H., & Turelli, M. (2011). Spatial waves of advance with bistable dynamics: Cytoplasmic and genetic analogues of Allee effects. American Naturalist, 178(3), E48–E75. https://doi.org/10.1086/661246
View
| Files available
| DOI
2011 | Journal Article | IST-REx-ID: 3374   

Tkacik, G., & Walczak, A. (2011). Information transmission in genetic regulatory networks a review. Journal of Physics: Condensed Matter, 23(15). https://doi.org/10.1088/0953-8984/23/15/153102
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3379   

Row, R., Maître, J.-L., Martin, B., Stockinger, P., Heisenberg, C.-P. J., & Kimelman, D. (2011). Completion of the epithelial to mesenchymal transition in zebrafish mesoderm requires Spadetail. Developmental Biology, 354(1), 102–110. https://doi.org/10.1016/j.ydbio.2011.03.025
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 3348   

Chatterjee, K., & Prabhu, V. (2011). Synthesis of memory efficient real time controllers for safety objectives (pp. 221–230). Presented at the HSCC: Hybrid Systems - Computation and Control, Chicago, USA: Springer. https://doi.org/10.1145/1967701.1967734
View
| DOI
| Download (ext.)
2011 | Conference Paper | IST-REx-ID: 3350
Chatterjee, K., & Majumdar, R. (2011). Minimum attention controller synthesis for omega regular objectives. In U. Fahrenberg & S. Tripakis (Eds.) (Vol. 6919, pp. 145–159). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Aalborg, Denmark: Springer. https://doi.org/10.1007/978-3-642-24310-3_11
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3355   

Halalai, R., Henzinger, T. A., & Singh, V. (2011). Quantitative evaluation of BFT protocols (pp. 255–264). Presented at the QEST: Quantitative Evaluation of Systems, Aachen, Germany: IEEE. https://doi.org/10.1109/QEST.2011.40
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3362
Fisher, J., Henzinger, T. A., Nickovic, D., Piterman, N., Singh, A., & Vardi, M. (2011). Dynamic reactive modules. In J.-P. Katoen & B. König (Eds.) (Vol. 6901, pp. 404–418). Presented at the CONCUR: Concurrency Theory, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-23217-6_27
View
| DOI
2011 | Conference Paper | IST-REx-ID: 3367
Chen, C., & Kerber, M. (2011). An output sensitive algorithm for persistent homology (pp. 207–216). Presented at the SoCG: Symposium on Computational Geometry, Paris, France: ACM. https://doi.org/10.1145/1998196.1998228
View
| DOI
2011 | Journal Article | IST-REx-ID: 3778   

Barton, N. H. (2011). Estimating linkage disequilibria. Heredity, 106(2), 205–206. https://doi.org/10.1038/hdy.2010.67
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2011 | Journal Article | IST-REx-ID: 3381
Henzinger, T. A., Jobstmann, B., & Wolf, V. (2011). Formalisms for specifying Markovian population models. IJFCS: International Journal of Foundations of Computer Science, 22(4), 823–841. https://doi.org/10.1142/S0129054111008441
View
| Files available
| DOI
2011 | Technical Report | IST-REx-ID: 5382   

Chatterjee, K. (2011). Robustness of structurally equivalent concurrent parity games. IST Austria. https://doi.org/10.15479/AT:IST-2011-0006
View
| Files available
| DOI