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.

5341 Publications


2019 | Journal Article | IST-REx-ID: 6663
Mondelli M, Hassani H, Urbanke R. 2019. Construction of polar codes with sublinear complexity. IEEE. 65(5), 2782–2791.
View | Files available | DOI | Download (ext.) | arXiv
 

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. 20(10), 3471–3508.
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. 9(17), 9597–9608.
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: 5949
Käfer K, Malagon-Vina H, Dickerson D, O’Neill J, Trossbach SV, Korth C, Csicsvari JL. 2019. Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. 29(9), 802–816.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6978   OA
Budanur NB, Dogra A, Hof B. 2019. Geometry of transient chaos in streamwise-localized pipe flow turbulence. Physical Review Fluids. 4(10), 102401.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6935   OA
Foerster K-T, Korhonen J, Rybicki J, Schmid S. 2019. Does preprocessing help under congestion? Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. PODC: Symposium on Principles of Distributed Computing 259–261.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6896
Oliveira B, Yahya AÇ, Novarino G. 2019. Modeling cell-cell interactions in the brain using cerebral organoids. Brain Research. 1724, 146458.
View | DOI | PubMed | Europe PMC
 

2019 | Research Data | IST-REx-ID: 7154   OA
Guseinov R. 2019. Supplementary data for ‘Programming temporal morphing of self-actuated shells’, IST Austria,p.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7161
Shehu Y, Gibali A, Sagratella S. 2019. Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces. Journal of Optimization Theory and Applications.
View | DOI
 

2019 | Preprint | IST-REx-ID: 7084   OA
Ghosh S, Matty M, Baumbach R, Bauer ED, Modic KA, Shekhter A, Mydosh JA, Kim E-A, Ramshaw BJ. Single-component order parameter in URu2Si2 uncovered by resonant  ultrasound spectroscopy and machine learning. arXiv:1903.00552.
View | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7128   OA
Torrini C, Cubero RJ, Dirkx E, Braga L, Ali H, Prosdocimo G, Gutierrez MI, Collesi C, Licastro D, Zentilin L, Mano M, Zacchigna S, Vendruscolo M, Marsili M, Samal A, Giacca M. 2019. Common regulatory pathways mediate activity of microRNAs inducing cardiomyocyte proliferation. Cell Reports. 27(9), 2759–2771.e5.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7130   OA
Cubero RJ, Jo J, Marsili M, Roudi Y, Song J. 2019. Statistical criticality arises in most informative representations. Journal of Statistical Mechanics: Theory and Experiment. 2019(6), 063402.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7010
Davies HS, Baranova NS, El Amri N, Coche-Guérente L, Verdier C, Bureau L, Richter RP, Débarre D. 2019. Blood cell-vessel wall interactions probed by reflection interference contrast microscopy. Advances in Microscopic Imaging II. European Conferences on Biomedical Optics vol. 11076.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7015   OA
Lewin M, Lieb EH, Seiringer R. 2019. Floating Wigner crystal with no boundary charge fluctuations. Physical Review B. 100(3), 035127.
View | DOI | Download (ext.) | arXiv
 

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

2019 | Journal Article | IST-REx-ID: 7224   OA
Rybicki J, Abrego N, Ovaskainen O. 2019. Habitat fragmentation and species diversity in competitive communities. Ecology Letters.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 7236   OA
Baskett C, Schroeder L, Weber MG, Schemske DW. 2019. Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair. Ecological Monographs.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 7197   OA
Dos Santos Caldas PR, Lopez Pelegrin MD, Pearce DJG, Budanur NB, Brugués J, Loose M. 2019. Cooperative ordering of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinker ZapA. Nature Communications. 10, 5744.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7200   OA
Brighi P, Grilli M, Leridon B, Caprara S. 2019. Effect of anomalous diffusion of fluctuating Cooper pairs on the density of states of superconducting NbN thin films. Physical Review B. 100(17), 174518.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7205
Johannesson K, Zagrodzka Z, Faria R, Westram AM, Butlin RK. 2019. Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes? Journal of Evolutionary Biology.
View | DOI | PubMed | Europe PMC
 

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. 15(6), 641–649.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6947
Assen FP. 2019. Lymph node mechanics: Deciphering the interplay between stroma contractility, morphology and lymphocyte trafficking, IST Austria, 142p.
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 | 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 | 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 | 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
 

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 | Conference Paper | IST-REx-ID: 6822   OA
Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. 2019. Bidding games on Markov decision processes. Proceedings of the 13th International Conference of Reachability Problems. RP: Reachability Problems, LNCS, vol. 11674. 1–12.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni G, Henzinger TA, Zikelic D. 2019. Bidding mechanisms in graph games. MFCS: nternational Symposium on Mathematical Foundations of Computer Science, LIPIcs, vol. 138.
View | Files available | DOI | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6889   OA
Chatterjee K, Piterman N. 2019. Combinations of Qualitative Winning for Stochastic Parity Games. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140.
View | Files available | DOI
 

2019 | Thesis | IST-REx-ID: 6473
Cepeda Humerez SA. 2019. Estimating information flow in single cells, IST Austria, 135p.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6942   OA
Ashok P, Brázdil T, Chatterjee K, Křetínský J, Lampert C, Toman V. 2019. Strategy representation by decision trees with linear classifiers. 16th International Conference on Quantitative Evaluation of Systems. QEST: Quantitative Evaluation of Systems, LNCS, vol. 11785. 109–128.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6980   OA
Petridou N, Heisenberg C-PJ. 2019. Tissue rheology in embryonic organization. The EMBO Journal. 38(20), e102497.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Thesis | IST-REx-ID: 6891
Kopf A. 2019. The implication of cytoskeletal dynamics on leukocyte migration, IST Austria, 171p.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6877
Kopf A, Sixt MK. 2019. The neural crest pitches in to remove apoptotic debris. Cell. 179(1), 51–53.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7034   OA
Fulek R, Kynčl J. 2019. Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4. Combinatorica.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7109
Ferrere T, Maler O, Ničković D, Pnueli A. 2019. From real-time logic to timed automata. Journal of the ACM. 66(3), 19.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. 2019. Transient memory in gene regulation. 17th International Conference on Computational Methods in Systems Biology. CMSB: Computational Methods in Systems Biology, LNCS, vol. 11773. 155–187.
View | DOI
 

2019 | Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. 2019. Shape expressions for specifying and extracting signal features. 19th International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 11757. 292–309.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7180   OA
Retzer K, Akhmanova M, Konstantinova N, Malínská K, Leitner J, Petrášek J, Luschnig C. 2019. Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. 10, 5516.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7231   OA
Kong H, Bartocci E, Jiang Y, Henzinger TA. 2019. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). FORMATS 2019: Formal Modeling and Anaysis of Timed Systems, LNCS, vol. 11750. 123–141.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6752
Avni G, Henzinger TA, Chonev VK. 2019. Infinite-duration bidding games. Journal of the ACM. 66(4), 31.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7281
Kwak W-J, Freunberger SA, Kim H, Park J, Nguyen TT, Jung H-G, Byon HR, Sun Y-K. 2019. Mutual conservation of redox mediator and singlet oxygen quencher in Lithium–Oxygen batteries. ACS Catalysis. 9(11), 9914–9922.
View | 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 | Preprint | IST-REx-ID: 7212
Tkadlec J, Pavlogiannis A, Chatterjee K, Nowak MA. Limits on amplifiers of natural selection under death-Birth updating. arXiv:1906.02785.
View | Files available | Download (ext.) | arXiv
 

2019 | Research Data | IST-REx-ID: 6062   OA
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 | Book Chapter | IST-REx-ID: 5793
Asaoka Y, Morita H, Furumoto H, Heisenberg C-PJ, Furutani-Seiki M. 2019. Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. The hippo pathway. Methods in Molecular Biology, MIMB, vol. 1893. 167–181.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 5887
Demay G, Gazi P, Maurer U, Tackmann B. 2019. Per-session security: Password-based cryptography revisited. Journal of Computer Security. 27(1), 75–111.
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed