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.
615 Publications
2017 |Published| Journal Article | IST-REx-ID: 14009
Jordan, I., Huppert, M., Pabst, S., Kheifets, A. S., Baykusheva, D. R., & Wörner, H. J. (2017). Spin-orbit delays in photoemission. Physical Review A. American Physical Society. https://doi.org/10.1103/physreva.95.013404
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 14007 |
Baykusheva, D. R., & Wörner, H. J. (2017). Comment on ‘Time delays in molecular photoionization.’ Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing. https://doi.org/10.1088/1361-6455/aa62b5
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 950 |
Avni, G., Henzinger, T. A., & Chonev, V. K. (2017). Infinite-duration bidding games (Vol. 85). Presented at the CONCUR: Concurrency Theory, Berlin, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2017.21
[Published Version]
View
| Files available
| DOI
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 683 |
Lubiw, A., Masárová, Z., & Wagner, U. (2017). A proof of the orbit conjecture for flipping edge labelled triangulations (Vol. 77). Presented at the SoCG: Symposium on Computational Geometry, Brisbane, Australia: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2017.49
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 1155 |
Daca, P. (2017). Statistical and logical methods for property checking. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:TH_730
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 6291 |
Payne, P. (2017). Bacterial herd and social immunity to phages. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2017 |Published| Journal Article | IST-REx-ID: 561 |
Pleska, M., & Guet, C. C. (2017). Effects of mutations in phage restriction sites during escape from restriction–modification. Biology Letters. The Royal Society. https://doi.org/10.1098/rsbl.2017.0646
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2017 |Published| Thesis | IST-REx-ID: 818 |
Mitosch, K. (2017). Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_862
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 666 |
Mitosch, K., Rieckh, G., & Bollenbach, M. T. (2017). Noisy response to antibiotic stress predicts subsequent single cell survival in an acidic environment. Cell Systems. Cell Press. https://doi.org/10.1016/j.cels.2017.03.001
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 821 |
Pavlogiannis, A. (2017). Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_854
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 820 |
Jesse, F. (2017). The lac operon in the wild. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_857
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 838 |
Rybar, M. (2017). (The exact security of) Message authentication codes. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_828
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 6196 |
Gazi, P., Pietrzak, K. Z., & Rybar, M. (2017). The exact security of PMAC. IACR Transactions on Symmetric Cryptology. Ruhr University Bochum. https://doi.org/10.13154/TOSC.V2016.I2.145-161
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 837 |
Xu, H. (2017). Reactivation of the hippocampal cognitive map in goal-directed spatial tasks. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_858
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 938 |
Adamowski, M. (2017). Investigations into cell polarity and trafficking in the plant model Arabidopsis thaliana . Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_842
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 992 |
Rolinek, M. (2017). Complexity of constraint satisfaction. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th_815
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 718 |
Edelsbrunner, H., Nikitenko, A., & Reitzner, M. (2017). Expected sizes of poisson Delaunay mosaics and their discrete Morse functions. Advances in Applied Probability. Cambridge University Press. https://doi.org/10.1017/apr.2017.20
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Conference Paper | IST-REx-ID: 559 |
Abusalah, H. M., Alwen, J. F., Cohen, B., Khilko, D., Pietrzak, K. Z., & Reyzin, L. (2017). Beyond Hellman’s time-memory trade-offs with applications to proofs of space (Vol. 10625, pp. 357–379). Presented at the ASIACRYPT: Theory and Applications of Cryptology and Information Security, Hong Kong, China: Springer. https://doi.org/10.1007/978-3-319-70697-9_13
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 550 |
Alt, J. (2017). Singularities of the density of states of random Gram matrices. Electronic Communications in Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/17-ECP97
[Published Version]
View
| Files available
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 647 |
Bogomolov, S., Giacobbe, M., Henzinger, T. A., & Kong, H. (2017). Conic abstractions for hybrid systems (Vol. 10419, pp. 116–132). Presented at the FORMATS: Formal Modelling and Analysis of Timed Systems, Berlin, Germany: Springer. https://doi.org/10.1007/978-3-319-65765-3_7
[Submitted Version]
View
| Files available
| DOI