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 | 
Kong H, Bogomolov S, Schilling C, Jiang Y, Henzinger TA. 2017. Safety verification of nonlinear hybrid systems based on invariant clusters. Proceedings of the 20th International Conference on Hybrid Systems. HSCC: Hybrid Systems Computation and Control , 163–172.
[Submitted Version]
View
| Files available
| DOI
2017 |Published| Conference Paper | IST-REx-ID: 6729 |
Mondelli M, Hassani SH, Urbanke R. 2017. Construction of polar codes with sublinear complexity. 2017 IEEE International Symposium on Information Theory . ISIT: International Symposium on Information Theory, 1853–1857.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 695
Etl F, Franschitz A, Aguiar A, Schönenberger J, Dötterl S. 2017. A perfume collecting male oil bee? Evidences of a novel pollination system involving Anthurium acutifolium Araceae and Paratetrapedia chocoensis Apidae Tapinotaspidini. Flora: Morphology, Distribution, Functional Ecology of Plants. 232, 7–15.
View
| DOI
2017 |Published| Journal Article | IST-REx-ID: 701 |
Kynčl J, Patakova Z. 2017. On the nonexistence of k reptile simplices in ℝ^3 and ℝ^4. The Electronic Journal of Combinatorics. 24(3), 1–44.
[Submitted Version]
View
| Files available
2017 |Published| Journal Article | IST-REx-ID: 716 |
Chatterjee K, Velner Y. 2017. The complexity of mean-payoff pushdown games. Journal of the ACM. 64(5), 34.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2017 |Published| Journal Article | IST-REx-ID: 717 |
Chatterjee K, Velner Y. 2017. Hyperplane separation technique for multidimensional mean-payoff games. Journal of Computer and System Sciences. 88, 236–259.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2017 |Published| Journal Article | IST-REx-ID: 720 |
Humplik J, Tkačik G. 2017. Probabilistic models for neural populations that naturally capture global coupling and criticality. PLoS Computational Biology. 13(9), e1005763.
[Published Version]
View
| Files available
| DOI
2017 |Published| Journal Article | IST-REx-ID: 721 |
Ajanki OH, Krüger TH, Erdös L. 2017. Singularities of solutions to quadratic vector equations on the complex upper half plane. Communications on Pure and Applied Mathematics. 70(9), 1672–1705.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2017 |Published| Journal Article | IST-REx-ID: 7733 |
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| 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| 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| 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| 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