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.
1953 Publications
2017 |Published| Conference Paper | IST-REx-ID: 788 | 
Alistarh D-A, Dudek B, Kosowski A, Soloveichik D, Uznański P. 2017. Robust detection in leak-prone population protocols. DNA Computing and Molecular Programming, LNCS, vol. 10467 LNCS, 155–171.
View
| DOI
| Download None (ext.)
| arXiv
2017 |Published| Book Chapter | IST-REx-ID: 7980 |
Yee Liew S, Thielemans W, Freunberger SA, Spirk S. 2017.Polysaccharides in supercapacitors. In: Polysaccharide Based Supercapacitors. SpringerBriefs in Molecular Science, , 15–53.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 8239 |
Roth-Walter F, Bergmayr C, Meitz S, Buchleitner S, Stremnitzer C, Singer J, Moskovskich A, Müller MA, Roth GA, Manzano-Szalai K, Dvorak Z, Neunkirchner A, Jensen-Jarolim E. 2017. Janus-faced Acrolein prevents allergy but accelerates tumor growth by promoting immunoregulatory Foxp3+ cells: Mouse model for passive respiratory exposure. Scientific Reports. 7, 45067.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 8306 |
Syta E, Jovanovic P, Kokoris Kogias E, Gailly N, Gasser L, Khoffi I, Fischer MJ, Ford B. 2017. Scalable bias-resistant distributed randomness. 2017 IEEE Symposium on Security and Privacy. SP: Symposium on Security and Privacy, 444–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2017 |Published| Journal Article | IST-REx-ID: 8445
Kurauskas V, Izmailov SA, Rogacheva ON, Hessel A, Ayala I, Woodhouse J, Shilova A, Xue Y, Yuwen T, Coquelle N, Colletier J-P, Skrynnikov NR, Schanda P. 2017. Slow conformational exchange and overall rocking motion in ubiquitin protein crystals. Nature Communications. 8, 145.
[Published Version]
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 963 |
Avni G, Guha S, Kupferman O. 2017. Timed network games with clocks. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 37.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 12610 |
Miles ES, Steiner J, Willis I, Buri P, Immerzeel WW, Chesnokova A, Pellicciotti F. 2017. Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal. Frontiers in Earth Science. 5, 69.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 13160 |
Kretinsky J, Meggendorfer T, Waldmann C, Weininger M. 2017. Index appearance record for transforming Rabin automata into parity automata. Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10205, 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 14007 |
Baykusheva DR, Wörner HJ. 2017. Comment on ‘Time delays in molecular photoionization’. Journal of Physics B: Atomic, Molecular and Optical Physics. 50(7), 078002.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Thesis | IST-REx-ID: 1155 |
Daca P. 2017. Statistical and logical methods for property checking. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
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.
[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.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 6196 |
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 |
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| Thesis | IST-REx-ID: 992 |
Rolinek M. 2017. Complexity of constraint satisfaction. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 559 |
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 |
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 |
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