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.
548 Publications
2017 |Published| Journal Article | IST-REx-ID: 684 | 
Chatterjee, K., & Piterman, N. (2017). Obligation blackwell games and p-automata. Journal of Symbolic Logic. Cambridge University Press. 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, K., & Ehlers, R. (2017). Special issue: Synthesis and SYNT 2014. Acta Informatica. Springer. https://doi.org/10.1007/s00236-017-0299-0
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 9065
Nauman, M., Hong, Y., Hussain, T., Seo, M. S., Park, S. Y., Lee, N., … Jo, Y. (2017). In-plane magnetic anisotropy in strontium iridate Sr2IrO4. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.96.155102
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 637 |
Jafargholi, Z., Kamath Hosdurg, C., Klein, K., Komargodski, I., Pietrzak, K. Z., & Wichs, D. (2017). Be adaptive avoid overcommitting. In J. Katz & H. Shacham (Eds.) (Vol. 10401, pp. 133–163). Presented at the CRYPTO: Cryptology, Santa Barbara, CA, United States: Springer. 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, M. (2017). Lower bounds on key derivation for square-friendly applications (Vol. 66). Presented at the STACS: Symposium on Theoretical Aspects of Computer Science, Hannover, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 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, J. F., & Blocki, J. (2017). Towards practical attacks on Argon2i and balloon hashing. Presented at the EuroS&P: European Symposium on Security and Privacy, Paris, France: IEEE. 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, P., & Van Den Bosch, H. (2017). Nonexistence in Thomas Fermi-Dirac-von Weizsäcker theory with small nuclear charges. Mathematical Physics, Analysis and Geometry. Springer. 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, M., Matsui, K., Fukazawa, Y., Kamasawa, N., Harada, H., Itakura, M., … Shigemoto, R. (2017). 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. 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, T., & Seiringer, R. (2017). Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. Springer. 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, M., & Sontag, E. (2017). Zeros of nonlinear systems with input invariances. Automatica. International Federation of Automatic Control. 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, V. (2017). A faster approximation algorithm for the Gibbs partition function. In Proceedings of the 31st Conference On Learning Theory (Vol. 75, pp. 228–249). ML Research Press.
[Published Version]
View
| Files available
| arXiv
2017 |Published| Book Chapter | IST-REx-ID: 424 |
Goaoc, X., Paták, P., Patakova, Z., Tancer, M., & Wagner, U. (2017). Bounding helly numbers via betti numbers. In M. Loebl, J. Nešetřil, & R. Thomas (Eds.), A Journey through Discrete Mathematics: A Tribute to Jiri Matousek (pp. 407–447). Springer. 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, T., & Solus, L. T. (2016). Facets of the r-stable (n, k)-hypersimplex. Annals of Combinatorics. Springer. https://doi.org/10.1007/s00026-016-0325-x
View
| DOI
2016 |Published| Journal Article | IST-REx-ID: 11576 |
Sobral, D., Kohn, S. A., Best, P. N., Smail, I., Harrison, C. M., Stott, J., … Matthee, J. J. (2016). 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. https://doi.org/10.1093/mnras/stw022
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Journal Article | IST-REx-ID: 11575 |
Lagos, C. del P., Theuns, T., Schaye, J., Furlong, M., Bower, R. G., Schaller, M., … Matthee, J. J. (2016). The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations. Monthly Notices of the Royal Astronomical Society. Oxford University Press. https://doi.org/10.1093/mnras/stw717
[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. Institute of Mathematical Statistics. https://doi.org/10.1214/16-AAP1193
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 |Published| Journal Article | IST-REx-ID: 11578 |
Matthee, J. J., 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. Oxford University Press. https://doi.org/10.1093/mnras/stw322
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1182 |
Chatterjee, K., Ibsen-Jensen, R., & Tkadlec, J. (2016). Robust draws in balanced knockout tournaments (Vol. 2016–January, pp. 172–179). Presented at the IJCAI: International Joint Conference on Artificial Intelligence, New York, NY, USA: AAAI Press.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2016 |Published| Conference Paper | IST-REx-ID: 11836 |
Cheung, Y. K., Goranci, G., & Henzinger, M. H. (2016). Graph minors for preserving terminal distances approximately - lower and upper bounds. In 43rd International Colloquium on Automata, Languages, and Programming (Vol. 55). Rome, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ICALP.2016.131
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2016 |Published| Conference Paper | IST-REx-ID: 1237
Krcál, M., & Pilarczyk, P. (2016). Computation of cubical Steenrod squares (Vol. 9667, pp. 140–151). Presented at the CTIC: Computational Topology in Image Context, Marseille, France: Springer. https://doi.org/10.1007/978-3-319-39441-1_13
View
| DOI