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.
1790 Publications
2017 |Published| Journal Article | IST-REx-ID: 8445
Kurauskas V, Izmailov SA, Rogacheva ON, et al. Slow conformational exchange and overall rocking motion in ubiquitin protein crystals. Nature Communications. 2017;8. doi:10.1038/s41467-017-00165-8
[Published Version]
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 94 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rosenthal E, Chapman B, Higginbotham AP, Kerckhoff J, Lehnert K. Breaking Lorentz reciprocity with frequency conversion and delay. APS Physics, Physical Review Letters. 2017;119(14). doi:10.1103/PhysRevLett.119.147703
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 12610 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Miles ES, Steiner J, Willis I, et al. Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal. Frontiers in Earth Science. 2017;5. doi:10.3389/feart.2017.00069
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 13160 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. Index appearance record for transforming Rabin automata into parity automata. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 10205. Springer; 2017:443-460. doi:10.1007/978-3-662-54577-5_26
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 13477 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Zapartas E, de Mink SE, Izzard RG, et al. Delay-time distribution of core-collapse supernovae with late events resulting from binary interaction. Astronomy & Astrophysics. 2017;601(A&A). doi:10.1051/0004-6361/201629685
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2017 |Published| Thesis | IST-REx-ID: 818 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mitosch K. Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. 2017. doi:10.15479/AT:ISTA:th_862
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 838 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rybar M. (The exact security of) Message authentication codes. 2017. doi:10.15479/AT:ISTA:th_828
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 6196 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gazi P, Pietrzak KZ, Rybar M. The exact security of PMAC. IACR Transactions on Symmetric Cryptology. 2017;2016(2):145-161. doi:10.13154/TOSC.V2016.I2.145-161
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 938 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Adamowski M. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . 2017. doi:10.15479/AT:ISTA:th_842
[Published Version]
View
| Files available
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 559 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Abusalah HM, Alwen JF, Cohen B, Khilko D, Pietrzak KZ, Reyzin L. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. In: Vol 10625. Springer; 2017:357-379. doi:10.1007/978-3-319-70697-9_13
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 647 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bogomolov S, Giacobbe M, Henzinger TA, Kong H. Conic abstractions for hybrid systems. In: Vol 10419. Springer; 2017:116-132. doi:10.1007/978-3-319-65765-3_7
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 631 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bogomolov S, Frehse G, Giacobbe M, Henzinger TA. Counterexample guided refinement of template polyhedra. In: Vol 10205. Springer; 2017:589-606. doi:10.1007/978-3-662-54577-5_34
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 637 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Jafargholi Z, Kamath Hosdurg C, Klein K, Komargodski I, Pietrzak KZ, Wichs D. Be adaptive avoid overcommitting. In: Katz J, Shacham H, eds. Vol 10401. Springer; 2017:133-163. doi:10.1007/978-3-319-63688-7_5
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 |Published| Thesis | IST-REx-ID: 6287 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Nikitenko A. Discrete Morse theory for random complexes . 2017. doi:10.15479/AT:ISTA:th_873
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 1528 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bao Z, Erdös L. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 2017;167(3-4):673-776. doi:10.1007/s00440-015-0692-y
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1176 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alwen JF, Blocki J. Towards practical attacks on Argon2i and balloon hashing. In: IEEE; 2017. doi:10.1109/EuroSP.2017.47
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1187 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kiltz E, Pietrzak KZ, Venturi D, Cash D, Jain A. Efficient authentication from hard learning problems. Journal of Cryptology. 2017;30(4):1238-1275. doi:10.1007/s00145-016-9247-3
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1178 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Skórski M. Simulating auxiliary inputs, revisited. In: Vol 9985. Springer; 2017:159-179. doi:10.1007/978-3-662-53641-4_7
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1116 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Avni G, Goel S, Henzinger TA, Rodríguez Navas G. Computing scores of forwarding schemes in switched networks with probabilistic faults. In: Vol 10206. Springer; 2017:169-187. doi:10.1007/978-3-662-54580-5_10
[Submitted Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1110 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kuhn B, Nodzyński T, Errafi S, et al. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 2017;7. doi:10.1038/srep41906
[Published Version]
View
| Files available
| DOI
| WoS