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.

2424 Publications


2019 | Journal Article | IST-REx-ID: 6779   OA
Suri B, Pallantla RK, Schatz MF, Grigoriev RO. 2019. Heteroclinic and homoclinic connections in a Kolmogorov-like flow. Physical Review E. 100(1), 013112.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6793   OA
Akopyan A, Izmestiev I. 2019. The Regge symmetry, confocal conics, and the Schläfli formula. Bulletin of the London Mathematical Society.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6628   OA
Vegter G, Wintraecken M. 2019. The extrinsic nature of the Hausdorff distance of optimal triangulations of manifolds. The 31st Canadian Conference in Computational Geometry. CCCG: Canadian Conference in Computational Geometry 275–279.
View | Files available
 

2019 | Journal Article | IST-REx-ID: 6818
Yumusak C, Prochazkova AJ, Apaydin DH, Seelajaroen H, Sariciftci NS, Weiter M, Krajcovic J, Qin Y, Zhang W, Zhan J, Kovalenko A. 2019. Indigoidine - Biosynthesized organic semiconductor. Dyes and Pigments. 171.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6832
Krndija D, Marjou FE, Guirao B, Richon S, Leroy O, Bellaiche Y, Hannezo EB, Vignjevic DM. 2019. Active cell migration is critical for steady-state epithelial turnover in the gut. Science. 365(6454), 705–710.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6844   OA
Picco N, Hippenmeyer S, Rodarte J, Streicher C, Molnár Z, Maini PK, Woolley TE. 2019. A mathematical insight into cell labelling experiments for clonal analysis. Journal of Anatomy. 235(3), 686–696.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6837
Tavano S, Heisenberg C-PJ. 2019. Migrasomes take center stage. Nature Cell Biology. 21(8), 918–920.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6515   OA
Dyer R, Vegter G, Wintraecken M. 2019. Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . 10(1), 223–256.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6868   OA
Byczkowicz N, Eshra A, Montanaro-Punzengruber J-C, Trevisiol A, Hirrlinger J, Kole MH, Shigemoto R, Hallermann S. 2019. HCN channel-mediated neuromodulation can control action potential velocity and fidelity in central axons. eLife. 8, e42766.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6680   OA
Sachdeva H. 2019. Effect of partial selfing and polygenic selection on establishment in a new habitat. Evolution. 73(9), 1729–1745.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6546
Valosková K. 2019. The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration, IST Austria, 141p.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6363
Espinoza Martinez CM. 2019. Parvalbumin+ interneurons enable efficient pattern separation in hippocampal microcircuits, IST Austria, 140p.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6825
Käfer K. 2019. The hippocampus and medial prefrontal cortex during flexible behavior, IST Austria, 89p.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5911
Faria R, Johannesson K, Butlin RK, Westram AM. 2019. Evolving inversions. Trends in Ecology and Evolution.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6856
Pickup M, Barton NH, Brandvain Y, Fraisse C, Yakimowski S, Dixit T, Lexer C, Cereghetti E, Field D. Mating system variation in hybrid zones: Facilitation, barriers and asymmetries to gene flow. New Phytologist.
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6887   OA
Chatterjee K, Dvorák W, Henzinger M, 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.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6899   OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6919   OA
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.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6849
Rangel Guerrero DK. 2019. The role of CCK-interneurons in regulating hippocampal network dynamics, IST Austria, 97p.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6894   OA
Giacobbe M. 2019. Automatic time-unbounded reachability analysis of hybrid systems, IST Austria, 132p.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6933   OA
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.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6940   OA
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.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 151   OA
Fischer JL, Kneuss O. 2019. Bi-Sobolev solutions to the prescribed Jacobian inequality in the plane with L p data and applications to nonlinear elasticity. Journal of Differential Equations. 266(1), 257–311.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 175   OA
Browning TD, Loughran D. 2019. Sieving rational points on varieties. Transactions of the American Mathematical Society. 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. 2019. Fluidization-mediated tissue spreading by mitotic cell rounding and non-canonical Wnt signalling. Nature Cell Biology. 21, 169–178.
View | Files available | DOI
 

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
 

2019 | Conference Paper | IST-REx-ID: 5948
Fu H, Chatterjee K. 2019. Termination of nondeterministic probabilistic programs (eds. C. Enea & R. Piskac). 11388, 468–490.
View | DOI
 

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
 

2019 | Journal Article | IST-REx-ID: 6023   OA
Yoshida S, Van Der Schuren A, Van Dop M, Van Galen L, Saiga S, Adibi M, Möller B, Ten Hove CA, Marhavy 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 (ext.)
 

2019 | Journal Article | IST-REx-ID: 6028   OA
Gerencser M, Hairer M. 2019. A solution theory for quasilinear singular SPDEs. Communications on Pure and Applied Mathematics.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6035   OA
Bogomolov S, Forets M, Frehse G, Potomkin K, Schilling C. 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, International Conference on Hybrid Systems: Computation and Control, vol. 22. 39–44.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6042   OA
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
 

2019 | Journal Article | IST-REx-ID: 6105   OA
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.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6092   OA
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 (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6232   OA
Gerencser M. 2019. Boundary regularity of stochastic PDEs. Annals of Probability. 47(2), 804–834.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6174   OA
Dumitrescu PT, Goremykina A, Parameswaran SA, Serbyn M, Vasseur R. 2019. Kosterlitz-Thouless scaling at many-body localization phase transitions. Physical Review B. 99(9).
View | DOI | Download (ext.) | 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, 1–12.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6465   OA
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
 

2019 | Journal Article | IST-REx-ID: 6352   OA
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
 

2019 | Journal Article | IST-REx-ID: 6415
Cremer S. 2019. Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. 33, 63–68.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6713   OA
Castro JP, Yancoskie MN, Marchini M, Belohlavy S, Hiramatsu L, Kučka M, Beluch WH, Naumann R, Skuplik I, Cobb J, Barton NH, Rolian C, Chan YF. 2019. An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. eLife. 8, e42014.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6725   OA
Kolmogorov V. 2019. Testing the complexity of a valued CSP language. 46th International Colloquium on Automata, Languages and Programming. ICALP 2019: International Colloquim on Automata, Languages and Programming, LIPIcs, vol. 132. 77:1-77:12.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6559
Hannezo EB, Simons BD. 2019. Multiscale dynamics of branching morphogenesis. Current Opinion in Cell Biology. 60, 99–105.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6566   OA
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 | PubMed | Europe PMC
 

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.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6511   OA
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 (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6528   OA
Pietrzak KZ. 2019. Simple verifiable delay functions. 10th Innovations in Theoretical Computer Science Conference. ITCS 2019: Innovations in Theoretical Computer Science, LIPIcs, vol. 124. 60.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6617   OA
Fischer JL. 2019. The choice of representative volumes in the approximation of effective properties of random materials. Archive for Rational Mechanics and Analysis.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6631
Godard BG, Heisenberg C-PJ. 2019. Cell division and tissue mechanics. Current Opinion in Cell Biology. 60, 114–120.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 6648   OA
Edelsbrunner H, Virk Z, Wagner H. 2019. Topological data analysis in information space. 35th International Symposium on Computational Geometry. SoCG 2019: Symposium on Computational Geometry, LIPIcs, vol. 129. 31:1-31:14.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6477   OA
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 | arXiv
 

2019 | Journal Article | IST-REx-ID: 6650   OA
Alderighi T, Malomo L, Giorgi D, Bickel B, Cignoni P, Pietroni N. 2019. Volume-aware design of composite molds. ACM Transactions on Graphics. 38(4), 110.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6756   OA
Pranav P, Adler RJ, Buchert T, Edelsbrunner H, Jones BJT, Schwartzman A, Wagner H, Van De Weygaert R. 2019. Unexpected topology of the temperature fluctuations in the cosmic microwave background. Astronomy and Astrophysics. 627.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6763
Khattak HK, Waitukaitis SR, Slepkov AD. 2019. Microwave induced mechanical activation of hydrogel dimers. Soft Matter. 15(29), 5804–5809.
View | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6371
Igler C. 2019. On the nature of gene regulatory design - The biophysics of transcription factor binding shapes gene regulation, IST Austria, 152p.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5828
Xu H, Baracskay P, O’Neill J, Csicsvari JL. 2019. Assembly responses of hippocampal CA1 place cells predict learned behavior in goal-directed spatial tasks on the radial eight-arm maze. Neuron. 101(1), 119–132.e4.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6821
Yourick MR, Sandkam BA, Gammerdinger WJ, Escobar-Camacho D, Nandamuri SP, Clark FE, Joyce B, Conte MA, Kocher TD, Carleton KL. 2019. Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses. Molecular Ecology Resources.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6819   OA
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.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6840   OA
Mysliwy K, Napiórkowski M. 2019. Thermodynamics of inhomogeneous imperfect quantum gases in harmonic traps. Journal of Statistical Mechanics: Theory and Experiment. 2019(6), 063101.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6491
Rueda Sanchez AR, Sedlmeir F, Kumari M, Leuchs G, Schwefel HGL. 2019. Publisher correction: Resonant electro-optic frequency comb. Nature. 569, E11.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5986
Lubiw A, Masárová Z, Wagner U. 2019. A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations. Discrete & Computational Geometry. 61(4), 880–898.
View | Files available | DOI | arXiv
 

2019 | Thesis | IST-REx-ID: 6681   OA
Zhechev SY. 2019. Algorithmic aspects of homotopy theory and embeddability, IST Austria, 104p.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6179   OA
Schröder DJ. 2019. From Dyson to Pearcey: Universal statistics in random matrix theory, IST Austria, 375p.
View | Files available | DOI
 

2019 | 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.
View | DOI
 

2019 | 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. Complementary Strategies to Study Virus Structure and Function. Advances in Virus Research vol. 105. 117–159.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6857   OA
Giese B, Friess JL, Schetelig MF, Barton NH, Messer P, Debarre F, Meimberg H, Windbichler N, Boete C. 2019. 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. BioEssays., 1900151.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 138   OA
Nikolic N. 2019. Autoregulation of bacterial gene expression: lessons from the MazEF toxin–antitoxin system. Current Genetics. 65(1), 133–138.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 405   OA
Virosztek D. 2019. Jointly convex quantum Jensen divergences. Linear Algebra and Its Applications. 576, 67–78.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5944   OA
Corominas-Murtra B. 2019. Thermodynamics of duplication thresholds in synthetic protocell systems. Life. 9(1).
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5886   OA
Li X, Bighin G, Yakaboylu E, Lemeshko M. 2019. Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon. Molecular Physics.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5906
Goremykina A, Vasseur R, Serbyn M. 2019. Analytically Solvable Renormalization Group for the Many-Body Localization Transition. Physical Review Letters. 122(4).
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5817
Kavcic B, Sakashita A, Noguchi H, Ziherl P. 2019. Limiting shapes of confined lipid vesicles. Soft Matter. 15(4), 602–614.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6029   OA
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.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6050   OA
Akopyan A, Fedorov R. 2019. Two circles and only a straightedge. Proceedings of the American Mathematical Society. 147, 91–102.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6086   OA
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 (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6093   OA
Goudarzi M, Boquet-Pujadas A, Olivo-Marin JC, Raz E. 2019. Fluid dynamics during bleb formation in migrating cells in vivo. PLOS ONE. 14(2), e0212699.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6194
Boccara CN, Nardin M, Stella F, O’Neill J, Csicsvari JL. 2019. The entorhinal cognitive map is attracted to goals. Science. 363(6434), 1443–1447.
View | Files available | DOI
 

2019 | Research Data | IST-REx-ID: 6062
Nardin M. 2019. Supplementary Code and Data for the paper ‘The Entorhinal Cognitive Map is Attracted to Goals’, IST Austria,p.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6310   OA
Browning TD, Hu LQ. 2019. Counting rational points on biquadratic hypersurfaces. Advances in Mathematics. 349, 920–940.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6377
Dejonghe W, Sharma I, Denoo B, De Munck S, Lu Q, Mishev K, Bulut H, Mylle E, De Rycke R, Vasileva MK, Savatin DV, Nerinckx W, Staes A, Drozdzecki A, Audenaert D, Yperman K, Madder A, Friml J, Van Damme D, Gevaert K, Haucke V, Savvides SN, Winne J, Russinova E. 2019. Disruption of endocytosis through chemical inhibition of clathrin heavy chain function. Nature Chemical Biology.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6454   OA
Ortiz-Álvarez G, Daclin M, Shihavuddin A, Lansade P, Fortoul A, Faucourt M, Clavreul S, Lalioti M, Taraviras S, Hippenmeyer S, Livet J, Meunier A, Genovesio A, Spassky N. 2019. Adult neural stem cells and multiciliated ependymal cells share a common lineage regulated by the Geminin family members. Neuron. 102(1), 159–172.e7.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6466   OA
Field D, Fraisse C. 2019. Breaking down barriers in morning glories. Molecular ecology. 28(7), 1579–1581.
View | Files available | DOI
 

2019 | Conference Poster | IST-REx-ID: 6485
Koval N, Alistarh D-A, Elizarov R. 2019. Lock-free channels for programming via communicating sequential processes, ACM Press,p.
View | DOI
 

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 | DOI
 

2019 | Conference Paper | IST-REx-ID: 6430
Fuchsbauer G, Kamath Hosdurg C, Klein K, Pietrzak KZ. 2019. Adaptively secure proxy re-encryption. PKC: Public-Key Cryptograhy, LNCS, vol. 11443. 317–346.
View | DOI
 

2019 | Thesis | IST-REx-ID: 6435
Casillas Perez BE. 2019. Collective defenses of garden ants against a fungal pathogen, IST Austria, 183p.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6586   OA
Ibáñez M, Hasler R, Genç A, Liu Y, Kuster B, Schuster M, Dobrozhan O, Cadavid D, Arbiol J, Cabot A, Kovalenko MV. 2019. Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion. Journal of the American Chemical Society. 141(20), 8025–8029.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6601
Hannezo EB, Heisenberg C-PJ. 2019. Mechanochemical feedback loops in development and disease. Cell. 178(1), 12–25.
View | DOI
 

2019 | Book Chapter | IST-REx-ID: 6726
Walter M. 2019. Sampling the integers with low relative error. Progress in Cryptology – AFRICACRYPT 2019. International Conference on Cryptology in AfricaLNCS vol. 11627. 157–180.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6620   OA
De La Bretèche R, Destagnol KN, Liu J, Wu J, Zhao Y. 2019. On a certain non-split cubic surface. Science China Mathematics.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6632   OA
Karle V, Defenu N, Enss T. 2019. Coupled superfluidity of binary Bose mixtures in two dimensions. Physical Review A. 99(6), 063627.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6637   OA
Trubenova B, Krejca M, Lehre PK, Kötzing T. 2019. Surfing on the seascape: Adaptation in a changing environment. Evolution. 73(7), 1356–1374.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6649   OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. 2019. Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6795   OA
Trubenova B, Hager R. 2019. Green beards in the light of indirect genetic effects. Ecology and Evolution.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6788   OA
Leopold NK, Petrat SP. 2019. Mean-field dynamics for the Nelson model with fermions. Annales Henri Poincare.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6175   OA
Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. 2019. Cost analysis of nondeterministic probabilistic programs. 40th ACM Conference on Programming Language Design and Implementation (PLDI 2019). 40th ACM Conference on Programming Language Design and Implementation 204–220.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6808
Jahr W, Velicky P, Danzl JG. Strategies to maximize performance in STimulated Emission Depletion (STED) nanoscopy of biological specimens. Methods.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6442   OA
Schreck C, Hafner C, Wojtan CJ. 2019. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 38(4), 130.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6858
Barton NH. 2019. Is speciation driven by cycles of mixing and isolation? National Science Review. 6(2), 291–292.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6187   OA
Valosková K, Biebl J, Roblek M, Emtenani S, György A, Misova M, Ratheesh A, Rodrigues P, Shkarina K, Larsen ISB, Vakhrushev SY, Clausen H, Siekhaus DE. 2019. A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. eLife. 8, e41801.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed