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: 663 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 674
Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6
J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.
View
| DOI
J. Schwarz, V. Bierbaum, K. Vaahtomeri, R. Hauschild, M. Brown, I. de Vries, A.F. Leithner, A. Reversat, J. Merrin, T. Tarrant, M.T. Bollenbach, M.K. Sixt, Current Biology 27 (2017) 1314–1325.
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 7064 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Robust spin correlations at high magnetic fields in the harmonic honeycomb iridates
K.A. Modic, B.J. Ramshaw, J.B. Betts, N.P. Breznay, J.G. Analytis, R.D. McDonald, A. Shekhter, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
K.A. Modic, B.J. Ramshaw, J.B. Betts, N.P. Breznay, J.G. Analytis, R.D. McDonald, A. Shekhter, Nature Communications 8 (2017).
2017 |Published| Conference Paper | IST-REx-ID: 711 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bidirectional nested weighted automata
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.
2017 |Published| Journal Article | IST-REx-ID: 716 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 7725
Predation drives local adaptation of phenotypic plasticity
J. Reger, M.I. Lind, M.R. Robinson, A.P. Beckerman, Nature Ecology & Evolution 2 (2017) 100–107.
View
| DOI
J. Reger, M.I. Lind, M.R. Robinson, A.P. Beckerman, Nature Ecology & Evolution 2 (2017) 100–107.
2017 |Published| Journal Article | IST-REx-ID: 7733 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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| Conference Paper | IST-REx-ID: 8306 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Scalable bias-resistant distributed randomness
E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460.
[Preprint]
View
| DOI
| Download Preprint (ext.)
E. Syta, P. Jovanovic, E. Kokoris Kogias, N. Gailly, L. Gasser, I. Khoffi, M.J. Fischer, B. Ford, in:, 2017 IEEE Symposium on Security and Privacy, IEEE, 2017, pp. 444–460.