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: 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 | 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.
View | Files available | DOI | Download (ext.)
 
2019 | Journal Article | IST-REx-ID: 6554   OA
Xian Y, Lampert C, Schiele B, Akata Z. 2019. Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly. IEEE Transactions on Pattern Analysis and Machine Intelligence. 41(9), 2251–2265.
View | DOI | Download (ext.) | 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: 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. 234(2), 635–726.
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: 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).
View | Files available | 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.
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: 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 | 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: 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. 19(6), 1447–1460.
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. 41(11).
View | Files available | DOI
 
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 | 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: 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
Zhechev SY. 2019. Algorithmic aspects of homotopy theory and embeddability, IST Austria, 104p.
View | Files available | DOI
 
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).
View | DOI | Download (ext.) | arXiv
 
2019 | Preprint | IST-REx-ID: 7083   OA
Kavcic B, Tkačik G, Bollenbach T. 2019. Mechanistic origin of drug interactions between translation-inhibiting antibiotics. bioRxiv.
View | Download (ext.)
 
2019 | Journal Article | IST-REx-ID: 7007   OA
Mondelli M, Hassani SH, Urbanke R. 2019. A new coding paradigm for the primitive relay channel. Algorithms. 12(10).
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 7014
Chatterjee K, Fu H, Goharshady AK. 2019. Non-polynomial worst-case analysis of recursive programs. ACM Transactions on Programming Languages and Systems. 41(4).
View | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 7026   OA
Lukacisin M, Bollenbach T. 2019. Emergent gene expression responses to drug combinations predict higher-order drug interactions. Cell Systems. 9(5), 423-433.e1-e3.
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7033
Donahue R, Maes ME, Grosser J, Nickells R. 2019. BAX-depleted retinal ganglion cells survive and become quiescent following optic nerve damage. Molecular Neurobiology.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7095   OA
Maes ME, Grosser JA, Fehrman RL, Schlamp CL, Nickells RW. 2019. Completion of BAX recruitment correlates with mitochondrial fission during apoptosis. Scientific Reports. 9.
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7103   OA
Wang JWJL, Lombardi F, Zhang X, Anaclet C, Ivanov PC. 2019. Non-equilibrium critical dynamics of bursts in θ and δ rhythms as fundamental characteristic of sleep and wake micro-architecture. PLOS Computational Biology. 15(11).
View | Files available | DOI | PubMed | Europe PMC
 
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.
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: 6972   OA
Lenzen C, Rybicki J. 2019. Self-stabilising Byzantine clock synchronisation is almost as easy as consensus. Journal of the ACM. 66(5).
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6989   OA
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 | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7002
Kondapaneni I, Vevoda P, Grittmann P, Skrivan T, Slusallek P, Křivánek J. 2019. Optimal multiple importance sampling. ACM Transactions on Graphics. 38(4).
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7146
Vicoso B. 2019. Molecular and evolutionary dynamics of animal sex-chromosome turnover. Nature Ecology & Evolution. 3(12), 1632–1641.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7158
Chatterjee K, Goharshady AK, Goyal P, Ibsen-Jensen R, Pavlogiannis A. 2019. Faster algorithms for dynamic algebraic queries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems. 41(4).
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7160
Salazar JE, Severin D, Vega Zuniga TA, Fernández-Aburto P, Deichler A, Sallaberry A. M, Mpodozis J. 2019. Anatomical specializations related to foraging in the visual system of a nocturnal insectivorous bird, the band-winged nightjar (Aves: Caprimulgiformes). Brain, Behavior and Evolution. 94(1–4), 27–36.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7108   OA
Goaoc X, Patak P, Patakova Z, Tancer M, Wagner U. 2019. Shellability is NP-complete. Journal of the ACM. 66(3).
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7122
Khirirat S, Johansson M, Alistarh D-A. 2019. Gradient compression for communication-limited convex optimization. 2018 IEEE Conference on Decision and Control. CDC: Conference on Decision and Control
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7204
Li Y, Wang Y, Tan S, Li Z, Yuan Z, Glanc M, Domjan D, Wang K, Xuan W, Guo Y, Gong Z, Friml J, Zhang J. 2019. Root growth adaptation is mediated by PYLs ABA receptor-PP2A protein phosphatase complex. Advanced Science.
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7165   OA
Guerrero P, Perez-Carrasco R, Zagórski MP, Page D, Kicheva A, Briscoe J, Page KM. 2019. Neuronal differentiation influences progenitor arrangement in the vertebrate neuroepithelium. Development. 146(23).
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7216
Osang GF, Cook J, Fabrikant A, Gruteser M. 2019. LiveTraVeL: Real-time matching of transit vehicle trajectories to transit routes at scale. 2019 IEEE Intelligent Transportation Systems Conference. ITSC: Intelligent Transportation Systems Conference
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 7228
Koval N, Alistarh D-A, Elizarov R. 2019. Scalable FIFO channels for programming via communicating sequential processes. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Euro-Par: European Conference on Parallel Processing, LNCS, vol. 11725. 317–333.
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 7230   OA
Arroyo Guevara AM, Derka M, Parada I. 2019. Extending simple drawings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). GD: Graph Drawing and Network Visualization, LNCS, vol. 11904. 230–243.
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7235   OA
Lieb EH, Seiringer R. 2019. Divergence of the effective mass of a polaron in the strong coupling limit. Journal of Statistical Physics.
View | DOI | Download (ext.)
 
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 | Thesis | IST-REx-ID: 7172
Vasileva MK. 2019. Molecular mechanisms of endomembrane trafficking in Arabidopsis thaliana, IST Austria, 192p.
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: 429   OA
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
 
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: 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