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.
1937 Publications
2013 | Published | Journal Article | IST-REx-ID: 528
Local auxin sources orient the apical basal axis in arabidopsis embryos
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.
View
| DOI
H. Robert, P. Grones, A. Stepanova, L. Robles, A. Lokerse, J. Alonso, D. Weijers, J. Friml, Current Biology 23 (2013) 2506–2512.
2013 | Published | Technical Report | IST-REx-ID: 5403 | 
Qualitative analysis of concurrent mean-payoff games
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, Qualitative Analysis of Concurrent Mean-Payoff Games, IST Austria, 2013.
2013 | Published | Book Chapter | IST-REx-ID: 5747 |
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
C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.
2013 | Published | Journal Article | IST-REx-ID: 17653 |
The effect of baryonic streaming motions on the formation of the first supermassive black holes
T.L. Tanaka, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical Society 435 (2013) 3559–3567.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.L. Tanaka, M. Li, Z. Haiman, Monthly Notices of the Royal Astronomical Society 435 (2013) 3559–3567.
2013 | Published | Journal Article | IST-REx-ID: 17684 |
Gas infall into atomic cooling haloes: On the formation of protogalactic discs and supermassive black holes at z > 10
J. Prieto, R. Jimenez, Z. Haiman, Monthly Notices of the Royal Astronomical Society 436 (2013) 2301–2325.
[Published Version]
View
| DOI
| Download Published Version (ext.)
J. Prieto, R. Jimenez, Z. Haiman, Monthly Notices of the Royal Astronomical Society 436 (2013) 2301–2325.
2013 | Published | Journal Article | IST-REx-ID: 7775
Stability of jammed packings II: The transverse length scale
S.S. Schoenholz, C.P. Goodrich, O. Kogan, A.J. Liu, S.R. Nagel, Soft Matter 9 (2013).
View
| DOI
S.S. Schoenholz, C.P. Goodrich, O. Kogan, A.J. Liu, S.R. Nagel, Soft Matter 9 (2013).
2013 | Published | Journal Article | IST-REx-ID: 812
Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin
S. Koestler, A. Steffen, M. Nemethova, M. Winterhoff, N. Luo, J. Holleboom, J. Krupp, S. Jacob, M. Vinzenz, F.K. Schur, K. Schlüter, P. Gunning, C. Winkler, C. Schmeiser, J. Faix, T. Stradal, J. Small, K. Rottner, Molecular Biology of the Cell 24 (2013) 2861–2875.
View
| DOI
S. Koestler, A. Steffen, M. Nemethova, M. Winterhoff, N. Luo, J. Holleboom, J. Krupp, S. Jacob, M. Vinzenz, F.K. Schur, K. Schlüter, P. Gunning, C. Winkler, C. Schmeiser, J. Faix, T. Stradal, J. Small, K. Rottner, Molecular Biology of the Cell 24 (2013) 2861–2875.
2013 | Published | Conference Paper | IST-REx-ID: 10897
Persistent homology in image processing
H. Edelsbrunner, in:, Graph-Based Representations in Pattern Recognition, Springer Nature, Berlin, Heidelberg, 2013, pp. 182–183.
View
| DOI
H. Edelsbrunner, in:, Graph-Based Representations in Pattern Recognition, Springer Nature, Berlin, Heidelberg, 2013, pp. 182–183.
2013 | Published | Book Chapter | IST-REx-ID: 10899
Differentiation
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
View
| DOI
N.H. Barton, in:, Encyclopedia of Biodiversity, 2nd ed., Elsevier, 2013, pp. 508–515.
2013 | Published | Conference Paper | IST-REx-ID: 10902
How to travel between languages
K. Chatterjee, S. Chaubal, S. Rubin, in:, 7th International Conference on Language and Automata Theory and Applications, Springer Nature, Berlin, Heidelberg, 2013, pp. 214–225.
View
| DOI
K. Chatterjee, S. Chaubal, S. Rubin, in:, 7th International Conference on Language and Automata Theory and Applications, Springer Nature, Berlin, Heidelberg, 2013, pp. 214–225.
2013 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | 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 | Published | Journal Article | IST-REx-ID: 6370
Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations
T.-C. Lin, J.M. Cole, A.P. Higginbotham, A.J. Edwards, R.O. Piltz, J. Pérez-Moreno, J.-Y. Seo, S.-C. Lee, K. Clays, O.-P. Kwon, The Journal of Physical Chemistry C 117 (2013) 9416–9430.
View
| DOI
T.-C. Lin, J.M. Cole, A.P. Higginbotham, A.J. Edwards, R.O. Piltz, J. Pérez-Moreno, J.-Y. Seo, S.-C. Lee, K. Clays, O.-P. Kwon, The Journal of Physical Chemistry C 117 (2013) 9416–9430.
2013 | Published | Journal Article | IST-REx-ID: 2781 |
Spectral statistics of Erdős-Rényi graphs I: Local semicircle law
L. Erdös, A. Knowles, H. Yau, J. Yin, Annals of Probability 41 (2013) 2279–2375.
View
| DOI
| Download (ext.)
L. Erdös, A. Knowles, H. Yau, J. Yin, Annals of Probability 41 (2013) 2279–2375.
2013 | Published | Conference Paper | IST-REx-ID: 2819 |
Quantitative timed simulation functions and refinement metrics for real-time systems
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
[Preprint]
View
| DOI
| Download Preprint (ext.)
K. Chatterjee, V. Prabhu, in:, Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Springer, 2013, pp. 273–282.
2013 | Published | Journal Article | IST-REx-ID: 2824
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems
K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.
View
| DOI
K. Chatterjee, V. Prabhu, Information and Computation 228–229 (2013) 83–119.