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.
7478 Publications
2013 | Published | Journal Article | IST-REx-ID: 2410 | 
Fernandes Redondo RA, Kupczok A, Stift G, Bollback JP. Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis. Genome Announcements. 2013;1(3). doi:10.1128/genomeA.00216-13
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2447 |
Piskac R, Wies T, Zufferey D. Automating separation logic using SMT. 2013;8044:773-789. doi:10.1007/978-3-642-39799-8_54
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 245 |
Baier S, Browning TD. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013;(680):69-151. doi:10.1515/crelle.2012.039
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 250 |
De La Bretèche R, Browning TD. Density of Châtelet surfaces failing the Hasse principle. Proceedings of the London Mathematical Society. 2013;108(4):1030-1078. doi:10.1112/plms/pdt060
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2520 |
Quadrianto N, Sharmanska V, Knowles D, Ghahramani Z. The supervised IBP: Neighbourhood preserving infinite latent feature models. In: Proceedings of the 29th Conference Uncertainty in Artificial Intelligence. AUAI Press; 2013:527-536.
[Submitted Version]
View
| Files available
2013 | Published | Journal Article | IST-REx-ID: 2697 |
Erdös L, Knowles A, Yau H, Yin J. Delocalization and diffusion profile for random band matrices. Communications in Mathematical Physics. 2013;323(1):367-416. doi:10.1007/s00220-013-1773-3
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2780 |
Erdös L, Knowles A, Yau H. Averaging fluctuations in resolvents of random band matrices. Annales Henri Poincare. 2013;14(8):1837-1926. doi:10.1007/s00023-013-0235-y
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2781 |
Erdös L, Knowles A, Yau H, Yin J. Spectral statistics of Erdős-Rényi graphs I: Local semicircle law. Annals of Probability. 2013;41(3 B):2279-2375. doi:10.1214/11-AOP734
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2807 |
Čadek M, Krcál M, Matoušek J, Vokřínek L, Wagner U. Extending continuous maps: Polynomiality and undecidability. In: 45th Annual ACM Symposium on Theory of Computing. ACM; 2013:595-604. doi:10.1145/2488608.2488683
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2846 |
El Masri L, Schulte R, Timmermeyer N, et al. Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution. Ecology Letters. 2013;16(4):461-468. doi:10.1111/ele.12068
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2881 |
Li H, Xu T, Lin D, et al. Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis. Cell Research. 2013;23(2):290-299. doi:10.1038/cr.2012.146
View
| DOI
| Download (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 2907 |
Barton NH. Recombination and sex. In: The Princeton Guide to Evolution. Princeton University Press; 2013:328-333.
[Submitted Version]
View
| Files available
2013 | Published | Conference Paper | IST-REx-ID: 2948 |
Tommasi T, Quadrianto N, Caputo B, Lampert C. Beyond dataset bias: Multi-task unaligned shared knowledge transfer. 2013;7724:1-15. doi:10.1007/978-3-642-37331-2_1
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2973 |
Bangerter E, Barzan S, Krenn S, Sadeghi A, Schneider T, Tsay J. Bringing Zero-Knowledge Proofs of Knowledge to Practice. In: Christianson B, Malcolm J, Matyas V, Roe M, eds. Vol 7028. Springer; 2013:51-62. doi:10.1007/978-3-642-36213-2_9
View
| DOI
| Download (ext.)
2013 | Published | Report | IST-REx-ID: 5401 |
Porsche J. Initiatives and Projects Related to RD. IST Austria; 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5402 |
Henzinger TA, Sezgin A. How Free Is Your Linearizable Concurrent Data Structure? IST Austria; 2013. doi:10.15479/AT:IST-2013-123-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Report | IST-REx-ID: 5407 |
Porsche J. Technical Requirements and Features. IST Austria; 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5409 |
Chatterjee K, Ibsen-Jensen R, Majumdar R. Edit Distance for Timed Automata. IST Austria; 2013. doi:10.15479/AT:IST-2013-144-v1-1
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 595 |
Bernecky C, Cramer P. Struggling to let go: A non-coding RNA directs its own extension and destruction. EMBO Journal. 2013;32(6):771-772. doi:10.1038/emboj.2013.36
View
| DOI
| Download None (ext.)
2013 | Published | Journal Article | IST-REx-ID: 6128 |
Kodama-Namba E, Fenk LA, Bretscher AJ, Gross E, Busch KE, de Bono M. Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans. PLoS Genetics. 2013;9(12). doi:10.1371/journal.pgen.1004011
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC