en
Please note that IST 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.
1839 Publications
2013 | Journal Article | IST-REx-ID: 2448 
Remy, E., Baster, P., Friml, J., & Duque, P. (2013). ZIFL1.1 transporter modulates polar auxin transport by stabilizing membrane abundance of multiple PINs in Arabidopsis root tip. Plant Signaling & Behavior, 8(10). https://doi.org/10.4161/psb.25688
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2467
Bernstein, G., & Wojtan, C. J. (2013). Putting holes in holey geometry: Topology change for arbitrary surfaces. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2462027
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2412
Kupczok, A., & Bollback, J. P. (2013). Probabilistic models for CRISPR spacer content evolution . BMC Evolutionary Biology, 13(1), 54–54. https://doi.org/10.1186/1471-2148-13-54
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2828
Kolmogorov, V., & Živný, S. (2013). The complexity of conservative valued CSPs. Journal of the ACM, 60(2). https://doi.org/10.1145/2450142.2450146
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2835
Yu, H., Karampelias, M., Robert, S., Peer, W., Swarup, R., Ye, S., … Estelle, M. (2013). Root ultraviolet b-sensitive1/weak auxin response3 is essential for polar auxin transport in arabidopsis. Plant Physiology, 162(2), 965–976. https://doi.org/10.1104/pp.113.217018
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2842
Barton, N. H., Etheridge, A., Kelleher, J., & Véber, A. (2013). Inference in two dimensions: Allele frequencies versus lengths of shared sequence blocks. Theoretical Population Biology, 87(1), 105–119. https://doi.org/10.1016/j.tpb.2013.03.001
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2816
Božić, I., Reiter, J., Allen, B., Antal, T., Chatterjee, K., Shah, P., … Nowak, M. (2013). Evolutionary dynamics of cancer in response to targeted combination therapy. ELife, 2. https://doi.org/10.7554/eLife.00747
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2811
Avila, M., & Hof, B. (2013). Nature of laminar-turbulence intermittency in shear flows. Physical Review E, 87(6). https://doi.org/10.1103/PhysRevE.87.063012
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2880
Marhavy, P., Vanstraelen, M., De Rybel, B., Zhaojun, D., Bennett, M., Beeckman, T., & Benková, E. (2013). Auxin reflux between the endodermis and pericycle promotes lateral root initiation. EMBO Journal, 32(1), 149–158. https://doi.org/10.1038/emboj.2012.303
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2948
Tommasi, T., Quadrianto, N., Caputo, B., & Lampert, C. (2013). Beyond dataset bias: Multi-task unaligned shared knowledge transfer. Presented at the ACCV: Asian Conference on Computer Vision, Daejeon, Korea: Springer. https://doi.org/10.1007/978-3-642-37331-2_1
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2859
Bendich, P., Edelsbrunner, H., Morozov, D., & Patel, A. (2013). Homology and robustness of level and interlevel sets. Homology, Homotopy and Applications, 15(1), 51–72. https://doi.org/10.4310/HHA.2013.v15.n1.a3
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 509
Di Rubbo, S., Irani, N., Kim, S., Xu, Z., Gadeyne, A., Dejonghe, W., … Russinova, E. (2013). The clathrin adaptor complex AP-2 mediates endocytosis of brassinosteroid INSENSITIVE1 in arabidopsis. Plant Cell, 25(8), 2986–2997. https://doi.org/10.1105/tpc.113.114058
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 516
Bargmann, B., Vanneste, S., Krouk, G., Nawy, T., Efroni, I., Shani, E., … Birnbaum, K. (2013). A map of cell type‐specific auxin responses. Molecular Systems Biology, 9(1). https://doi.org/10.1038/msb.2013.40
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 511
Pěnčík, A., Simonovik, B., Petersson, S., Henyková, E., Simon, S., Greenham, K., … Ljung, K. (2013). Regulation of auxin homeostasis and gradients in Arabidopsis roots through the formation of the indole-3-acetic acid catabolite 2-oxindole-3-acetic acid. Plant Cell, 25(10), 3858–3870. https://doi.org/10.1105/tpc.113.114421
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Technical Report | IST-REx-ID: 5409
Chatterjee, K., Ibsen-Jensen, R., & Majumdar, R. (2013). Edit distance for timed automata. IST Austria. https://doi.org/10.15479/AT:IST-2013-144-v1-1
View
| Files available
| DOI
2013 | Technical Report | IST-REx-ID: 6440
Henzinger, T. A., Payer, H., & Sezgin, A. (2013). Replacing competition with cooperation to achieve scalable lock-free FIFO queues . IST Austria. https://doi.org/10.15479/AT:IST-2013-124-v1-1
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2847
Bansal, K., Koskinen, E., Wies, T., & Zufferey, D. (2013). Structural Counter Abstraction. (N. Piterman & S. Smolka, Eds.). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Rome, Italy: Springer. https://doi.org/10.1007/978-3-642-36742-7_5
View
| Files available
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2854
Chatterjee, K., De Alfaro, L., & Henzinger, T. A. (2013). Strategy improvement for concurrent reachability and turn based stochastic safety games. Journal of Computer and System Sciences, 79(5), 640–657. https://doi.org/10.1016/j.jcss.2012.12.001
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 1387
Boker, U., Kuperberg, D., Kupferman, O., & Skrzypczak, M. (2013). Nondeterminism in the presence of a diverse or unknown future. Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39212-2_11
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2259
Alwen, J. F., Krenn, S., Pietrzak, K. Z., & Wichs, D. (2013). Learning with rounding, revisited: New reduction properties and applications. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_4
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2280
Uhler, C., & Wright, S. (2013). Packing ellipsoids with overlap. SIAM Review, 55(4), 671–706. https://doi.org/10.1137/120872309
View
| DOI
| Download (ext.)
| arXiv
2013 | Report | IST-REx-ID: 2273
Kolmogorov, V. (2013). Reweighted message passing revisited. IST Austria.
View
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2297
Seiringer, R. (2013). Hot topics in cold gases: A mathematical physics perspective. Japanese Journal of Mathematics, 8(2), 185–232. https://doi.org/10.1007/s11537-013-1264-5
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2300
Giuliani, A., Lieb, É., & Seiringer, R. (2013). Realization of stripes and slabs in two and three dimensions. Physical Review B, 88(6). https://doi.org/10.1103/PhysRevB.88.064401
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2468
Bojsen-Hansen, M., & Wojtan, C. J. (2013). Liquid surface tracking with error compensation. ACM Transactions on Graphics, 32(4). https://doi.org/10.1145/2461912.2461991
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2470
Čovanová, M., Sauer, M., Rychtář, J., Friml, J., Petrášek, J., & Zažímalová, E. (2013). Overexpression of the auxin binding PROTEIN1 modulates PIN-dependent auxin transport in tobacco cells. PLoS One, 8(7). https://doi.org/10.1371/journal.pone.0070050
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2862
Tay, H., Schulze, S., Compagnon, J., Foley, F., Heisenberg, C.-P. J., Yost, H. J., … Amack, J. (2013). Lethal giant larvae 2 regulates development of the ciliated organ Kupffer’s vesicle. Development, 140(7), 1550–1559. https://doi.org/10.1242/dev.087130
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2901
Chen, C., Kolmogorov, V., Yan, Z., Metaxas, D., & Lampert, C. (2013). Computing the M most probable modes of a graphical model (Vol. 31, pp. 161–169). Presented at the AISTATS: Conference on Uncertainty in Artificial Intelligence, Scottsdale, AZ, United States: JMLR.
View
| Download (ext.)
2013 | Conference Paper | IST-REx-ID: 2906
Kerber, M., & Edelsbrunner, H. (2013). 3D kinetic alpha complexes and their implementation. In 2013 Proceedings of the 15th Workshop on Algorithm Engineering and Experiments (pp. 70–77). New Orleans, LA, United States: Society of Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611972931.6
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2913
Tkacik, G., Granot Atedgi, E., Segev, R., & Schneidman, E. (2013). Retinal metric: a stimulus distance measure derived from population neural responses. Physical Review Letters, 110(5). https://doi.org/10.1103/PhysRevLett.110.058104
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2829
Shi, L., Avila, M., & Hof, B. (2013). Scale invariance at the onset of turbulence in couette flow. Physical Review Letters, 110(20). https://doi.org/10.1103/PhysRevLett.110.204502
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2855
Hippenmeyer, S., Johnson, R., & Luo, L. (2013). Mosaic analysis with double markers reveals cell type specific paternal growth dominance. Cell Reports, 3(3), 960–967. https://doi.org/10.1016/j.celrep.2013.02.002
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2812
Attali, D., Bauer, U., Devillers, O., Glisse, M., & Lieutier, A. (2013). Homological reconstruction and simplification in R3. In Proceedings of the 29th annual symposium on Computational Geometry (pp. 117–125). Rio de Janeiro, Brazil: ACM. https://doi.org/10.1145/2462356.2462373
View
| Files available
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2920
Compagnon, J., & Heisenberg, C.-P. J. (2013). Neurulation coordinating cell polarisation and lumen formation. EMBO Journal, 32(1), 1–3. https://doi.org/10.1038/emboj.2012.325
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 500
Ward, M., Lycett, S., Avila, D., Bollback, J. P., & Leigh Brown, A. (2013). Evolutionary interactions between haemagglutinin and neuraminidase in avian influenza. BMC Evolutionary Biology, 13(1). https://doi.org/10.1186/1471-2148-13-222
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 827
O’Brien, J., & Benková, E. (2013). Cytokinin cross talking during biotic and abiotic stress responses. Frontiers in Plant Science, 4. https://doi.org/10.3389/fpls.2013.00451
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2247
Zagorsky, B., Reiter, J., Chatterjee, K., & Nowak, M. (2013). Forgiver triumphs in alternating prisoner’s dilemma . PLoS One, 8(12). https://doi.org/10.1371/journal.pone.0080814
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2305
Brázdil, T., Chatterjee, K., Forejt, V., & Kučera, A. (2013). Trading performance for stability in Markov decision processes. In 28th Annual ACM/IEEE Symposium (pp. 331–340). New Orleans, LA, United States: IEEE. https://doi.org/10.1109/LICS.2013.39
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Conference Paper | IST-REx-ID: 2444
Chatterjee, K., & Ła̧Cki, J. (2013). Faster algorithms for Markov decision processes with low treewidth. Presented at the CAV: Computer Aided Verification, St. Petersburg, Russia: Springer. https://doi.org/10.1007/978-3-642-39799-8_36
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2836
Chatterjee, K., & Raman, V. (2013). Assume-guarantee synthesis for digital contract signing. Formal Aspects of Computing, 26(4), 825–859. https://doi.org/10.1007/s00165-013-0283-6
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2817
Novak, S., Chatterjee, K., & Nowak, M. (2013). Density games. Journal of Theoretical Biology, 334, 26–34. https://doi.org/10.1016/j.jtbi.2013.05.029
View
| Files available
| DOI
2013 | Conference Paper | IST-REx-ID: 2886
Chmelik, M., & Řehák, V. (2013). Controllable-choice message sequence graphs. Presented at the MEMICS: Mathematical and Engineering Methods in Computer Science, Znojmo, Czech Republic: Springer. https://doi.org/10.1007/978-3-642-36046-6_12
View
| DOI
| Download (ext.)
2013 | Journal Article | IST-REx-ID: 2831
Chatterjee, K., Henzinger, M., Joglekar, M., & Shah, N. (2013). Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives. Formal Methods in System Design, 42(3), 301–327. https://doi.org/10.1007/s10703-012-0180-2
View
| Files available
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2850
Tkacik, G., Marre, O., Mora, T., Amodei, D., Berry, M., & Bialek, W. (2013). The simplest maximum entropy model for collective behavior in a neural network. Journal of Statistical Mechanics Theory and Experiment, 2013(3), P03011. https://doi.org/10.1088/1742-5468/2013/03/P03011
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2010
Uhler, C., Raskutti, G., Bühlmann, P., & Yu, B. (2013). Geometry of the faithfulness assumption in causal inference. The Annals of Statistics, 41(2), 436–463. https://doi.org/10.1214/12-AOS1080
View
| DOI
| Download (ext.)
| arXiv
2013 | Journal Article | IST-REx-ID: 2469
Maître, J.-L., & Heisenberg, C.-P. J. (2013). Three functions of cadherins in cell adhesion. Current Biology, 23(14), R626–R633. https://doi.org/10.1016/j.cub.2013.06.019
View
| Files available
| DOI
| PubMed | Europe PMC
2013 | Journal Article | IST-REx-ID: 2471
Sanchez Romero, I., Ariza, A., Wilson, K., Skjøt, M., Vind, J., De Maria, L., … Sánchez Ruiz, J. (2013). Mechanism of protein kinetic stabilization by engineered disulfide crosslinks. PLoS One, 8(7). https://doi.org/10.1371/journal.pone.0070013
View
| Files available
| DOI
2013 | Book | IST-REx-ID: 2306
Danowski, P., & Pohl, A. (2013). (Open) Linked Data in Bibliotheken (Vol. 50). De Gruyter. https://doi.org/10.1515/9783110278736
View
| Files available
| DOI
2013 | Journal Article | IST-REx-ID: 2286
Campinho, P., & Heisenberg, C.-P. J. (2013). The force and effect of cell proliferation. EMBO Journal, 32(21), 2783–2784. https://doi.org/10.1038/emboj.2013.225
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2013 | Conference Paper | IST-REx-ID: 2293
Sharmanska, V., Quadrianto, N., & Lampert, C. (2013). Learning to rank using privileged information (pp. 825–832). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.107
View
| DOI
| Download (ext.)