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.
1752 Publications
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
2013 | Published | Journal Article | IST-REx-ID: 17684 |
Prieto J, Jimenez R, Haiman Z. 2013. Gas infall into atomic cooling haloes: On the formation of protogalactic discs and supermassive black holes at z > 10. Monthly Notices of the Royal Astronomical Society. 436(3), 2301–2325.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2013 | Published | Journal Article | IST-REx-ID: 812
Koestler S, Steffen A, Nemethova M, Winterhoff M, Luo N, Holleboom J, Krupp J, Jacob S, Vinzenz M, Schur FK, Schlüter K, Gunning P, Winkler C, Schmeiser C, Faix J, Stradal T, Small J, Rottner K. 2013. Arp2/3 complex is essential for actin network treadmilling as well as for targeting of capping protein and cofilin. Molecular Biology of the Cell. 24(18), 2861–2875.
View
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 10902
Chatterjee K, Chaubal S, Rubin S. 2013. How to travel between languages. 7th International Conference on Language and Automata Theory and Applications. LATA: Conference on Language and Automata Theory and ApplicationsLNCS, LNCS, vol. 7810, 214–225.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 11520 |
Sobral D, Swinbank AM, Stott JP, Matthee JJ, Bower RG, Smail I, Best P, Geach JE, Sharples RM. 2013. The dynamics of z=0.8 H-alpha-selected star-forming galaxies from KMOS/CF-HiZELS. The Astrophysical Journal. 779(2), 139.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 11791 |
Dütting P, Henzinger MH, Starnberger M. 2013. Valuation compressions in VCG-based combinatorial auctions. 9th International Conference on Web and Internet Economics. WINE: International Conference on Web and Internet Economics, LNCS, vol. 8289, 146–159.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 11792 |
Dvořák W, Henzinger MH, Williamson DP. 2013. Maximizing a submodular function with viability constraints. 21st Annual European Symposium on Algorithms. ESA: European Symposium on Algorithms, LNCS, vol. 8125, 409–420.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 11793 |
Henzinger MH, Krinninger S, Nanongkai D. 2013. Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks. 40th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LNCS, vol. 7966, 607–619.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 11856 |
Henzinger MH, Krinninger S, Nanongkai D. 2013. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. 54th Annual Symposium on Foundations of Computer Science. FOCS: Symposium on Foundations of Computer Science, 538–547.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2013 | Published | Conference Paper | IST-REx-ID: 1387 |
Boker U, Kuperberg D, Kupferman O, Skrzypczak M. 2013. Nondeterminism in the presence of a diverse or unknown future. 7966(PART 2), 89–100.
[Submitted Version]
View
| Files available
| DOI
2013 | Published | Journal Article | IST-REx-ID: 6370
Lin T-C, Cole JM, Higginbotham AP, Edwards AJ, Piltz RO, Pérez-Moreno J, Seo J-Y, Lee S-C, Clays K, Kwon O-P. 2013. Molecular origins of the high-performance nonlinear optical susceptibility in a phenolic polyene chromophore: Electron density distributions, hydrogen bonding, and ab initio calculations. The Journal of Physical Chemistry C. 117(18), 9416–9430.
View
| DOI
2013 | Published | Journal Article | IST-REx-ID: 2781 |
Erdös L, Knowles A, Yau H, Yin J. 2013. Spectral statistics of Erdős-Rényi graphs I: Local semicircle law. Annals of Probability. 41(3 B), 2279–2375.
View
| DOI
| Download (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2819 |
Chatterjee K, Prabhu V. 2013. Quantitative timed simulation functions and refinement metrics for real-time systems. Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems - Computation and Control vol. 1, 273–282.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2013 | Published | Conference Paper | IST-REx-ID: 2843
Edelsbrunner H, Pausinger F. 2013. Stable length estimates of tube-like shapes. 17th IAPR International Conference on Discrete Geometry for Computer Imagery. DGCI: Discrete Geometry for Computer Imagery, LNCS, vol. 7749, XV–XIX.
View
| Files available
| DOI
2013 | Published | Conference Paper | IST-REx-ID: 2847 |
Bansal K, Koskinen E, Wies T, Zufferey D. 2013. Structural Counter Abstraction (eds. N. Piterman & S. Smolka). 7795, 62–77.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)