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| Conference Paper | IST-REx-ID: 663 | 
Safety verification of nonlinear hybrid systems based on invariant clusters
H. Kong, S. Bogomolov, C. Schilling, Y. Jiang, T.A. Henzinger, in:, Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–172.
[Submitted Version]
View
| Files available
| DOI
H. Kong, S. Bogomolov, C. Schilling, Y. Jiang, T.A. Henzinger, in:, Proceedings of the 20th International Conference on Hybrid Systems, ACM, 2017, pp. 163–172.
2017 |Published| Conference Paper | IST-REx-ID: 6729 |
Construction of polar codes with sublinear complexity
M. Mondelli, S.H. Hassani, R. Urbanke, in:, 2017 IEEE International Symposium on Information Theory , IEEE, 2017, pp. 1853–1857.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Mondelli, S.H. Hassani, R. Urbanke, in:, 2017 IEEE International Symposium on Information Theory , IEEE, 2017, pp. 1853–1857.
2017 |Published| Journal Article | IST-REx-ID: 695
A perfume collecting male oil bee? Evidences of a novel pollination system involving Anthurium acutifolium Araceae and Paratetrapedia chocoensis Apidae Tapinotaspidini
F. Etl, A. Franschitz, A. Aguiar, J. Schönenberger, S. Dötterl, Flora: Morphology, Distribution, Functional Ecology of Plants 232 (2017) 7–15.
View
| DOI
F. Etl, A. Franschitz, A. Aguiar, J. Schönenberger, S. Dötterl, Flora: Morphology, Distribution, Functional Ecology of Plants 232 (2017) 7–15.
2017 |Published| Journal Article | IST-REx-ID: 701 |
On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4
J. Kynčl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44.
[Submitted Version]
View
| Files available
J. Kynčl, Z. Patakova, The Electronic Journal of Combinatorics 24 (2017) 1–44.
2017 |Published| Journal Article | IST-REx-ID: 716 |
The complexity of mean-payoff pushdown games
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, Journal of the ACM 64 (2017) 34.
2017 |Published| Journal Article | IST-REx-ID: 717 |
Hyperplane separation technique for multidimensional mean-payoff games
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, Y. Velner, Journal of Computer and System Sciences 88 (2017) 236–259.
2017 |Published| Journal Article | IST-REx-ID: 720 |
Probabilistic models for neural populations that naturally capture global coupling and criticality
J. Humplik, G. Tkačik, PLoS Computational Biology 13 (2017).
[Published Version]
View
| Files available
| DOI
J. Humplik, G. Tkačik, PLoS Computational Biology 13 (2017).
2017 |Published| Journal Article | IST-REx-ID: 721 |
Singularities of solutions to quadratic vector equations on the complex upper half plane
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
O.H. Ajanki, T.H. Krüger, L. Erdös, Communications on Pure and Applied Mathematics 70 (2017) 1672–1705.
2017 |Published| Journal Article | IST-REx-ID: 7291
An electrolyte for reversible cycling of sodium metal and intercalation compounds
L. Schafzahl, I. Hanzu, M. Wilkening, S.A. Freunberger, ChemSusChem 10 (2017) 401–408.
View
| DOI
L. Schafzahl, I. Hanzu, M. Wilkening, S.A. Freunberger, ChemSusChem 10 (2017) 401–408.
2017 |Published| Conference Paper | IST-REx-ID: 750
Optimal geospatial volunteer allocation needs realistic distances
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
View
| DOI
J. Pielorz, M. Prandtstetter, M. Straub, C. Lampert, in:, 2017 IEEE International Conference on Big Data, IEEE, 2017, pp. 3760–3763.
2017 |Published| Journal Article | IST-REx-ID: 7733 |
Whole exome sequencing and DNA methylation analysis in a clinical amyotrophic lateral sclerosis cohort
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.)
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.
2017 |Published| Journal Article | IST-REx-ID: 7756
Emergent SO(3) symmetry of the frictionless shear jamming transition
M. Baity-Jesi, C.P. Goodrich, A.J. Liu, S.R. Nagel, J.P. Sethna, Journal of Statistical Physics 167 (2017) 735–748.
View
| DOI
M. Baity-Jesi, C.P. Goodrich, A.J. Liu, S.R. Nagel, J.P. Sethna, Journal of Statistical Physics 167 (2017) 735–748.
2017 |Published| Conference Paper | IST-REx-ID: 788 |
Robust detection in leak-prone population protocols
D.-A. Alistarh, B. Dudek, A. Kosowski, D. Soloveichik, P. Uznański, in:, Springer, 2017, pp. 155–171.
View
| DOI
| Download None (ext.)
| arXiv
D.-A. Alistarh, B. Dudek, A. Kosowski, D. Soloveichik, P. Uznański, in:, Springer, 2017, pp. 155–171.
2017 |Published| Book Chapter | IST-REx-ID: 7980 |
Polysaccharides in supercapacitors
S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk, in:, S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk (Eds.), Polysaccharide Based Supercapacitors, Springer Nature, 2017, pp. 15–53.
[Submitted Version]
View
| Files available
| DOI
S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk, in:, S. Yee Liew, W. Thielemans, S.A. Freunberger, S. Spirk (Eds.), Polysaccharide Based Supercapacitors, Springer Nature, 2017, pp. 15–53.
2017 |Published| Journal Article | IST-REx-ID: 8239 |
Janus-faced Acrolein prevents allergy but accelerates tumor growth by promoting immunoregulatory Foxp3+ cells: Mouse model for passive respiratory exposure
F. Roth-Walter, C. Bergmayr, S. Meitz, S. Buchleitner, C. Stremnitzer, J. Singer, A. Moskovskich, M.A. Müller, G.A. Roth, K. Manzano-Szalai, Z. Dvorak, A. Neunkirchner, E. Jensen-Jarolim, Scientific Reports 7 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
F. Roth-Walter, C. Bergmayr, S. Meitz, S. Buchleitner, C. Stremnitzer, J. Singer, A. Moskovskich, M.A. Müller, G.A. Roth, K. Manzano-Szalai, Z. Dvorak, A. Neunkirchner, E. Jensen-Jarolim, Scientific Reports 7 (2017).
2017 |Published| Journal Article | IST-REx-ID: 8445
Slow conformational exchange and overall rocking motion in ubiquitin protein crystals
V. Kurauskas, S.A. Izmailov, O.N. Rogacheva, A. Hessel, I. Ayala, J. Woodhouse, A. Shilova, Y. Xue, T. Yuwen, N. Coquelle, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 8 (2017).
[Published Version]
View
| DOI
V. Kurauskas, S.A. Izmailov, O.N. Rogacheva, A. Hessel, I. Ayala, J. Woodhouse, A. Shilova, Y. Xue, T. Yuwen, N. Coquelle, J.-P. Colletier, N.R. Skrynnikov, P. Schanda, Nature Communications 8 (2017).
2017 |Published| Journal Article | IST-REx-ID: 12610 |
Pond dynamics and supraglacial-englacial connectivity on debris-covered Lirung Glacier, Nepal
E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova, F. Pellicciotti, Frontiers in Earth Science 5 (2017).
[Published Version]
View
| DOI
| Download Published Version (ext.)
E.S. Miles, J. Steiner, I. Willis, P. Buri, W.W. Immerzeel, A. Chesnokova, F. Pellicciotti, Frontiers in Earth Science 5 (2017).
2017 |Published| Conference Paper | IST-REx-ID: 13160 |
Index appearance record for transforming Rabin automata into parity automata
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Kretinsky, T. Meggendorfer, C. Waldmann, M. Weininger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2017, pp. 443–460.
2017 |Published| Thesis | IST-REx-ID: 818 |
Timing, variability and cross-protection in bacteria – insights from dynamic gene expression responses to antibiotics
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
K. Mitosch, Timing, Variability and Cross-Protection in Bacteria – Insights from Dynamic Gene Expression Responses to Antibiotics, Institute of Science and Technology Austria, 2017.
2017 |Published| Thesis | IST-REx-ID: 838 |
(The exact security of) Message authentication codes
M. Rybar, (The Exact Security of) Message Authentication Codes, Institute of Science and Technology Austria, 2017.
[Published Version]
View
| Files available
| DOI
M. Rybar, (The Exact Security of) Message Authentication Codes, Institute of Science and Technology Austria, 2017.