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.

5295 Publications


2013 | Journal Article | IST-REx-ID: 2692
Dobi, A., Sartori, S., Busti, D., Van Der Putten, H., Singewald, N., Shigemoto, R., & Ferraguti, F. (2013). Neural substrates for the distinct effects of presynaptic group III metabotropic glutamate receptors on extinction of contextual fear conditioning in mice. Neuropharmacology, 66, 274–289. https://doi.org/10.1016/j.neuropharm.2012.05.025
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2697   OA
Erdös, L., Knowles, A., Yau, H., & Yin, J. (2013). Delocalization and diffusion profile for random band matrices. Communications in Mathematical Physics, 323(1), 367–416. https://doi.org/10.1007/s00220-013-1773-3
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2832   OA
Tanaka, H., Kitakura, S., Rakusová, H., Uemura, T., Feraru, M., De Rycke, R., … Friml, J. (2013). Cell polarity and patterning by PIN trafficking through early endosomal compartments in arabidopsis thaliana. PLoS Genetics, 9(5). https://doi.org/10.1371/journal.pgen.1003540
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2837   OA
Erdös, L., Knowles, A., Yau, H., & Yin, J. (2013). The local semicircle law for a general class of random matrices. Electronic Journal of Probability, 18(59), 1–58. https://doi.org/10.1214/EJP.v18-2473
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2856   OA
Levitz, J., Pantoja, C., Gaub, B., Janovjak, H. L., Reiner, A., Hoagland, A., … Isacoff, E. (2013). Optical control of metabotropic glutamate receptors. Nature Neuroscience, 16, 507–516. https://doi.org/10.1038/nn.3346
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2844
Rosquete, M., Von Wangenheim, D., Marhavy, P., Barbez, E., Stelzer, E., Benková, E., … Kleine Vehn, J. (2013). An auxin transport mechanism restricts positive orthogravitropism in lateral roots. Current Biology, 23(9), 817–822. https://doi.org/10.1016/j.cub.2013.03.064
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2851
Berry, M., Tkacik, G., Dubuis, J., Marre, O., & Da Silveira, R. (2013). A simple method for estimating the entropy of neural activity. Journal of Statistical Mechanics Theory and Experiment, 2013(3). https://doi.org/10.1088/1742-5468/2013/03/P03015
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2813   OA
Samanta, D., Dubief, Y., Holzner, M., Schäfer, C., Morozov, A., Wagner, C., & Hof, B. (2013). Elasto-inertial turbulence. PNAS, 110(26), 10557–10562. https://doi.org/10.1073/pnas.1219666110
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2818   OA
Rajan, K., Marre, O., & Tkacik, G. (2013). Learning quadratic receptive fields from neural responses to natural stimuli. Neural Computation, 25(7), 1661–1692. https://doi.org/10.1162/NECO_a_00463
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2863   OA
Granot Atedgi, E., Tkacik, G., Segev, R., & Schneidman, E. (2013). Stimulus-dependent maximum entropy models of neural population codes. PLoS Computational Biology, 9(3). https://doi.org/10.1371/journal.pcbi.1002922
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2882   OA
Löfke, C., Zwiewka, M., Heilmann, I., Van Montagu, M., Teichmann, T., & Friml, J. (2013). Asymmetric gibberellin signaling regulates vacuolar trafficking of PIN auxin transporters during root gravitropism. PNAS, 110(9), 3627–3632. https://doi.org/10.1073/pnas.1300107110
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 2887   OA
Fang, S., Clark, R., Zheng, Y., Iyer Pascuzzi, A., Weitz, J., Kochian, L., … Benfey, P. (2013). Genotypic recognition and spatial responses by rice roots. PNAS, 110(7), 2670–2675. https://doi.org/10.1073/pnas.1222821110
View | DOI | Download (ext.)
 

2013 | Book Chapter | IST-REx-ID: 2907   OA
Barton, N. H. (2013). Recombination and sex. In The Princeton Guide to Evolution (pp. 328–333). Princeton University Press.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2914   OA
Stephens, G., Mora, T., Tkacik, G., & Bialek, W. (2013). Statistical thermodynamics of natural images. Physical Review Letters, 110(1). https://doi.org/10.1103/PhysRevLett.110.018701
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2940   OA
Krenn, S., Pietrzak, K. Z., & Wadia, A. (2013). A counterexample to the chain rule for conditional HILL entropy, and what deniable encryption has to do with it. In A. Sahai (Ed.) (Vol. 7785, pp. 23–39). Presented at the TCC: Theory of Cryptography Conference, Tokyo, Japan: Springer. https://doi.org/10.1007/978-3-642-36594-2_2
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2919   OA
Baster, P., Robert, S., Kleine Vehn, J., Vanneste, S., Kania, U., Grunewald, W., … Friml, J. (2013). SCF^TIR1 AFB-auxin signalling regulates PIN vacuolar trafficking and auxin fluxes during root gravitropism. EMBO Journal, 32(2), 260–274. https://doi.org/10.1038/emboj.2012.310
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 342
Li, W., Zamani, R., Ibanez, M., Cadavid, D., Shavel, A., Morante, J., … Cabot, A. (2013). Metal ions to control the morphology of semiconductor nanoparticles: Copper selenide nanocubes. Journal of the American Chemical Society, 135(12), 4664–4667. https://doi.org/10.1021/ja400472m
View | DOI
 

2013 | Journal Article | IST-REx-ID: 378
Ibanez, M., & Cabot, A. (2013). All change for nanocrystals. Science, 340(6135), 935–936. https://doi.org/10.1126/science.1239221
View | DOI
 

2013 | Journal Article | IST-REx-ID: 450   OA
Pickup, M., Field, D., Rowell, D., & Young, A. (2013). Source population characteristics affect heterosis following genetic rescue of fragmented plant populations. Proceedings of the Royal Society of London Series B Biological Sciences, 280(1750). https://doi.org/10.1098/rspb.2012.2058
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2013 | Journal Article | IST-REx-ID: 501   OA
Cozzuol, M., Clozato, C., Holanda, E., Rodrigues, F., Nienow, S., De Thoisy, B., … Santos, F. (2013). A new species of tapir from the Amazon. Journal of Mammalogy, 94(6), 1331–1345. https://doi.org/10.1644/12-MAMM-A-169.1
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2279
Chatterjee, K., Doyen, L., Randour, M., & Raskin, J. (2013). Looking at mean-payoff and total-payoff through windows. Presented at the ATVA: Automated Technology for Verification and Analysis, Hanoi, Vietnam: Springer. https://doi.org/10.1007/978-3-319-02444-8_10
View | Files available | DOI | Download (ext.)
 

2013 | Technical Report | IST-REx-ID: 5406   OA
Chatterjee, K., Henzinger, T. A., Otop, J., & Pavlogiannis, A. (2013). Distributed synthesis for LTL Fragments. IST Austria. https://doi.org/10.15479/AT:IST-2013-130-v1-1
View | Files available | DOI
 

2013 | Report | IST-REx-ID: 5401   OA
Porsche, J. (2013). Initiatives and projects related to RD. IST Austria.
View | Files available
 

2013 | Book Chapter | IST-REx-ID: 5747   OA
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 5920
Hillar, C. J., & Martin del Campo Sanchez, A. (2013). Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. Journal of Symbolic Computation, 50, 314–334. https://doi.org/10.1016/j.jsc.2012.06.006
View | Files available | DOI
 

2013 | Book Chapter | IST-REx-ID: 6132
de Bono, M., Schafer, W. R., & Gottschalk, A. (2013). Optogenetic actuation, inhibition, modulation and readout for neuronal networks generating behavior in the nematode Caenorhabditis elegans. In P. Hegemann & S. Sigrist (Eds.), Optogenetics (pp. 61–78). Walter de Gruyter.
View
 

2013 | Conference Paper | IST-REx-ID: 765
Alistarh, D., Aspnes, J., Giakkoupis, G., & Woelfel, P. (2013). Randomized loose renaming in O(loglogn) time (pp. 200–209). Presented at the PODC: Principles of Distributed Computing, ACM. https://doi.org/10.1145/2484239.2484240
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2820
Chatterjee, K., Kößler, A., & Schmid, U. (2013). Automated analysis of real-time scheduling using graph games. In Proceedings of the 16th International conference on Hybrid systems: Computation and control (pp. 163–172). Philadelphia, PA, United States: ACM. https://doi.org/10.1145/2461328.2461356
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 905   OA
Arkhipov, V., Noah, T., Koschkar, S., & Kondrashov, F. (2013). Birds of Mys Shmidta, north Chukotka, Russia. Forktail, (29), 25–30.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 811
Steffen, A., Ladwein, M., Dimchev, G. A., Hein, A., Schwenkmezger, L., Arens, S., … Rottner, K. (2013). Rac function is crucial for cell migration but is not required for spreading and focal adhesion formation. Journal of Cell Science, 126(20), 4572–4588. https://doi.org/10.1242/jcs.118232
View | DOI
 

2013 | Journal Article | IST-REx-ID: 830
Galbiati, F., Sinha Roy, D., Simonini, S., Cucinotta, M., Ceccato, L., Cuesta, C., … Colombo, L. (2013). An integrative model of the control of ovule primordia formation. The Plant Journal for Cell and Molecular Biology, 76(3), 446–455. https://doi.org/10.1111/tpj.12309
View | DOI
 

2013 | Journal Article | IST-REx-ID: 828   OA
Cuesta, C., Wabnik, K. T., & Benková, E. (2013). Systems approaches to study root architecture dynamics. Frontiers in Plant Science, 4. https://doi.org/10.3389/fpls.2013.00537
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2926
Tragust, S., Mitteregger, B., Barone, V., Konrad, M., Ugelvig, L. V., & Cremer, S. (2013). Ants disinfect fungus-exposed brood by oral uptake and spread of their poison. Current Biology, 23(1), 76–82. https://doi.org/10.1016/j.cub.2012.11.034
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 974   OA
Serbyn, M., Senthil, T., & Lee, P. (2013). Overscreened Kondo fixed point in S=1 spin liquid. Physical Review B - Condensed Matter and Materials Physics, 88(2). https://doi.org/10.1103/PhysRevB.88.024419
View | DOI | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 115
Waitukaitis, S. R., & Jaeger, H. (2013). In situ granular charge measurement by free-fall videography. Review of Scientific Instruments, 84(2). https://doi.org/10.1063/1.4789496
View | DOI
 

2013 | Journal Article | IST-REx-ID: 1304
Haikala, V., Jösch, M. A., Borst, A., & Mauss, A. (2013). Optogenetic control of fly optomotor responses. Journal of Neuroscience, 33(34), 13927–13934. https://doi.org/10.1523/JNEUROSCI.0340-13.2013
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 1385   OA
Hofferek, G., Gupta, A., Könighofer, B., Jiang, J., & Bloem, R. (2013). Synthesizing multiple boolean functions using interpolation on a single proof. In 2013 Formal Methods in Computer-Aided Design (pp. 77–84). Portland, OR, United States: IEEE. https://doi.org/10.1109/FMCAD.2013.6679394
View | DOI | Download (ext.) | arXiv
 

2013 | Book Chapter | IST-REx-ID: 1443   OA
Hausel, T. (2013). Global topology of the Hitchin system. In Handbook of Moduli: Volume II (Vol. 25, pp. 29–70). International Press.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1760   OA
Ares, N., Katsaros, G., Golovach, V., Zhang, J., Prager, A., Glazman, L., … De Franceschi, S. (2013). SiGe quantum dots for fast hole spin Rabi oscillations. Applied Physics Letters, 103(26). https://doi.org/10.1063/1.4858959
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 1727
Kicheva, A., Holtzer, L., Wartlick, O., Schmidt, T., & González Gaitán, M. (2013). Quantitative imaging of morphogen gradients in drosophila imaginal discs. Cold Spring Harbor Protocols, 8(5), 387–403. https://doi.org/10.1101/pdb.top074237
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2009   OA
Uhler, C., Slavkovic, A., & Fienberg, S. (2013). Privacy-preserving data sharing for genome-wide association studies. Journal of Privacy and Confidentiality , 5(1), 137–166. https://doi.org/10.29012/jpc.v5i1.629
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2112
Miguel, E., Tamstorf, R., Bradley, D., Schvartzman, S., Thomaszewski, B., Bickel, B., … Otaduy, M. (2013). Modeling and estimation of internal friction in cloth. ACM Transactions on Graphics, 32(6). https://doi.org/10.1145/2508363.2508389
View | DOI
 

2013 | Journal Article | IST-REx-ID: 2117   OA
Dirksen, S., Maas, J., & Van Neerven, J. (2013). Poisson stochastic integration in Banach spaces. Electronic Journal of Probability, 18. https://doi.org/10.1214/EJP.v18-2945
View | DOI | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2129   OA
Gigli, N., & Maas, J. (2013). Gromov-Hausdorff convergence of discrete transportation metrics. SIAM Journal on Mathematical Analysis, 45(2), 879–899. https://doi.org/10.1137/120886315
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2181   OA
Henzinger, T. A., Kirsch, C., Payer, H., Sezgin, A., & Sokolova, A. (2013). Quantitative relaxation of concurrent data structures. In Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming language (pp. 317–328). Rome, Italy: ACM. https://doi.org/10.1145/2429069.2429109
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2206   OA
Lemeshko, M., Yao, N., Gorshkov, A., Weimer, H., Bennett, S., Momose, T., & Gopalakrishnan, S. (2013). Controllable quantum spin glasses with magnetic impurities embedded in quantum solids. Physical Review B - Condensed Matter and Materials Physics, 88(1). https://doi.org/10.1103/PhysRevB.88.014426
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2237
Blanc, R., Gupta, A., Kovács, L., & Kragl, B. (2013). Tree interpolation in Vampire. Presented at the LPAR: Logic for Programming, Artificial Intelligence, and Reasoning, Stellenbosch, South Africa: Springer. https://doi.org/10.1007/978-3-642-45221-5_13
View | DOI
 

2013 | Conference Paper | IST-REx-ID: 2270   OA
Bachrach, Y., Kohli, P., Kolmogorov, V., & Zadimoghaddam, M. (2013). Optimal Coalition Structures in Cooperative Graph Games (pp. 81–87). Presented at the AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States: AAAI Press.
View | Download (ext.) | arXiv
 

2013 | Journal Article | IST-REx-ID: 2256   OA
Danowski, P., Goldfarb, D., Schaffner, V., & Seidler, W. (2013). Linked (Open) Data - Bibliographische Daten im Semantic Web. VÖB Mitteilungen, 66(3/4), 559–587.
View | Files available
 

2013 | Conference Paper | IST-REx-ID: 2244   OA
Matoušek, J., Sedgwick, E., Tancer, M., & Wagner, U. (2013). Untangling two systems of noncrossing curves. Presented at the GD: Graph Drawing and Network Visualization, Bordeaux, France: Springer. https://doi.org/10.1007/978-3-319-03841-4_41
View | Files available | DOI | Download (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed