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.
1621 Publications
2017 |Published| Journal Article | IST-REx-ID: 6196 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
[Published Version]
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
2017 |Published| Thesis | IST-REx-ID: 938 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
M. Adamowski, Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana , Institute of Science and Technology Austria, 2017.
2017 |Published| Conference Paper | IST-REx-ID: 559 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Beyond Hellman’s time-memory trade-offs with applications to proofs of space
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
H.M. Abusalah, J.F. Alwen, B. Cohen, D. Khilko, K.Z. Pietrzak, L. Reyzin, in:, Springer, 2017, pp. 357–379.
2017 |Published| Conference Paper | IST-REx-ID: 647 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Conic abstractions for hybrid systems
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
[Submitted Version]
View
| Files available
| DOI
S. Bogomolov, M. Giacobbe, T.A. Henzinger, H. Kong, in:, Springer, 2017, pp. 116–132.
2017 |Published| Conference Paper | IST-REx-ID: 631 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Counterexample guided refinement of template polyhedra
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
[Submitted Version]
View
| Files available
| DOI
S. Bogomolov, G. Frehse, M. Giacobbe, T.A. Henzinger, in:, Springer, 2017, pp. 589–606.
2017 |Published| Conference Paper | IST-REx-ID: 637 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Be adaptive avoid overcommitting
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
Z. Jafargholi, C. Kamath Hosdurg, K. Klein, I. Komargodski, K.Z. Pietrzak, D. Wichs, in:, J. Katz, H. Shacham (Eds.), Springer, 2017, pp. 133–163.
2017 |Published| Thesis | IST-REx-ID: 6287 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Discrete Morse theory for random complexes
A. Nikitenko, Discrete Morse Theory for Random Complexes , Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
A. Nikitenko, Discrete Morse Theory for Random Complexes , Institute of Science and Technology Austria, 2017.
2017 |Published| Journal Article | IST-REx-ID: 1528 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Delocalization for a class of random block band matrices
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
[Published Version]
View
| Files available
| DOI
| WoS
Z. Bao, L. Erdös, Probability Theory and Related Fields 167 (2017) 673–776.
2017 |Published| Conference Paper | IST-REx-ID: 1176 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Towards practical attacks on Argon2i and balloon hashing
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
J.F. Alwen, J. Blocki, in:, IEEE, 2017.
2017 |Published| Journal Article | IST-REx-ID: 1187 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Efficient authentication from hard learning problems
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
[Submitted Version]
View
| Files available
| DOI
| WoS
E. Kiltz, K.Z. Pietrzak, D. Venturi, D. Cash, A. Jain, Journal of Cryptology 30 (2017) 1238–1275.
2017 |Published| Conference Paper | IST-REx-ID: 1178 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Simulating auxiliary inputs, revisited
M. Skórski, in:, Springer, 2017, pp. 159–179.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
M. Skórski, in:, Springer, 2017, pp. 159–179.
2017 |Published| Conference Paper | IST-REx-ID: 1116 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Computing scores of forwarding schemes in switched networks with probabilistic faults
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017, pp. 169–187.
[Submitted Version]
View
| Files available
| DOI
| WoS
G. Avni, S. Goel, T.A. Henzinger, G. Rodríguez Navas, in:, Springer, 2017, pp. 169–187.
2017 |Published| Journal Article | IST-REx-ID: 1110 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity
B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
B. Kuhn, T. Nodzyński, S. Errafi, R. Bucher, S. Gupta, B. Aryal, P. Dobrev, L. Bigler, M. Geisler, E. Zažímalová, J. Friml, C. Ringli, Scientific Reports 7 (2017).
2017 |Published| Journal Article | IST-REx-ID: 1061 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ethylene production with engineered Synechocystis sp PCC 6803 strains
V. Veetil, A. Angermayr, K. Hellingwerf, Microbial Cell Factories 16 (2017).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
V. Veetil, A. Angermayr, K. Hellingwerf, Microbial Cell Factories 16 (2017).
2017 |Published| Journal Article | IST-REx-ID: 1062
Low pH inf o boosts burst firing and catecholamine release by blocking TASK-1 and BK channels while preserving Cav1 channels in mouse chromaffin cells
L. Guarina, D.H. Vandael, V. Carabelli, E. Carbone, Journal of Physiology 595 (2017) 2587–2609.
View
| DOI
| WoS
L. Guarina, D.H. Vandael, V. Carabelli, E. Carbone, Journal of Physiology 595 (2017) 2587–2609.
2017 |Published| Journal Article | IST-REx-ID: 1018
Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development
T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.
View
| DOI
| WoS
T. Dobisova, V. Hrdinova, C. Cuesta, S. Michlickova, I. Urbankova, R. Hejatkova, P. Zadnikova, M. Pernisová, E. Benková, J. Hejátko, Plant Physiology 174 (2017) 387–404.
2017 |Published| Conference Paper | IST-REx-ID: 1011 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Faster algorithms for weighted recursive state machines
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
K. Chatterjee, B. Kragl, S. Mishra, A. Pavlogiannis, in:, H. Yang (Ed.), Springer, 2017, pp. 287–313.
2017 |Published| Conference Paper | IST-REx-ID: 989
Transport based image morphing with intensity modulation
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.
View
| DOI
| WoS
J. Maas, M. Rumpf, S. Simon, in:, F. Lauze, Y. Dong, A. Bjorholm Dahl (Eds.), Springer, 2017, pp. 563–577.
2017 |Published| Journal Article | IST-REx-ID: 994 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
I. Cherepanov, M. Lemeshko, Physical Review Materials 1 (2017).
2017 |Published| Conference Paper | IST-REx-ID: 962
Model counting for recursively-defined strings
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.
View
| DOI
| WoS
M. Trinh, D.H. Chu, J. Jaffar, in:, R. Majumdar, V. Kunčak (Eds.), Springer, 2017, pp. 399–418.