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.
5163 Publications
2019 | Journal Article | IST-REx-ID: 105
CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
View
| DOI
A. Marsh, G. Novarino, P. Lockhart, R. Leventer, European Journal of Human Genetics 27 (2019) 161–166.
2019 | Journal Article | IST-REx-ID: 439 
Arithmetic and representation theory of wild character varieties
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society (n.d.).
View
| Download (ext.)
| arXiv
T. Hausel, M. Mereb, M. Wong, Journal of the European Mathematical Society (n.d.).
2019 | Conference Paper | IST-REx-ID: 5947
A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries
B. Chatterjee, S. Peri, M. Sa, N. Singhal, in:, ACM International Conference Proceeding Series, ACM, 2019, pp. 168–177.
View
| DOI
| Download (ext.)
| arXiv
B. Chatterjee, S. Peri, M. Sa, N. Singhal, in:, ACM International Conference Proceeding Series, ACM, 2019, pp. 168–177.
2019 | Journal Article | IST-REx-ID: 6104
Root adaptation to H2O2-induced oxidative stress by ARF-GEF BEN1- and cytoskeleton-mediated PIN2 trafficking
M. Zwiewka, A. Bielach, P. Tamizhselvan, S. Madhavan, E.E. Ryad, S. Tan, M. Hrtyan, P. Dobrev, R. Vanková, J. Friml, V.B. Tognetti, Plant and Cell Physiology 60 (2019) 255–273.
View
| DOI
| PubMed | Europe PMC
M. Zwiewka, A. Bielach, P. Tamizhselvan, S. Madhavan, E.E. Ryad, S. Tan, M. Hrtyan, P. Dobrev, R. Vanková, J. Friml, V.B. Tognetti, Plant and Cell Physiology 60 (2019) 255–273.
2019 | Journal Article | IST-REx-ID: 6022
Genetic dissection of assortative mating behavior
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019) e2005902.
View
| Files available
| DOI
R.M. Merrill, P. Rastas, S.H. Martin, M.C. Melo Hurtado, S. Barker, J. Davey, W.O. Mcmillan, C.D. Jiggins, PLoS Biology 17 (2019) e2005902.
2019 | Journal Article | IST-REx-ID: 6046
Temporal order and precision of complex stress responses in individual bacteria
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019) e8470.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
K. Mitosch, G. Rieckh, M.T. Bollenbach, Molecular Systems Biology 15 (2019) e8470.
2019 | Journal Article | IST-REx-ID: 6053
Quantum electromechanics of a hypersonic crystal
M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter, Nature Nanotechnology (2019).
View
| DOI
| Download (ext.)
M. Kalaee, M. Mirhosseini, P.B. Dieterle, M. Peruzzo, J.M. Fink, O. Painter, Nature Nanotechnology (2019).
2019 | Journal Article | IST-REx-ID: 6089
Pleiotropy modulates the efficacy of selection in drosophila melanogaster
C. Fraisse, G. Puixeu Sala, B. Vicoso, Molecular Biology and Evolution 36 (2019) 500–515.
View
| Files available
| DOI
| Download (ext.)
| PubMed | Europe PMC
C. Fraisse, G. Puixeu Sala, B. Vicoso, Molecular Biology and Evolution 36 (2019) 500–515.
2019 | Journal Article | IST-REx-ID: 6091
Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs
N.T. Henderson, S.J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, M.B. Dalva, ELife 8 (2019) e41563.
View
| Files available
| DOI
| PubMed | Europe PMC
N.T. Henderson, S.J. Le Marchand, M. Hruska, S. Hippenmeyer, L. Luo, M.B. Dalva, ELife 8 (2019) e41563.
2019 | Preprint | IST-REx-ID: 6313
Extending drawings of complete graphs into arrangements of pseudocircles
A.M. Arroyo Guevara, B. Richter, M. Sunohara, (n.d.).
View
| Files available
A.M. Arroyo Guevara, B. Richter, M. Sunohara, (n.d.).
2019 | Journal Article | IST-REx-ID: 6351
Re-activation of stem cell pathways for pattern restoration in plant wound healing
P. Marhavá, L. Hörmayer, S. Yoshida, P. Marhavy, E. Benková, J. Friml, Cell 177 (2019) 957–969.e13.
View
| Files available
| DOI
| PubMed | Europe PMC
P. Marhavá, L. Hörmayer, S. Yoshida, P. Marhavy, E. Benková, J. Friml, Cell 177 (2019) 957–969.e13.
2019 | Journal Article | IST-REx-ID: 6262
Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls
H. Rakusová, H. Han, P. Valošek, J. Friml, The Plant Journal (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
H. Rakusová, H. Han, P. Valošek, J. Friml, The Plant Journal (2019).
2019 | Journal Article | IST-REx-ID: 6508
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
View
| Files available
| DOI
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
2019 | Journal Article | IST-REx-ID: 6488
Fluctuations for differences of linear eigenvalue statistics for sample covariance matrices
G. Cipolloni, L. Erdös, Random Matrices: Theory and Application (2019).
View
| DOI
| Download (ext.)
| arXiv
G. Cipolloni, L. Erdös, Random Matrices: Theory and Application (2019).
2019 | Journal Article | IST-REx-ID: 6419
An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019) e1008079.
View
| Files available
| DOI
V. Pokusaeva, D.R. Usmanova, E.V. Putintseva, L. Espinar, K. Sarkisyan, A.S. Mishin, N.S. Bogatyreva, D. Ivankov, A. Akopyan, S. Avvakumov, I.S. Povolotskaya, G.J. Filion, L.B. Carey, F. Kondrashov, PLoS Genetics 15 (2019) e1008079.
2019 | Research Data | IST-REx-ID: 6060
Supplementary data for "Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome" (Huylman, Toups et al., 2019).
B. Vicoso, Supplementary Data for “Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome” (Huylman, Toups et Al., 2019). , IST Austria, 2019.
View
| Files available
| DOI
B. Vicoso, Supplementary Data for “Sex-Biased Gene Expression and Dosage Compensation on the Artemia Franciscana Z-Chromosome” (Huylman, Toups et Al., 2019). , IST Austria, 2019.
2019 | Conference Paper | IST-REx-ID: 6565
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
View
| DOI
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
2019 | Journal Article | IST-REx-ID: 6596
Convergence results of forward-backward algorithms for sum of monotone operators in Banach spaces
Y. Shehu, Results in Mathematics 74 (2019) 138.
View
| Files available
| DOI
Y. Shehu, Results in Mathematics 74 (2019) 138.
2019 | Journal Article | IST-REx-ID: 6609
Stationary entangled radiation from micromechanical motion
S. Barzanjeh, E. Redchenko, M. Peruzzo, M. Wulf, D. Lewis, G.M. Arnold, J.M. Fink, Nature 570 (2019) 480–483.
View
| DOI
| Download (ext.)
| arXiv
S. Barzanjeh, E. Redchenko, M. Peruzzo, M. Wulf, D. Lewis, G.M. Arnold, J.M. Fink, Nature 570 (2019) 480–483.
2019 | Journal Article | IST-REx-ID: 6717
Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision
C. Igler, S.T. Abedon, Frontiers in Microbiology 10 (2019) 1171.
View
| Files available
| DOI
C. Igler, S.T. Abedon, Frontiers in Microbiology 10 (2019) 1171.
2019 | Preprint | IST-REx-ID: 6748
Analysis of a two-layer neural network via displacement convexity
A. Javanmard, M. Mondelli, A. Montanari, ArXiv:1901.01375 (2019).
View
| Download (ext.)
| arXiv
A. Javanmard, M. Mondelli, A. Montanari, ArXiv:1901.01375 (2019).
2019 | Preprint | IST-REx-ID: 6750
Rate-flexible fast polar decoders
S.A. Hashemi, C. Condo, M. Mondelli, W.J. Gross, ArXiv:1903.09203 (n.d.).
View
| Download (ext.)
| arXiv
S.A. Hashemi, C. Condo, M. Mondelli, W.J. Gross, ArXiv:1903.09203 (n.d.).
2019 | Journal Article | IST-REx-ID: 6611
PIN2 polarity establishment in arabidopsis in the absence of an intact cytoskeleton
M. Glanc, M. Fendrych, J. Friml, Biomolecules 9 (2019) 222.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Glanc, M. Fendrych, J. Friml, Biomolecules 9 (2019) 222.
2019 | Conference Paper | IST-REx-ID: 6642
On diffusive variants of some classical viscoelastic rate-type models
M. Dostalík, V. Průša, T. Skrivan, in:, AIP Conference Proceedings, AIP, 2019, p. 020002.
View
| DOI
| Download (ext.)
| arXiv
M. Dostalík, V. Průša, T. Skrivan, in:, AIP Conference Proceedings, AIP, 2019, p. 020002.
2019 | Conference Paper | IST-REx-ID: 6647
The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13.
View
| Files available
| DOI
| arXiv
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 38:1-38:13.
2019 | Conference Paper | IST-REx-ID: 6673
Efficiency guarantees for parallel incremental algorithms under relaxed schedulers
D.-A. Alistarh, G. Nadiradze, N. Koval, in:, 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM Press, 2019, pp. 145–154.
View
| DOI
D.-A. Alistarh, G. Nadiradze, N. Koval, in:, 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM Press, 2019, pp. 145–154.
2019 | Journal Article | IST-REx-ID: 6659
Optimized reaction pair of the CysHis tag and Ni(II)-NTA probe for highly selective chemical labeling of membrane proteins
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
View
| DOI
N. Zenmyo, H. Tokumaru, S. Uchinomiya, H. Fuchida, S. Tabata, I. Hamachi, R. Shigemoto, A. Ojida, Bulletin of the Chemical Society of Japan 92 (2019) 995–1000.
2019 | Journal Article | IST-REx-ID: 73
On the geometry of geodesics in discrete optimal transport
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
View
| Files available
| DOI
| arXiv
M. Erbar, J. Maas, M. Wirth, Calculus of Variations and Partial Differential Equations 58 (2019).
2019 | Journal Article | IST-REx-ID: 6755
Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome
M.A.L. Picard, B. Vicoso, D. Roquis, I. Bulla, R.C. Augusto, N. Arancibia, C. Grunau, J. Boissier, C. Cosseau, Genome Biology and Evolution 11 (2019) 1909–1922.
View
| Files available
| DOI
M.A.L. Picard, B. Vicoso, D. Roquis, I. Bulla, R.C. Augusto, N. Arancibia, C. Grunau, J. Boissier, C. Cosseau, Genome Biology and Evolution 11 (2019) 1909–1922.
2019 | Journal Article | IST-REx-ID: 6762
New optimal control problems in density functional theory motivated by photovoltaics
G. Friesecke, M. Kniely, Multiscale Modeling and Simulation 17 (2019) 926–947.
View
| DOI
| Download (ext.)
| arXiv
G. Friesecke, M. Kniely, Multiscale Modeling and Simulation 17 (2019) 926–947.
2019 | Conference Paper | IST-REx-ID: 6490
The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
View
| DOI
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
2019 | Journal Article | IST-REx-ID: 6786
Attractive dipolar coupling between stacked exciton fluids
C. Hubert, Y. Baruchi, Y. Mazuz-Harpaz, K. Cohen, K. Biermann, M. Lemeshko, K. West, L. Pfeiffer, R. Rapaport, P. Santos, Physical Review X 9 (2019) 021026.
View
| Files available
| DOI
| arXiv
C. Hubert, Y. Baruchi, Y. Mazuz-Harpaz, K. Cohen, K. Biermann, M. Lemeshko, K. West, L. Pfeiffer, R. Rapaport, P. Santos, Physical Review X 9 (2019) 021026.
2019 | Journal Article | IST-REx-ID: 6779
Heteroclinic and homoclinic connections in a Kolmogorov-like flow
B. Suri, R.K. Pallantla, M.F. Schatz, R.O. Grigoriev, Physical Review E 100 (2019) 013112.
View
| DOI
| Download (ext.)
| arXiv
B. Suri, R.K. Pallantla, M.F. Schatz, R.O. Grigoriev, Physical Review E 100 (2019) 013112.
2019 | Journal Article | IST-REx-ID: 6793
The Regge symmetry, confocal conics, and the Schläfli formula
A. Akopyan, I. Izmestiev, Bulletin of the London Mathematical Society (2019).
View
| DOI
| Download (ext.)
| arXiv
A. Akopyan, I. Izmestiev, Bulletin of the London Mathematical Society (2019).
2019 | Conference Paper | IST-REx-ID: 6628
The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
View
| Files available
G. Vegter, M. Wintraecken, in:, The 31st Canadian Conference in Computational Geometry, 2019, pp. 275–279.
2019 | Journal Article | IST-REx-ID: 6818
Indigoidine - Biosynthesized organic semiconductor
C. Yumusak, A.J. Prochazkova, D.H. Apaydin, H. Seelajaroen, N.S. Sariciftci, M. Weiter, J. Krajcovic, Y. Qin, W. Zhang, J. Zhan, A. Kovalenko, Dyes and Pigments 171 (2019).
View
| DOI
C. Yumusak, A.J. Prochazkova, D.H. Apaydin, H. Seelajaroen, N.S. Sariciftci, M. Weiter, J. Krajcovic, Y. Qin, W. Zhang, J. Zhan, A. Kovalenko, Dyes and Pigments 171 (2019).
2019 | Journal Article | IST-REx-ID: 6832
Active cell migration is critical for steady-state epithelial turnover in the gut
D. Krndija, F.E. Marjou, B. Guirao, S. Richon, O. Leroy, Y. Bellaiche, E.B. Hannezo, D.M. Vignjevic, Science 365 (2019) 705–710.
View
| DOI
| PubMed | Europe PMC
D. Krndija, F.E. Marjou, B. Guirao, S. Richon, O. Leroy, Y. Bellaiche, E.B. Hannezo, D.M. Vignjevic, Science 365 (2019) 705–710.
2019 | Journal Article | IST-REx-ID: 6844
A mathematical insight into cell labelling experiments for clonal analysis
N. Picco, S. Hippenmeyer, J. Rodarte, C. Streicher, Z. Molnár, P.K. Maini, T.E. Woolley, Journal of Anatomy 235 (2019) 686–696.
View
| Files available
| DOI
N. Picco, S. Hippenmeyer, J. Rodarte, C. Streicher, Z. Molnár, P.K. Maini, T.E. Woolley, Journal of Anatomy 235 (2019) 686–696.
2019 | Journal Article | IST-REx-ID: 6837
Migrasomes take center stage
S. Tavano, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 918–920.
View
| DOI
| PubMed | Europe PMC
S. Tavano, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 918–920.
2019 | Journal Article | IST-REx-ID: 6515
Simplices modelled on spaces of constant curvature
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
View
| Files available
| DOI
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
2019 | Journal Article | IST-REx-ID: 6868
HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons
N. Byczkowicz, A. Eshra, J.-C. Montanaro-Punzengruber, A. Trevisiol, J. Hirrlinger, M.H. Kole, R. Shigemoto, S. Hallermann, ELife 8 (2019) e42766.
View
| Files available
| DOI
N. Byczkowicz, A. Eshra, J.-C. Montanaro-Punzengruber, A. Trevisiol, J. Hirrlinger, M.H. Kole, R. Shigemoto, S. Hallermann, ELife 8 (2019) e42766.
2019 | Journal Article | IST-REx-ID: 6680
Effect of partial selfing and polygenic selection on establishment in a new habitat
H. Sachdeva, Evolution 73 (2019) 1729–1745.
View
| Files available
| DOI
H. Sachdeva, Evolution 73 (2019) 1729–1745.
2019 | Thesis | IST-REx-ID: 6546
The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.
View
| Files available
| DOI
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6363
Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits
C.M. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.
View
| Files available
| DOI
C.M. Espinoza Martinez, Parvalbumin+ Interneurons Enable Efficient Pattern Separation in Hippocampal Microcircuits, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6825
The hippocampus and medial prefrontal cortex during flexible behavior
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, IST Austria, 2019.
View
| Files available
| DOI
K. Käfer, The Hippocampus and Medial Prefrontal Cortex during Flexible Behavior, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 5911
Evolving inversions
R. Faria, K. Johannesson, R.K. Butlin, A.M. Westram, Trends in Ecology and Evolution (2019).
View
| DOI
R. Faria, K. Johannesson, R.K. Butlin, A.M. Westram, Trends in Ecology and Evolution (2019).
2019 | Journal Article | IST-REx-ID: 6856
Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow
M. Pickup, N.H. Barton, Y. Brandvain, C. Fraisse, S. Yakimowski, T. Dixit, C. Lexer, E. Cereghetti, D. Field, New Phytologist (n.d.).
View
| DOI
| PubMed | Europe PMC
M. Pickup, N.H. Barton, Y. Brandvain, C. Fraisse, S. Yakimowski, T. Dixit, C. Lexer, E. Cereghetti, D. Field, New Phytologist (n.d.).
2019 | Conference Paper | IST-REx-ID: 6887
Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 7.
View
| Files available
| DOI
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 7.
2019 | Journal Article | IST-REx-ID: 6899
Biomechanical signaling within the developing zebrafish heart attunes endocardial growth to myocardial chamber dimensions
D. Bornhorst, P. Xia, H. Nakajima, C. Dingare, W. Herzog, V. Lecaudey, N. Mochizuki, C.-P.J. Heisenberg, D. Yelon, S. Abdelilah-Seyfried, Nature Communications 10 (2019) 4113.
View
| Files available
| DOI
| PubMed | Europe PMC
D. Bornhorst, P. Xia, H. Nakajima, C. Dingare, W. Herzog, V. Lecaudey, N. Mochizuki, C.-P.J. Heisenberg, D. Yelon, S. Abdelilah-Seyfried, Nature Communications 10 (2019) 4113.
2019 | Journal Article | IST-REx-ID: 6919
Structural basis of sterol recognition by human hedgehog receptor PTCH1
C. Qi, G.D. Minin, I. Vercellino, A. Wutz, V.M. Korkhov, Science Advances 5 (2019) eaaw6490.
View
| Files available
| DOI
C. Qi, G.D. Minin, I. Vercellino, A. Wutz, V.M. Korkhov, Science Advances 5 (2019) eaaw6490.
2019 | Thesis | IST-REx-ID: 6849
The role of CCK-interneurons in regulating hippocampal network dynamics
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
View
| Files available
| DOI
D.K. Rangel Guerrero, The Role of CCK-Interneurons in Regulating Hippocampal Network Dynamics, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6894
Automatic time-unbounded reachability analysis of hybrid systems
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
View
| Files available
| DOI
M. Giacobbe, Automatic Time-Unbounded Reachability Analysis of Hybrid Systems, IST Austria, 2019.
2019 | Conference Paper | IST-REx-ID: 6933
Fast approximate shortest paths in the congested clique
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, ACM, 2019, pp. 74–83.
View
| DOI
| Download (ext.)
| arXiv
K. Censor-Hillel, M. Dory, J. Korhonen, D. Leitersdorf, in:, Proceedings of the 2019 ACM Symposium on Principles of Distributed Computin, ACM, 2019, pp. 74–83.
2019 | Journal Article | IST-REx-ID: 6940
Berezinskii-Kosterlitz-Thouless paired phase in coupled XY models
G. Bighin, N. Defenu, I. Nándori, L. Salasnich, A. Trombettoni, Physical Review Letters 123 (2019) 100601.
View
| DOI
| Download (ext.)
| arXiv
G. Bighin, N. Defenu, I. Nándori, L. Salasnich, A. Trombettoni, Physical Review Letters 123 (2019) 100601.
2019 | Journal Article | IST-REx-ID: 151
Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity
J.L. Fischer, O. Kneuss, Journal of Differential Equations 266 (2019) 257–311.
View
| DOI
| Download (ext.)
| arXiv
J.L. Fischer, O. Kneuss, Journal of Differential Equations 266 (2019) 257–311.
2019 | Journal Article | IST-REx-ID: 170
Counting rational points on quartic del Pezzo surfaces with a rational conic
T.D. Browning, E. Sofos, Mathematische Annalen 373 (2019) 977–1016.
View
| Files available
| DOI
| arXiv
T.D. Browning, E. Sofos, Mathematische Annalen 373 (2019) 977–1016.
2019 | Journal Article | IST-REx-ID: 175
Sieving rational points on varieties
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
View
| Download (ext.)
| arXiv
T.D. Browning, D. Loughran, Transactions of the American Mathematical Society 371 (2019) 5757–5785.
2019 | Journal Article | IST-REx-ID: 5789
Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling
N. Petridou, S. Grigolon, G. Salbreux, E. Hannezo, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 169–178.
View
| Files available
| DOI
N. Petridou, S. Grigolon, G. Salbreux, E. Hannezo, C.-P.J. Heisenberg, Nature Cell Biology 21 (2019) 169–178.
2019 | Journal Article | IST-REx-ID: 5943
Experiments on a jet in a crossflow in the low-velocity-ratio regime
L. Klotz, K. Gumowski, J.E. Wesfreid, Journal of Fluid Mechanics 863 (2019) 386–406.
View
| DOI
L. Klotz, K. Gumowski, J.E. Wesfreid, Journal of Fluid Mechanics 863 (2019) 386–406.
2019 | Conference Paper | IST-REx-ID: 5948
Termination of nondeterministic probabilistic programs
H. Fu, K. Chatterjee, 11388 (2019) 468–490.
View
| DOI
H. Fu, K. Chatterjee, 11388 (2019) 468–490.
2019 | Journal Article | IST-REx-ID: 5878
State space geometry of the chaotic pilot-wave hydrodynamics
N.B. Budanur, M. Fleury, Chaos: An Interdisciplinary Journal of Nonlinear Science 29 (2019) 013122.
View
| Files available
| DOI
N.B. Budanur, M. Fleury, Chaos: An Interdisciplinary Journal of Nonlinear Science 29 (2019) 013122.
2019 | Journal Article | IST-REx-ID: 6023
A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis
S. Yoshida, A. Van Der Schuren, M. Van Dop, L. Van Galen, S. Saiga, M. Adibi, B. Möller, C.A. Ten Hove, P. Marhavy, R. Smith, J. Friml, D. Weijers, Nature Plants 5 (2019) 160–166.
View
| DOI
| Download (ext.)
S. Yoshida, A. Van Der Schuren, M. Van Dop, L. Van Galen, S. Saiga, M. Adibi, B. Möller, C.A. Ten Hove, P. Marhavy, R. Smith, J. Friml, D. Weijers, Nature Plants 5 (2019) 160–166.
2019 | Journal Article | IST-REx-ID: 6028
A solution theory for quasilinear singular SPDEs
M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics (2019).
View
| Files available
| DOI
M. Gerencser, M. Hairer, Communications on Pure and Applied Mathematics (2019).
2019 | Conference Paper | IST-REx-ID: 6035
JuliaReach: A toolbox for set-based reachability
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, n.d., pp. 39–44.
View
| Files available
| DOI
| Download (ext.)
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control, ACM, n.d., pp. 39–44.
2019 | Conference Paper | IST-REx-ID: 6042
Semantic fault localization and suspiciousness ranking
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
View
| Files available
| DOI
M. Christakis, M. Heizmann, M.N. Mansur, C. Schilling, V. Wüstholz, in:, 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Springer Nature, 2019, pp. 226–243.
2019 | Journal Article | IST-REx-ID: 6105
A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology (2019).
View
| Files available
| DOI
M. Kutzer, J. Kurtz, S.A.O. Armitage, Journal of Animal Ecology (2019).
2019 | Journal Article | IST-REx-ID: 6092
Quantum many-body dynamics of the Einstein-de Haas effect
J.H. Mentink, M. Katsnelson, M. Lemeshko, Physical Review B 99 (2019) 064428.
View
| DOI
| Download (ext.)
| arXiv
J.H. Mentink, M. Katsnelson, M. Lemeshko, Physical Review B 99 (2019) 064428.
2019 | Journal Article | IST-REx-ID: 6232
Boundary regularity of stochastic PDEs
M. Gerencser, Annals of Probability 47 (2019) 804–834.
View
| DOI
| Download (ext.)
| arXiv
M. Gerencser, Annals of Probability 47 (2019) 804–834.
2019 | Journal Article | IST-REx-ID: 6174
Kosterlitz-Thouless scaling at many-body localization phase transitions
P.T. Dumitrescu, A. Goremykina, S.A. Parameswaran, M. Serbyn, R. Vasseur, Physical Review B 99 (2019).
View
| DOI
| Download (ext.)
| arXiv
P.T. Dumitrescu, A. Goremykina, S.A. Parameswaran, M. Serbyn, R. Vasseur, Physical Review B 99 (2019).
2019 | Journal Article | IST-REx-ID: 6338
Hippocampal reactivation of random trajectories resembling Brownian diffusion
F. Stella, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 102 (2019) 1–12.
View
| Files available
| DOI
F. Stella, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 102 (2019) 1–12.
2019 | Journal Article | IST-REx-ID: 6465
A modular degron library for synthetic circuits in mammalian cells
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019) 2013.
View
| Files available
| DOI
H. Chassin, M. Müller, M. Tigges, L. Scheller, M. Lang, M. Fussenegger, Nature Communications 10 (2019) 2013.
2019 | Journal Article | IST-REx-ID: 6352
Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure
A.A. Temnov, K.A. Rogov, A.N. Sklifas, E.V. Klychnikova, M. Hartl, K. Djinovic-Carugo, A. Charnagalov, Molecular Biology Reports (2019).
View
| Files available
| DOI
A.A. Temnov, K.A. Rogov, A.N. Sklifas, E.V. Klychnikova, M. Hartl, K. Djinovic-Carugo, A. Charnagalov, Molecular Biology Reports (2019).
2019 | Journal Article | IST-REx-ID: 6415
Pathogens and disease defense of invasive ants
S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68.
View
| DOI
S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68.
2019 | Journal Article | IST-REx-ID: 6713
An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019) e42014.
View
| Files available
| DOI
J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019) e42014.
2019 | Conference Paper | IST-REx-ID: 6725
Testing the complexity of a valued CSP language
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
View
| Files available
| DOI
| arXiv
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
2019 | Journal Article | IST-REx-ID: 6559
Multiscale dynamics of branching morphogenesis
E.B. Hannezo, B.D. Simons, Current Opinion in Cell Biology 60 (2019) 99–105.
View
| DOI
| PubMed | Europe PMC
E.B. Hannezo, B.D. Simons, Current Opinion in Cell Biology 60 (2019) 99–105.
2019 | Journal Article | IST-REx-ID: 6566
Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks
M. Ibáñez, A. Genç, R. Hasler, Y. Liu, O. Dobrozhan, O. Nazarenko, M. de la Mata, J. Arbiol, A. Cabot, M.V. Kovalenko, ACS Nano 13 (2019) 6572–6580.
View
| Files available
| DOI
| PubMed | Europe PMC
M. Ibáñez, A. Genç, R. Hasler, Y. Liu, O. Dobrozhan, O. Nazarenko, M. de la Mata, J. Arbiol, A. Cabot, M.V. Kovalenko, ACS Nano 13 (2019) 6572–6580.
2019 | Journal Article | IST-REx-ID: 6504
Auxin-mediated statolith production for root gravitropism
Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist (2019).
View
| DOI
| PubMed | Europe PMC
Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist (2019).
2019 | Journal Article | IST-REx-ID: 6511
Local single ring theorem on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.
View
| DOI
| Download (ext.)
| arXiv
Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.
2019 | Conference Paper | IST-REx-ID: 6528
Simple verifiable delay functions
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 60.
View
| Files available
| DOI
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 60.
2019 | Journal Article | IST-REx-ID: 6617
The choice of representative volumes in the approximation of effective properties of random materials
J.L. Fischer, Archive for Rational Mechanics and Analysis (2019).
View
| Files available
| DOI
| arXiv
J.L. Fischer, Archive for Rational Mechanics and Analysis (2019).
2019 | Journal Article | IST-REx-ID: 6631
Cell division and tissue mechanics
B.G. Godard, C.-P.J. Heisenberg, Current Opinion in Cell Biology 60 (2019) 114–120.
View
| DOI
B.G. Godard, C.-P.J. Heisenberg, Current Opinion in Cell Biology 60 (2019) 114–120.
2019 | Conference Paper | IST-REx-ID: 6648
Topological data analysis in information space
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
View
| Files available
| DOI
| arXiv
H. Edelsbrunner, Z. Virk, H. Wagner, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 31:1-31:14.
2019 | Journal Article | IST-REx-ID: 6477
Colloquium: Many-body localization, thermalization, and entanglement
D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019) 021001.
View
| Files available
| DOI
| arXiv
D.A. Abanin, E. Altman, I. Bloch, M. Serbyn, Reviews of Modern Physics 91 (2019) 021001.
2019 | Journal Article | IST-REx-ID: 6650
Volume-aware design of composite molds
T. Alderighi, L. Malomo, D. Giorgi, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 38 (2019) 110.
View
| Files available
| DOI
T. Alderighi, L. Malomo, D. Giorgi, B. Bickel, P. Cignoni, N. Pietroni, ACM Transactions on Graphics 38 (2019) 110.
2019 | Journal Article | IST-REx-ID: 6756
Unexpected topology of the temperature fluctuations in the cosmic microwave background
P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).
View
| Files available
| DOI
| arXiv
P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).
2019 | Journal Article | IST-REx-ID: 6763
Microwave induced mechanical activation of hydrogel dimers
H.K. Khattak, S.R. Waitukaitis, A.D. Slepkov, Soft Matter 15 (2019) 5804–5809.
View
| DOI
| PubMed | Europe PMC
H.K. Khattak, S.R. Waitukaitis, A.D. Slepkov, Soft Matter 15 (2019) 5804–5809.
2019 | Journal Article | IST-REx-ID: 6662
Fundamental limits of weak recovery with applications to phase retrieval
M. Mondelli, A. Montanari, Foundations of Computational Mathematics 19 (2019) 703–773.
View
| DOI
| Download (ext.)
| arXiv
M. Mondelli, A. Montanari, Foundations of Computational Mathematics 19 (2019) 703–773.
2019 | Thesis | IST-REx-ID: 6371
On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
View
| Files available
| DOI
C. Igler, On the Nature of Gene Regulatory Design - The Biophysics of Transcription Factor Binding Shapes Gene Regulation, IST Austria, 2019.
2019 | Journal Article | IST-REx-ID: 5828
Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze
H. Xu, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 101 (2019) 119–132.e4.
View
| Files available
| DOI
H. Xu, P. Baracskay, J. O’Neill, J.L. Csicsvari, Neuron 101 (2019) 119–132.e4.
2019 | Journal Article | IST-REx-ID: 6821
Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses
M.R. Yourick, B.A. Sandkam, W.J. Gammerdinger, D. Escobar-Camacho, S.P. Nandamuri, F.E. Clark, B. Joyce, M.A. Conte, T.D. Kocher, K.L. Carleton, Molecular Ecology Resources (2019).
View
| DOI
| PubMed | Europe PMC
M.R. Yourick, B.A. Sandkam, W.J. Gammerdinger, D. Escobar-Camacho, S.P. Nandamuri, F.E. Clark, B. Joyce, M.A. Conte, T.D. Kocher, K.L. Carleton, Molecular Ecology Resources (2019).
2019 | Journal Article | IST-REx-ID: 6819
Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, BMC Research Notes 12 (2019).
View
| Files available
| DOI
| PubMed | Europe PMC
M.N. Antoniou, A. Nicolas, R. Mesnage, M. Biserni, F.V. Rao, C.V. Martin, BMC Research Notes 12 (2019).
2019 | Journal Article | IST-REx-ID: 6840
Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps
K. Mysliwy, M. Napiórkowski, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019) 063101.
View
| DOI
| Download (ext.)
| arXiv
K. Mysliwy, M. Napiórkowski, Journal of Statistical Mechanics: Theory and Experiment 2019 (2019) 063101.
2019 | Journal Article | IST-REx-ID: 6491
Publisher correction: Resonant electro-optic frequency comb
A.R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, H.G.L. Schwefel, Nature 569 (2019) E11.
View
| Files available
| DOI
A.R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, H.G.L. Schwefel, Nature 569 (2019) E11.
2019 | Journal Article | IST-REx-ID: 5986
A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations
A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.
View
| Files available
| DOI
| arXiv
A. Lubiw, Z. Masárová, U. Wagner, Discrete & Computational Geometry 61 (2019) 880–898.
2019 | Thesis | IST-REx-ID: 6681
Algorithmic aspects of homotopy theory and embeddability
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
View
| Files available
| DOI
S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, IST Austria, 2019.
2019 | Thesis | IST-REx-ID: 6179
From Dyson to Pearcey: Universal statistics in random matrix theory
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
View
| Files available
| DOI
D.J. Schröder, From Dyson to Pearcey: Universal Statistics in Random Matrix Theory, IST Austria, 2019.
2019 | Conference Paper | IST-REx-ID: 6888
Designing worm-inspired neural networks for interpretable robotic control
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019, p. 8793840.
View
| DOI
M. Lechner, R. Hasani, M. Zimmer, T.A. Henzinger, R. Grosu, in:, Proceedings - IEEE International Conference on Robotics and Automation, IEEE, 2019, p. 8793840.
2019 | Book Chapter | IST-REx-ID: 6890
Structural analysis of pleomorphic and asymmetric viruses using cryo-electron tomography and subtomogram averaging
M. Obr, F.K. Schur, in:, F.A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function, Elsevier, 2019, pp. 117–159.
View
| DOI
| PubMed | Europe PMC
M. Obr, F.K. Schur, in:, F.A. Rey (Ed.), Complementary Strategies to Study Virus Structure and Function, Elsevier, 2019, pp. 117–159.
2019 | Journal Article | IST-REx-ID: 6857
Gene Drives: Dynamics and regulatory matters – A report from the workshop “Evaluation of spatial and temporal control of Gene Drives”, 4 – 5 April 2019, Vienna
B. Giese, J.L. Friess, M.F. Schetelig, N.H. Barton, P. Messer, F. Debarre, H. Meimberg, N. Windbichler, C. Boete, BioEssays (2019) 1900151.
View
| Files available
| DOI
B. Giese, J.L. Friess, M.F. Schetelig, N.H. Barton, P. Messer, F. Debarre, H. Meimberg, N. Windbichler, C. Boete, BioEssays (2019) 1900151.