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.
7131 Publications
2013 | Published | Conference Paper | IST-REx-ID: 2270 | 
Bachrach, Y., Kohli, P., Kolmogorov, V., & Zadimoghaddam, M. (2013). Optimal Coalition Structures in Cooperative Graph Games (pp. 81–87). Presented at the AAAI: Conference on Artificial Intelligence, Bellevue, WA, United States: AAAI Press.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2013 | Draft | Report | IST-REx-ID: 2273 |
Kolmogorov, V. (n.d.). Reweighted message passing revisited. IST Austria.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 2901 |
Chen, C., Kolmogorov, V., Yan, Z., Metaxas, D., & Lampert, C. (2013). Computing the M most probable modes of a graphical model (Vol. 31, pp. 161–169). Presented at the AISTATS: Conference on Uncertainty in Artificial Intelligence, Scottsdale, AZ, United States: JMLR.
View
| Download None (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Dragoi, C., Gupta, A., & Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In Computer Aided Verification (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39799-8_11
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov, S., Gupta, A., Lopes, N. P., Popeea, C., & Rybalchenko, A. (2012). HSF(C): A software verifier based on Horn clauses. In C. Flanagan & B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 549–551). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-28756-5_46
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 11090 |
Hatch, E. M., & Hetzer, M. (2012). RNP export by nuclear envelope budding. Cell. Elsevier. https://doi.org/10.1016/j.cell.2012.04.018
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 11093 |
D’Angelo, M. A., Gomez-Cavazos, J. S., Mei, A., Lackner, D. H., & Hetzer, M. (2012). A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. Elsevier. https://doi.org/10.1016/j.devcel.2011.11.021
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 114 |
Waitukaitis, S. R., & Jaeger, H. (2012). Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. Universidad de La Habana.
[Published Version]
View
| Files available
2012 | Published | Conference Paper | IST-REx-ID: 11794 |
Dütting, P., Henzinger, M., & Starnberger, M. (2012). Auctions with heterogeneous items and budget limits. In 8th International Workshop on Internet and Network Economics (Vol. 7695, pp. 44–57). Liverpool, United Kingdom: Springer Nature. https://doi.org/10.1007/978-3-642-35311-6_4
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Journal Article | IST-REx-ID: 171 |
Browning, T. D., & Baier, S. (2012). Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal Fur Die Reine Und Angewandte Mathematik. Walter de Gruyter. https://doi.org/10.1515/crelle.2012.039
View
| DOI
| Download (ext.)
2012 | Published | Journal Article | IST-REx-ID: 1756 |
Mongillo, M., Spathis, P., Katsaros, G., Gentile, P., & De Franceschi, S. (2012). Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. American Chemical Society. https://doi.org/10.1021/nl300930m
View
| DOI
| Download (ext.)
2012 | Published | Journal Article | IST-REx-ID: 1757 |
Zhang, J., Katsaros, G., Montalenti, F., Scopece, D., Rezaev, R., Mickel, C., … Schmidt, O. (2012). Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.085502
View
| DOI
| Download (ext.)
2012 | Published | Journal Article | IST-REx-ID: 1758 |
Lee, E., Jiang, X., Aguado, R., Katsaros, G., Lieber, C., & De Franceschi, S. (2012). Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.109.186802
View
| DOI
| Download (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17613 |
Kocsis, B., Haiman, Z., & Loeb, A. (2012). Gas pile-up, gap overflow and Type 1.5 migration in circumbinary discs: Application to supermassive black hole binaries. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1111/j.1365-2966.2012.22118.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17636 |
Wolcott-Green, J., & Haiman, Z. (2012). Feedback from the infrared background in the early universe. Monthly Notices of the Royal Astronomical Society: Letters. Oxford University Press. https://doi.org/10.1111/j.1745-3933.2012.01298.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17660 |
Kocsis, B., Haiman, Z., & Loeb, A. (2012). Gas pile-up, gap overflow and Type 1.5 migration in circumbinary discs: General theory. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1111/j.1365-2966.2012.22129.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17674 |
Shang, C., Haiman, Z., Knox, L., & Oh, S. P. (2012). Improved models for cosmic infrared background anisotropies: New constraints on the infrared galaxy population. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1111/j.1365-2966.2012.20510.x
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17675 |
Kratochvil, J. M., Lim, E. A., Wang, S., Haiman, Z., May, M., & Huffenberger, K. (2012). Probing cosmology with weak lensing Minkowski functionals. Physical Review D. American Physical Society. https://doi.org/10.1103/physrevd.85.103513
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Journal Article | IST-REx-ID: 17678 |
Schroeder, J., Mesinger, A., & Haiman, Z. (2012). Evidence of Gunn–Peterson damping wings in high-z quasar spectra: Strengthening the case for incomplete reionization at z ∼ 6–7. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/sts253
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17688 |
Tanaka, T., Menou, K., & Haiman, Z. (2012). Electromagnetic counterparts of supermassive black hole binaries resolved by pulsar timing arrays. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1111/j.1365-2966.2011.20083.x
[Published Version]
View
| DOI
| Download Published Version (ext.)