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.
3770 Publications
2019 | Conference Paper | IST-REx-ID: 6885 | 
Chatterjee K, Henzinger TA, Otop J. 2019. Long-run average behavior of vector addition systems with states. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 27.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6889 |
Chatterjee K, Piterman N. 2019. Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140, 6.
View
| Files available
| DOI
2019 | 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.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6985 |
Hasani R, Amini A, Lechner M, Naser F, Grosu R, Rus D. 2019. Response characterization for auditing cell dynamics in long short-term memory networks. Proceedings of the International Joint Conference on Neural Networks. IJCNN: International Joint Conference on Neural Networks, 8851954.
View
| DOI
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7007 |
Mondelli M, Hassani SH, Urbanke R. 2019. A new coding paradigm for the primitive relay channel. Algorithms. 12(10), 218.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 7035 |
Geher GP, Titkos T, Virosztek D. 2019. Dirac masses and isometric rigidity. Kyoto RIMS Kôkyûroku. Research on isometries as preserver problems and related topics vol. 2125, 34–41.
View
| Download Submitted Version (ext.)
2019 | Journal Article | IST-REx-ID: 7190 |
Huber D, Hammer H-W, Volosniev A. 2019. In-medium bound states of two bosonic impurities in a one-dimensional Fermi gas. Physical Review Research. 1(3), 033177.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 7401 |
Fulek R, Kyncl J. 2019. Z_2-Genus of graphs and minimum rank of partial symmetric matrices. 35th International Symposium on Computational Geometry (SoCG 2019). SoCG: Symposium on Computational Geometry, LIPIcs, vol. 129, 39.
View
| Files available
| DOI
| arXiv
2019 | Book Chapter | IST-REx-ID: 7453 |
Alur R, Giacobbe M, Henzinger TA, Larsen KG, Mikučionis M. 2019.Continuous-time models for system design and analysis. In: Computing and Software Science. Lecture Notes in Computer Science, vol. 10000, 452–477.
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 7550 |
Portinale L, Stefanelli U. 2019. Penalization via global functionals of optimal-control problems for dissipative evolution. Advances in Mathematical Sciences and Applications. 28(2), 425–447.
View
| Download Preprint (ext.)
| arXiv
2019 | Preprint | IST-REx-ID: 7552 |
Bialek W, Gregor T, Tkačik G. Action at a distance in transcriptional regulation. arXiv:1912.08579, .
View
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 7576 |
Immler F, Althoff M, Benet L, Chapoutot A, Chen X, Forets M, Geretti L, Kochdumper N, Sanders DP, Schilling C. 2019. ARCH-COMP19 Category Report: Continuous and hybrid systems with nonlinear dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 41–61.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 8175 |
Betea D, Bouttier J, Nejjar P, Vuletíc M. 2019. New edge asymptotics of skew Young diagrams via free boundaries. Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics. FPSAC: International Conference on Formal Power Series and Algebraic Combinatorics, 34.
View
| Download Preprint (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 8570 |
Althoff M, Bak S, Forets M, Frehse G, Kochdumper N, Ray R, Schilling C, Schupp S. 2019. ARCH-COMP19 Category Report: Continuous and hybrid systems with linear continuous dynamics. EPiC Series in Computing. ARCH: International Workshop on Applied Verification on Continuous and Hybrid Systems vol. 61, 14–40.
View
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 6819 |
Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. 2019. Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells. BMC Research Notes. 12, 494.
View
| Files available
| DOI
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9784 |
Antoniou MN, Nicolas A, Mesnage R, Biserni M, Rao FV, Martin CV. 2019. MOESM1 of Glyphosate does not substitute for glycine in proteins of actively dividing mammalian cells, Springer Nature, 10.6084/m9.figshare.9411761.v1.
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Research Data Reference | IST-REx-ID: 9839 |
Polechova J. 2019. Data from: Is the sky the limit? On the expansion threshold of a species’ range, Dryad, 10.5061/dryad.5vv37.
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Preprint | IST-REx-ID: 8305 |
Kokoris Kogias E, Spiegelman A, Malkhi D, Abraham I. Bootstrapping consensus without trusted setup: fully asynchronous distributed key generation. Cryptology ePrint Archive, 2019/1015.
View
| Download Preprint (ext.)
2019 | Conference Abstract | IST-REx-ID: 12901 |
Schlögl A, Kiss J, Elefante S. 2019. Is Debian suitable for running an HPC Cluster? AHPC19 - Austrian HPC Meeting 2019 . AHPC: Austrian HPC Meeting, 25.
View
| Files available
| Download Published Version (ext.)
2019 | Conference Paper | IST-REx-ID: 6989 |
Aichholzer O, Akitaya HA, Cheung KC, Demaine ED, Demaine ML, Fekete SP, Kleist L, Kostitsyna I, Löffler M, Masárová Z, Mundilova K, Schmidt C. 2019. Folding polyominoes with holes into a cube. Proceedings of the 31st Canadian Conference on Computational Geometry. CCCG: Canadian Conference in Computational Geometry, 164–170.
View
| Files available
| Download Published Version (ext.)
| arXiv
2019 | Conference Paper | IST-REx-ID: 6647 |
Fulek R, Gärtner B, Kupavskii A, Valtr P, Wagner U. 2019. The crossing Tverberg theorem. 35th International Symposium on Computational Geometry. SoCG 2019: Symposium on Computational Geometry, LIPIcs, vol. 129, 38:1-38:13.
View
| Files available
| DOI
| arXiv
2019 | Conference Paper | IST-REx-ID: 6884 |
Avni G, Henzinger TA, Zikelic D. 2019. Bidding mechanisms in graph games. MFCS: nternational Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 138, 11.
View
| Files available
| DOI
| arXiv
2019 | Research Data | IST-REx-ID: 7154 |
Guseinov R. 2019. Supplementary data for ‘Programming temporal morphing of self-actuated shells’, IST Austria, 10.15479/AT:ISTA:7154.
View
| Files available
| DOI
2019 | Research Data | IST-REx-ID: 7016 |
Tomanek I. 2019. Data for the paper ‘Gene amplification as a form of population-level gene expression regulation’, IST Austria, 10.15479/AT:ISTA:7016.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 6671 |
Boissonnat J-D, Lieutier A, Wintraecken M. 2019. The reach, metric distortion, geodesic convexity and the variation of tangent spaces. Journal of Applied and Computational Topology. 3(1–2), 29–58.
View
| Files available
| DOI
2019 | Journal Article | IST-REx-ID: 301 |
Gerencser M, Gyöngy I. 2019. A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and their Applications. 129(3), 995–1012.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 80 |
Deuchert A, Seiringer R, Yngvason J. 2019. Bose–Einstein condensation in a dilute, trapped gas at positive temperature. Communications in Mathematical Physics. 368(2), 723–776.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 5911 |
Faria R, Johannesson K, Butlin RK, Westram AM. 2019. Evolving inversions. Trends in Ecology and Evolution. 34(3), 239–248.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 439 |
Hausel T, Mereb M, Wong M. 2019. Arithmetic and representation theory of wild character varieties. Journal of the European Mathematical Society. 21(10), 2995–3052.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 105 |
Marsh A, Novarino G, Lockhart P, Leventer R. 2019. CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63. European Journal of Human Genetics. 27, 161–166.
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 65 |
Dareiotis K, Gerencser M, Gess B. 2019. Entropy solutions for stochastic porous media equations. Journal of Differential Equations. 266(6), 3732–3763.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 5907 |
Mócsai R, Figl R, Troschl C, Strasser R, Svehla E, Windwarder M, Thader A, Altmann F. 2019. N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated. Scientific Reports. 9(1), 331.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 5908 |
Lee E, Vanneste S, Pérez-Sancho J, Benitez-Fuente F, Strelau M, Macho AP, Botella MA, Friml J, Rosado A. 2019. Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SYT1 contact site expansion in Arabidopsis. Proceedings of the National Academy of Sciences of the United States of America. 116(4), 1420–1429.
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 72 |
Ferrari P, Ghosal P, Nejjar P. 2019. Limit law of a second class particle in TASEP with non-random initial condition. Annales de l’institut Henri Poincare (B) Probability and Statistics. 55(3), 1203–1225.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 5790 |
Chaplick S, Fulek R, Klavík P. 2019. Extending partial representations of circle graphs. Journal of Graph Theory. 91(4), 365–394.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 405 |
Virosztek D. 2019. Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. 576, 67–78.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 175 |
Browning TD, Loughran D. 2019. Sieving rational points on varieties. Transactions of the American Mathematical Society. 371(8), 5757–5785.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 319 |
Gerencser M, Hairer M. 2019. Singular SPDEs in domains with boundaries. Probability Theory and Related Fields. 173(3–4), 697–758.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 429 |
Ajanki OH, Erdös L, Krüger TH. 2019. Stability of the matrix Dyson equation and random matrices with correlations. Probability Theory and Related Fields. 173(1–2), 293–373.
View
| Files available
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 5947 |
Chatterjee B, Peri S, Sa M, Singhal N. 2019. A simple and practical concurrent non-blocking unbounded graph with linearizable reachability queries. ACM International Conference Proceeding Series. ICDCN: Conference on Distributed Computing and Networking, 168–177.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 5857 |
Fulek R, Pach J. 2019. Thrackles: An improved upper bound. Discrete Applied Mathematics. 259(4), 266–231.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 5944 |
Corominas-Murtra B. 2019. Thermodynamics of duplication thresholds in synthetic protocell systems. Life. 9(1), 9.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6029 |
Lindner M, Tresztenyak A, Fülöp G, Jahr W, Prinz A, Prinz I, Danzl JG, Schütz GJ, Sevcsik E. 2019. A fast and simple contact printing approach to generate 2D protein nanopatterns. Frontiers in Chemistry. 6, 655.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6028 |
Gerencser M, Hairer M. 2019. A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics. 72(9), 1983–2005.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 5945 |
Petkova MD, Tkačik G, Bialek W, Wieschaus EF, Gregor T. 2019. Optimal decoding of cellular identities in a genetic network. Cell. 176(4), 844–855.e15.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 5943 |
Klotz L, Gumowski K, Wesfreid JE. 2019. Experiments on a jet in a crossflow in the low-velocity-ratio regime. Journal of Fluid Mechanics. 863, 386–406.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 6042 |
Christakis M, Heizmann M, Mansur MN, Schilling C, Wüstholz V. 2019. Semantic fault localization and suspiciousness ranking. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems . TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 11427, 226–243.
View
| Files available
| DOI
| WoS
2019 | Conference Paper | IST-REx-ID: 6035 |
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 2019. JuliaReach: A toolbox for set-based reachability. Proceedings of the 22nd International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control vol. 22, 39–44.
View
| Files available
| DOI
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6052 |
Truckenbrodt SM, Sommer CM, Rizzoli SO, Danzl JG. 2019. A practical guide to optimization in X10 expansion microscopy. Nature Protocols. 14(3), 832–863.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6025 |
Capek D, Smutny M, Tichy AM, Morri M, Janovjak HL, Heisenberg C-PJ. 2019. Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. eLife. 8, e42093.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6022 |
Merrill RM, Rastas P, Martin SH, Melo Hurtado MC, Barker S, Davey J, Mcmillan WO, Jiggins CD. 2019. Genetic dissection of assortative mating behavior. PLoS Biology. 17(2), e2005902.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6023 |
Yoshida S, Van Der Schuren A, Van Dop M, Van Galen L, Saiga S, Adibi M, Möller B, Ten Hove CA, Marhavý P, Smith R, Friml J, Weijers D. 2019. A SOSEKI-based coordinate system interprets global polarity cues in arabidopsis. Nature Plants. 5(2), 160–166.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6053 |
Kalaee M, Mirhosseini M, Dieterle PB, Peruzzo M, Fink JM, Painter O. 2019. Quantum electromechanics of a hypersonic crystal. Nature Nanotechnology. 14(4), 334–339.
View
| DOI
| Download Submitted Version (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6050 |
Akopyan A, Fedorov R. 2019. Two circles and only a straightedge. Proceedings of the American Mathematical Society. 147, 91–102.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6095 |
Faria R, Chaube P, Morales HE, Larsson T, Lemmon AR, Lemmon EM, Rafajlović M, Panova M, Ravinet M, Johannesson K, Westram AM, Butlin RK. 2019. Multiple chromosomal rearrangements in a hybrid zone between Littorina saxatilis ecotypes. Molecular Ecology. 28(6), 1375–1393.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6049 |
De Martino D. 2019. Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical. 52(4), 045002.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6089 |
Fraisse C, Puixeu Sala G, Vicoso B. 2019. Pleiotropy modulates the efficacy of selection in drosophila melanogaster. Molecular biology and evolution. 36(3), 500–515.
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6091 |
Henderson NT, Le Marchand SJ, Hruska M, Hippenmeyer S, Luo L, Dalva MB. 2019. Ephrin-B3 controls excitatory synapse density through cell-cell competition for EphBs. eLife. 8, e41563.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6046 |
Mitosch K, Rieckh G, Bollenbach MT. 2019. Temporal order and precision of complex stress responses in individual bacteria. Molecular systems biology. 15(2), e8470.
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6092 |
Mentink JH, Katsnelson M, Lemeshko M. 2019. Quantum many-body dynamics of the Einstein-de Haas effect. Physical Review B. 99(6), 064428.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6090 |
Carballo-Pacheco M, Desponds J, Gavrilchenko T, Mayer A, Prizak R, Reddy G, Nemenman I, Mora T. 2019. Receptor crosstalk improves concentration sensing of multiple ligands. Physical Review E. 99(2), 022423.
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6105 |
Kutzer M, Kurtz J, Armitage SAO. 2019. A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance. Journal of Animal Ecology. 88(4), 566–578.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6087 |
Xia P, Gütl DJ, Zheden V, Heisenberg C-PJ. 2019. Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity. Cell. 176(6), 1379–1392.e14.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Research Data Reference | IST-REx-ID: 9806 |
Kutzer M, Kurtz J, Armitage SAO. 2019. Data from: A multi-faceted approach testing the effects of previous bacterial exposure on resistance and tolerance, Dryad, 10.5061/dryad.9kj41f0.
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Journal Article | IST-REx-ID: 6086 |
Sadel C, Xu D. 2019. Singular analytic linear cocycles with negative infinite Lyapunov exponents. Ergodic Theory and Dynamical Systems. 39(4), 1082–1098.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6102 |
Le Feber B, Sipe JE, Wulf M, Kuipers L, Rotenberg N. 2019. A full vectorial mapping of nanophotonic light fields. Light: Science and Applications. 8(1), 28.
View
| Files available
| DOI
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6191 |
Recho P, Hallou A, Hannezo EB. 2019. Theory of mechanochemical patterning in biphasic biological tissues. Proceedings of the National Academy of Sciences of the United States of America. 116(12), 5344–5349.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6190 |
Roblek M, Protsyuk D, Becker PF, Stefanescu C, Gorzelanny C, Glaus Garzon JF, Knopfova L, Heikenwalder M, Luckow B, Schneider SW, Borsig L. 2019. CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis. Molecular Cancer Research. 17(3), 783–793.
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6230 |
Barton NH, Hermisson J, Nordborg M. 2019. Why structure matters. eLife. 8, e45380.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6232 |
Gerencser M. 2019. Boundary regularity of stochastic PDEs. Annals of Probability. 47(2), 804–834.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6262 |
Rakusová H, Han H, Valošek P, Friml J. 2019. Genetic screen for factors mediating PIN polarization in gravistimulated Arabidopsis thaliana hypocotyls. The Plant Journal. 98(6), 1048–1059.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6297 |
Davies HS, Baranova NS, El Amri N, Coche-Guérente L, Verdier C, Bureau L, Richter RP, Débarre D. 2019. An integrated assay to probe endothelial glycocalyx-blood cell interactions under flow in mechanically and biochemically well-defined environments. Matrix Biology. 78–79, 47–59.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6310 |
Browning TD, Hu LQ. 2019. Counting rational points on biquadratic hypersurfaces. Advances in Mathematics. 349, 920–940.
View
| Files available
| DOI
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6261 |
Wang Y, Gong Z, Friml J, Zhang J. 2019. Nitrate modulates the differentiation of root distal stem cells. Plant Physiology. 180(1), 22–25.
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6352 |
Temnov AA, Rogov KA, Sklifas AN, Klychnikova EV, Hartl M, Djinovic-Carugo K, Charnagalov A. 2019. Protective properties of the cultured stem cell proteome studied in an animal model of acetaminophen-induced acute liver failure. Molecular Biology Reports.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6348 |
Rueda Sanchez AR, Sedlmeir F, Kumari M, Leuchs G, Schwefel HGL. 2019. Resonant electro-optic frequency comb. Nature. 568(7752), 378–381.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6338 |
Stella F, Baracskay P, O’Neill J, Csicsvari JL. 2019. Hippocampal reactivation of random trajectories resembling Brownian diffusion. Neuron. 102, 450–461.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 5878 |
Budanur NB, Fleury M. 2019. State space geometry of the chaotic pilot-wave hydrodynamics. Chaos: An Interdisciplinary Journal of Nonlinear Science. 29(1), 013122.
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Conference Paper | IST-REx-ID: 6428 |
Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. 2019. Interface-aware signal temporal logic. Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. HSCC: Hybrid Systems Computation and Control, 57–66.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6442 |
Schreck C, Hafner C, Wojtan C. 2019. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 38(4), 130.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6413 |
Song B, Plana C, Lopez Alonso JM, Avila M. 2019. Phase-field simulation of core-annular pipe flow. International Journal of Multiphase Flow. 117, 14–24.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6419 |
Pokusaeva V, Usmanova DR, Putintseva EV, Espinar L, Sarkisyan K, Mishin AS, Bogatyreva NS, Ivankov D, Akopyan A, Avvakumov S, Povolotskaya IS, Filion GJ, Carey LB, Kondrashov F. 2019. An experimental assay of the interactions of amino acids from orthologous sequences shaping a complex fitness landscape. PLoS Genetics. 15(4), e1008079.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6418 |
Huylmans AK, Toups MA, Macon A, Gammerdinger WJ, Vicoso B. 2019. Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome. Genome biology and evolution. 11(4), 1033–1044.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6412 |
Moussa HF, Bsteh D, Yelagandula R, Pribitzer C, Stecher K, Bartalska K, Michetti L, Wang J, Zepeda-Martinez JA, Elling U, Stuckey JI, James LI, Frye SV, Bell O. 2019. Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 10(1), 1931.
View
| Files available
| DOI
| WoS
2019 | Research Data | IST-REx-ID: 6060 |
Vicoso B. 2019. Supplementary data for ‘Sex-biased gene expression and dosage compensation on the Artemia franciscana Z-chromosome’ (Huylman, Toups et al., 2019). , IST Austria, 10.15479/AT:ISTA:6060.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6462 |
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561, 630–649.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6477 |
Abanin DA, Altman E, Bloch I, Serbyn M. 2019. Colloquium: Many-body localization, thermalization, and entanglement. Reviews of Modern Physics. 91(2), 021001.
View
| Files available
| DOI
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6466 |
Field D, Fraisse C. 2019. Breaking down barriers in morning glories. Molecular ecology. 28(7), 1579–1581.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6465 |
Chassin H, Müller M, Tigges M, Scheller L, Lang M, Fussenegger M. 2019. A modular degron library for synthetic circuits in mammalian cells. Nature Communications. 10(1), 2013.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6467 |
Fraisse C, Welch JJ. 2019. The distribution of epistasis on simple fitness landscapes. Biology Letters. 15(4), 0881.
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6470 |
Éltes T, Szoboszlay M, Szigeti MK, Nusser Z. 2019. Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells. Journal of Physiology. 597(11), 2925–2947.
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Conference Paper | IST-REx-ID: 6493 |
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.
View
| Files available
| DOI
| WoS
2019 | Journal Article | IST-REx-ID: 6504 |
Zhang Y, He P, Ma X, Yang Z, Pang C, Yu J, Wang G, Friml J, Xiao G. 2019. Auxin-mediated statolith production for root gravitropism. New Phytologist. 224(2), 761–774.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6506 |
Noda-García L, Davidi D, Korenblum E, Elazar A, Putintseva E, Aharoni A, Tawfik DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 4(7), 1221–1230.
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6521 |
Maes ME, Colombo G, Schulz R, Siegert S. 2019. Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters. 707, 134310.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6513 |
Guiu J, Hannezo EB, Yui S, Demharter S, Ulyanchenko S, Maimets M, Jørgensen A, Perlman S, Lundvall L, Mamsen LS, Larsen A, Olesen RH, Andersen CY, Thuesen LL, Hare KJ, Pers TH, Khodosevich K, Simons BD, Jensen KB. 2019. Tracing the origin of adult intestinal stem cells. Nature. 570, 107–111.
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6564 |
Tichy A-M, Gerrard EJ, Legrand JMD, Hobbs RM, Janovjak HL. 2019. Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions. Journal of Molecular Biology. 431(17), 3046–3055.
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Journal Article | IST-REx-ID: 6552 |
Cremer S. 2019. Social immunity in insects. Current Biology. 29(11), R458–R463.
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6511 |
Bao Z, Erdös L, Schnelli K. 2019. Local single ring theorem on optimal scale. Annals of Probability. 47(3), 1270–1334.
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6566 |
Ibáñez M, Genç A, Hasler R, Liu Y, Dobrozhan O, Nazarenko O, Mata M de la, Arbiol J, Cabot A, Kovalenko MV. 2019. Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks. ACS Nano. 13(6), 6572–6580.
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC