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.
8919 Publications
2019 |
Published |
Journal Article |
IST-REx-ID: 6868 |
N. Byczkowicz et al., “HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons,” eLife, vol. 8. eLife Sciences Publications, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 6877
A. Kopf and M. K. Sixt, “The neural crest pitches in to remove apoptotic debris,” Cell, vol. 179, no. 1. Elsevier, pp. 51–53, 2019.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Conference Paper |
IST-REx-ID: 6884 |
G. Avni, T. A. Henzinger, and D. Zikelic, “Bidding mechanisms in graph games,” presented at the MFCS: nternational Symposium on Mathematical Foundations of Computer Science, Aachen, Germany, 2019, vol. 138.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 6885 |
K. Chatterjee, T. A. Henzinger, and J. Otop, “Long-run average behavior of vector addition systems with states,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 6886 |
M. Aghajohari, G. Avni, and T. A. Henzinger, “Determinacy in discrete-bidding infinite-duration games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 6887 |
K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 6888 |
M. Lechner, R. Hasani, M. Zimmer, T. A. Henzinger, and R. Grosu, “Designing worm-inspired neural networks for interpretable robotic control,” in Proceedings - IEEE International Conference on Robotics and Automation, Montreal, QC, Canada, 2019, vol. 2019–May.
[Submitted Version]
View
| Files available
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 6889 |
K. Chatterjee and N. Piterman, “Combinations of Qualitative Winning for Stochastic Parity Games,” presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Book Chapter |
IST-REx-ID: 6890
M. Obr and F. K. Schur, “Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging,” in Complementary Strategies to Study Virus Structure and Function, vol. 105, F. A. Rey, Ed. Elsevier, 2019, pp. 117–159.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6891 |
A. Kopf, “The implication of cytoskeletal dynamics on leukocyte migration,” Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6894 |
M. Giacobbe, “Automatic time-unbounded reachability analysis of hybrid systems,” Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Journal Article |
IST-REx-ID: 6896
B. Oliveira, A. Ç. Yahya, and G. Novarino, “Modeling cell-cell interactions in the brain using cerebral organoids,” Brain Research, vol. 1724. Elsevier, 2019.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6897 |
Q. Zhu, M. Gallemi, J. Pospíšil, P. Žádníková, M. Strnad, and E. Benková, “Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis,” Development, vol. 146, no. 17. The Company of Biologists, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6898 |
O. M. Sigalova et al., “Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction,” BMC Genomics, vol. 20, no. 1. BioMed Central, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 6899 |
D. Bornhorst et al., “Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions,” Nature communications, vol. 10, no. 1. Nature Publishing Group, p. 4113, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6900 |
S. A. Cepeda Humerez, J. Ruess, and G. Tkačik, “Estimating information in time-varying signals,” PLoS computational biology, vol. 15, no. 9. Public Library of Science, p. e1007290, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6919 |
C. Qi, G. D. Minin, I. Vercellino, A. Wutz, and V. M. Korkhov, “Structural basis of sterol recognition by human hedgehog receptor PTCH1,” Science Advances, vol. 5, no. 9. American Association for the Advancement of Science, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 6920
C. Artner and E. Benková, “Ethylene and cytokinin - partners in root growth regulation,” Molecular Plant, vol. 12, no. 10. Cell Press, pp. 1312–1314, 2019.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Conference Paper |
IST-REx-ID: 6931 |
T. Nowak and J. Rybicki, “Byzantine approximate agreement on graphs,” in 33rd International Symposium on Distributed Computing, Budapest, Hungary, 2019, vol. 146, p. 29:1--29:17.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 6933 |
K. Censor-Hillel, M. Dory, J. Korhonen, and D. Leitersdorf, “Fast approximate shortest paths in the congested clique,” in Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, Toronto, ON, Canada, 2019, pp. 74–83.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv