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.
1481 Publications
2014 |Published| Journal Article | IST-REx-ID: 1312
Fischer, J. L. (2014). Upper bounds on waiting times for the Thin-film equation: The case of weak slippage. Archive for Rational Mechanics and Analysis. Springer. https://doi.org/10.1007/s00205-013-0690-0
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1375 | 
Chatterjee, K., Henzinger, M. H., Krinninger, S., Loitzenbauer, V., & Raskin, M. (2014). Approximating the minimum cycle mean. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2014.06.031
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 1393 |
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
[Published Version]
View
| DOI
| Download Published Version (ext.)
2014 |Published| Thesis | IST-REx-ID: 1404
Stock, M. (2014). Evolution of a fungal pathogen towards individual versus social immunity in ants. IST Austria.
View
2014 |Published| Journal Article | IST-REx-ID: 1842 |
Cibulka, J., Gao, P., Krcál, M., Valla, T., & Valtr, P. (2014). On the geometric ramsey number of outerplanar graphs. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-014-9646-x
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1852 |
Sassi, M., Ali, O., Boudon, F., Cloarec, G., Abad, U., Cellier, C., … Traas, J. (2014). An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2014.08.036
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1884
Landau, D., Stewart, C., Reiter, J., Lawrence, M., Sougnez, C., Brown, J., … Wu, C. (2014). Novel putative driver gene mutations in chronic lymphocytic leukemia (CLL): results from a combined analysis of whole exome sequencing of 262 primary CLL aamples. Blood. American Society of Hematology.
View
| Download None (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1893 |
Marhavá, 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. National Academy of Sciences. https://doi.org/10.1073/pnas.1324264111
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1910
Konradi, S., Yasmin, N., Haslwanter, D., Weber, M., Gesslbauer, B., Sixt, M. K., & Strobl, H. (2014). Langerhans cell maturation is accompanied by induction of N-cadherin and the transcriptional regulators of epithelial-mesenchymal transition ZEB1/2. European Journal of Immunology. Wiley-Blackwell. https://doi.org/10.1002/eji.201343681
View
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 1907 |
Demay, G., Gazi, P., Maurer, U., & Tackmann, B. (2014). Optimality of non-adaptive strategies: The case of parallel games. In IEEE International Symposium on Information Theory. Honolulu, USA: IEEE. https://doi.org/10.1109/ISIT.2014.6875125
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1911
Engström, A., & Noren, P. (2014). Tverberg’s Theorem and Graph Coloring. Discrete & Computational Geometry. Springer. https://doi.org/10.1007/s00454-013-9556-3
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1920 |
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. National Academy of Sciences. https://doi.org/10.1073/pnas.1315541111
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1935 |
Giuliani, A., Lieb, É., & Seiringer, R. (2014). Formation of stripes and slabs near the ferromagnetic transition. Communications in Mathematical Physics. Springer. https://doi.org/10.1007/s00220-014-1923-2
[Published Version]
View
| Files available
| DOI
| arXiv
2014 |Published| Journal Article | IST-REx-ID: 1980
Heikal, A., Nakatani, Y., Dunn, E., Weimar, M., Day, C., Baker, E., … Cook, G. (2014). Structure of the bacterial type II NADH dehydrogenase: a monotopic membrane protein with an essential role in energy generation. Molecular Microbiology. Wiley-Blackwell. https://doi.org/10.1111/mmi.12507
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1994
Viaene, T., Landberg, K., Thelander, M., Medvecka, E., Pederson, E., Feraru, E., … Friml, J. (2014). Directional auxin transport mechanisms in early diverging land plants. Current Biology. Cell Press. https://doi.org/10.1016/j.cub.2014.09.056
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2019 |
Erdös, L., & Schröder, D. J. (2014). Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry. Springer. https://doi.org/10.1007/s11040-014-9164-3
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 2031 |
Arai, itaru, & Jonas, P. M. (2014). Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.04057
[Submitted Version]
View
| Files available
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2028 |
Bodova, K., Paydarfar, D., & Forger, D. (2014). Characterizing spiking in noisy type II neurons. Journal of Theoretical Biology. Academic Press. https://doi.org/10.1016/j.jtbi.2014.09.041
[Published Version]
View
| Files available
| DOI
2014 |Published| Conference Paper | IST-REx-ID: 2045 |
Dachman Soled, D., Fuchsbauer, G., Mohassel, P., & O’Neill, A. (2014). Enhanced chosen-ciphertext security and applications. In H. Krawczyk (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 329–344). Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-54631-0_19
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 2046 |
Bellare, M., & Fuchsbauer, G. (2014). Policy-based signatures. In H. Krawczyk (Ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8383, pp. 520–537). Buenos Aires, Argentina: Springer. https://doi.org/10.1007/978-3-642-54631-0_30
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)