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.
2032 Publications
2016 |Published| Conference Paper | IST-REx-ID: 1090 |
Chatterjee K, Henzinger TA, Otop J. 2016. Nested weighted limit-average automata of bounded width. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 58, 24.
[Published Version]
View
| Files available
| DOI
2016 |Published| Conference Paper | IST-REx-ID: 1140 |
Chatterjee K, Dvoák W, Henzinger MH, Loitzenbauer V. 2016. Model and objective separation with conditional lower bounds: disjunction is harder than conjunction. Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, Proceedings Symposium on Logic in Computer Science, , 197–206.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1147 |
Balla J, Medved’Ová Z, Kalousek P, Matiješčuková N, Friml J, Reinöhl V, Procházka S. 2016. Auxin flow mediated competition between axillary buds to restore apical dominance. Scientific Reports. 6, 35955.
[Published Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 11574 |
Santos S, Sobral D, Matthee JJ. 2016. The Lyα luminosity function at z= 5.7–6.6 and the steep drop of the faint end: Implications for reionization. Monthly Notices of the Royal Astronomical Society. 463(2), 1678–1691.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1157 |
Lee J, Schnelli K. 2016. Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population. Annals of Applied Probability. 26(6), 3786–3839.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 11578 |
Matthee JJ, Sobral D, Oteo I, Best P, Smail I, Röttgering H, Paulino-Afonso A. 2016. The CALYMHA survey: Lyα escape fraction and its dependence on galaxy properties at z = 2.23. Monthly Notices of the Royal Astronomical Society. 458(1), 449–467.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1179 |
Pietrzak KZ, Maciej S. 2016. Pseudoentropy: Lower-bounds for chain rules and transformations. TCC: Theory of Cryptography Conference, LNCS, vol. 9985, 183–203.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 1182 |
Chatterjee K, Ibsen-Jensen R, Tkadlec J. 2016. Robust draws in balanced knockout tournaments. IJCAI: International Joint Conference on Artificial Intelligence vol. 2016–January, 172–179.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 11836 |
Cheung YK, Goranci G, Henzinger MH. 2016. Graph minors for preserving terminal distances approximately - lower and upper bounds. 43rd International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 55, 131.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 11834 |
Goranci G, Henzinger MH, Thorup M. 2016. Incremental exact min-cut in poly-logarithmic amortized update time. 24th Annual European Symposium on Algorithms. ESA: Annual European Symposium on Algorithms, LIPIcs, vol. 57, 46.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 11866 |
Henzinger MH, Krinninger S, Nanongkai D. 2016. A deterministic almost-tight distributed algorithm for approximating single-source shortest paths. 48th Annual ACM SIGACT Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 489–498.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 11867 |
Bhattacharya S, Henzinger MH, Nanongkai D. 2016. New deterministic approximation algorithms for fully dynamic matching. 48th Annual ACM SIGACT Symposium on Theory of Computing. STOC: Symposium on Theory of Computing, 398–411.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 11891 |
Henzinger MH, Krinninger S, Nanongkai D. 2016. Dynamic approximate all-pairs shortest paths: Breaking the O(mn) barrier and derandomization. SIAM Journal on Computing. 45(3), 947–1006.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 1209 |
Letts JA, Degliesposti G, Fiedorczuk K, Skehel M, Sazanov LA. 2016. Purification of ovine respiratory complex i results in a highly active and stable preparation. Journal of Biological Chemistry. 291(47), 24657–24675.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1212 |
Rakusová H, Abbas M, Han H, Song S, Robert H, Friml J. 2016. Termination of shoot gravitropic responses by auxin feedback on PIN3 polarity. Current Biology. 26(22), 3026–3032.
[Submitted Version]
View
| Files available
| DOI
2016 |Published| Journal Article | IST-REx-ID: 1216 |
Kasten J, Reininghaus J, Hotz I, Hege H, Noack B, Daviller G, Morzyński M. 2016. Acceleration feature points of unsteady shear flows. Archives of Mechanics. 68(1), 55–80.
[Published Version]
View
| Download Published Version (ext.)