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)
Gazi P, Pietrzak KZ, Rybar M. 2017. The exact security of PMAC. IACR Transactions on Symmetric Cryptology. 2016(2), 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. 2017. Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria.
[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. 2017. Beyond Hellman’s time-memory trade-offs with applications to proofs of space. ASIACRYPT: Theory and Applications of Cryptology and Information Security, LNCS, vol. 10625, 357–379.
[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. 2017. Conic abstractions for hybrid systems. FORMATS: Formal Modelling and Analysis of Timed Systems, LNCS, vol. 10419, 116–132.
[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. 2017. Counterexample guided refinement of template polyhedra. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 589–606.
[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. 2017. Be adaptive avoid overcommitting. CRYPTO: Cryptology, LNCS, vol. 10401, 133–163.
[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. 2017. Discrete Morse theory for random complexes . Institute of Science and Technology Austria.
[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. 2017. Delocalization for a class of random block band matrices. Probability Theory and Related Fields. 167(3–4), 673–776.
[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. 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: 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. 2017. Efficient authentication from hard learning problems. Journal of Cryptology. 30(4), 1238–1275.
[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. 2017. Simulating auxiliary inputs, revisited. TCC: Theory of Cryptography Conference, LNCS, vol. 9985, 159–179.
[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. 2017. Computing scores of forwarding schemes in switched networks with probabilistic faults. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10206, 169–187.
[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, Bucher R, Gupta S, Aryal B, Dobrev P, Bigler L, Geisler M, Zažímalová E, Friml J, Ringli C. 2017. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 7, 41906.
[Published Version]
View
| Files available
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1061 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Veetil V, Angermayr A, Hellingwerf K. 2017. Ethylene production with engineered Synechocystis sp PCC 6803 strains. Microbial Cell Factories. 16(1), 34.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2017 |Published| Journal Article | IST-REx-ID: 1062
Guarina L, Vandael DH, Carabelli V, Carbone E. 2017. 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. Journal of Physiology. 595(8), 2587–2609.
View
| DOI
| WoS
2017 |Published| Journal Article | IST-REx-ID: 1018
Dobisova T, Hrdinova V, Cuesta C, Michlickova S, Urbankova I, Hejatkova R, Zadnikova P, Pernisová M, Benková E, Hejátko J. 2017. Light regulated expression of sensor histidine kinase CKI1 controls cytokinin related development. Plant Physiology. 174(1), 387–404.
View
| DOI
| WoS
2017 |Published| Conference Paper | IST-REx-ID: 1011 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Kragl B, Mishra S, Pavlogiannis A. 2017. Faster algorithms for weighted recursive state machines. ESOP: European Symposium on Programming, LNCS, vol. 10201, 287–313.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
2017 |Published| Journal Article | IST-REx-ID: 994 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cherepanov I, Lemeshko M. 2017. Fingerprints of angulon instabilities in the spectra of matrix-isolated molecules. Physical Review Materials. 1(3).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS