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.

1902 Publications


2014 | Conference Paper | IST-REx-ID: 2155   OA
Bauer, U., & Edelsbrunner, H. (2014). The morse theory of Čech and Delaunay filtrations. In Proceedings of the Annual Symposium on Computational Geometry (pp. 484–490). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582167
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2174   OA
De Vladar, H., & Barton, N. H. (2014). Stability and response of polygenic traits to stabilizing selection and mutation. Genetics, 197(2), 749–767. https://doi.org/10.1534/genetics.113.159111
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2179   OA
Ajanki, O. H., Erdös, L., & Krüger, T. H. (2014). Local semicircle law with imprimitive variance matrix. Electronic Communications in Probability, 19. https://doi.org/10.1214/ECP.v19-3121
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2186   OA
Chen, T., Hainzl, C., Pavlović, N., & Seiringer, R. (2014). On the well-posedness and scattering for the Gross-Pitaevskii hierarchy via quantum de Finetti. Letters in Mathematical Physics, 104(7), 871–891. https://doi.org/10.1007/s11005-014-0693-2
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2220   OA
De Vos, M., & Bollenbach, M. T. (2014). Suppressive drug interactions between antifungals. Chemistry and Biology, 21(4), 439–440. https://doi.org/10.1016/j.chembiol.2014.04.004
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Journal Article | IST-REx-ID: 2225   OA
Bloemendal, A., Erdös, L., Knowles, A., Yau, H., & Yin, J. (2014). Isotropic local laws for sample covariance and generalized Wigner matrices. Electronic Journal of Probability, 19. https://doi.org/10.1214/EJP.v19-3054
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2232   OA
Song, B., & Hof, B. (2014). Deterministic and stochastic aspects of the transition to turbulence. Journal of Statistical Mechanics Theory and Experiment, 2014(2). https://doi.org/10.1088/1742-5468/2014/02/P02001
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2249   OA
Chen, Y., Aung, K., Rolčík, J., Walicki, K., Friml, J., & Brandizzí, F. (2014). Inter-regulation of the unfolded protein response and auxin signaling. Plant Journal, 77(1), 97–107. https://doi.org/10.1111/tpj.12373
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2275   OA
Olsson, C., Ulen, J., Boykov, Y., & Kolmogorov, V. (2014). Partial enumeration and curvature regularization (pp. 2936–2943). Presented at the ICCV: International Conference on Computer Vision, Sydney, Australia: IEEE. https://doi.org/10.1109/ICCV.2013.365
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 468   OA
Cimadom, A., Ulloa, A., Meidl, P., Zöttl, M., Zöttl, E., Fessl, B., … Tebbich, S. (2014). Invasive parasites habitat change and heavy rainfall reduce breeding success in Darwin’s finches. PLoS One, 9(9). https://doi.org/10.1371/journal.pone.0107518
View | Files available | DOI
 

2014 | Technical Report | IST-REx-ID: 5419   OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Improved algorithms for reachability and shortest path on low tree-width graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-187-v1-1
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1392   OA
Dragoi, C., Henzinger, T. A., Veith, H., Widder, J., & Zufferey, D. (2014). A logic-based framework for verifying consensus algorithms (Vol. 8318, pp. 161–181). Presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, San Diego, USA: Springer. https://doi.org/10.1007/978-3-642-54013-4_10
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2218   OA
Cerny, P., Henzinger, T. A., Radhakrishna, A., Ryzhyk, L., & Tarrach, T. (2014). Regression-free synthesis for concurrency (Vol. 8559, pp. 568–584). Presented at the CAV: Computer Aided Verification, Vienna, Austria: Springer. https://doi.org/10.1007/978-3-319-08867-9_38
View | Files available | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2213   OA
Chatterjee, K., Doyen, L., Nain, S., & Vardi, M. (2014). The complexity of partial-observation stochastic parity games with finite-memory strategies (Vol. 8412, pp. 242–257). Presented at the FoSSaCS: Foundations of Software Science and Computation Structures, Grenoble, France: Springer. https://doi.org/10.1007/978-3-642-54830-7_16
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 2162   OA
Chatterjee, K., & Ibsen-Jensen, R. (2014). The complexity of ergodic mean payoff games (Vol. 8573, pp. 122–133). Presented at the ICST: International Conference on Software Testing, Verification and Validation, Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-662-43951-7_11
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Conference Paper | IST-REx-ID: 475   OA
Aminof, B., & Rubin, S. (2014). First cycle games. In Electronic Proceedings in Theoretical Computer Science, EPTCS (Vol. 146, pp. 83–90). Grenoble, France: Open Publishing Association. https://doi.org/10.4204/EPTCS.146.11
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2251   OA
Csicsvari, J. L., & Dupret, D. (2014). Sharp wave/ripple network oscillations and learning-associated hippocampal maps. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences, 369(1635), 20120528. https://doi.org/10.1098/rstb.2012.0528
View | Files available | DOI | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 2167   OA
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. In IEEE 7th International Conference on Software Testing, Verification and Validation (p. 6823899). Cleveland, USA: IEEE. https://doi.org/10.1109/ICST.2014.50
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 1917   OA
Xu, T., Dai, N., Chen, J., Nagawa, S., Cao, M., Li, H., … Yang, Z. (2014). Cell surface ABP1-TMK auxin sensing complex activates ROP GTPase signaling. Science, 343(6174), 1025–1028. https://doi.org/10.1126/science.1245125
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2014 | Conference Paper | IST-REx-ID: 1507   OA
Erdös, L. (2014). Random matrices, log-gases and Hölder regularity (Vol. 3, pp. 214–236). Presented at the ICM: International Congress of Mathematicians, Seoul, Korea: Kyung Moon SA Co. Ltd.
View | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1862   OA
Chen, X., Grandont, L., Li, H., Hauschild, R., Paque, S., Abuzeineh, A., … Friml, J. (2014). Inhibition of cell expansion by rapid ABP1-mediated auxin effect on microtubules. Nature, 516(729), 90–93. https://doi.org/10.1038/nature13889
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1893   OA
Nováková, P., Hirsch, S., Feraru, E., Tejos, R., Van Wijk, R., Viaene, T., … Friml, J. (2014). SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS, 111(7), 2818–2823. https://doi.org/10.1073/pnas.1324264111
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1918   OA
Bellazzini, J., Frank, R., Lieb, É., & Seiringer, R. (2014). Existence of ground states for negative ions at the binding threshold. Reviews in Mathematical Physics, 26(1). https://doi.org/10.1142/S0129055X13500219
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1920   OA
Wang, W., Nakadate, K., Masugi Tokita, M., Shutoh, F., Aziz, W., Tarusawa, E., … Shigemoto, R. (2014). Distinct cerebellar engrams in short-term and long-term motor learning. PNAS, 111(1), E188–E193. https://doi.org/10.1073/pnas.1315541111
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1932   OA
Trotter, M., Weissman, D., Peterson, G., Peck, K., & Masel, J. (2014). Cryptic genetic variation can make "irreducible complexity" a common mode of adaptation in sexual populations. Evolution, 68(12), 3357–3367. https://doi.org/10.1111/evo.12517
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1937   OA
Bourgade, P., Erdös, L., & Yau, H. (2014). Edge universality of beta ensembles. Communications in Mathematical Physics, 332(1), 261–353. https://doi.org/10.1007/s00220-014-2120-z
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2012   OA
Iglesias Ham, M., Kerber, M., & Uhler, C. (2014). Sphere packing with limited overlap (pp. 155–161). Presented at the CCCG: Canadian Conference on Computational Geometry, Halifax, Canada: Unknown.
View | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2043   OA
Bauer, U., Kerber, M., & Reininghaus, J. (2014). Distributed computation of persistent homology. In C. McGeoch & U. Meyer (Eds.), Proceedings of the Workshop on Algorithm Engineering and Experiments (pp. 31–38). Portland, USA: Society of Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973198.4
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2050   OA
Kühnen, J., Holzner, M., Hof, B., & Kuhlmann, H. (2014). Experimental investigation of transitional flow in a toroidal pipe. Journal of Fluid Mechanics, 738, 463–491. https://doi.org/10.1017/jfm.2013.603
View | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2029   OA
Correggi, M., Giuliani, A., & Seiringer, R. (2014). Validity of spin-wave theory for the quantum Heisenberg model. EPL, 108(2). https://doi.org/10.1209/0295-5075/108/20003
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2036   OA
Lagator, M., Colegrave, N., & Neve, P. (2014). Selection history and epistatic interactions impact dynamics of adaptation to novel environmental stresses. Proceedings of the Royal Society of London Series B Biological Sciences, 281(1794). https://doi.org/10.1098/rspb.2014.1679
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2024   OA
Toshima, J., Nishinoaki, S., Sato, Y., Yamamoto, W., Furukawa, D., Siekhaus, D. E., … Toshima, J. (2014). Bifurcation of the endocytic pathway into Rab5-dependent and -independent transport to the vacuole. Nature Communications, 5. https://doi.org/10.1038/ncomms4498
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2168   OA
Kelleher, J., Etheridge, A., & Barton, N. H. (2014). Coalescent simulation in continuous space: Algorithms for large neighbourhood size. Theoretical Population Biology, 95, 13–23. https://doi.org/10.1016/j.tpb.2014.05.001
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2170   OA
Hearn, J., Stone, G., Bunnefeld, L., Nicholls, J., Barton, N. H., & Lohse, K. (2014). Likelihood-based inference of population history from low-coverage de novo genome assemblies. Molecular Ecology, 23(1), 198–211. https://doi.org/10.1111/mec.12578
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2175   OA
Postiglione, M. P., & Hippenmeyer, S. (2014). Monitoring neurogenesis in the cerebral cortex: an update. Future Neurology, 9(3), 323–340. https://doi.org/10.2217/fnl.14.18
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2219   OA
Kiltz, E., Masny, D., & Pietrzak, K. Z. (2014). Simple chosen-ciphertext security from low noise LPN (Vol. 8383, pp. 1–18). Presented at the IACR: International Conference on Practice and Theory in Public-Key Cryptography, Springer. https://doi.org/10.1007/978-3-642-54631-0_1
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2226   OA
Shi, L., Hof, B., & Tilgner, A. (2014). Transient growth of Ekman-Couette flow. Physical Review E Statistical Nonlinear and Soft Matter Physics, 89(1). https://doi.org/10.1103/PhysRevE.89.013001
View | DOI | Download (ext.)
 

2014 | Conference Paper | IST-REx-ID: 2156   OA
Bauer, U., Ge, X., & Wang, Y. (2014). Measuring distance between Reeb graphs. In Proceedings of the Annual Symposium on Computational Geometry (pp. 464–473). Kyoto, Japan: ACM. https://doi.org/10.1145/2582112.2582169
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 2086   OA
Wolf, S., Mcmahon, D., Lim, K., Pull, C., Clark, S., Paxton, R., & Osborne, J. (2014). So near and yet so far: Harmonic radar reveals reduced homing ability of Nosema infected honeybees. PLoS One, 9(8). https://doi.org/10.1371/journal.pone.0103989
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2214   OA
Stoler Barak, L., Moussion, C., Shezen, E., Hatzav, M., Sixt, M. K., & Alon, R. (2014). Blood vessels pattern heparan sulfate gradients between their apical and basolateral aspects. PLoS One, 9(1). https://doi.org/10.1371/journal.pone.0085699
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2699   OA
Erdös, L., Bourgade, P., & Yau, H. (2014). Universality of general β-ensembles. Duke Mathematical Journal, 163(6), 1127–1190. https://doi.org/10.1215/00127094-2649752
View | DOI | Download (ext.)
 

2014 | Technical Report | IST-REx-ID: 5427   OA
Chatterjee, K., Ibsen-Jensen, R., & Pavlogiannis, A. (2014). Optimal tree-decomposition balancing and reachability on low treewidth graphs. IST Austria. https://doi.org/10.15479/AT:IST-2014-314-v1-1
View | Files available | DOI
 

2014 | Report | IST-REx-ID: 5422   OA
Porsche, J. (2014). Notes from Research Data Alliance Plenary Meeting in Dublin, Ireland. none.
View | Files available
 

2014 | Journal Article | IST-REx-ID: 2031   OA
Arai, I., & Jonas, P. M. (2014). Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse. ELife, 3. https://doi.org/10.7554/eLife.04057
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1906   OA
Arikan, M., Preiner, R., Scheiblauer, C., Jeschke, S., & Wimmer, M. (2014). Large-scale point-cloud visualization through localized textured surface reconstruction. IEEE Transactions on Visualization and Computer Graphics, 20(9), 1280–1292. https://doi.org/10.1109/TVCG.2014.2312011
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2062   OA
Hu, H., Gan, J., & Jonas, P. M. (2014). Fast-spiking parvalbumin^+ GABAergic interneurons: From cellular design to microcircuit function. Science, 345(6196). https://doi.org/10.1126/science.1255263
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1886   OA
Hermundstad, A., Briguglio, J., Conte, M., Victor, J., Balasubramanian, V., & Tkacik, G. (2014). Variance predicts salience in central sensory processing. ELife, (November). https://doi.org/10.7554/eLife.03722
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 2233   OA
Boker, U., & Henzinger, T. A. (2014). Exact and approximate determinization of discounted-sum automata. Logical Methods in Computer Science, 10(1). https://doi.org/10.2168/LMCS-10(1:10)2014
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 2163   OA
Chatterjee, K., & Doyen, L. (2014). Games with a weak adversary. In Lecture Notes in Computer Science (Vol. 8573, pp. 110–121). Copenhagen, Denmark: Springer. https://doi.org/10.1007/978-3-662-43951-7_10
View | Files available | DOI | Download (ext.) | arXiv
 

2014 | Journal Article | IST-REx-ID: 2187   OA
Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T. A., Hofferek, G., Jobstmann, B., … Könighofer, R. (2014). Synthesizing robust systems. Acta Informatica, 51(3–4), 193–220. https://doi.org/10.1007/s00236-013-0191-5
View | Files available | DOI
 

2014 | Conference Paper | IST-REx-ID: 1393   OA
Gordon, A., Henzinger, T. A., Nori, A., & Rajamani, S. (2014). Probabilistic programming. In Proceedings of the on Future of Software Engineering (pp. 167–181). Hyderabad, India: ACM. https://doi.org/10.1145/2593882.2593900
View | DOI | Download (ext.)
 

2014 | Journal Article | IST-REx-ID: 1925   OA
Lamprecht, C., Plochberger, B., Ruprecht, V., Wieser, S., Rankl, C., Heister, E., … Ebner, A. (2014). A single-molecule approach to explore binding uptake and transport of cancer cell targeting nanotubes. Nanotechnology, 25(12), 125704. https://doi.org/10.1088/0957-4484/25/12/125704
View | Files available | DOI
 

2014 | Journal Article | IST-REx-ID: 1913   OA
Milenković, I., Petrov, T., & Kovács, G. (2014). Patterns of hippocampal tau pathology differentiate neurodegenerative dementias. Dementia and Geriatric Cognitive Disorders, 38(5–6), 375–388. https://doi.org/10.1159/000365548
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2210   OA
Biedl, T., Held, M., & Huber, S. (2013). Reconstructing polygons from embedded straight skeletons. In 29th European Workshop on Computational Geometry (pp. 95–98). Braunschweig, Germany: TU Braunschweig.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2284   OA
Tragust, S., Ugelvig, L. V., Chapuisat, M., Heinze, J., & Cremer, S. (2013). Pupal cocoons affect sanitary brood care and limit fungal infections in ant colonies. BMC Evolutionary Biology, 13(1). https://doi.org/10.1186/1471-2148-13-225
View | Files available | DOI
 

2013 | Journal Article | IST-REx-ID: 2289   OA
Henzinger, T. A. (2013). Quantitative reactive modeling and verification. Computer Science Research and Development, 28(4), 331–344. https://doi.org/10.1007/s00450-013-0251-7
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2291   OA
Ferrara, A., Fuchsbauer, G., & Warinschi, B. (2013). Cryptographically enforced RBAC (pp. 115–129). Presented at the CSF: Computer Security Foundations, New Orleans, LA, United States: IEEE. https://doi.org/10.1109/CSF.2013.15
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2258   OA
Kiltz, E., Pietrzak, K. Z., & Szegedy, M. (2013). Digital signatures with minimal overhead from indifferentiable random invertible functions. Presented at the CRYPTO: International Cryptology Conference, Santa Barbara, CA, United States: Springer. https://doi.org/10.1007/978-3-642-40041-4_31
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2260   OA
Bernhard, D., Fuchsbauer, G., & Ghadafi, E. (2013). Efficient signatures of knowledge and DAA in the standard model. Presented at the ACNS: Applied Cryptography and Network Security, Banff, AB, Canada: Springer. https://doi.org/10.1007/978-3-642-38980-1_33
View | DOI | Download (ext.)
 

2013 | Conference Paper | IST-REx-ID: 2272   OA
Takhanov, R., & Kolmogorov, V. (2013). Inference algorithms for pattern-based CRFs on sequence data. In ICML’13 Proceedings of the 30th International Conference on International (Vol. 28, pp. 145–153). Atlanta, GA, USA: International Machine Learning Society.
View | Files available | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2277   OA
Simmons, K., Prentice, J., Tkacik, G., Homann, J., Yee, H., Palmer, S., … Balasubramanian, V. (2013). Transformation of stimulus correlations by the retina. PLoS Computational Biology, 9(12). https://doi.org/10.1371/journal.pcbi.1003344
View | Files available | DOI
 

2013 | Conference Paper | IST-REx-ID: 2518   OA
Kolmogorov, V. (2013). The power of linear programming for finite-valued CSPs: A constructive characterization (Vol. 7965, pp. 625–636). Presented at the ICALP: Automata, Languages and Programming, Riga, Latvia: Springer. https://doi.org/10.1007/978-3-642-39206-1_53
View | Files available | DOI | Download (ext.) | arXiv
 

2013 | Conference Paper | IST-REx-ID: 2520   OA
Quadrianto, N., Sharmanska, V., Knowles, D., & Ghahramani, Z. (2013). The supervised IBP: Neighbourhood preserving infinite latent feature models. In Proceedings of the 29th conference uncertainty in Artificial Intelligence (pp. 527–536). Bellevue, WA, United States: AUAI Press.
View | Files available
 

2013 | Journal Article | IST-REx-ID: 2448   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
Kolmogorov, V. (2013). Reweighted message passing revisited. IST Austria.
View | Download (ext.)
 

2013 | Journal Article | IST-REx-ID: 2297   OA
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   OA
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   OA
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   OA
Č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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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   OA
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
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed