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.




2460 Publications

2019 | Journal Article | IST-REx-ID: 6637   OA
Trubenova B, Krejca M, Lehre PK, Kötzing T. Surfing on the seascape: Adaptation in a changing environment. Evolution. 2019;73(7):1356-1374. doi:10.1111/evo.13784
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6649   OA
Benedikter NP, Nam PT, Porta M, Schlein B, Seiringer R. Optimal upper bound for the correlation energy of a Fermi gas in the mean-field regime. Communications in Mathematical Physics. 2019. doi:10.1007/s00220-019-03505-5
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6187
Valosková K, Biebl J, Roblek M, et al. A conserved major facilitator superfamily member orchestrates a subset of O-glycosylation to aid macrophage tissue invasion. eLife. 2019;8:e41801. doi:10.7554/elife.41801
View | Files available | DOI
 
2019 | Conference Poster | IST-REx-ID: 6485
Koval N, Alistarh D-A, Elizarov R. Lock-Free Channels for Programming via Communicating Sequential Processes. ACM Press; 2019:417-418. doi:10.1145/3293883.3297000
View | DOI
 
2019 | Book Chapter | IST-REx-ID: 6726
Walter M. Sampling the integers with low relative error. In: Buchmann J, Nitaj A, Rachidi T, eds. Progress in Cryptology – AFRICACRYPT 2019. Vol 11627. LNCS. Cham: Springer Nature; 2019:157-180. doi:10.1007/978-3-030-23696-0_9
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6795   OA
Trubenova B, Hager R. Green beards in the light of indirect genetic effects. Ecology and Evolution. 2019. doi:10.1002/ece3.5484
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. doi:10.1016/j.ymeth.2019.07.019
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6884   OA
Avni G, Henzinger TA, Zikelic D. Bidding mechanisms in graph games. In: Vol 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:11. doi:10.4230/LIPICS.MFCS.2019.11
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6889   OA
Chatterjee K, Piterman N. Combinations of Qualitative Winning for Stochastic Parity Games. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:6. doi:10.4230/LIPICS.CONCUR.2019.6
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6858
Barton NH. Is speciation driven by cycles of mixing and isolation? National Science Review. 2019;6(2):291-292. doi:10.1093/nsr/nwy113
View | DOI
 
2019 | Journal Article | IST-REx-ID: 5949
Käfer K, Malagon-Vina H, Dickerson D, et al. Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. 2019. doi:10.1002/hipo.23076
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6822   OA
Avni G, Henzinger TA, Ibsen-Jensen R, Novotny P. Bidding games on Markov decision processes. In: Proceedings of the 13th International Conference of Reachability Problems. Vol 11674. Springer; 2019:1-12. doi:10.1007/978-3-030-30806-3_1
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6935   OA
Foerster K-T, Korhonen J, Rybicki J, Schmid S. Does preprocessing help under congestion? In: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. ACM; 2019:259-261. doi:10.1145/3293611.3331581
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. Strategy representation by decision trees with linear classifiers. In: 16th International Conference on Quantitative Evaluation of Systems. Vol 11785. Springer Nature; 2019:109-128. doi:10.1007/978-3-030-30281-8_7
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6896
Oliveira B, Yahya AÇ, Novarino G. Modeling cell-cell interactions in the brain using cerebral organoids. Brain Research. 2019;1724:146458. doi:10.1016/j.brainres.2019.146458
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6978   OA
Budanur NB, Dogra A, Hof B. Geometry of transient chaos in streamwise-localized pipe flow turbulence. Physical Review Fluids. 2019;4(10):102401. doi:10.1103/PhysRevFluids.4.102401
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6980   OA
Petridou N, Heisenberg C-PJ. Tissue rheology in embryonic organization. The EMBO Journal. 2019;38(20):e102497. doi:10.15252/embj.2019102497
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Thesis | IST-REx-ID: 6473
Cepeda Humerez SA. Estimating Information Flow in Single Cells. IST Austria; 2019. doi:10.15479/AT:ISTA:6473
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6877
Kopf A, Sixt MK. The neural crest pitches in to remove apoptotic debris. Cell. 2019;179(1):51-53. doi:10.1016/j.cell.2019.08.047
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7010
Davies HS, Baranova NS, El Amri N, et al. Blood cell-vessel wall interactions probed by reflection interference contrast microscopy. In: Advances in Microscopic Imaging II. Vol 11076. SPIE; 2019:110760V. doi:10.1117/12.2527058
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7015   OA
Lewin M, Lieb EH, Seiringer R. Floating Wigner crystal with no boundary charge fluctuations. Physical Review B. 2019;100(3):035127. doi:10.1103/physrevb.100.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. Response characterization for auditing cell dynamics in long short-term memory networks. In: Proceedings of the International Joint Conference on Neural Networks. IEEE; 2019. doi:10.1109/ijcnn.2019.8851954
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6997   OA
Zhang Y, Friml J. Auxin guides roots to avoid obstacles during gravitropic growth. New Phytologist. 2019. doi:10.1111/nph.16203
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6752
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. Journal of the ACM. 2019;66(4):31. doi:10.1145/3340295
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7034   OA
Fulek R, Kynčl J. Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4. Combinatorica. 2019. doi:10.1007/s00493-019-3905-7
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7109
Ferrere T, Maler O, Ničković D, Pnueli A. From real-time logic to timed automata. Journal of the ACM. 2019;66(3):19. doi:10.1145/3286976
View | DOI
 
2019 | Thesis | IST-REx-ID: 6891
Kopf A. The Implication of Cytoskeletal Dynamics on Leukocyte Migration. IST Austria; 2019. doi:10.15479/AT:ISTA:6891
View | Files available | DOI
 
2019 | Thesis | IST-REx-ID: 6947
Assen FP. Lymph Node Mechanics: Deciphering the Interplay between Stroma Contractility, Morphology and Lymphocyte Trafficking. IST Austria; 2019. doi:10.15479/AT:ISTA:6947
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6788   OA
Leopold NK, Petrat SP. Mean-field dynamics for the Nelson model with fermions. Annales Henri Poincare. 2019. doi:10.1007/s00023-019-00828-w
View | Files available | DOI | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7147
Guet CC, Henzinger TA, Igler C, Petrov T, Sezgin A. Transient memory in gene regulation. In: 17th International Conference on Computational Methods in Systems Biology. Vol 11773. Springer Nature; 2019:155-187. doi:10.1007/978-3-030-31304-3_9
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7142
Gallei MC, Luschnig C, Friml J. Auxin signalling in growth: Schrödinger’s cat out of the bag. Current Opinion in Plant Biology. 2019;53:43-49. doi:10.1016/j.pbi.2019.10.003
View | DOI | PubMed | Europe PMC
 
2019 | Book Chapter | IST-REx-ID: 5793
Asaoka Y, Morita H, Furumoto H, Heisenberg C-PJ, Furutani-Seiki M. Studying YAP-mediated 3D morphogenesis using fish embryos and human spheroids. In: Hergovich A, ed. The Hippo Pathway. Vol 1893. Methods in Molecular Biology. Springer; 2019:167-181. doi:10.1007/978-1-4939-8910-2_14
View | DOI
 
2019 | Journal Article | IST-REx-ID: 5887
Demay G, Gazi P, Maurer U, Tackmann B. Per-session security: Password-based cryptography revisited. Journal of Computer Security. 2019;27(1):75-111. doi:10.3233/JCS-181131
View | DOI
 
2019 | Journal Article | IST-REx-ID: 5907   OA
Mócsai R, Figl R, Troschl C, et al. N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated. Scientific Reports. 2019;9(1). doi:10.1038/s41598-018-36884-1
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 5680
Andalo C, Burrus M, Paute S, Lauzeral C, Field D. Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone. Botany Letters. 2019;166(1):80-92. doi:10.1080/23818107.2018.1545142
View | DOI
 
2019 | Journal Article | IST-REx-ID: 5945
Petkova MD, Tkacik G, Bialek W, Wieschaus EF, Gregor T. Optimal decoding of cellular identities in a genetic network. Cell. 2019;176(4):844-855.e15. doi:10.1016/j.cell.2019.01.007
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6102   OA
Le Feber B, Sipe JE, Wulf M, Kuipers L, Rotenberg N. A full vectorial mapping of nanophotonic light fields. Light: Science and Applications. 2019;8(1):28. doi:10.1038/s41377-019-0124-3
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6025   OA
Capek D, Smutny M, Tichy AM, Morri M, Janovjak HL, Heisenberg C-PJ. Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. eLife. 2019;8. doi:10.7554/eLife.42093
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6032   OA
Kazda A, Kolmogorov V, Rolinek M. Even delta-matroids and the complexity of planar boolean CSPs. ACM Transactions on Algorithms. 2019;15(2). doi:10.1145/3230649
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6056   OA
Chatterjee K, Goharshady AK, Pourdamghani A. Probabilistic smart contracts: Secure randomness on the blockchain. In: IEEE International Conference on Blockchain and Cryptocurrency. IEEE; 2019:8751326. doi:10.1109/BLOC.2019.8751326
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6260   OA
Oochi A, Hajny J, Fukui K, et al. Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. 2019;180(2):1152-1165. doi:10.1104/pp.19.00201
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6087
Xia P, Gütl DJ, Zheden V, Heisenberg C-PJ. Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity. Cell. 2019;176(6):1379-1392.e14. doi:10.1016/j.cell.2019.01.019
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6190
Roblek M, Protsyuk D, Becker PF, et al. CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis. Molecular Cancer Research. 2019;17(3):783-793. doi:10.1158/1541-7786.MCR-18-0530
View | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6556   OA
Huszár K, Spreer J. 3-manifold triangulations with small treewidth. In: 35th International Symposium on Computational Geometry (SoCG 2019). Vol 129. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; 2019:44:1-44:20. doi:10.4230/LIPIcs.SoCG.2019.44
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6563   OA
Filakovský M, Vokřínek L. Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics. 2019. doi:10.1007/s10208-019-09419-x
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6575   OA
Choi S, Turner CJ, Pichler H, et al. Emergent SU(2) dynamics and perfect quantum many-body scars. Physical Review Letters. 2019;122(22):220603. doi:10.1103/PhysRevLett.122.220603
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6607   OA
Nguyen CH, Glüxam T, Schlerka A, et al. SOCS2 is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness. Scientific Reports. 2019;9(1):9139. doi:10.1038/s41598-019-45579-0
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6412   OA
Moussa HF, Bsteh D, Yelagandula R, et al. Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 2019;10(1). doi:10.1038/s41467-019-09628-6
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. Membership-based synthesis of linear hybrid automata. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:297-314. doi:10.1007/978-3-030-25540-4_16
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6506   OA
Noda-García L, Davidi D, Korenblum E, et al. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 2019. doi:10.1038/s41564-019-0412-y
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed