Please note that ISTA 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.
5859 Publications
2011 |Published| Journal Article | IST-REx-ID: 3397 | 
Maître, J.-L., & Heisenberg, C.-P. J. (2011). The role of adhesion energy in controlling cell-cell contacts. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2011.07.004
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3405 |
Janovjak, H. L., Sandoz, G., & Isacoff, E. (2011). Modern ionotropic glutamate receptor with a K+ selectivity signature sequence. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/ncomms1231
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3505 |
Sixt, M. K., & Lämmermann, T. (2011). In vitro analysis of chemotactic leukocyte migration in 3D environments. Cell Migration. Springer. https://doi.org/10.1007/978-1-61779-207-6_11
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3784 |
Palero, F., Guerao, G., Clark, P., & Abello, P. (2011). Scyllarus arctus (Crustacea: Decapoda: Scyllaridae) final stage phyllosoma identified by DNA analysis, with morphological description. Journal of the Marine Biological Association of the United Kingdom. Cambridge University Press. https://doi.org/10.1017/S0025315410000287
[Published Version]
View
| DOI
| Download Published Version (ext.)
2011 |Published| Book Chapter | IST-REx-ID: 3796 |
Edelsbrunner, H., & Kerber, M. (2011). Covering and packing with spheres by diagonal distortion in R^n. In C. Calude, G. Rozenberg, & A. Salomaa (Eds.), Rainbow of Computer Science (Vol. 6570, pp. 20–35). Springer. https://doi.org/10.1007/978-3-642-19391-0_2
[Submitted Version]
View
| Files available
| DOI
2011 |Published| 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. World Scientific Publishing. https://doi.org/10.1142/S0129054111008441
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 386 |
Alpichshev, Z., Analytis, J. G., Chu, J. H., Fisher, I. R., & Kapitulnik, A. (2011). STM imaging of a bound state along a step on the surface of the topological insulator Bi2Te3. Physical Review B - Condensed Matter and Materials Physics. American Physical Society. https://doi.org/10.1103/PhysRevB.84.041104
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2011 |Published| Journal Article | IST-REx-ID: 3315 |
Chatterjee, K., Henzinger, T. A., & Prabhu, V. (2011). Timed parity games: Complexity and robustness. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-7(4:8)2011
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3101 |
Zwiewka, M., Feraru, E., Möller, B., Hwang, I., Feraru, M., Kleine Vehn, J., … Friml, J. (2011). The AP 3 adaptor complex is required for vacuolar function in Arabidopsis. Cell Research. Nature Publishing Group. https://doi.org/10.1038/cr.2011.99
View
| DOI
| Download (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3100 |
Vanneste, S., Coppens, F., Lee, E., Donner, T., Xie, Z., Van Isterdael, G., … Beeckman, T. (2011). Developmental regulation of CYCA2s contributes to tissue-specific proliferation in Arabidopsis . EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2011.240
View
| DOI
| Download (ext.)
2011 |Published| Journal Article | IST-REx-ID: 3276 |
Prentice, J., Homann, J., Simmons, K., Tkačik, G., Balasubramanian, V., & Nelson, P. (2011). Fast, scalable, Bayesian spike identification for multi-electrode arrays. PLoS One. Public Library of Science. https://doi.org/10.1371/journal.pone.0019884
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3298 |
Raveendran, K., Wojtan, C., & Turk, G. (2011). Hybrid smoothed particle hydrodynamics. In S. Spencer (Ed.) (pp. 33–42). Presented at the SCA: ACM SIGGRAPH/Eurographics Symposium on Computer animation, Vancouver, Canada: ACM. https://doi.org/10.1145/2019406.2019411
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3297 |
Wojtan, C., 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
[Published Version]
View
| Files available
| DOI
2011 |Published| Journal Article | IST-REx-ID: 3290 |
Lohse, K., Harrison, R., & Barton, N. H. (2011). A general method for calculating likelihoods under the coalescent process. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.111.129569
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| 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. Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126475
[Submitted Version]
View
| Files available
| DOI
2011 |Published| Conference Paper | IST-REx-ID: 3313 |
Chen, C., & Edelsbrunner, H. (2011). Diffusion runs low on persistence fast. In Proceedings of the IEEE International Conference on Computer Vision. Barcelona, Spain: IEEE. https://doi.org/10.1109/ICCV.2011.6126271
[Submitted Version]
View
| Files available
| DOI
2011 |In Press| Book Chapter | IST-REx-ID: 3311 |
Edelsbrunner, H. (n.d.). Alpha shapes - a survey. In R. van de Weygaert, G. Vegter, J. Ritzerveld, & V. Icke (Eds.), Tessellations in the Sciences: Virtues, Techniques and Applications of Geometric Tilings. Springer.
[Submitted Version]
View
| Files available
2011 |Published| Conference Paper | IST-REx-ID: 3326 |
Almagor, S., Boker, U., & Kupferman, O. (2011). What’s decidable about weighted automata (Vol. 6996, pp. 482–491). Presented at the ATVA: Automated Technology for Verification and Analysis, Taipei, Taiwan: Springer. https://doi.org/10.1007/978-3-642-24372-1_37
[Submitted Version]
View
| Files available
| DOI
2011 |Published| 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
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2011 |Published| Preprint | IST-REx-ID: 3339 |
Chatterjee, K., De Alfaro, L., & Pritam, R. (2011). Magnifying lens abstraction for stochastic games with discounted and long-run average objectives. arXiv. ArXiv.
[Preprint]
View
| Download Preprint (ext.)
| arXiv