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
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | OA
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 | Submitted | Preprint | IST-REx-ID: 10065 | OA
A. C. Hofmann et al., “Assessing the potential of Ge/SiGe quantum dots as hosts for singlet-triplet qubits,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

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

2019 | Published | Journal Article | IST-REx-ID: 105 | OA
A. Marsh, G. Novarino, P. Lockhart, and R. Leventer, “CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63,” European Journal of Human Genetics, vol. 27. Springer Nature, pp. 161–166, 2019.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 10664 | OA
M. Yankowitz 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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9726
M. C. Ucar and R. Lipowsky, “Supplementary information - Collective force generation by molecular motors is determined by strain-induced unbinding.” American Chemical Society , 2019.
[Published Version] View | Files available | DOI
 

2019 | Research Data Reference | IST-REx-ID: 9731 | OA
O. Sigalova et al., “Additional file 11 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9783 | OA
O. M. Sigalova et al., “Additional file 10 of Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction.” Springer Nature, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9784 | OA
M. N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F. V. Rao, and C. V. Martin, “MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells.” Springer Nature, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Research Data Reference | IST-REx-ID: 9786
J. Ruess, M. Pleska, C. C. Guet, and G. Tkačik, “Supporting text and results.” Public Library of Science, 2019.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed