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. Optimal Coalition Structures in Cooperative Graph Games. In: AAAI Press; 2013:81-87.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2013 | Draft | Report | IST-REx-ID: 2273 |
Kolmogorov V. 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. Computing the M most probable modes of a graphical model. In: Vol 31. JMLR; 2013:161-169.
View
| Download None (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi: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 NP, Popeea C, Rybalchenko A. HSF(C): A software verifier based on Horn clauses. In: Flanagan C, König B, eds. Tools and Algorithms for the Construction and Analysis of Systems. Vol 7214. LNCS. Berlin, Heidelberg: Springer; 2012:549-551. doi: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 EM, Hetzer M. RNP export by nuclear envelope budding. Cell. 2012;149(4):733-735. doi: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 MA, Gomez-Cavazos JS, Mei A, Lackner DH, Hetzer M. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 2012;22(2):446-458. doi: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 SR, Jaeger H. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 2012;29(1E):1E31-1E33.
[Published Version]
View
| Files available
2012 | Published | Conference Paper | IST-REx-ID: 11794 |
Dütting P, Henzinger M, Starnberger M. Auctions with heterogeneous items and budget limits. In: 8th International Workshop on Internet and Network Economics. Vol 7695. Springer Nature; 2012:44–57. doi: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 TD, Baier S. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2012;2013(680):1-65. doi: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. Multifunctional devices and logic gates with undoped silicon nanowires. Nano Letters. 2012;12(6):3074-3079. doi:10.1021/nl300930m
View
| DOI
| Download (ext.)
2012 | Published | Journal Article | IST-REx-ID: 1757 |
Zhang J, Katsaros G, Montalenti F, et al. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 2012;109(8). doi: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. Zero-bias anomaly in a nanowire quantum dot coupled to superconductors. Physical Review Letters. 2012;109(18). doi:10.1103/PhysRevLett.109.186802
View
| DOI
| Download (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17613 |
Kocsis B, Haiman Z, Loeb A. 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. 2012;427(3):2680-2700. doi: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. Feedback from the infrared background in the early universe. Monthly Notices of the Royal Astronomical Society: Letters. 2012;425(1):L51-L55. doi: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. Gas pile-up, gap overflow and Type 1.5 migration in circumbinary discs: General theory. Monthly Notices of the Royal Astronomical Society. 2012;427(3):2660-2679. doi: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 SP. Improved models for cosmic infrared background anisotropies: New constraints on the infrared galaxy population. Monthly Notices of the Royal Astronomical Society. 2012;421(4):2832-2845. doi: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 JM, Lim EA, Wang S, Haiman Z, May M, Huffenberger K. Probing cosmology with weak lensing Minkowski functionals. Physical Review D. 2012;85(10). doi: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. 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. 2012;428(4):3058-3071. doi: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. Electromagnetic counterparts of supermassive black hole binaries resolved by pulsar timing arrays. Monthly Notices of the Royal Astronomical Society. 2012;420(1):705-719. doi:10.1111/j.1365-2966.2011.20083.x
[Published Version]
View
| DOI
| Download Published Version (ext.)