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.

7210 Publications


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
 

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
 

Search

Filter Publications