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 | OA
Chatterjee, K., Dvorák, W., Henzinger, M. H., & Svozil, A. (2019). Near-linear time algorithms for Streett objectives in graphs and MDPs. In Leibniz International Proceedings in Informatics (Vol. 140). Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.7
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6888 | OA
Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., & Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE. https://doi.org/10.1109/icra.2019.8793840
[Submitted Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6889 | OA
Chatterjee, K., & Piterman, N. (2019). Combinations of Qualitative Winning for Stochastic Parity Games (Vol. 140). Presented at the CONCUR: International Conference on Concurrency Theory, Amsterdam, Netherlands: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.CONCUR.2019.6
[Published Version] View | Files available | DOI
 

2019 | Published | Book Chapter | IST-REx-ID: 6890
Obr, M., & Schur, F. K. (2019). Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging. In F. A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function (Vol. 105, pp. 117–159). Elsevier. https://doi.org/10.1016/bs.aivir.2019.07.008
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6891 | OA
Kopf, A. (2019). The implication of cytoskeletal dynamics on leukocyte migration. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6891
[Published Version] View | Files available | DOI
 

2019 | Published | Thesis | PhD | IST-REx-ID: 6894 | OA
Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6894
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6896
Oliveira, B., Yahya, A. Ç., & Novarino, G. (2019). Modeling cell-cell interactions in the brain using cerebral organoids. Brain Research. Elsevier. https://doi.org/10.1016/j.brainres.2019.146458
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6897 | OA
Zhu, Q., Gallemi, M., Pospíšil, J., Žádníková, P., Strnad, M., & Benková, E. (2019). Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis. Development. The Company of Biologists. https://doi.org/10.1242/dev.175919
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6898 | OA
Sigalova, O. M., Chaplin, A. V., Bochkareva, O., Shelyakin, P. V., Filaretov, V. A., Akkuratov, E. E., … Gelfand, M. S. (2019). Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. BMC Genomics. BioMed Central. https://doi.org/10.1186/s12864-019-6059-5
[Published Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6899 | OA
Bornhorst, D., Xia, P., Nakajima, H., Dingare, C., Herzog, W., Lecaudey, V., … Abdelilah-Seyfried, S. (2019). Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions. Nature Communications. Nature Publishing Group. https://doi.org/10.1038/s41467-019-12068-x
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6900 | OA
Cepeda Humerez, S. A., Ruess, J., & Tkačik, G. (2019). Estimating information in time-varying signals. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007290
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2019 | Submitted | Preprint | IST-REx-ID: 10065 | OA
Hofmann, A. C., Jirovec, D., Borovkov, M., Prieto Gonzalez, I., Ballabio, A., Frigerio, J., … Katsaros, G. (n.d.). Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits. arXiv. https://doi.org/10.48550/arXiv.1910.05841
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 10190 | OA
Chatterjee, K., Pavlogiannis, A., & Toman, V. (2019). Value-centric dynamic partial order reduction. In Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Vol. 3). Athens, Greece: ACM. https://doi.org/10.1145/3360550
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 105 | OA
Marsh, A., Novarino, G., Lockhart, P., & Leventer, R. (2019). CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics. Springer Nature. https://doi.org/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 | OA
Yankowitz, M., Chen, S., Polshyn, H., Watanabe, K., Taniguchi, T., Graf, D., … Finney, J. (2019). New correlated phenomena in magic-angle twisted bilayer graphene/s. Journal Club for Condensed Matter Physics. Simons Foundation ; University of California, Riverside. https://doi.org/10.36471/jccm_february_2019_03
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9726
Ucar, M. C., & Lipowsky, R. (2019). Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding. American Chemical Society . https://doi.org/10.1021/acs.nanolett.9b04445.s001
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9731 | OA
Sigalova, O., Chaplin, A., Bochkareva, O., Shelyakin, P., Filaretov, V., Akkuratov, E., … Gelfand, M. S. (2019). Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. Springer Nature. https://doi.org/10.6084/m9.figshare.9808772.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9783 | OA
Sigalova, O. M., Chaplin, A. V., Bochkareva, O., Shelyakin, P. V., Filaretov, V. A., Akkuratov, E. E., … Gelfand, M. S. (2019). Additional file 10 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. Springer Nature. https://doi.org/10.6084/m9.figshare.9808760.v1
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9784 | OA
Antoniou, M. N., Nicolas, A., Mesnage, R., Biserni, M., Rao, F. V., & Martin, C. V. (2019). MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. Springer Nature. https://doi.org/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, J., Pleska, M., Guet, C. C., & Tkačik, G. (2019). Supporting text and results. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1007168.s001
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed