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.

7340 Publications


2009 | Conference Paper | IST-REx-ID: 4391
Cerny, P., & Alur, R. (2009). Automated Analysis of Java Methods for Confidentiality (pp. 173–187). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/1548
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, R., Cerny, P., & Weinstein, S. (2009). Algorithmic analysis of array-accessing programs (Vol. 5771, pp. 86–101). Presented at the CSL: Computer Science Logic, Coimbra, Portugal: Springer. https://doi.org/10.1007/978-3-642-04027-6_9
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Journal Article | IST-REx-ID: 11105 | OA
Capelson, M., & Hetzer, M. (2009). The role of nuclear pores in gene regulation, development and disease. EMBO Reports. EMBO. https://doi.org/10.1038/embor.2009.147
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
Dawson, T. R., Lazarus, M. D., Hetzer, M., & Wente, S. R. (2009). ER membrane–bending proteins are necessary for de novo nuclear pore formation. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200806174
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11103 | OA
Hetzer, M., & Wente, S. R. (2009). Border control at the nucleus: Biogenesis and organization of the nuclear membrane and pore complexes. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2009.10.007
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11108 | OA
D’Angelo, M. A., Raices, M., Panowski, S. H., & Hetzer, M. (2009). Age-dependent deterioration of nuclear pore complexes causes a loss of nuclear integrity in postmitotic cells. Cell. Elsevier. https://doi.org/10.1016/j.cell.2008.11.037
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 11106 | OA
Anderson, D. J., Vargas, J. D., Hsiao, J. P., & Hetzer, M. (2009). Recruitment of functionally distinct membrane proteins to chromatin mediates nuclear envelope formation in vivo. Journal of Cell Biology. Rockefeller University Press. https://doi.org/10.1083/jcb.200901106
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 2795
Hof, B., De Lózar, A., Kuik, D., & Westerweel, J. (2008). Repeller or attractor? Selecting the dynamical model for the onset of turbulence in pipe flow. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.101.214501
View | DOI
 

2008 | Journal Article | IST-REx-ID: 2892
Azevedo, R., Lohaus, R., & Paixao, T. (2008). Networking networks. Evolution & Development. Wiley-Blackwell. https://doi.org/10.1111/j.1525-142X.2008.00265.x
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3030
Růčková, E., Friml, J., Procházková Schrumpfová, P., & Fajkus, J. (2008). Role of alternative telomere lengthening unmasked in telomerase knock-out mutant plants. Plant Molecular Biology. Springer. https://doi.org/10.1007/s11103-008-9295-7
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3031
Dhonukshe, P., Grigoriev, I., Fischer, R., Tominaga, M., Robinson, D., Hašek, J., … Friml, J. (2008). Auxin transport inhibitors impair vesicle motility and actin cytoskeleton dynamics in diverse eukaryotes. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0711414105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3032
Kleine Vehn, J., Dhonukshe, P., Sauer, M., Brewer, P., Wiśniewska, J., Paciorek, T., … Friml, J. (2008). ARF GEF dependent transcytosis and polar delivery of PIN auxin carriers in Arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2008.03.021
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3033
Sauer, M., & Friml, J. (2008). Visualization of auxin gradients in embryogenesis . In M. Suárez & P. Bozhkov (Eds.), Plant Embryogenesis (Vol. 427, pp. 137–144). Humana Press. https://doi.org/10.1007/978-1-59745-273-1_11
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3034
Friml, J., & Sauer, M. (2008). Plant biology: In their neighbour’s shadow. Nature. Nature Publishing Group. https://doi.org/10.1038/453298a
View | DOI
 

2008 | Book Chapter | IST-REx-ID: 3035
Sauer, M., & Friml, J. (2008). In vitro culture of Arabidopsis embryos . In M. Suárez & P. Bozhkov (Eds.), Plant Embryogenesis (Vol. 427, pp. 71–76). Humana Press. https://doi.org/10.1007/978-1-59745-273-1_5
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3036
Dubrovsky, J., Sauer, M., Napsucialy Mendivil, S., Ivanchenko, M., Friml, J., Shishkova, S., … Benková, E. (2008). Auxin acts as a local morphogenetic trigger to specify lateral root founder cells. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0712307105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3037 | OA
Feraru, E., & Friml, J. (2008). PIN polar targeting. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.108.121756
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3038
Swarup K, Benková E, Swarup R, Casimiro I, Péret B, Yang Y, Parry G, Nielsen E, De Smet I, Vanneste S, Levesque M, Carrier D, James N, Calvo V, Ljung K, Kramer E, Roberts R, Graham N, Marillonnet S, Patel K, Jones J, Taylor C, Schachtman D, May S, Sandberg G, Benfey P, Friml J, Kerr I, Beeckman T, Laplaze L, Bennett M. 2008. The auxin influx carrier LAX3 promotes lateral root emergence. Nature Cell Biology. 10(8), 946–954.
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3039
De Smet, I., Vassileva, V., De Rybel, B., Levesque, M., Grunewald, W., Van Damme, D., … Beeckman, T. (2008). Receptor-like kinase ACR4 restricts formative cell divisions in the Arabidopsis root. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.1160158
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3040
Kleine Vehn, J., Łangowski, Ł., Wiśniewska, J., Dhonukshe, P., Brewer, P., & Friml, J. (2008). Cellular and molecular requirements for polar PIN targeting and transcytosis in plants. Molecular Plant. Oxford University Press. https://doi.org/10.1093/mp/ssn062
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3041
Santelia, D., Henrichs, S., Vincenzetti, V., Sauer, M., Bigler, L., Klein, M., … Martinoia, E. (2008). Flavonoids redirect PIN mediated polar auxin fluxes during root gravitropic responses. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/ 10.1074/jbc.M710122200
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3042
Kleine Vehn, J., Leitner, J., Zwiewka, M., Sauer, M., Abas, L., Luschnig, C., & Friml, J. (2008). Differential degradation of PIN2 auxin efflux carrier by retromer dependent vacuolar targeting. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0808073105
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3043
Kleine Vehn, J., & Friml, J. (2008). Polar targeting and endocytic recycling in auxin-dependent plant development. Annual Review of Cell and Developmental Biology. Annual Reviews. https://doi.org/10.1146/annurev.cellbio.24.110707.175254
View | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 3044
Mravec, J., Kubeš, M., Bielach, A., Gaykova, V., Petrášek, J., Skůpa, P., … Friml, J. (2008). Interaction of PIN and PGP transport mechanisms in auxin distribution-dependent development. Development. Company of Biologists. https://doi.org/10.1242/dev.021071
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3045
Dhonukshe, P., Tanaka, H., Goh, T., Ebine, K., Mähönen, A., Prasad, K., … Friml, J. (2008). Generation of cell polarity in plants links endocytosis auxin distribution and cell fate decisions. Nature. Nature Publishing Group. https://doi.org/10.1038/nature07409
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3194
Kohli, P., Shekhovtsov, A., Rother, C., Kolmogorov, V., & Torr, P. (2008). On partial optimality in multi label MRFs (pp. 480–487). Presented at the ICML: International Conference on Machine Learning, Omnipress. https://doi.org/10.1145/1390156.1390217
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3195
Vicente, S., Kolmogorov, V., & Rother, C. (2008). Graph cut based image segmentation with connectivity priors. Presented at the CVPR: Computer Vision and Pattern Recognition, IEEE. https://doi.org/10.1109/CVPR.2008.4587440
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3196
Szeliski, R., Zabih, R., Scharstein, D., Veksler, O., Kolmogorov, V., Agarwala, A., … Rother, C. (2008). A comparative study of energy minimization methods for Markov random fields with smoothness-based priors. IEEE Transactions on Pattern Analysis and Machine Intelligence. IEEE. https://doi.org/10.1109/TPAMI.2007.70844
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3198
Torresani, L., Kolmogorov, V., & Rother, C. (2008). Feature correspondence via graph matching: Models and global optimization (Vol. 5303, pp. 596–609). Presented at the ECCV: European Conference on Computer Vision, Springer. https://doi.org/10.1007/978-3-540-88688-4_44
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3224
Dodis, Y., Pietrzak, K. Z., & Puniya, P. (2008). A new mode of operation for block ciphers and length preserving MACs (Vol. 4965, pp. 198–219). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-540-78967-3_12
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3225
Fischlin, M., Lehmann, A., & Pietrzak, K. Z. (2008). Robust multi property combiners for hash functions revisited (Vol. 5126, pp. 655–666). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-70583-3_53
View | Files available | DOI
 

2008 | Conference Paper | IST-REx-ID: 3226
Pietrzak, K. Z., & Sjödin, J. (2008). Weak pseudorandom functions in minicrypt (Vol. 5126, pp. 423–436). Presented at the ICALP: Automata, Languages and Programming, Springer. https://doi.org/10.1007/978-3-540-70583-3_35
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3227
Zubielik, P., Nadaczny, J., Pietrzak, K. Z., & Lawenda, M. (2008). Elektrowiz – system of measurement data management. Przeglad Elektrotechniczny. SIGMA-NOT.
View | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 3228
Pietrzak, K. Z. (2008). Compression from collisions or why CRHF combiners have a long output (Vol. 5157, pp. 413–432). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-540-85174-5_23
View | DOI
 

2008 | Conference Paper | IST-REx-ID: 3229
Dziembowski, S., & Pietrzak, K. Z. (2008). Leakage resilient cryptography (pp. 293–302). Presented at the FOCS: Foundations of Computer Science, IEEE. https://doi.org/10.1109/FOCS.2008.56
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3291
Schmalhorst, P. S., Krappmann, S., Vervecken, W., Rohde, M., Müller, M., Braus, G., … Routier, F. (2008). Contribution of galactofuranose to the virulence of the opportunistic pathogen Aspergillus fumigatus. Eukaryotic Cell. American Society for Microbiology. https://doi.org/10.1128/EC.00065-08
View | DOI
 

2008 | Journal Article | IST-REx-ID: 3307 | OA
Green R, Malaspinas A, Krause J, Briggs A, Johnson P, Uhler C, Meyer M, Good J, Maricic T, Stenzel U, Prüfer K, Siebauer M, Burbano H, Ronan M, Rothberg J, Egholm M, Rudan P, Brajković D, Kućan Ž, Gušić I, Wikström M, Laakkonen L, Kelso J, Slatkin M, Pääbo S. 2008. A complete neandertal mitochondrial genome sequence determined by highhhroughput sequencing. Cell. 134, 416–426.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3409
Struckmeier, J., Wahl, R., Leuschner, M., Nunes, J., Janovjak, H. L., Geisler, U., … Mueller, D. (2008). Fully automated single-molecule force spectroscopy for screening applications. Nanotechnology. IOP Publishing Ltd. https://doi.org/10.1088/0957-4484/19/38/384020
View | DOI
 

2008 | Book Review | IST-REx-ID: 3410
Janovjak, H. L., Sapra, T., Kedrov, A., & Mueller, D. (2008). From valleys to ridges: Exploring the energy landscape of single membrane proteins. ChemPhysChem. Wiley-Blackwell. https://doi.org/10.1002/cphc.200700662
View | DOI
 

2008 | Journal Article | IST-REx-ID: 844
Schmidt, S., Gerasimova, A., Kondrashov, F., Adzuhbei, I., Kondrashov, A., & Sunyaev, S. (2008). Hypermutable non-synonymous sites are under stronger negative selection. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1000281
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8480
Schanda, P., Brutscher, B., Konrat, R., & Tollinger, M. (2008). Folding of the KIX domain: Characterization of the equilibrium analog of a folding intermediate using 15N/13C relaxation dispersion and fast 1H/2H amide exchange NMR spectroscopy. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2008.05.040
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8481
Bersch, B., Favier, A., Schanda, P., van Aelst, S., Vallaeys, T., Covès, J., … Wattiez, R. (2008). Molecular structure and metal-binding properties of the periplasmic CopK protein expressed in Cupriavidus metallidurans CH34 during copper challenge. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2008.05.017
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8482
Kern, T., Schanda, P., & Brutscher, B. (2008). Sensitivity-enhanced IPAP-SOFAST-HMQC for fast-pulsing 2D NMR with reduced radiofrequency load. Journal of Magnetic Resonance. Elsevier. https://doi.org/10.1016/j.jmr.2007.11.015
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8509
Kaloshin, V., & Levi, M. (2008). Geometry of Arnold diffusion. SIAM Review. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/070703235
View | DOI
 

2008 | Journal Article | IST-REx-ID: 8510
Kaloshin, V., & Levi, M. (2008). An example of Arnold diffusion for near-integrable Hamiltonians. Bulletin of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/s0273-0979-08-01211-1
View | DOI
 

2008 | Thesis | IST-REx-ID: 4415
Matic, S. (2008). Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
View
 

2008 | Conference Paper | IST-REx-ID: 4452
Henzinger, T. A., Hottelier, T., & Kovács, L. (2008). Valigator: A verification tool with bound and invariant generation (Vol. 5330, pp. 333–342). Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Springer. https://doi.org/10.1007/978-3-540-89439-1_24
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 4509
Henzinger, T. A. (2008). Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rsta.2008.0141
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 4521
Gupta, A., Henzinger, T. A., Majumdar, R., Rybalchenko, A., & Xu, R. (2008). Proving non-termination (pp. 147–158). Presented at the POPL: Principles of Programming Languages, ACM. https://doi.org/10.1145/1328438.1328459
View | DOI | Download (ext.)
 

2008 | Thesis | IST-REx-ID: 4524
Ghosal, A. (2008). A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
View
 

Search

Filter Publications