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.
4958 Publications
2019 | Published | Conference Paper | IST-REx-ID: 6886 | 
Aghajohari M, Avni G, Henzinger TA. 2019. Determinacy in discrete-bidding infinite-duration games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 20.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6887 |
Chatterjee K, Dvorák W, Henzinger MH, Svozil A. 2019. Near-linear time algorithms for Streett objectives in graphs and MDPs. Leibniz International Proceedings in Informatics. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 7.
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6888 |
Lechner M, Hasani R, Zimmer M, Henzinger TA, Grosu R. 2019. Designing worm-inspired neural networks for interpretable robotic control. Proceedings - IEEE International Conference on Robotics and Automation. ICRA: International Conference on Robotics and Automation, ICRA, vol. 2019–May, 8793840.
[Submitted Version]
View
| Files available
| DOI
2019 | Published | Book Chapter | IST-REx-ID: 6890
Obr M, Schur FK. 2019.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, 117–159.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Thesis | IST-REx-ID: 6891 |
Kopf A. 2019. The implication of cytoskeletal dynamics on leukocyte migration. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2019 | Published | Thesis | IST-REx-ID: 6894 |
Giacobbe M. 2019. Automatic time-unbounded reachability analysis of hybrid systems. Institute of Science and Technology Austria.
[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. 1724, 146458.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6898 |
Sigalova OM, Chaplin AV, Bochkareva O, Shelyakin PV, Filaretov VA, Akkuratov EE, Burskaia V, Gelfand MS. 2019. Chlamydia pan-genomic analysis reveals balance between host adaptation and selective pressure to genome reduction. BMC Genomics. 20(1), 710.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6899 |
Bornhorst D, Xia P, Nakajima H, Dingare C, Herzog W, Lecaudey V, Mochizuki N, Heisenberg C-PJ, Yelon D, Abdelilah-Seyfried S. 2019. Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions. Nature communications. 10(1), 4113.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6900 |
Cepeda Humerez SA, Ruess J, Tkačik G. 2019. Estimating information in time-varying signals. PLoS computational biology. 15(9), e1007290.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6919 |
Qi C, Minin GD, Vercellino I, Wutz A, Korkhov VM. 2019. Structural basis of sterol recognition by human hedgehog receptor PTCH1. Science Advances. 5(9), eaaw6490.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6920
Artner C, Benková E. 2019. Ethylene and cytokinin - partners in root growth regulation. Molecular Plant. 12(10), 1312–1314.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 6931 |
Nowak T, Rybicki J. 2019. Byzantine approximate agreement on graphs. 33rd International Symposium on Distributed Computing. DISC: International Symposium on Distributed Computing, LIPIcs, vol. 146, 29:1--29:17.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6933 |
Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. 2019. Fast approximate shortest paths in the congested clique. Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin. PODC: Symposium on Principles of Distributed Computing, 74–83.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6935 |
Foerster K-T, Korhonen J, Rybicki J, Schmid S. 2019. Does preprocessing help under congestion? Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing, 259–261.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6936 |
Ovaskainen O, Rybicki J, Abrego N. 2019. What can observational data reveal about metacommunity processes? Ecography. 42(11), 1877–1886.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6940 |
Bighin G, Defenu N, Nándori I, Salasnich L, Trombettoni A. 2019. Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models. Physical Review Letters. 123(10), 100601.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6943 |
Hörmayer L, Friml J. 2019. Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology. 52, 124–130.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Thesis | IST-REx-ID: 6947 |
Assen FP. 2019. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6955 |
Schmickler CH, Hammer H-W, Volosniev A. 2019. Universal physics of bound states of a few charged particles. Physics Letters B. 798, 135016.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv