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.

7346 Publications


2010 | Journal Article | IST-REx-ID: 3862 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Quantitative languages. ACM Transactions on Computational Logic (TOCL). ACM. https://doi.org/10.1145/1805950.1805953
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3863 | OA
Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., & Henzinger, T. A. (2010). Strategy construction for parity games with imperfect information. Information and Computation. Elsevier. https://doi.org/10.1016/j.ic.2009.09.006
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 3864 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Singh, R. (2010). Measuring and synthesizing systems in probabilistic environments (Vol. 6174, pp. 380–395). Presented at the CAV: Computer Aided Verification, Edinburgh, United Kingdom: Springer. https://doi.org/10.1007/978-3-642-14295-6_34
View | Files available | DOI | Download Preprint (ext.)
 

2010 | Conference Paper | IST-REx-ID: 3865
Chatterjee, K., De Alfaro, L., Raman, V., & Sánchez, C. (2010). Analyzing the impact of change in multi-threaded programs. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 293–307). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_21
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 3866 | OA
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
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3867 | OA
Chatterjee, K., Doyen, L., & Henzinger, T. A. (2010). Expressiveness and closure properties for quantitative languages. Logical Methods in Computer Science. International Federation of Computational Logic. https://doi.org/10.2168/LMCS-6(3:10)2010
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3868 | OA
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
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: 3901 | OA
Bendich, P., Edelsbrunner, H., & Kerber, M. (2010). Computing robustness and persistence for images. IEEE Transactions of Visualization and Computer Graphics. IEEE. https://doi.org/10.1109/TVCG.2010.139
View | Files available | DOI
 

2010 | Journal Article | IST-REx-ID: 3904 | OA
Ugelvig, L. V., Kronauer, D., Schrempf, A., Heinze, J., & Cremer, S. (2010). Rapid anti-pathogen response in ant societies relies on high genetic diversity. Proceedings of the Royal Society of London Series B Biological Sciences. Royal Society, The. https://doi.org/10.1098/rspb.2010.0644
View | DOI | Download None (ext.)
 

2010 | Journal Article | IST-REx-ID: 3956
Nourshargh, S., Hordijk, P., & Sixt, M. K. (2010). Breaching multiple barriers: leukocyte motility through venular walls and the interstitium. Nature Reviews Molecular Cell Biology. Nature Publishing Group. https://doi.org/10.1038/nrm2889
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: 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: 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: 3960 | OA
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: 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 | Thesis | IST-REx-ID: 3962
Pflicke, H. (2010).   Dendritic cell migration across basement membranes in the skin. IST Austria.
View
 

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: 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: 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: 4157 | OA
Papusheva, E., & Heisenberg, C.-P. J. (2010). Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis. EMBO Journal. Wiley-Blackwell. https://doi.org/10.1038/emboj.2010.182
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

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: 4187
Kardash, E., Reichman Fried, M., Maître, J., Boldajipour, B., Papusheva, E., Messerschmidt, E., … Raz, E. (2010). A role for Rho GTPases and cell-cell adhesion in single-cell motility in vivo. Nature Cell Biology. Nature Publishing Group. https://doi.org/10.1038/ncb2003
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4221
Arboleda Estudillo, Y., Krieg, M., Stuehmer, J., Licata, N., Mueller, D., & Heisenberg, C.-P. J. (2010). Movement directionality in collective migration of germ layer progenitors. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2009.11.036
View | DOI
 

2010 | Journal Article | IST-REx-ID: 4243 | OA
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
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4339 | OA
Bergmann, J., & Danowski, P. (2010). Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch. In J. Bergmann & P. Danowski (Eds.), Handbuch Bibliothek 2.0 (pp. 5–20). De Gruyter. https://doi.org/10.1515/9783110232103
View | Files available | DOI
 

2010 | Other Publication | IST-REx-ID: 4340 | OA
Danowski, P. (2010). Open bibliographic data. European Library Automation Group (ELAG) 2010. Elsevier.
View | Files available | Download None (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 | Book (Editor) | IST-REx-ID: 4346 | OA
Danowski, P., & Bergmann, J. (Eds.). (2010). Handbuch Bibliothek 2.0 (Vol. 41). De Gruyter. https://doi.org/10.1515/9783110232103
View | DOI | Download Published Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4358
Guinane, C., Ben Zakour, N., Tormo Mas, M., Weinert, L., Lowder, B., Cartwright, R., … Fitzgerald, J. R. (2010). Evolutionary genomics of Staphylococcus aureus reveals insights into the origin and molecular basis of ruminant host adaptation. Genome Biology and Evolution. Oxford University Press. https://doi.org/10.1093/gbe/evq031
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4361 | OA
Wies, T., Zufferey, D., & Henzinger, T. A. (2010). Forward analysis of depth-bounded processes. In L. Ong (Ed.) (Vol. 6014, pp. 94–108). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12032-9_8
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4362
Singh, V. (2010). Runtime verification for software transactional memories. In O. Sokolsky, G. Rosu, N. Tilmann, H. Barringer, Y. Falcone, B. Finkbeiner, … G. Pace (Eds.) (Vol. 6418, pp. 421–435). Presented at the RV: International Conference on Runtime Verification, St. Julians, Malta: Springer. https://doi.org/10.1007/978-3-642-16612-9_32
View | 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 | Conference Paper | IST-REx-ID: 4369 | OA
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
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4378 | OA
Kuncak, V., Piskac, R., Suter, P., & Wies, T. (2010). Building a calculus of data structures. In G. Barthe & M. Hermenegildo (Eds.) (Vol. 5944, pp. 26–44). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain: Springer. https://doi.org/10.1007/978-3-642-11319-2_6
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones, K., Konrad, V., & Nickovic, D. (2010). Analog property checkers: a DDR2 case study. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-009-0085-x
View | DOI | Download (ext.)
 

2010 | Conference Paper | IST-REx-ID: 4380 | OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). A marketplace for cloud resources (pp. 1–8). Presented at the EMSOFT: Embedded Software , Arizona, USA: ACM. https://doi.org/10.1145/1879021.1879022
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4381 | OA
Henzinger, T. A., Tomar, A., Singh, V., Wies, T., & Zufferey, D. (2010). FlexPRICE: Flexible provisioning of resources in a cloud environment (pp. 83–90). Presented at the CLOUD: Cloud Computing, Miami, USA: IEEE. https://doi.org/10.1109/CLOUD.2010.71
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4382 | OA
Guerraoui, R., Henzinger, T. A., Kapalka, M., & Singh, V. (2010). Transactions in the jungle (pp. 263–272). Presented at the SPAA: ACM Symposium on Parallel Algorithms and Architectures, Santorini, Greece: ACM. https://doi.org/10.1145/1810479.1810529
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4388 | OA
Chatterjee, K., Henzinger, T. A., Jobstmann, B., & Radhakrishna, A. (2010). GIST: A solver for probabilistic games (Vol. 6174, pp. 665–669). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_57
View | Files available | DOI | arXiv
 

2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, L., Henzinger, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/10.1109/ACSD.2010.26
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4390 | OA
Cerny, P., Radhakrishna, A., Zufferey, D., Chaudhuri, S., & Alur, R. (2010). Model checking of linearizability of concurrent list implementations (Vol. 6174, pp. 465–479). Presented at the CAV: Computer Aided Verification, Edinburgh, UK: Springer. https://doi.org/10.1007/978-3-642-14295-6_41
View | Files available | DOI
 

2010 | Book Chapter | IST-REx-ID: 4392
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Quantitative Simulation Games. In Z. Manna & D. Peled (Eds.), Time For Verification: Essays in Memory of Amir Pnueli (Vol. 6200, pp. 42–60). Springer. https://doi.org/10.1007/978-3-642-13754-9_3
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4393 | OA
Cerny, P., Henzinger, T. A., & Radhakrishna, A. (2010). Simulation distances (Vol. 6269, pp. 235–268). Presented at the CONCUR: Concurrency Theory, Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-15375-4_18
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 4395
Burckhardt, S., Musuvathi, M., & Singh, V. (2010). Verifying local transformations on relaxed memory models. In R. Gupta (Ed.) (Vol. 6011, pp. 104–123). Presented at the CC: Compiler Construction, Pahos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-11970-5_7
View | DOI
 

2010 | Conference Paper | IST-REx-ID: 4396 | OA
Beyer, D., Henzinger, T. A., Théoduloz, G., & Zufferey, D. (2010). Shape refinement through explicit heap analysis. In D. Rosenblum & G. Taenzer (Eds.) (Vol. 6013, pp. 263–277). Presented at the FASE: Fundamental Approaches To Software Engineering, Paphos, Cyprus: Springer. https://doi.org/10.1007/978-3-642-12029-9_19
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10909
Chen, C., & Freedman, D. (2010). Hardness results for homology localization. In Proceedings of the 2010 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 1594–1604). Austin, TX, United States: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973075.129
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 10908 | OA
Blanc, R., Henzinger, T. A., Hottelier, T., & Kovács, L. (2010). ABC: Algebraic Bound Computation for loops. In E. M. Clarke & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (Vol. 6355, pp. 103–118). Berlin, Heidelberg: Springer Nature. https://doi.org/10.1007/978-3-642-17511-4_7
View | DOI | Download Submitted Version (ext.)
 

2010 | Journal Article | IST-REx-ID: 11099
Doucet, C. M., & Hetzer, M. (2010). Nuclear pore biogenesis into an intact nuclear envelope. Chromosoma. Springer Nature. https://doi.org/10.1007/s00412-010-0289-2
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11102 | OA
Capelson, M., Liang, Y., Schulte, R., Mair, W., Wagner, U., & Hetzer, M. (2010). Chromatin-bound nuclear pore components regulate gene expression in higher eukaryotes. Cell. Elsevier. https://doi.org/10.1016/j.cell.2009.12.054
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11101 | OA
Doucet, C. M., Talamas, J. A., & Hetzer, M. (2010). Cell cycle-dependent differences in nuclear pore complex assembly in metazoa. Cell. Elsevier. https://doi.org/10.1016/j.cell.2010.04.036
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11097
Hetzer, M. (2010). The nuclear envelope. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory. https://doi.org/10.1101/cshperspect.a000539
View | DOI | PubMed | Europe PMC
 

2010 | Journal Article | IST-REx-ID: 11098 | OA
Hetzer, M. (2010). The role of the nuclear pore complex in aging of post-mitotic cells. Aging. Impact Journals. https://doi.org/10.18632/aging.100125
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2010 | Conference Paper | IST-REx-ID: 11753
Lang, S. B., Lashley, J. C., Modic, K. A., Fisher, R. A., Zhu, W. M., & Ye, Z. G. (2010). Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. In Proceedings of the 2010 IEEE International Conference on Solid Dielectrics. Potsdam, Germany: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/icsd.2010.5568033
View | Files available | DOI
 

2010 | Conference Paper | IST-REx-ID: 11754
Lang, S. B., Lashley, J. C., Modic, K. A., Fisher, R. A., Zhu, W. M., & Ye, Z. G. (2010). Specific heat of a ferroelectric PZT ceramic at the morphotropic phase boundary. In 15th IEEE Mediterranean Electrotechnical Conference. Valletta, Malta: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/melcon.2010.5476345
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 2796
De Lózar, A., & Hof, B. (2009). An experimental study of the decay of turbulent puffs in pipe flow. Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London. https://doi.org/10.1098/rsta.2008.0199
View | DOI
 

2009 | Conference Paper | IST-REx-ID: 2797
Kuik, D., Poelma, C., Hof, B., & Westerweel, J. (2009). Quantitative measurement of the life time of turbulence in pipe flow (Vol. 132, pp. 145–148). Presented at the EETC11: European Turbulence Conference, Springer. https://doi.org/10.1007/978-3-642-03085-7_36
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2868
Benková, E., & Hejátko, J. (2009). Hormone interactions at the root apical meristem. Plant Molecular Biology. Springer. https://doi.org/10.1007/s11103-008-9393-6
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2869
Péret, B., De Rybel, B., Casimiro, I., Benková, E., Swarup, R., Laplaze, L., … Bennett, M. (2009). Arabidopsis lateral root development: an emerging story. Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2009.05.002
View | DOI
 

2009 | Journal Article | IST-REx-ID: 2932
Kolmogorov, V. (2009). Blossom V: A new implementation of a minimum cost perfect matching algorithm. Mathematical Programming Computation. Springer. https://doi.org/10.1007/s12532-009-0002-8
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3046
Grunewald, W., Cannoot, B., Friml, J., & Gheysen, G. (2009). Parasitic nematodes modulate PIN mediated auxin transport to facilitate infection. PLoS Pathogens. Public Library of Science. https://doi.org/ 10.1371/journal.ppat.1000266
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3047
Titapiwatanakun, B., Blakeslee, J., Bandyopadhyay, A., Yang, H., Mravec, J., Sauer, M., … Murphy, A. (2009). ABCB19 PGP19 stabilises PIN1 in membrane microdomains in Arabidopsis. Plant Journal. Wiley-Blackwell. https://doi.org/10.1111/j.1365-313X.2008.03668.x
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3048
Tanaka, H., Kitakura, S., De Rycke, R., De Groodt, R., & Friml, J. (2009). Fluorescence imaging based screen identifies ARF GEF component of early endosomal trafficking. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2009.01.057
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3049
Pernisová, M., Klíma, P., Horák, J., Válková, M., Malbeck, J., Souček, P., … Hejátko, J. (2009). Cytokinins modulate auxin induced organogenesis in plants via regulation of the auxin efflux. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0811539106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3050
Růžička, K., Šimášková, M., Duclercq, J., Petrášek, J., Zažímalová, E., Simon, S., … Benková, E. (2009). Cytokinin regulates root meristem activity via modulation of the polar auxin transport. PNAS. National Academy of Sciences. https://doi.org/10.1073/pnas.0900060106
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
Weijers, D., & Friml, J. (2009). SnapShot: Auxin signaling and transport. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.03.009
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste, S., & Friml, J. (2009). Auxin: A trigger for change in plant development. Cell. Cell Press. https://doi.org/10.1016/j.cell.2009.03.001
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3053
Benková, E., Ivanchenko, M., Friml, J., Shishkova, S., & Dubrovsky, J. (2009). A morphogenetic trigger: Is there an emerging concept in plant developmental biology? Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2009.01.006
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3054
Robert, H., & Friml, J. (2009). Auxin and other signals on the move in plants. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/nchembio.170
View | DOI | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3055
Naramoto, S., Sawa, S., Koizumi, K., Uemura, T., Ueda, T., Friml, J., … Fukuda, H. (2009). Phosphoinositide-dependent regulation of VAN3 ARF-GAP localization and activity essential for vascular tissue continuity in plants. Development. Company of Biologists. https://doi.org/10.1242/dev.030098
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3056
Sorefan, K., Girin, T., Liljegren, S., Ljung, K., Robles, P., Galván Ampudia, C., … Østergaard, L. (2009). A regulated auxin minimum is required for seed dispersal in Arabidopsis. Nature. Nature Publishing Group. https://doi.org/10.1038/nature07875
View | DOI
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Petrášek, J., & Friml, J. (2009). Auxin transport routes in plant development. Development. Company of Biologists. https://doi.org/10.1242/dev.030353
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3058
Mravec, J., Skůpa, P., Bailly, A., Hoyerová, K., Křeček, P., Bielach, A., … Friml, J. (2009). Subcellular homeostasis of phytohormone auxin is mediated by the ER localized PIN5 transporter. Nature. Nature Publishing Group. https://doi.org/10.1038/nature08066
View | DOI
 

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.)
 

Search

Filter Publications