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.
9087 Publications
2010 | Conference (Editor) | IST-REx-ID: 3859
Chatterjee, K., & Henzinger, T. A. (Eds.). (2010). Formal modeling and analysis of timed systems (Vol. 6246). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 3866 | 
Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., & Jobstmann, B. (2010). Robustness in the presence of liveness. In T. Touili, B. Cook, & P. Jackson (Eds.) (Vol. 6174, pp. 410–424). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_36
[Submitted Version]
View
| Files available
| DOI
2010 | Journal Article | IST-REx-ID: 3868 |
Chatterjee, K., De Alfaro, L., Majumdar, R., & Raman, V. (2010). Algorithms for game metrics. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:13)2010
[Published Version]
View
| Files available
| DOI
2010 | Book | IST-REx-ID: 3899
Edelsbrunner, H., & Harer, J. (2010). Computational Topology: An Introduction (Vol. 69). American Mathematical Society. https://doi.org/10.1090/mbk/069
View
| Files available
| DOI
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3963
Streinzer, M., Ellis, T., Paulus, H., & Spaethe, J. (2010). Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. Arthropod-Plant Interactions. Springer. https://doi.org/10.1007/s11829-010-9093-4
View
| DOI
2010 | Journal Article | IST-REx-ID: 3959
Schumann, K., Lämmermann, T., Bruckner, M., Legler, D., Polleux, J., Spatz, J., … Sixt, M. K. (2010). Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells. Immunity. Cell Press. https://doi.org/10.1016/j.immuni.2010.04.017
View
| DOI
2010 | Journal Article | IST-REx-ID: 3958
Mohan, H., Krumbholz, M., Sharma, R., Eisele, S., Junker, A., Sixt, M. K., … Meinl, E. (2010). Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. Wiley-Blackwell. https://doi.org/10.1111/j.1750-3639.2010.00399.x
View
| DOI
2010 | Journal Article | IST-REx-ID: 3961
Renkawitz, J., & Sixt, M. K. (2010). Mechanisms of force generation and force transmission during interstitial leukocyte migration. EMBO Reports. Wiley-Blackwell. https://doi.org/10.1038/embor.2010.147
View
| DOI
2010 | Journal Article | IST-REx-ID: 3960 |
Weber, M., & Sixt, M. K. (2010). MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2010.183
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3964
Cohen Steiner, D., Edelsbrunner, H., Harer, J., & Mileyko, Y. (2010). Lipschitz functions have L_p-stable persistence. Foundations of Computational Mathematics. Springer. https://doi.org/10.1007/s10208-010-9060-6
View
| DOI
2010 | Journal Article | IST-REx-ID: 3957
Riedl, J., Flynn, K., Raducanu, A., Gärtner, F. R., Beck, G., Bosl, M., … Wedlich Söldner, R. (2010). Lifeact mice for studying F-actin dynamics. Nature Methods. Nature Publishing Group. https://doi.org/10.1038/nmeth0310-168
View
| DOI
2010 | Journal Article | IST-REx-ID: 4134
Bridle, J., Polechova, J., Kawata, M., & Butlin, R. (2010). Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. Wiley-Blackwell. https://doi.org/10.1111/j.1461-0248.2010.01442.x
View
| DOI
2010 | Journal Article | IST-REx-ID: 4163
Oteíza, P., Koeppen, M., Krieg, M., Pulgar, E., Farias, C., Melo, C., … Concha, M. (2010). Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. Development. Company of Biologists. https://doi.org/10.1242/dev.049981
View
| DOI
2010 | Journal Article | IST-REx-ID: 4243 |
Barton, N. H., Etheridge, A., & Véber, A. (2010). A new model for evolution in a spatial continuum. Electronic Journal of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/EJP.v15-741
[Published Version]
View
| Files available
| DOI
2010 | Other Publication | IST-REx-ID: 4340 |
Danowski, P. (2010). Open bibliographic data. European Library Automation Group (ELAG) 2010. Elsevier.
View
| Files available
| Download None (ext.)
2010 | Book (Editor) | IST-REx-ID: 4346 |
Danowski, P., & Bergmann, J. (Eds.). (2010). Handbuch Bibliothek 2.0 (Vol. 41). De Gruyter. https://doi.org/10.1515/9783110232103
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 | Conference Paper | IST-REx-ID: 4341
Danowski, P. (2010). Step one: blow up the silo! - Open bibliographic data, the first step towards Linked Open Data. Presented at the WLIC: World Library and Information Congress, IFLA.
View
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 4369 |
Nickovic, D., & Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger & K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9_13
[Submitted Version]
View
| Files available
| DOI
2010 | Conference Paper | IST-REx-ID: 4364
Podelski, A., & Wies, T. (2010). Counterexample-guided focus (pp. 249–260). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1707801.1706330
View
| DOI
2010 | Journal Article | IST-REx-ID: 3068
Růžička, K., Strader, L., Bailly, A., Yang, H., Blakeslee, J., Łangowski, Ł., … Friml, J. (2010). Arabidopsis PIS1 encodes the ABCG37 transporter of auxinic compounds including the auxin precursor indole 3 butyric acid. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1005878107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3067
Jelínková, A., Malínská, K., Simon, S., Kleine Vehn, J., Pařezová, M., Pejchar, P., … Petrášek, J. (2010). Probing plant membranes with FM dyes: Tracking dragging or blocking? Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2009.04102.x
View
| DOI
2010 | Journal Article | IST-REx-ID: 3065
Žádníková, P., Petrášek, J., Marhavý, P., Raz, V., Vandenbussche, F., Ding, Z., … Benková, E. (2010). Role of PIN-mediated auxin efflux in apical hook development of Arabidopsis thaliana. Development. Company of Biologists. https://doi.org/10.1242/dev.041277
View
| DOI
2010 | Journal Article | IST-REx-ID: 3064
Zhang, J., Nodzyński, T., Pěnčík, A., Rolčík, J., & Friml, J. (2010). PIN phosphorylation is sufficient to mediate PIN polarity and direct auxin transport. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0909460107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3066
Łangowski, Ł., Růžička, K., Naramoto, S., Kleine Vehn, J., & Friml, J. (2010). Trafficking to the outer polar domain defines the root soil interface. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2010.03.059
View
| DOI
2010 | Journal Article | IST-REx-ID: 3070
Nawy, T., Bayer, M., Mravec, J., Friml, J., Birnbaum, K., & Lukowitz, W. (2010). The GATA factor HANABA TARANU is required to position the proembryo boundary in the early Arabidopsis embryo. Developmental Cell. Cell Press. https://doi.org/10.1016/j.devcel.2010.06.004
View
| DOI
2010 | Journal Article | IST-REx-ID: 3069
Ding, Z., & Friml, J. (2010). Auxin regulates distal stem cell differentiation in Arabidopsis roots. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1000672107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3063
Friml, J. (2010). Subcellular trafficking of PIN auxin efflux carriers in auxin transport. European Journal of Cell Biology. Elsevier. https://doi.org/10.1016/j.ejcb.2009.11.003
View
| DOI
2010 | Journal Article | IST-REx-ID: 3081
Naramoto, S., Kleine Vehn, J., Robert, S., Fujimoto, M., Dainobu, T., Paciorek, T., … Friml, J. (2010). ADP ribosylation factor machinery mediates endocytosis in plant cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1016260107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3080
Kleine Vehn, J., Ding, Z., Jones, A., Tasaka, M., Morita, M., & Friml, J. (2010). Gravity induced PIN transcytosis for polarization of auxin fluxes in gravity sensing root cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1013145107
View
| DOI
2010 | Journal Article | IST-REx-ID: 3153
Siekhaus, D. E., Haesemeyer, M., Moffitt, O., & Lehmann, R. (2010). RhoL controls invasion and Rap1 localization during immune cell transmigration in Drosophila. Nature Cell Biology. Nature Publishing Group.
View
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3201
Vicente, S., Kolmogorov, V., & Rother, C. (2010). Cosegmentation revisited: Models and optimization (Vol. 6312, pp. 465–479). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/978-3-642-15552-9_34
View
| DOI
| Download (ext.)
2010 | Conference Paper | IST-REx-ID: 3237
Kiltz, E., & Pietrzak, K. Z. (2010). Leakage resilient ElGamal encryption (Vol. 6477, pp. 595–612). Presented at the ASIACRYPT: Theory and Application of Cryptology and Information Security, Springer. https://doi.org/10.1007/978-3-642-17373-8_34
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3235
Dodis, Y., & Pietrzak, K. Z. (2010). Leakage resilient pseudorandom functions and side channel attacks on feistel networks (Vol. 6223, pp. 21–40). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-642-14623-7_2
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3234
Faust, S., Kiltz, E., Pietrzak, K. Z., & Rothblum, G. (2010). Leakage resilient signatures (Vol. 5978, pp. 343–360). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-642-11799-2_21
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3233
Håstad, J., Pass, R., Wikström, D., & Pietrzak, K. Z. (2010). An efficient parallel repetition theorem (Vol. 5978, pp. 1–18). Presented at the TCC: Theory of Cryptography Conference, Springer. https://doi.org/10.1007/978-3-642-11799-2_1
View
| DOI
2010 | Conference Paper | IST-REx-ID: 2934
Kolmogorov, V. (2010). Generalized roof duality and bisubmodular functions. Presented at the Neural Information Processing Systems, Neural Information Processing Systems.
View
| Files available
2010 | Journal Article | IST-REx-ID: 3294
Iyengar, A., Chakraborty Tuhin, S., Goswami, S., Wu, C., & Siddiqi, O. (2010). Post eclosion odor experience modifies olfactory receptor neuron coding in Drosophila. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.1003856107
View
| DOI
2010 | Thesis | IST-REx-ID: 3296
Wojtan, C. (2010). Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.
View
| Download None (ext.)
2010 | Journal Article | IST-REx-ID: 3306 |
Evans, S., Sturmfels, B., & Uhler, C. (2010). Commuting birth and death processes. The Annals of Applied Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/09-AAP615
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3308 |
Sturmfels, B., & Uhler, C. (2010). Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry. Annals of the Institute of Statistical Mathematics. Springer. https://doi.org/10.1007/s10463-010-0295-4
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3402
Guerraoui, R., Henzinger, T. A., & Singh, V. (2010). Model checking transactional memories. Distributed Computing. Springer. https://doi.org/10.1007/s00446-009-0092-6
View
| DOI
| Download (ext.)
2010 | Book Review | IST-REx-ID: 3403
Pleydell Bouverie, B., & Csicsvari, J. L. (2010). Rate remapping: When the code goes beyond space (preview). Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2010.12.011
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3430 |
Tkačik, G. (2010). Lecture notes for 2010 summer school on Quantitative Evolutionary and Comparative Genomics. Presented at the Summer School on Quantitative Evolutionary and Comparative Genomics, Elsevier.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3498
Sabeti Aschraf, M., Gonano, C., Nemecek, E., Cichocki, L., & Schueller Weidekamm, C. (2010). Intra-operative ultrasound facilitates the localization of the calcific deposit during arthroscopic treatment of calcifying tendinitis. Knee Surgery, Sports Traumatology, Arthroscopy. Springer. https://doi.org/10.1007/s00167-010-1227-9
View
| DOI
2010 | Journal Article | IST-REx-ID: 3592
Carvalho, L., & Heisenberg, C.-P. J. (2010). Imaging zebrafish embryos by two-photon excitation time-lapse microscopy. Methods in Molecular Biology. Springer. https://doi.org/10.1007/978-1-60327-977-2_17
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3676
Wanke, J., Ulges, A., Lampert, C., & Breuel, T. (2010). Topic models for semantic video compression (pp. 275–284). Presented at the MIR: Multimedia Information Retrieval, ACM. https://doi.org/10.1145/1743384.1743433
View
| DOI
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3697
Tuytelaars, T., Lampert, C., Blaschko, M., & Buntine, W. (2010). Unsupervised object discovery: A comparison. International Journal of Computer Vision. Springer. https://doi.org/10.1007/s11263-009-0271-8
View
| DOI
2010 | Conference Paper | IST-REx-ID: 3713
Lampert, C. (2010). An efficient divide-and-conquer cascade for nonlinear object detection (pp. 1022–1029). Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2010.5540107
View
| DOI
2010 | Preprint | IST-REx-ID: 3743 |
Tkačik, G. (2010). From statistical mechanics to information theory: understanding biophysical information-processing systems. ArXiv. ArXiv.
View
| Download (ext.)
2010 | Journal Article | IST-REx-ID: 3761
Kwatra, N., Wojtan, C., Carlson, M., Essa, I., Mucha, P., & Turk, G. (2010). Fluid simulation with articulated bodies. IEEE Transactions on Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2009.66
View
| DOI