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| Journal Article | IST-REx-ID: 7756
Baity-Jesi, Marco, et al. “Emergent SO(3) Symmetry of the Frictionless Shear Jamming Transition.” Journal of Statistical Physics, vol. 167, no. 3–4, Springer Nature, 2017, pp. 735–48, doi:10.1007/s10955-016-1703-9.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 788 | 
Alistarh, Dan-Adrian, et al. Robust Detection in Leak-Prone Population Protocols. Vol. 10467 LNCS, Springer, 2017, pp. 155–71, doi:10.1007/978-3-319-66799-7_11.
View
| DOI
| Download None (ext.)
| arXiv
2017 |Published| Book Chapter | IST-REx-ID: 7980 |
Yee Liew, Soon, et al. “Polysaccharides in Supercapacitors.” Polysaccharide Based Supercapacitors, edited by Soon Yee Liew et al., Springer Nature, 2017, pp. 15–53, doi:10.1007/978-3-319-50754-5_2.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 8239 |
Roth-Walter, Franziska, et al. “Janus-Faced Acrolein Prevents Allergy but Accelerates Tumor Growth by Promoting Immunoregulatory Foxp3+ Cells: Mouse Model for Passive Respiratory Exposure.” Scientific Reports, vol. 7, 45067, Springer Nature, 2017, doi:10.1038/srep45067.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 8306 |
Syta, E., et al. “Scalable Bias-Resistant Distributed Randomness.” 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–60, doi:10.1109/SP.2017.45.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2017 |Published| Journal Article | IST-REx-ID: 8445
Kurauskas, Vilius, et al. “Slow Conformational Exchange and Overall Rocking Motion in Ubiquitin Protein Crystals.” Nature Communications, vol. 8, 145, Springer Nature, 2017, doi:10.1038/s41467-017-00165-8.
[Published Version]
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 963 |
Avni, Guy, et al. Timed Network Games with Clocks. Vol. 83, 37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, doi:10.4230/LIPIcs.MFCS.2017.37.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 12610 |
Miles, Evan S., et al. “Pond Dynamics and Supraglacial-Englacial Connectivity on Debris-Covered Lirung Glacier, Nepal.” Frontiers in Earth Science, vol. 5, 69, Frontiers Media, 2017, doi:10.3389/feart.2017.00069.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 13160 |
Kretinsky, Jan, et al. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 10205, Springer, 2017, pp. 443–60, doi:10.1007/978-3-662-54577-5_26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 14009
Jordan, I., et al. “Spin-Orbit Delays in Photoemission.” Physical Review A, vol. 95, no. 1, 013404, American Physical Society, 2017, doi:10.1103/physreva.95.013404.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 14007 |
Baykusheva, Denitsa Rangelova, and Hans Jakob Wörner. “Comment on ‘Time Delays in Molecular Photoionization.’” Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 50, no. 7, 078002, IOP Publishing, 2017, doi:10.1088/1361-6455/aa62b5.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Thesis | IST-REx-ID: 1155 |
Daca, Przemyslaw. Statistical and Logical Methods for Property Checking. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:TH_730.
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 818 |
Mitosch, Karin. Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_862.
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 838 |
Rybar, Michal. (The Exact Security of) Message Authentication Codes. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_828.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 6196 |
Gazi, Peter, et al. “The Exact Security of PMAC.” IACR Transactions on Symmetric Cryptology, vol. 2016, no. 2, Ruhr University Bochum, 2017, pp. 145–61, doi:10.13154/TOSC.V2016.I2.145-161.
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 938 |
Adamowski, Maciek. Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana . Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_842.
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 992 |
Rolinek, Michal. Complexity of Constraint Satisfaction. Institute of Science and Technology Austria, 2017, doi:10.15479/AT:ISTA:th_815.
[Published Version]
View
| Files available
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 559 |
Abusalah, Hamza M., et al. Beyond Hellman’s Time-Memory Trade-Offs with Applications to Proofs of Space. Vol. 10625, Springer, 2017, pp. 357–79, 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 |
Bogomolov, Sergiy, et al. Conic Abstractions for Hybrid Systems. Vol. 10419, Springer, 2017, pp. 116–32, doi:10.1007/978-3-319-65765-3_7.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 631 |
Bogomolov, Sergiy, et al. Counterexample Guided Refinement of Template Polyhedra. Vol. 10205, Springer, 2017, pp. 589–606, doi:10.1007/978-3-662-54577-5_34.
[Submitted Version]
View
| Files available
| DOI