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.
5783 Publications
2013 | Conference Paper | IST-REx-ID: 10749 | 
Cantilever micro-susceptometry of mesoscopic Bi2212 samples
H. Polshyn, R. Budakian, G. Gu, in:, APS March Meeting 2013, American Physical Society, 2013.
[Published Version]
View
| Download Published Version (ext.)
H. Polshyn, R. Budakian, G. Gu, in:, APS March Meeting 2013, American Physical Society, 2013.
2013 | Journal Article | IST-REx-ID: 10895 |
Calcium: The missing link in auxin action
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Vanneste, J. Friml, Plants 2 (2013) 650–675.
2013 | Journal Article | IST-REx-ID: 11086 |
Dynamic association of NUP98 with the human genome
Y. Liang, T.M. Franks, M.C. Marchetto, F.H. Gage, M. Hetzer, PLoS Genetics 9 (2013).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
Y. Liang, T.M. Franks, M.C. Marchetto, F.H. Gage, M. Hetzer, PLoS Genetics 9 (2013).
2013 | Journal Article | IST-REx-ID: 11087 |
Identification of long-lived proteins reveals exceptional stability of essential cellular structures
B.H. Toyama, J.N. Savas, S.K. Park, M.S. Harris, N.T. Ingolia, J.R. Yates, M. Hetzer, Cell 154 (2013) 971–982.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
B.H. Toyama, J.N. Savas, S.K. Park, M.S. Harris, N.T. Ingolia, J.R. Yates, M. Hetzer, Cell 154 (2013) 971–982.
2013 | Journal Article | IST-REx-ID: 11085 |
Catastrophic nuclear envelope collapse in cancer cell micronuclei
E.M. Hatch, A.H. Fischer, T.J. Deerinck, M. Hetzer, Cell 154 (2013) 47–60.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E.M. Hatch, A.H. Fischer, T.J. Deerinck, M. Hetzer, Cell 154 (2013) 47–60.
2013 | Journal Article | IST-REx-ID: 11088 |
Anomalous diffusion of single particles in cytoplasm
B.M. Regner, D. Vučinić, C. Domnisoru, T.M. Bartol, M. Hetzer, D.M. Tartakovsky, T.J. Sejnowski, Biophysical Journal 104 (2013) 1652–1660.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
B.M. Regner, D. Vučinić, C. Domnisoru, T.M. Bartol, M. Hetzer, D.M. Tartakovsky, T.J. Sejnowski, Biophysical Journal 104 (2013) 1652–1660.
2013 | Journal Article | IST-REx-ID: 11520 |
The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS
D. Sobral, A.M. Swinbank, J.P. Stott, J.J. Matthee, R.G. Bower, I. Smail, P. Best, J.E. Geach, R.M. Sharples, The Astrophysical Journal 779 (2013).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. Sobral, A.M. Swinbank, J.P. Stott, J.J. Matthee, R.G. Bower, I. Smail, P. Best, J.E. Geach, R.M. Sharples, The Astrophysical Journal 779 (2013).
2013 | Journal Article | IST-REx-ID: 11759 |
Sponsored search, market equilibria, and the Hungarian Method
P. Dütting, M.H. Henzinger, I. Weber, Information Processing Letters 113 (2013) 67–73.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, I. Weber, Information Processing Letters 113 (2013) 67–73.
2013 | Conference Paper | IST-REx-ID: 11793 |
Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 40th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2013, pp. 607–619.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 40th International Colloquium on Automata, Languages, and Programming, Springer Nature, 2013, pp. 607–619.
2013 | Conference Paper | IST-REx-ID: 11791 |
Valuation compressions in VCG-based combinatorial auctions
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 9th International Conference on Web and Internet Economics, Springer Nature, 2013, pp. 146–159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Dütting, M.H. Henzinger, M. Starnberger, in:, 9th International Conference on Web and Internet Economics, Springer Nature, 2013, pp. 146–159.
2013 | Conference Paper | IST-REx-ID: 11792 |
Maximizing a submodular function with viability constraints
W. Dvořák, M.H. Henzinger, D.P. Williamson, in:, 21st Annual European Symposium on Algorithms, Springer Nature, 2013, pp. 409–420.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
W. Dvořák, M.H. Henzinger, D.P. Williamson, in:, 21st Annual European Symposium on Algorithms, Springer Nature, 2013, pp. 409–420.
2013 | Conference Paper | IST-REx-ID: 11856 |
Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–547.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M.H. Henzinger, S. Krinninger, D. Nanongkai, in:, 54th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2013, pp. 538–547.
2013 | Journal Article | IST-REx-ID: 12642 |
Suitability of a constant air temperature lapse rate over an Alpine glacier: Testing the Greuell and Böhm model as an alternative
L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of Glaciology 54 (2013) 120–130.
[Published Version]
View
| DOI
| Download Published Version (ext.)
L. Petersen, F. Pellicciotti, I. Juszak, M. Carenzo, B. Brock, Annals of Glaciology 54 (2013) 120–130.
2013 | Journal Article | IST-REx-ID: 12643 |
A comparison of parameterizations of incoming longwave radiation over melting glaciers: Model robustness and seasonal variability
I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 118 (2013) 3066–3084.
[Published Version]
View
| DOI
| Download Published Version (ext.)
I. Juszak, F. Pellicciotti, Journal of Geophysical Research: Atmospheres 118 (2013) 3066–3084.
2013 | Journal Article | IST-REx-ID: 12641 |
Parameter sensitivity of a distributed enhanced temperature-index melt model
M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321.
[Published Version]
View
| DOI
| Download Published Version (ext.)
M. Heynen, F. Pellicciotti, M. Carenzo, Annals of Glaciology 54 (2013) 311–321.
2013 | Conference Paper | IST-REx-ID: 1374 |
Infinite-state games with finitary conditions
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, in:, 22nd EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013, pp. 181–196.
2013 | Conference Paper | IST-REx-ID: 1385 |
Synthesizing multiple boolean functions using interpolation on a single proof
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Hofferek, A. Gupta, B. Könighofer, J. Jiang, R. Bloem, in:, 2013 Formal Methods in Computer-Aided Design, IEEE, 2013, pp. 77–84.
2013 | Conference Paper | IST-REx-ID: 1387 |
Nondeterminism in the presence of a diverse or unknown future
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
[Submitted Version]
View
| Files available
| DOI
U. Boker, D. Kuperberg, O. Kupferman, M. Skrzypczak, 7966 (2013) 89–100.
2013 | Journal Article | IST-REx-ID: 1442 |
Positivity for Kac polynomials and DT-invariants of quivers
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.
View
| DOI
| Download (ext.)
T. Hausel, E. Letellier, F. Rodríguez Villegas, Annals of Mathematics 177 (2013) 1147–1168.
2013 | Book Chapter | IST-REx-ID: 1443 |
Global topology of the Hitchin system
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.
View
| Download (ext.)
T. Hausel, in:, Handbook of Moduli: Volume II, International Press, 2013, pp. 29–70.