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.
543 Publications
2017 |Published| Conference Paper | IST-REx-ID: 635 | 
Alwen, Joel F, Binchi Chen, Krzysztof Z Pietrzak, Leonid Reyzin, and Stefano Tessaro. “Scrypt Is Maximally Memory Hard.” edited by Jean-Sébastien Coron and Jesper Buus Nielsen, 10212:33–62. Springer, 2017. https://doi.org/10.1007/978-3-319-56617-7_2.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 640 |
Alwen, Joel F, Jeremiah Blocki, and Krzysztof Z Pietrzak. “Depth-Robust Graphs and Their Cumulative Memory Complexity.” edited by Jean-Sébastien Coron and Jesper Buus Nielsen, 10212:3–32. Springer, 2017. https://doi.org/10.1007/978-3-319-56617-7_1.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 648 |
Skórski, Maciej. “On the Complexity of Breaking Pseudoentropy.” edited by Gerhard Jäger and Silvia Steila, 10185:600–613. Springer, 2017. https://doi.org/10.1007/978-3-319-55911-7_43.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 663 |
Kong, Hui, Sergiy Bogomolov, Christian Schilling, Yu Jiang, and Thomas A Henzinger. “Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.” In Proceedings of the 20th International Conference on Hybrid Systems, 163–72. ACM, 2017. https://doi.org/10.1145/3049797.3049814.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 6730 |
Kudekar, Shrinivas, Santhosh Kumar, Marco Mondelli, Henry D. Pfister, Eren Sasoglu, and Ridiger L. Urbanke. “Reed–Muller Codes Achieve Capacity on Erasure Channels.” IEEE Transactions on Information Theory. IEEE, 2017. https://doi.org/10.1109/tit.2017.2673829.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 684 |
Chatterjee, Krishnendu, and Nir Piterman. “Obligation Blackwell Games and P-Automata.” Journal of Symbolic Logic. Cambridge University Press, 2017. https://doi.org/10.1017/jsl.2016.71.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 719
Chatterjee, Krishnendu, and Rüdiger Ehlers. “Special Issue: Synthesis and SYNT 2014.” Acta Informatica. Springer, 2017. https://doi.org/10.1007/s00236-017-0299-0.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 9065
Nauman, Muhammad, Yunjeong Hong, Tayyaba Hussain, M. S. Seo, S. Y. Park, N. Lee, Y. J. Choi, Woun Kang, and Younjung Jo. “In-Plane Magnetic Anisotropy in Strontium Iridate Sr2IrO4.” Physical Review B. American Physical Society, 2017. https://doi.org/10.1103/physrevb.96.155102.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 637 |
Jafargholi, Zahra, Chethan Kamath Hosdurg, Karen Klein, Ilan Komargodski, Krzysztof Z Pietrzak, and Daniel Wichs. “Be Adaptive Avoid Overcommitting.” edited by Jonathan Katz and Hovav Shacham, 10401:133–63. Springer, 2017. https://doi.org/10.1007/978-3-319-63688-7_5.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 1174 |
Skórski, Maciej. “Lower Bounds on Key Derivation for Square-Friendly Applications,” Vol. 66. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017. https://doi.org/10.4230/LIPIcs.STACS.2017.57.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1176 |
Alwen, Joel F, and Jeremiah Blocki. “Towards Practical Attacks on Argon2i and Balloon Hashing.” IEEE, 2017. https://doi.org/10.1109/EuroSP.2017.47.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1079 |
Nam, Phan, and Hanne Van Den Bosch. “Nonexistence in Thomas Fermi-Dirac-von Weizsäcker Theory with Small Nuclear Charges.” Mathematical Physics, Analysis and Geometry. Springer, 2017. https://doi.org/10.1007/s11040-017-9238-0.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 736 |
Rubio, María, Ko Matsui, Yugo Fukazawa, Naomi Kamasawa, Harumi Harada, Makoto Itakura, Elek Molnár, Manabu Abe, Kenji Sakimura, and Ryuichi Shigemoto. “The Number and Distribution of AMPA Receptor Channels Containing Fast Kinetic GluA3 and GluA4 Subunits at Auditory Nerve Synapses Depend on the Target Cells.” Brain Structure and Function. Springer, 2017. https://doi.org/10.1007/s00429-017-1408-0.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 741 |
Moser, Thomas, and Robert Seiringer. “Stability of a Fermionic N+1 Particle System with Point Interactions.” Communications in Mathematical Physics. Springer, 2017. https://doi.org/10.1007/s00220-017-2980-0.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1007 |
Lang, Moritz, and Eduardo Sontag. “Zeros of Nonlinear Systems with Input Invariances.” Automatica. International Federation of Automatic Control, 2017. https://doi.org/10.1016/j.automatica.2017.03.030.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 274 |
Kolmogorov, Vladimir. “A Faster Approximation Algorithm for the Gibbs Partition Function.” In Proceedings of the 31st Conference On Learning Theory, 75:228–49. ML Research Press, 2017.
[Published Version]
View
| Files available
| arXiv
2017 |Published| Book Chapter | IST-REx-ID: 424 |
Goaoc, Xavier, Pavel Paták, Zuzana Patakova, Martin Tancer, and Uli Wagner. “Bounding Helly Numbers via Betti Numbers.” In A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, edited by Martin Loebl, Jaroslav Nešetřil, and Robin Thomas, 407–47. A Journey Through Discrete Mathematics. Springer, 2017. https://doi.org/10.1007/978-3-319-44479-6_17.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2016 |Published| Journal Article | IST-REx-ID: 1156
Hibi, Takayugi, and Liam T Solus. “Facets of the R-Stable (n, k)-Hypersimplex.” Annals of Combinatorics. Springer, 2016. https://doi.org/10.1007/s00026-016-0325-x.
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 11576 |
Sobral, David, Saul A. Kohn, Philip N. Best, Ian Smail, Chris M. Harrison, John Stott, João Calhau, and Jorryt J Matthee. “The Most Luminous H α Emitters at z ∼ 0.8–2.23 from HiZELS: Evolution of AGN and Star-Forming Galaxies.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2016. https://doi.org/10.1093/mnras/stw022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 11575 |
Lagos, Claudia del P., Tom Theuns, Joop Schaye, Michelle Furlong, Richard G. Bower, Matthieu Schaller, Robert A. Crain, James W. Trayford, and Jorryt J Matthee. “The Fundamental Plane of Star Formation in Galaxies Revealed by the EAGLE Hydrodynamical Simulations.” Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2016. https://doi.org/10.1093/mnras/stw717.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv