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: 717 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee, Krishnendu, and Yaron Velner. “Hyperplane Separation Technique for Multidimensional Mean-Payoff Games.” Journal of Computer and System Sciences. Academic Press, 2017. https://doi.org/10.1016/j.jcss.2017.04.005.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2017 |Published| Journal Article | IST-REx-ID: 720 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Humplik, Jan, and Gašper Tkačik. “Probabilistic Models for Neural Populations That Naturally Capture Global Coupling and Criticality.” PLoS Computational Biology. Public Library of Science, 2017. https://doi.org/10.1371/journal.pcbi.1005763.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 721 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ajanki, Oskari H, Torben H Krüger, and László Erdös. “Singularities of Solutions to Quadratic Vector Equations on the Complex Upper Half Plane.” Communications on Pure and Applied Mathematics. Wiley-Blackwell, 2017. https://doi.org/10.1002/cpa.21639.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 7291
Schafzahl, Lukas, Ilie Hanzu, Martin Wilkening, and Stefan Alexander Freunberger. “An Electrolyte for Reversible Cycling of Sodium Metal and Intercalation Compounds.” ChemSusChem. Wiley, 2017. https://doi.org/10.1002/cssc.201601222.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 750
Pielorz, Jasmin, Matthias Prandtstetter, Markus Straub, and Christoph Lampert. “Optimal Geospatial Volunteer Allocation Needs Realistic Distances.” In 2017 IEEE International Conference on Big Data, 3760–63. IEEE, 2017. https://doi.org/10.1109/BigData.2017.8258375.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 7733 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Garton FC, Benyamin B, Zhao Q, Liu Z, Gratten J, Henders AK, Zhang Z-H, Edson J, Furlong S, Morgan S, Heggie S, Thorpe K, Pfluger C, Mather KA, Sachdev PS, McRae AF, Robinson MR, Shah S, Visscher PM, Mangelsdorf M, Henderson RD, Wray NR, McCombe PA. 2017. Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort. Molecular Genetics & Genomic Medicine. 5(4), 418–428.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 7756
Baity-Jesi, Marco, Carl Peter Goodrich, Andrea J. Liu, Sidney R. Nagel, and James P. Sethna. “Emergent SO(3) Symmetry of the Frictionless Shear Jamming Transition.” Journal of Statistical Physics. Springer Nature, 2017. https://doi.org/10.1007/s10955-016-1703-9.
View
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 788 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alistarh, Dan-Adrian, Bartłomiej Dudek, Adrian Kosowski, David Soloveichik, and Przemysław Uznański. “Robust Detection in Leak-Prone Population Protocols,” 10467 LNCS:155–71. Springer, 2017. https://doi.org/10.1007/978-3-319-66799-7_11.
View
| DOI
| Download None (ext.)
| arXiv
2017 |Published| Book Chapter | IST-REx-ID: 7980 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Yee Liew, Soon, Wim Thielemans, Stefan Alexander Freunberger, and Stefan Spirk. “Polysaccharides in Supercapacitors.” In Polysaccharide Based Supercapacitors, edited by Soon Yee Liew, Wim Thielemans, Stefan Alexander Freunberger, and Stefan Spirk, 15–53. Springer Nature, 2017. https://doi.org/10.1007/978-3-319-50754-5_2.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 8239 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Roth-Walter, Franziska, Cornelia Bergmayr, Sarah Meitz, Stefan Buchleitner, Caroline Stremnitzer, Judit Singer, Anna Moskovskich, et al. “Janus-Faced Acrolein Prevents Allergy but Accelerates Tumor Growth by Promoting Immunoregulatory Foxp3+ Cells: Mouse Model for Passive Respiratory Exposure.” Scientific Reports. Springer Nature, 2017. https://doi.org/10.1038/srep45067.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 8445
Kurauskas, Vilius, Sergei A. Izmailov, Olga N. Rogacheva, Audrey Hessel, Isabel Ayala, Joyce Woodhouse, Anastasya Shilova, et al. “Slow Conformational Exchange and Overall Rocking Motion in Ubiquitin Protein Crystals.” Nature Communications. Springer Nature, 2017. https://doi.org/10.1038/s41467-017-00165-8.
[Published Version]
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 12610 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Miles, Evan S., Jakob Steiner, Ian Willis, Pascal Buri, Walter W. Immerzeel, Anna Chesnokova, and Francesca Pellicciotti. “Pond Dynamics and Supraglacial-Englacial Connectivity on Debris-Covered Lirung Glacier, Nepal.” Frontiers in Earth Science. Frontiers Media, 2017. https://doi.org/10.3389/feart.2017.00069.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2017 |Published| Conference Paper | IST-REx-ID: 13160 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kretinsky, Jan, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger. “Index Appearance Record for Transforming Rabin Automata into Parity Automata.” In Tools and Algorithms for the Construction and Analysis of Systems, 10205:443–60. Springer, 2017. https://doi.org/10.1007/978-3-662-54577-5_26.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Thesis | IST-REx-ID: 818 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Mitosch, Karin. “Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_862.
[Published Version]
View
| Files available
| DOI
2017 |Published| Thesis | IST-REx-ID: 838 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Rybar, Michal. “(The Exact Security of) Message Authentication Codes.” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_828.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 6196 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Gazi, Peter, Krzysztof Z Pietrzak, and Michal Rybar. “The Exact Security of PMAC.” IACR Transactions on Symmetric Cryptology. Ruhr University Bochum, 2017. https://doi.org/10.13154/TOSC.V2016.I2.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, Maciek. “Investigations into Cell Polarity and Trafficking in the Plant Model Arabidopsis Thaliana .” Institute of Science and Technology Austria, 2017. https://doi.org/10.15479/AT:ISTA:th_842.
[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, Hamza M, Joel F Alwen, Bram Cohen, Danylo Khilko, Krzysztof Z Pietrzak, and Leonid Reyzin. “Beyond Hellman’s Time-Memory Trade-Offs with Applications to Proofs of Space,” 10625:357–79. Springer, 2017. https://doi.org/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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,” 10419:116–32. Springer, 2017. https://doi.org/10.1007/978-3-319-65765-3_7.
[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, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,” 10205:589–606. Springer, 2017. https://doi.org/10.1007/978-3-662-54577-5_34.
[Submitted Version]
View
| Files available
| DOI