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. AAAI: Conference on Artificial Intelligence, 81–87.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2013 | Draft | Report | IST-REx-ID: 2273 |
Kolmogorov V. Reweighted message passing revisited, IST Austria,p.
[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. AISTATS: Conference on Uncertainty in Artificial Intelligence, JMLR: W&CP, vol. 31, 161–169.
View
| Download None (ext.)
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.
View
| Files available
| DOI
2012 | Published | Conference Paper | IST-REx-ID: 10906 |
Grebenshchikov S, Gupta A, Lopes NP, Popeea C, Rybalchenko A. 2012. HSF(C): A software verifier based on Horn clauses. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of SystemsLNCS, LNCS, vol. 7214, 549–551.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 11090 |
Hatch EM, Hetzer M. 2012. RNP export by nuclear envelope budding. Cell. 149(4), 733–735.
[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. 2012. A change in nuclear pore complex composition regulates cell differentiation. Developmental Cell. 22(2), 446–458.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2012 | Published | Journal Article | IST-REx-ID: 114 |
Waitukaitis SR, Jaeger H. 2012. Solidification of a cornstarch and water suspension. Revista Cubana de Fisica. 29(1E), 1E31-1E33.
[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. 8th International Workshop on Internet and Network Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 7695, 44–57.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2012 | Published | Journal Article | IST-REx-ID: 171 |
Browning TD, Baier S. 2012. Inhomogeneous cubic congruences and rational points on del Pezzo surfaces. Journal fur die Reine und Angewandte Mathematik. 2013(680), 1–65.
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. 12(6), 3074–3079.
View
| DOI
| Download (ext.)
2012 | Published | Journal Article | IST-REx-ID: 1757 |
Zhang J, Katsaros G, Montalenti F, Scopece D, Rezaev R, Mickel C, Rellinghaus B, Miglio L, De Franceschi S, Rastelli A, Schmidt O. 2012. Monolithic growth of ultrathin Ge nanowires on Si(001) . Physical Review Letters. 109(8).
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. 109(18).
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. 427(3), 2680–2700.
[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. 425(1), L51–L55.
[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. 427(3), 2660–2679.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2012 | Published | Journal Article | IST-REx-ID: 17674 |
Shang C, Haiman Z, Knox L, Oh SP. 2012. Improved models for cosmic infrared background anisotropies: New constraints on the infrared galaxy population. Monthly Notices of the Royal Astronomical Society. 421(4), 2832–2845.
[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. 2012. Probing cosmology with weak lensing Minkowski functionals. Physical Review D. 85(10), 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. 428(4), 3058–3071.
[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. 420(1), 705–719.
[Published Version]
View
| DOI
| Download Published Version (ext.)