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 | 
R. A. Fernandes Redondo, A. Kupczok, G. Stift, and J. P. Bollback, “Complete genome sequence of the novel phage MG-B1 infecting bacillus weihenstephanensis,” Genome Announcements, vol. 1, no. 3. American Society for Microbiology, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2447 |
R. Piskac, T. Wies, and D. Zufferey, “Automating separation logic using SMT,” vol. 8044. Springer, pp. 773–789, 2013.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 245 |
S. Baier and T. D. Browning, “Inhomogeneous cubic congruences and rational points on del Pezzo surfaces,” Journal fur die Reine und Angewandte Mathematik, no. 680. Walter de Gruyter, pp. 69–151, 2013.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 250 |
R. De La Bretèche and T. D. Browning, “Density of Châtelet surfaces failing the Hasse principle,” Proceedings of the London Mathematical Society, vol. 108, no. 4. Oxford University Press, pp. 1030–1078, 2013.
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2520 |
N. Quadrianto, V. Sharmanska, D. Knowles, and Z. Ghahramani, “The supervised IBP: Neighbourhood preserving infinite latent feature models,” in Proceedings of the 29th conference uncertainty in Artificial Intelligence, Bellevue, WA, United States, 2013, pp. 527–536.
[Submitted Version]
View
| Files available
2013 | Published | Journal Article | IST-REx-ID: 2697 |
L. Erdös, A. Knowles, H. Yau, and J. Yin, “Delocalization and diffusion profile for random band matrices,” Communications in Mathematical Physics, vol. 323, no. 1. Springer, pp. 367–416, 2013.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2780 |
L. Erdös, A. Knowles, and H. Yau, “Averaging fluctuations in resolvents of random band matrices,” Annales Henri Poincare, vol. 14, no. 8. Birkhäuser, pp. 1837–1926, 2013.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2781 |
L. Erdös, A. Knowles, H. Yau, and J. Yin, “Spectral statistics of Erdős-Rényi graphs I: Local semicircle law,” Annals of Probability, vol. 41, no. 3 B. Institute of Mathematical Statistics, pp. 2279–2375, 2013.
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2807 |
M. Čadek, M. Krcál, J. Matoušek, L. Vokřínek, and U. Wagner, “Extending continuous maps: Polynomiality and undecidability,” in 45th Annual ACM Symposium on theory of computing, Palo Alto, CA, United States, 2013, pp. 595–604.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2846 |
L. El Masri et al., “Sex differences in host defence interfere with parasite-mediated selection for outcrossing during host-parasite coevolution,” Ecology Letters, vol. 16, no. 4. Wiley-Blackwell, pp. 461–468, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2881 |
H. Li et al., “Cytokinin signaling regulates pavement cell morphogenesis in Arabidopsis,” Cell Research, vol. 23, no. 2. Nature Publishing Group, pp. 290–299, 2013.
View
| DOI
| Download (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 2907 |
N. H. Barton, “Recombination and sex,” in The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–333.
[Submitted Version]
View
| Files available
2013 | Published | Conference Paper | IST-REx-ID: 2948 |
T. Tommasi, N. Quadrianto, B. Caputo, and C. Lampert, “Beyond dataset bias: Multi-task unaligned shared knowledge transfer,” vol. 7724. Springer, pp. 1–15, 2013.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2973 |
E. Bangerter, S. Barzan, S. Krenn, A. Sadeghi, T. Schneider, and J. Tsay, “Bringing Zero-Knowledge Proofs of Knowledge to Practice,” presented at the SPW: Security Protocols Workshop, 2013, vol. 7028, pp. 51–62.
View
| DOI
| Download (ext.)
2013 | Published | Report | IST-REx-ID: 5401 |
J. Porsche, Initiatives and projects related to RD. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5402 |
T. A. Henzinger and A. Sezgin, How free is your linearizable concurrent data structure? IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Report | IST-REx-ID: 5407 |
J. Porsche, Technical requirements and features. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5409 |
K. Chatterjee, R. Ibsen-Jensen, and R. Majumdar, Edit distance for timed automata. IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 595 |
C. Bernecky and P. Cramer, “Struggling to let go: A non-coding RNA directs its own extension and destruction,” EMBO Journal, vol. 32, no. 6. Wiley-Blackwell, pp. 771–772, 2013.
View
| DOI
| Download None (ext.)
2013 | Published | Journal Article | IST-REx-ID: 6128 |
E. Kodama-Namba, L. A. Fenk, A. J. Bretscher, E. Gross, K. E. Busch, and M. de Bono, “Cross-modulation of homeostatic responses to temperature, oxygen and carbon dioxide in C. elegans,” PLoS Genetics, vol. 9, no. 12. Public Library of Science (PLoS), 2013.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC