Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




2459 Publications

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: 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: 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 | 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: 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).
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6240   OA
Alt J, Erdös L, Krüger TH, Nemish Y. 2019. Location of the spectrum of Kronecker random matrices. Annales de l’institut Henri Poincare. 55(2), 661–696.
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6182   OA
Erdös L, Krüger TH, Schröder DJ. 2019. Random matrices with slow correlation decay. Forum of Mathematics, Sigma. 7.
View | Files available | DOI | arXiv
 
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 | Thesis | IST-REx-ID: 6269   OA
Narasimhan M. 2019. Clathrin-Mediated endocytosis, post-endocytic trafficking and their regulatory controls in plants , IST Austria, 138p.
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: 6442   OA
Schreck C, Hafner C, Wojtan CJ. 2019. Fundamental solutions for water wave animation. ACM Transactions on Graphics. 38(4).
View | Files available | 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 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: 6593   OA
Shehu Y, Li X-H, Dong Q-L. 2019. An efficient projection-type method for monotone variational inequalities in Hilbert spaces. Numerical Algorithms., 1–24.
View | Files available | 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: 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. 62(12), 2435–2446.
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).
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: 6187
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.
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 | 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 | 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: 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: 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: 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 | 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 | 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 | 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: 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 | Journal Article | IST-REx-ID: 6980   OA
Petridou N, Heisenberg C-PJ. 2019. Tissue rheology in embryonic organization. The EMBO Journal. 38(20).
View | Files available | DOI | PubMed | Europe PMC
 
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 | 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: 6896
Oliveira B, Yahya AÇ, Novarino G. 2019. Modeling cell-cell interactions in the brain using cerebral organoids. Brain Research. 1724.
View | DOI | PubMed | Europe PMC
 
2019 | Thesis | IST-REx-ID: 6473
Cepeda Humerez SA. 2019. Estimating information flow in single cells, IST Austria, 135p.
View | Files available | DOI
 
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 | 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: 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 | 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).
View | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed