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.
7480 Publications
2013 | Published | Journal Article | IST-REx-ID: 2405 | 
Frank, Rupert, et al. “Symmetry of Bipolaron Bound States for Small Coulomb Repulsion.” Communications in Mathematical Physics, vol. 319, no. 2, Springer, 2013, pp. 557–73, doi:10.1007/s00220-012-1604-y.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2408 |
Grech, Philip, and Robert Seiringer. “The Excitation Spectrum for Weakly Interacting Bosons in a Trap.” Communications in Mathematical Physics, vol. 322, no. 2, Springer, 2013, pp. 559–91, doi:10.1007/s00220-013-1736-8.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2410 |
Fernandes Redondo, Rodrigo A., et al. “Complete Genome Sequence of the Novel Phage MG-B1 Infecting Bacillus Weihenstephanensis.” Genome Announcements, vol. 1, no. 3, American Society for Microbiology, 2013, doi:10.1128/genomeA.00216-13.
[Published Version]
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2447 |
Piskac, Ruzica, et al. Automating Separation Logic Using SMT. Vol. 8044, Springer, 2013, pp. 773–89, doi:10.1007/978-3-642-39799-8_54.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 245 |
Baier, Stephan, and Timothy D. Browning. “Inhomogeneous Cubic Congruences and Rational Points on Del Pezzo Surfaces.” Journal Fur Die Reine Und Angewandte Mathematik, no. 680, Walter de Gruyter, 2013, pp. 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égis, and Timothy D. Browning. “Density of Châtelet Surfaces Failing the Hasse Principle.” Proceedings of the London Mathematical Society, vol. 108, no. 4, Oxford University Press, 2013, pp. 1030–78, doi:10.1112/plms/pdt060.
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2520 |
Quadrianto, Novi, et al. “The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.” Proceedings of the 29th Conference Uncertainty in Artificial Intelligence, AUAI Press, 2013, pp. 527–36.
[Submitted Version]
View
| Files available
2013 | Published | Journal Article | IST-REx-ID: 2697 |
Erdös, László, et al. “Delocalization and Diffusion Profile for Random Band Matrices.” Communications in Mathematical Physics, vol. 323, no. 1, Springer, 2013, pp. 367–416, doi:10.1007/s00220-013-1773-3.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2780 |
Erdös, László, et al. “Averaging Fluctuations in Resolvents of Random Band Matrices.” Annales Henri Poincare, vol. 14, no. 8, Birkhäuser, 2013, pp. 1837–926, doi:10.1007/s00023-013-0235-y.
View
| DOI
| Download (ext.)
2013 | Published | Journal Article | IST-REx-ID: 2781 |
Erdös, László, et al. “Spectral Statistics of Erdős-Rényi Graphs I: Local Semicircle Law.” Annals of Probability, vol. 41, no. 3 B, Institute of Mathematical Statistics, 2013, pp. 2279–375, doi:10.1214/11-AOP734.
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2807 |
Čadek, Martin, et al. “Extending Continuous Maps: Polynomiality and Undecidability.” 45th Annual ACM Symposium on Theory of Computing, ACM, 2013, pp. 595–604, doi:10.1145/2488608.2488683.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2846 |
El Masri, Leila, 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, 2013, pp. 461–68, doi:10.1111/ele.12068.
[Published Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2881 |
Li, Hongjiang, et al. “Cytokinin Signaling Regulates Pavement Cell Morphogenesis in Arabidopsis.” Cell Research, vol. 23, no. 2, Nature Publishing Group, 2013, pp. 290–99, doi:10.1038/cr.2012.146.
View
| DOI
| Download (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 2907 |
Barton, Nicholas H. “Recombination and Sex.” The Princeton Guide to Evolution, Princeton University Press, 2013, pp. 328–33.
[Submitted Version]
View
| Files available
2013 | Published | Conference Paper | IST-REx-ID: 2948 |
Tommasi, Tatiana, et al. Beyond Dataset Bias: Multi-Task Unaligned Shared Knowledge Transfer. Vol. 7724, Springer, 2013, pp. 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, Endre, et al. Bringing Zero-Knowledge Proofs of Knowledge to Practice. Edited by Bruce Christianson et al., vol. 7028, Springer, 2013, pp. 51–62, doi:10.1007/978-3-642-36213-2_9.
View
| DOI
| Download (ext.)
2013 | Published | Report | IST-REx-ID: 5401 |
Porsche, Jana. Initiatives and Projects Related to RD. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5402 |
Henzinger, Thomas A., and Ali Sezgin. 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, Jana. Technical Requirements and Features. IST Austria, 2013.
[Published Version]
View
| Files available
2013 | Published | Technical Report | IST-REx-ID: 5409 |
Chatterjee, Krishnendu, et al. Edit Distance for Timed Automata. IST Austria, 2013, doi:10.15479/AT:IST-2013-144-v1-1.
[Published Version]
View
| Files available
| DOI