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.
4863 Publications
2019 |
Published |
Conference Paper |
IST-REx-ID: 6887 |
Chatterjee, Krishnendu, et al. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” Leibniz International Proceedings in Informatics, vol. 140, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.CONCUR.2019.7.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 6888 |
Lechner, Mathias, et al. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.” Proceedings - IEEE International Conference on Robotics and Automation, vol. 2019–May, 8793840, IEEE, 2019, doi:10.1109/icra.2019.8793840.
[Submitted Version]
View
| Files available
| DOI
2019 |
Published |
Conference Paper |
IST-REx-ID: 6889 |
Chatterjee, Krishnendu, and Nir Piterman. Combinations of Qualitative Winning for Stochastic Parity Games. Vol. 140, 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.CONCUR.2019.6.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Book Chapter |
IST-REx-ID: 6890
Obr, Martin, and Florian KM Schur. “Structural Analysis of Pleomorphic and Asymmetric Viruses Using Cryo-Electron Tomography and Subtomogram Averaging.” Complementary Strategies to Study Virus Structure and Function, edited by Félix A. Rey, vol. 105, Elsevier, 2019, pp. 117–59, doi:10.1016/bs.aivir.2019.07.008.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6891 |
Kopf, Aglaja. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6891.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Thesis | PhD |
IST-REx-ID: 6894 |
Giacobbe, Mirco. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. Institute of Science and Technology Austria, 2019, doi:10.15479/AT:ISTA:6894.
[Published Version]
View
| Files available
| DOI
2019 |
Published |
Journal Article |
IST-REx-ID: 6896
Oliveira, Bárbara, et al. “Modeling Cell-Cell Interactions in the Brain Using Cerebral Organoids.” Brain Research, vol. 1724, 146458, Elsevier, 2019, doi:10.1016/j.brainres.2019.146458.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6897 |
Zhu, Qiang, et al. “Root Gravity Response Module Guides Differential Growth Determining Both Root Bending and Apical Hook Formation in Arabidopsis.” Development, vol. 146, no. 17, dev175919, The Company of Biologists, 2019, doi:10.1242/dev.175919.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6898 |
Sigalova, Olga M., et al. “Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction.” BMC Genomics, vol. 20, no. 1, 710, BioMed Central, 2019, doi:10.1186/s12864-019-6059-5.
[Published Version]
View
| Files available
| DOI
| WoS
2019 |
Published |
Journal Article |
IST-REx-ID: 6899 |
Bornhorst, Dorothee, 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, 2019, p. 4113, doi:10.1038/s41467-019-12068-x.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 6900 |
Cepeda Humerez, Sarah A., et al. “Estimating Information in Time-Varying Signals.” PLoS Computational Biology, vol. 15, no. 9, Public Library of Science, 2019, p. e1007290, doi:10.1371/journal.pcbi.1007290.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 |
Submitted |
Preprint |
IST-REx-ID: 10065 |
Hofmann, Andrea C., et al. “Assessing the Potential of Ge/SiGe Quantum Dots as Hosts for Singlet-Triplet Qubits.” ArXiv, 1910.05841, doi:10.48550/arXiv.1910.05841.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2019 |
Published |
Conference Paper |
IST-REx-ID: 10190 |
Chatterjee, Krishnendu, et al. “Value-Centric Dynamic Partial Order Reduction.” Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications, vol. 3, 124, ACM, 2019, doi:10.1145/3360550.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2019 |
Published |
Journal Article |
IST-REx-ID: 105 |
Marsh, Ashley, et al. “CUGC for Pontocerebellar Hypoplasia Type 9 and Spastic Paraplegia-63.” European Journal of Human Genetics, vol. 27, Springer Nature, 2019, pp. 161–66, doi:10.1038/s41431-018-0231-2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 |
Published |
Journal Article |
IST-REx-ID: 10664 |
Yankowitz, Mathew, et al. “New Correlated Phenomena in Magic-Angle Twisted Bilayer Graphene/S.” Journal Club for Condensed Matter Physics, vol. 03, Simons Foundation ; University of California, Riverside, 2019, doi:10.36471/jccm_february_2019_03.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2019 |
Research Data Reference |
IST-REx-ID: 9726
Ucar, Mehmet C., and Reinhard Lipowsky. Supplementary Information - Collective Force Generation by Molecular Motors Is Determined by Strain-Induced Unbinding. American Chemical Society , 2019, doi:10.1021/acs.nanolett.9b04445.s001.
[Published Version]
View
| Files available
| DOI
2019 |
Research Data Reference |
IST-REx-ID: 9731 |
Sigalova, Olga, et al. Additional File 11 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 2019, doi:10.6084/m9.figshare.9808772.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |
Research Data Reference |
IST-REx-ID: 9783 |
Sigalova, Olga M., et al. Additional File 10 of Chlamydia Pan-Genomic Analysis Reveals Balance between Host Adaptation and Selective Pressure to Genome Reduction. Springer Nature, 2019, doi:10.6084/m9.figshare.9808760.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |
Research Data Reference |
IST-REx-ID: 9784 |
Antoniou, Michael N., et al. MOESM1 of Glyphosate Does Not Substitute for Glycine in Proteins of Actively Dividing Mammalian Cells. Springer Nature, 2019, doi:10.6084/m9.figshare.9411761.v1.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 |
Research Data Reference |
IST-REx-ID: 9786
Ruess, Jakob, et al. Supporting Text and Results. Public Library of Science, 2019, doi:10.1371/journal.pcbi.1007168.s001.
[Published Version]
View
| Files available
| DOI