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: 1375 | 
Chatterjee K, Henzinger MH, Krinninger S, Loitzenbauer V, Raskin M. 2014. Approximating the minimum cycle mean. Theoretical Computer Science. 547(C), 104–116.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2014 |Published| Conference Paper | IST-REx-ID: 1393 |
Gordon A, Henzinger TA, Nori A, Rajamani S. 2014. Probabilistic programming. Proceedings of the on Future of Software Engineering. FOSE: Future of Software Engineering, 167–181.
[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. 53(1), 64–79.
[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, Chen X, Gilles B, Milani P, Friml J, Vernoux T, Godin C, Hamant O, Traas J. 2014. An auxin-mediated shift toward growth isotropy promotes organ formation at the shoot meristem in Arabidopsis. Current Biology. 24(19), 2335–2342.
[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, Lopez Guillermo A, Gabriel S, Lander E, Neuberg D, López Otín C, Campo E, Getz G, 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. 124(21), 1952–1952.
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, Heilmann M, Lerche J, De Rycke R, Feraru M, Grones P, Van Montagu M, Heilmann I, Munnik T, Friml J. 2014. SAC phosphoinositide phosphatases at the tonoplast mediate vacuolar function in Arabidopsis. PNAS. 111(7), 2818–2823.
[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 MK, 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. 44(2), 553–560.
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. IEEE International Symposium on Information Theory. IEEE International Symposium on Information Theory Proceedings, 6875125.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 1920 |
Wang W, Nakadate K, Masugi Tokita M, Shutoh F, Aziz W, Tarusawa E, Lörincz A, Molnár E, Kesaf S, Li Y, Fukazawa Y, Nagao S, Shigemoto R. 2014. Distinct cerebellar engrams in short-term and long-term motor learning. PNAS. 111(1), E188–E193.
[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. 331, 333–350.
[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, Lott S, Sazanov LA, Cook G. 2014. Structure of the bacterial type II NADH dehydrogenase: a monotopic membrane protein with an essential role in energy generation. Molecular Microbiology. 91(5), 950–964.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 1994
Viaene T, Landberg K, Thelander M, Medvecka E, Pederson E, Feraru E, Cooper E, Karimi M, Delwiche C, Ljung K, Geisler M, Sundberg E, Friml J. 2014. Directional auxin transport mechanisms in early diverging land plants. Current Biology. 24(23), 2786–2791.
View
| DOI
2014 |Published| Journal Article | IST-REx-ID: 2019 |
Erdös L, Schröder DJ. 2014. Phase transition in the density of states of quantum spin glasses. Mathematical Physics, Analysis and Geometry. 17(3–4), 441–464.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Journal Article | IST-REx-ID: 2031 |
Arai itaru, Jonas PM. 2014. Nanodomain coupling explains Ca^2+ independence of transmitter release time course at a fast central synapse. eLife. 3.
[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. 365, 40–54.
[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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PKC: Public Key Crypography, LNCS, vol. 8383, 329–344.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 |Published| Conference Paper | IST-REx-ID: 2046 |
Bellare M, Fuchsbauer G. 2014. Policy-based signatures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PKC: Public Key Crypography, LNCS, vol. 8383, 520–537.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)