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.
7117 Publications
2020 | Published | Journal Article | IST-REx-ID: 7204 | 
Root growth adaptation is mediated by PYLs ABA receptor-PP2A protein phosphatase complex
Y. Li, Y. Wang, S. Tan, Z. Li, Z. Yuan, M. Glanc, D. Domjan, K. Wang, W. Xuan, Y. Guo, Z. Gong, J. Friml, J. Zhang, Advanced Science 7 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Li, Y. Wang, S. Tan, Z. Li, Z. Yuan, M. Glanc, D. Domjan, K. Wang, W. Xuan, Y. Guo, Z. Gong, J. Friml, J. Zhang, Advanced Science 7 (2020).
2020 | Published | Journal Article | IST-REx-ID: 7205 |
Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology 33 (2020) 342–351.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology 33 (2020) 342–351.
2020 | Published | Journal Article | IST-REx-ID: 7212 |
Limits on amplifiers of natural selection under death-Birth updating
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 7213 |
A persistent homology perspective to the link prediction problem
S. Bhatia, B. Chatterjee, D. Nathani, M. Kaul, in:, Complex Networks and Their Applications VIII, Springer Nature, 2020, pp. 27–39.
[Submitted Version]
View
| Files available
| DOI
| WoS
S. Bhatia, B. Chatterjee, D. Nathani, M. Kaul, in:, Complex Networks and Their Applications VIII, Springer Nature, 2020, pp. 27–39.
2020 | Published | Journal Article | IST-REx-ID: 7218
Single-stage bone resection and cranioplastic reconstruction: Comparison of a novel software-derived PEEK workflow with the standard reconstructive method
P. Dodier, F. Winter, T. Auzinger, G. Mistelbauer, J.M. Frischer, W.T. Wang, A. Mallouhi, W. Marik, S. Wolfsberger, L. Reissig, F. Hammadi, C. Matula, A. Baumann, G. Bavinzski, International Journal of Oral and Maxillofacial Surgery 49 (2020) P1007-1015.
View
| DOI
| WoS
| PubMed | Europe PMC
P. Dodier, F. Winter, T. Auzinger, G. Mistelbauer, J.M. Frischer, W.T. Wang, A. Mallouhi, W. Marik, S. Wolfsberger, L. Reissig, F. Hammadi, C. Matula, A. Baumann, G. Bavinzski, International Journal of Oral and Maxillofacial Surgery 49 (2020) P1007-1015.
2020 | Published | Journal Article | IST-REx-ID: 7219
Adaptive growth: Shaping auxin-mediated root system architecture
G. Xiao, Y. Zhang, Trends in Plant Science 25 (2020) P121-123.
View
| DOI
| WoS
| PubMed | Europe PMC
G. Xiao, Y. Zhang, Trends in Plant Science 25 (2020) P121-123.
2020 | Published | Journal Article | IST-REx-ID: 7220
Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography
P. Dodier, T. Auzinger, G. Mistelbauer, W.T. Wang, H. Ferraz-Leite, A. Gruber, W. Marik, F. Winter, G. Fischer, J.M. Frischer, G. Bavinzski, World Neurosurgery 134 (2020) e892–e902.
View
| DOI
| WoS
| PubMed | Europe PMC
P. Dodier, T. Auzinger, G. Mistelbauer, W.T. Wang, H. Ferraz-Leite, A. Gruber, W. Marik, F. Winter, G. Fischer, J.M. Frischer, G. Bavinzski, World Neurosurgery 134 (2020) e892–e902.
2020 | Published | Journal Article | IST-REx-ID: 7224 |
Habitat fragmentation and species diversity in competitive communities
J. Rybicki, N. Abrego, O. Ovaskainen, Ecology Letters 23 (2020) 506–517.
[Published Version]
View
| Files available
| DOI
| WoS
J. Rybicki, N. Abrego, O. Ovaskainen, Ecology Letters 23 (2020) 506–517.
2020 | Published | Book Chapter | IST-REx-ID: 7227
Zebrafish gastrulation: Putting fate in motion
D.C. Nunes Pinheiro, C.-P.J. Heisenberg, in:, Gastrulation: From Embryonic Pattern to Form, Elsevier, 2020, pp. 343–375.
View
| DOI
| WoS
| PubMed | Europe PMC
D.C. Nunes Pinheiro, C.-P.J. Heisenberg, in:, Gastrulation: From Embryonic Pattern to Form, Elsevier, 2020, pp. 343–375.
2020 | Published | Journal Article | IST-REx-ID: 7234 |
Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes
P. Obeidy, L.A. Ju, S.H. Oehlers, N.S. Zulkhernain, Q. Lee, J.L. Galeano Niño, R.Y.Q. Kwan, S. Tikoo, L.L. Cavanagh, P. Mrass, A.J.L. Cook, S.P. Jackson, M. Biro, B. Roediger, M.K. Sixt, W. Weninger, Immunology and Cell Biology 98 (2020) 93–113.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
P. Obeidy, L.A. Ju, S.H. Oehlers, N.S. Zulkhernain, Q. Lee, J.L. Galeano Niño, R.Y.Q. Kwan, S. Tikoo, L.L. Cavanagh, P. Mrass, A.J.L. Cook, S.P. Jackson, M. Biro, B. Roediger, M.K. Sixt, W. Weninger, Immunology and Cell Biology 98 (2020) 93–113.
2020 | Published | Journal Article | IST-REx-ID: 7235 |
Divergence of the effective mass of a polaron in the strong coupling limit
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
[Published Version]
View
| Files available
| DOI
| WoS
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
2020 | Published | Journal Article | IST-REx-ID: 7262 |
Programming temporal morphing of self-actuated shells
R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, B. Bickel, Nature Communications 11 (2020).
[Published Version]
View
| Files available
| DOI
| WoS
R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, B. Bickel, Nature Communications 11 (2020).
2020 | Published | Conference Paper | IST-REx-ID: 7272 |
Getting to the root of concurrent binary search tree performance
M. Arbel-Raviv, T.A. Brown, A. Morrison, in:, Proceedings of the 2018 USENIX Annual Technical Conference, USENIX Association, 2020, pp. 295–306.
[Published Version]
View
| Download Published Version (ext.)
M. Arbel-Raviv, T.A. Brown, A. Morrison, in:, Proceedings of the 2018 USENIX Annual Technical Conference, USENIX Association, 2020, pp. 295–306.
2019 | Published | Journal Article | IST-REx-ID: 105 |
CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
2019 | Published | Book Chapter | IST-REx-ID: 7453 |
Continuous-time models for system design and analysis
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Alur, M. Giacobbe, T.A. Henzinger, K.G. Larsen, M. Mikučionis, in:, B. Steffen, G. Woeginger (Eds.), Computing and Software Science, Springer Nature, 2019, pp. 452–477.
2019 | Published | Conference Paper | IST-REx-ID: 6428 |
Interface-aware signal temporal logic
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
[Submitted Version]
View
| Files available
| DOI
| WoS
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
2019 | Published | Conference Paper | IST-REx-ID: 6042 |
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
[Published Version]
View
| Files available
| DOI
| WoS
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
2019 | Published | Conference Paper | IST-REx-ID: 6035 |
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
[Submitted Version]
View
| Files available
| DOI
| WoS
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 39–44.
2019 | Published | Conference Paper | IST-REx-ID: 6462 |
Run-time optimization for learned controllers through quantitative games
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
[Published Version]
View
| Files available
| DOI
| WoS
G. Avni, R. Bloem, K. Chatterjee, T.A. Henzinger, B. Konighofer, S. Pranger, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 630–649.
2019 | Published | Conference Paper | IST-REx-ID: 6493 |
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.