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 | OA
Alwen JF, Chen B, Pietrzak KZ, Reyzin L, Tessaro S. 2017. Scrypt is maximally memory hard. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 10212, 33–62.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 |Published| Conference Paper | IST-REx-ID: 640 | OA
Alwen JF, Blocki J, Pietrzak KZ. 2017. Depth-robust graphs and their cumulative memory complexity. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 10212, 3–32.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 |Published| Conference Paper | IST-REx-ID: 648 | OA
Skórski M. 2017. On the complexity of breaking pseudoentropy. TAMC: Theory and Applications of Models of Computation, LNCS, vol. 10185, 600–613.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2017 |Published| Conference Paper | IST-REx-ID: 663 | OA
Kong H, Bogomolov S, Schilling C, Jiang Y, Henzinger TA. 2017. Safety verification of nonlinear hybrid systems based on invariant clusters. Proceedings of the 20th International Conference on Hybrid Systems. HSCC: Hybrid Systems Computation and Control , 163–172.
[Submitted Version] View | Files available | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 6730 | OA
Kudekar S, Kumar S, Mondelli M, Pfister HD, Sasoglu E, Urbanke RL. 2017. Reed–Muller codes achieve capacity on erasure channels. IEEE Transactions on Information Theory. 63(7), 4298–4316.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2017 |Published| Journal Article | IST-REx-ID: 684 | OA
Chatterjee K, Piterman N. 2017. Obligation blackwell games and p-automata. Journal of Symbolic Logic. 82(2), 420–452.
[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. 54(6), 543–544.
View | DOI
 

2017 |Published| Journal Article | IST-REx-ID: 9065
Nauman M, Hong Y, Hussain T, Seo MS, Park SY, Lee N, Choi YJ, Kang W, Jo Y. 2017. In-plane magnetic anisotropy in strontium iridate Sr2IrO4. Physical Review B. 96(15), 155102.
View | DOI
 

2017 |Published| Conference Paper | IST-REx-ID: 637 | OA
Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. 2017. Be adaptive avoid overcommitting. CRYPTO: Cryptology, LNCS, vol. 10401, 133–163.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 

2017 |Published| Conference Paper | IST-REx-ID: 1174 | OA
Skórski M. 2017. Lower bounds on key derivation for square-friendly applications. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 66, 57.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 1176 | OA
Alwen JF, Blocki J. 2017. Towards practical attacks on Argon2i and balloon hashing. EuroS&P: European Symposium on Security and Privacy, 7961977.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1079 | OA
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. 20(2), 6.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 736 | OA
Rubio M, Matsui K, Fukazawa Y, Kamasawa N, Harada H, Itakura M, Molnár E, Abe M, Sakimura K, 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. 222(8), 3375–3393.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 741 | OA
Moser T, Seiringer R. 2017. Stability of a fermionic N+1 particle system with point interactions. Communications in Mathematical Physics. 356(1), 329–355.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Journal Article | IST-REx-ID: 1007 | OA
Lang M, Sontag E. 2017. Zeros of nonlinear systems with input invariances. Automatica. 81C, 46–55.
[Published Version] View | Files available | DOI | WoS
 

2017 |Published| Conference Paper | IST-REx-ID: 274 | OA
Kolmogorov V. 2017. A faster approximation algorithm for the Gibbs partition function. Proceedings of the 31st Conference On Learning Theory. COLT: Annual Conference on Learning Theory vol. 75, 228–249.
[Published Version] View | Files available | arXiv
 

2017 |Published| Book Chapter | IST-REx-ID: 424 | OA
Goaoc X, Paták P, Patakova Z, Tancer M, Wagner U. 2017.Bounding helly numbers via betti numbers. In: A Journey through Discrete Mathematics: A Tribute to Jiri Matousek. , 407–447.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2016 |Published| Journal Article | IST-REx-ID: 1156
Hibi T, Solus LT. 2016. Facets of the r-stable (n, k)-hypersimplex. Annals of Combinatorics. 20(4), 815–829.
View | DOI
 

2016 |Published| Journal Article | IST-REx-ID: 11576 | OA
Sobral D, Kohn SA, Best PN, Smail I, Harrison CM, Stott J, Calhau J, Matthee JJ. 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. 457(2), 1739–1752.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2016 |Published| Journal Article | IST-REx-ID: 11575 | OA
Lagos C del P, Theuns T, Schaye J, Furlong M, Bower RG, Schaller M, Crain RA, Trayford JW, Matthee JJ. 2016. The Fundamental Plane of star formation in galaxies revealed by the EAGLE hydrodynamical simulations. Monthly Notices of the Royal Astronomical Society. 459(3), 2632–2650.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

isbn%3D978-331956616-0

Search

Filter Publications