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 | OA
Optimal Coalition Structures in Cooperative Graph Games
Y. Bachrach, P. Kohli, V. Kolmogorov, M. Zadimoghaddam, in:, AAAI Press, 2013, pp. 81–87.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2013 | Draft | Report | IST-REx-ID: 2273 | OA
Reweighted message passing revisited
V. Kolmogorov, Reweighted Message Passing Revisited, IST Austria, n.d.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2013 | Published | Conference Paper | IST-REx-ID: 2901 | OA
Computing the M most probable modes of a graphical model
C. Chen, V. Kolmogorov, Z. Yan, D. Metaxas, C. Lampert, in:, JMLR, 2013, pp. 161–169.
View | Download None (ext.)
 

2013 | Published | Book Chapter | IST-REx-ID: 5747 | OA
Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
View | Files available | DOI
 

2012 | Published | Conference Paper | IST-REx-ID: 10906 | OA
HSF(C): A software verifier based on Horn clauses
S. Grebenshchikov, A. Gupta, N.P. Lopes, C. Popeea, A. Rybalchenko, in:, C. Flanagan, B. König (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, Springer, Berlin, Heidelberg, 2012, pp. 549–551.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 11090 | OA
RNP export by nuclear envelope budding
E.M. Hatch, M. Hetzer, Cell 149 (2012) 733–735.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 11093 | OA
A change in nuclear pore complex composition regulates cell differentiation
M.A. D’Angelo, J.S. Gomez-Cavazos, A. Mei, D.H. Lackner, M. Hetzer, Developmental Cell 22 (2012) 446–458.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2012 | Published | Journal Article | IST-REx-ID: 114 | OA
Solidification of a cornstarch and water suspension
S.R. Waitukaitis, H. Jaeger, Revista Cubana de Fisica 29 (2012) 1E31-1E33.
[Published Version] View | Files available
 

2012 | Published | Conference Paper | IST-REx-ID: 11794 | OA
Auctions with heterogeneous items and budget limits
P. Dütting, M. Henzinger, M. Starnberger, in:, 8th International Workshop on Internet and Network Economics, Springer Nature, 2012, pp. 44–57.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 171 | OA
Inhomogeneous cubic congruences and rational points on del Pezzo surfaces
T.D. Browning, S. Baier, Journal Fur Die Reine Und Angewandte Mathematik 2013 (2012) 1–65.
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 1756 | OA
Multifunctional devices and logic gates with undoped silicon nanowires
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, S. De Franceschi, Nano Letters 12 (2012) 3074–3079.
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 1757 | OA
Monolithic growth of ultrathin Ge nanowires on Si(001)
J. Zhang, G. Katsaros, F. Montalenti, D. Scopece, R. Rezaev, C. Mickel, B. Rellinghaus, L. Miglio, S. De Franceschi, A. Rastelli, O. Schmidt, Physical Review Letters 109 (2012).
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 1758 | OA
Zero-bias anomaly in a nanowire quantum dot coupled to superconductors
E. Lee, X. Jiang, R. Aguado, G. Katsaros, C. Lieber, S. De Franceschi, Physical Review Letters 109 (2012).
View | DOI | Download (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 17613 | OA
Gas pile-up, gap overflow and Type 1.5 migration in circumbinary discs: Application to supermassive black hole binaries
B. Kocsis, Z. Haiman, A. Loeb, Monthly Notices of the Royal Astronomical Society 427 (2012) 2680–2700.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 17636 | OA
Feedback from the infrared background in the early universe
J. Wolcott-Green, Z. Haiman, Monthly Notices of the Royal Astronomical Society: Letters 425 (2012) L51–L55.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 17660 | OA
Gas pile-up, gap overflow and Type 1.5 migration in circumbinary discs: General theory
B. Kocsis, Z. Haiman, A. Loeb, Monthly Notices of the Royal Astronomical Society 427 (2012) 2660–2679.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 17674 | OA
Improved models for cosmic infrared background anisotropies: New constraints on the infrared galaxy population
C. Shang, Z. Haiman, L. Knox, S.P. Oh, Monthly Notices of the Royal Astronomical Society 421 (2012) 2832–2845.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 17675 | OA
Probing cosmology with weak lensing Minkowski functionals
J.M. Kratochvil, E.A. Lim, S. Wang, Z. Haiman, M. May, K. Huffenberger, Physical Review D 85 (2012).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2012 | Published | Journal Article | IST-REx-ID: 17678 | OA
Evidence of Gunn–Peterson damping wings in high-z quasar spectra: Strengthening the case for incomplete reionization at z ∼ 6–7
J. Schroeder, A. Mesinger, Z. Haiman, Monthly Notices of the Royal Astronomical Society 428 (2012) 3058–3071.
[Published Version] View | DOI | Download Published Version (ext.)
 

2012 | Published | Journal Article | IST-REx-ID: 17688 | OA
Electromagnetic counterparts of supermassive black hole binaries resolved by pulsar timing arrays
T. Tanaka, K. Menou, Z. Haiman, Monthly Notices of the Royal Astronomical Society 420 (2012) 705–719.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed