en
Please note that IST 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.
2420 Publications
2019 | Thesis | IST-REx-ID: 6546
Valosková K. The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration. IST Austria; 2019. doi:10.15479/AT:ISTA:6546
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6363
Espinoza Martinez CM. Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits. IST Austria; 2019. doi:10.15479/AT:ISTA:6363
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6825
Käfer K. The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior. IST Austria; 2019. doi:10.15479/AT:ISTA:6825
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 5911
Faria R, Johannesson K, Butlin RK, Westram AM. Evolving inversions. Trends in Ecology and Evolution. 2019. doi:10.1016/j.tree.2018.12.005
View
| DOI
2019 | Journal Article | IST-REx-ID: 6856
Pickup M, Barton NH, Brandvain Y, et al. Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow. New Phytologist. doi:10.1111/nph.16180
View
| DOI
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 6887 
Chatterjee K, Dvorák W, Henzinger M, Svozil A. Near-linear time algorithms for Streett objectives in graphs and MDPs. In: Leibniz International Proceedings in Informatics. Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:7. doi:10.4230/LIPICS.CONCUR.2019.7
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6899
Bornhorst D, Xia P, Nakajima H, et al. Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions. Nature communications. 2019;10(1):4113. doi:10.1038/s41467-019-12068-x
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6919
Qi C, Minin GD, Vercellino I, Wutz A, Korkhov VM. Structural basis of sterol recognition by human hedgehog receptor PTCH1. Science Advances. 2019;5(9):eaaw6490. doi:10.1126/sciadv.aaw6490
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6849
Rangel Guerrero DK. The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics. IST Austria; 2019. doi:10.15479/AT:ISTA:6849
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6894
Giacobbe M. Automatic Time-Unbounded Reachability Analysis of Hybrid Systems. IST Austria; 2019. doi:10.15479/AT:ISTA:6894
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6933
Censor-Hillel K, Dory M, Korhonen J, Leitersdorf D. Fast approximate shortest paths in the congested clique. In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin. ACM; 2019:74-83. doi:10.1145/3293611.3331633
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 151
Fischer JL, Kneuss O. Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity. Journal of Differential Equations. 2019;266(1):257-311. doi:10.1016/j.jde.2018.07.045
View
| DOI
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 175
Browning TD, Loughran D. Sieving rational points on varieties. Transactions of the American Mathematical Society. 2019;371(8):5757-5785.
View
| Download (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 5789
Petridou N, Grigolon S, Salbreux G, Hannezo E, Heisenberg C-PJ. Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling. Nature Cell Biology. 2019;21:169–178. doi:10.1038/s41556-018-0247-4
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 5943
Klotz L, Gumowski K, Wesfreid JE. Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. 2019;863:386-406. doi:10.1017/jfm.2018.974
View
| DOI
2019 | Conference Paper | IST-REx-ID: 5948
Fu H, Chatterjee K. Termination of nondeterministic probabilistic programs. Enea C, Piskac R, eds. 2019;11388:468-490. doi:10.1007/978-3-030-11245-5_22
View
| DOI
2019 | Journal Article | IST-REx-ID: 5878
Budanur NB, Fleury M. State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 2019;29(1):013122. doi:10.1063/1.5058279
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6023
Yoshida S, Van Der Schuren A, Van Dop M, et al. A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. 2019;5(2):160-166. doi:10.1038/s41477-019-0363-6
View
| DOI
| Download (ext.)
2019 | Journal Article | IST-REx-ID: 6028
Gerencser M, Hairer M. A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics. 2019. doi:10.1002/cpa.21816
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6035
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. JuliaReach: A toolbox for set-based reachability. In: Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. Vol 22. ACM; :39-44. doi:10.1145/3302504.3311804
View
| Files available
| DOI
| Download (ext.)
| arXiv