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.

7224 Publications


2009 | Journal Article | IST-REx-ID: 3059
Kleine Vehn, J., Huang, F., Naramoto, S., Zhang, J., Michniewicz, M., Offringa, R., & Friml, J. (2009). PIN auxin efflux carrier polarity is regulated by PINOID kinase mediated recruitment into GNOM independent trafficking in arabidopsis. Plant Cell. American Society of Plant Biologists. https://doi.org/10.1105/tpc.109.071639
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3060
Schumacher, K., & Friml, J. (2009). Cell biology. Current Opinion in Plant Biology. Elsevier. https://doi.org/10.1016/j.pbi.2009.10.009
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
Křeček, P., Skůpa, P., Libus, J., Naramoto, S., Tejos, R., Friml, J., & Zažímalová, E. (2009). The PIN-FORMED (PIN) protein family of auxin transporters. Genome Biology. BioMed Central. https://doi.org/10.1186/gb-2009-10-12-249
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar, M. P., Kolmogorov, V., & Torr, P. (2009). An analysis of convex relaxations for MAP estimation of discrete MRFs. Journal of Machine Learning Research. Microtome Publishing.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3199
Vicente, S., Kolmogorov, V., & Rother, C. (2009). Joint optimization of segmentation and appearance models (pp. 755–762). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2009.5459287
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3200
Kolmogorov, V., & Shioura, A. (2009). New algorithms for convex cost tension problem with application to computer vision. Discrete Optimization. Elsevier. https://doi.org/10.1016/j.disopt.2009.04.006
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3203
Woodford, O., Rother, C., & Kolmogorov, V. (2009). A global perspective on MAP inference for low level vision (pp. 2319–2326). Presented at the ICCV: International Conference on Computer Vision, IEEE. https://doi.org/10.1109/ICCV.2009.5459434
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3230
Kiltz, E., Pietrzak, K. Z., Stam, M., & Yung, M. (2009). A new randomness extraction paradigm for hybrid encryption (Vol. 5479, pp. 590–609). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-642-01001-9_34
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3231
Kiltz, E., & Pietrzak, K. Z. (2009). On the security of padding based encryption schemes Why We cannot prove OAEP secure in the standard model (Vol. 5479, pp. 389–406). Presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Springer. https://doi.org/10.1007/978-3-642-01001-9_23
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 3232
Pietrzak, K. Z. (2009). A leakage resilient mode of operation (Vol. 5479, pp. 462–482). Presented at the CRYPTO: International Cryptology Conference, Springer. https://doi.org/10.1007/978-3-642-01001-9_27
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3292
Engel, J., Schmalhorst, P. S., Dörk Bousset, T., Ferrières, V., & Routier, F. (2009). A single UDP galactofuranose transporter is required for galactofuranosylation in Aspergillus fumigatus. Journal of Biological Chemistry. American Society for Biochemistry and Molecular Biology. https://doi.org/10.1074/jbc.M109.070219
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3293
Chakraborty Tuhin, S., Goswami, S., & Siddiqi, O. (2009). Sensory correlates of imaginal conditioning in Drosophila melanogaster. Journal of Neurogenetics. Informa Healthcare. https://doi.org/10.1080/01677060802491559
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3304
Weissman, D., Desai, M., Fisher, D., & Feldman, M. (2009). The rate at which asexual populations cross fitness valleys. Theoretical Population Biology. Academic Press. https://doi.org/10.1016/j.tpb.2009.02.006
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3309
Uhler, C. (2009). Mastitis in dairy production: Estimation of sensitivity, specificity and disease prevalence in the absence of a gold standard. Journal of Agricultural Biological and Environmental Statistics. Springer. https://doi.org/10.1198/jabes.2009.0005
View | DOI
 

2009 | Journal Article | IST-REx-ID: 337
Cabot, A., Ibáñez, M., Guardia, P., & Alivisatos, P. (2009). Reaction regimes on the synthesis of hollow particles by the Kirkendall effect. Journal of the American Chemical Society. ACS. https://doi.org/10.1021/ja903751p
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3398
Bollenbach, M. T., & Kishony, R. (2009). Quiet gene circuit more fragile than its noisy peer. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.10.005
View | DOI
 

2009 | Thesis | IST-REx-ID: 3400
Schmalhorst, P. S. (2009). Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
View | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3408
Szymczak, P., & Janovjak, H. L. (2009). Periodic forces trigger a complex mechanical response in ubiquitin. Journal of Molecular Biology. Elsevier. https://doi.org/10.1016/j.jmb.2009.04.071
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8026 | OA
Vogels, T. P., & Abbott, L. F. (2009). Gating multiple signals through detailed balance of excitation and inhibition in spiking networks. Nature Neuroscience. Springer Nature. https://doi.org/10.1038/nn.2276
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 8474
Schanda, P., Huber, M., Verel, R., Ernst, M., & Meier, B. (2009). Direct detection of 3hJN’ hydrogen-bond scalar couplings in proteins by solid-state NMR spectroscopy. Angewandte Chemie International Edition. Wiley. https://doi.org/10.1002/anie.200904411
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8475
Schanda, P. (2009). Fast-pulsing longitudinal relaxation optimized techniques: Enriching the toolbox of fast biomolecular NMR spectroscopy. Progress in Nuclear Magnetic Resonance Spectroscopy. Elsevier. https://doi.org/10.1016/j.pnmrs.2009.05.002
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8476
Farjon, J., Boisbouvier, J., Schanda, P., Pardi, A., Simorre, J.-P., & Brutscher, B. (2009). Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja901633y
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8477
Amero, C., Schanda, P., Durá, M. A., Ayala, I., Marion, D., Franzetti, B., … Boisbouvier, J. (2009). Fast two-dimensional NMR spectroscopy of high molecular weight protein assemblies. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja809880p
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8478
Brüschweiler, S., Schanda, P., Kloiber, K., Brutscher, B., Kontaxis, G., Konrat, R., & Tollinger, M. (2009). Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. American Chemical Society. https://doi.org/10.1021/ja809947w
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8479
Gal, M., Kern, T., Schanda, P., Frydman, L., & Brutscher, B. (2009). An improved ultrafast 2D NMR experiment: Towards atom-resolved real-time studies of protein kinetics at multi-Hz rates. Journal of Biomolecular NMR. Springer Nature. https://doi.org/10.1007/s10858-008-9284-9
View | DOI
 

2009 | Journal Article | IST-REx-ID: 8508
Gorodetski, A., & Kaloshin, V. (2009). Conservative homoclinic bifurcations and some applications. Proceedings of the Steklov Institute of Mathematics. Springer Nature. https://doi.org/10.1134/s0081543809040063
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Sliding-window abstraction for infinite Markov chains (Vol. 5643, pp. 337–352). Presented at the CAV: Computer Aided Verification, Springer. https://doi.org/10.1007/978-3-642-02658-4_27
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4535
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2009). Approximation of event probabilities in noisy cellular processes (Vol. 5688, pp. 173–188). Presented at the CMSB: Computational Methods in Systems Biology, Springer. https://doi.org/10.1007/978-3-642-03845-7_12
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4540
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Expressiveness and closure properties for quantitative languages (pp. 199–208). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2009.16
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Alternating weighted automata (Vol. 5699, pp. 3–13). Presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland: Springer. https://doi.org/10.1007/978-3-642-03409-1_2
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4543
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Stochastic games with finitary objectives (Vol. 5734, pp. 34–54). Presented at the MFCS: Mathematical Foundations of Computer Science, High Tatras, Slovakia: Springer. https://doi.org/10.1007/978-3-642-03816-7_4
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2009). Termination criteria for solving concurrent safety and reachability games (pp. 197–206). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. https://doi.org/10.1137/1.9781611973068.23
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). A survey of stochastic games with limsup and liminf objectives (Vol. 5556, pp. 1–15). Presented at the ICALP: Automata, Languages and Programming, Rhodos, Greece: Springer. https://doi.org/10.1007/978-3-642-02930-1_1
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, R., Chatterjee, K., Henzinger, T. A., & Jobstmann, B. (2009). Better quality in synthesis through quantitative objectives (Vol. 5643, pp. 140–156). Presented at the CAV: Computer Aided Verification, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-02658-4_14
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. https://doi.org/10.1007/978-3-642-00768-2_7
View | Files available | DOI | Download (ext.)
 

2009 | Technical Report | IST-REx-ID: 5392 | OA
Chatterjee, K. (2009). Probabilistic automata on infinite words: Decidability and undecidability results. IST Austria. https://doi.org/10.15479/AT:IST-2009-0004
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5393 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2009). Gist: A solver for probabilistic games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0003
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5394 | OA
Chatterjee, K., Henzinger, T. A., & Horn, F. (2009). Improved lower bounds for request-response and finitary Streett games. IST Austria. https://doi.org/10.15479/AT:IST-2009-0002
View | Files available | DOI
 

2009 | Technical Report | IST-REx-ID: 5395 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2009). Qualitative analysis of partially-observable Markov decision processes. IST Austria. https://doi.org/10.15479/AT:IST-2009-0001
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 599 | OA
Knuesel, M., Meyer, K., Bernecky, C., & Taatjes, D. (2009). The human CDK8 subcomplex is a molecular switch that controls Mediator coactivator function. Genes and Development. Cold Spring Harbor Laboratory Press. https://doi.org/10.1101/gad.1767009
View | DOI | Download None (ext.)
 

2009 | Journal Article | IST-REx-ID: 7080
Yang, X.-D., Riseborough, P. S., Modic, K. A., Fisher, R. A., Opeil, C. P., Finlayson, T. R., … Lashley, J. C. (2009). Influence of magnetic fields on structural martensitic transitions. Philosophical Magazine. Taylor & Francis. https://doi.org/10.1080/14786430902865518
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7319
Reum, M., Freunberger, S. A., Wokaun, A., & Büchi, F. N. (2009). Measuring the current distribution with sub-millimeter resolution in PEFCs: II. Impact of operating parameters. Journal of The Electrochemical Society. The Electrochemical Society. https://doi.org/10.1149/1.3043422
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 752
Alistarh, D.-A., Gilbert, S., Guerraoui, R., & Travers, C. (2009). Of choices, failures and asynchrony: the many faces of set agreement (Vol. 5878 LNCS, pp. 943–953). Presented at the ISAAC: International Symposium on Algorithms and Computation, Springer. https://doi.org/10.1007/978-3-642-10631-6_95
View | DOI
 

2009 | Journal Article | IST-REx-ID: 7751
Robinson, M. R., Wilson, A. J., Pilkington, J. G., Clutton-Brock, T. H., Pemberton, J. M., & Kruuk, L. E. B. (2009). The impact of environmental heterogeneity on genetic architecture in a wild population of soay sheep. Genetics. Genetics Society of America. https://doi.org/10.1534/genetics.108.086801
View | DOI
 

2009 | Journal Article | IST-REx-ID: 110
Des Jardins, A., Canfield, R., Longcope, D., Fordyce, C., & Waitukaitis, S. R. (2009). Reconnection in three dimensions: The role of spines in three eruptive flares. The Astrophysical Journal. IOP Publishing Ltd. https://doi.org/10.1088/0004-637X/693/2/1628
View | DOI
 

2009 | Journal Article | IST-REx-ID: 111
Royer, J., Evans, D., Oyarte, L., Guo, Q., Kapit, E., Möbius, M., … Jaeger, H. (2009). High-speed tracking of rupture and clustering in freely falling granular streams. Nature. Nature Publishing Group. https://doi.org/10.1038/nature08115
View | DOI
 

2009 | Journal Article | IST-REx-ID: 11103 | OA
HETZER, M. W., & 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: 11105 | OA
Capelson, M., & HETZER, M. W. (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: 11106 | OA
Anderson, D. J., Vargas, J. D., Hsiao, J. P., & HETZER, M. W. (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
 

2009 | Journal Article | IST-REx-ID: 11107 | OA
Dawson, T. R., Lazarus, M. D., HETZER, M. W., & 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
 

Search

Filter Publications