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.




2689 Publications

2019 | Journal Article | IST-REx-ID: 6377
Dejonghe W, Sharma I, Denoo B, et al. Disruption of endocytosis through chemical inhibition of clathrin heavy chain function. Nature Chemical Biology. 2019;15(6):641–649. doi:10.1038/s41589-019-0262-1
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 5886   OA
Li X, Bighin G, Yakaboylu E, Lemeshko M. Variational approaches to quantum impurities: from the Fröhlich polaron to the angulon. Molecular Physics. 2019. doi:10.1080/00268976.2019.1567852
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6428
Ferrere T, Nickovic D, Donzé A, Ito H, Kapinski J. Interface-aware signal temporal logic. In: Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. ACM; 2019:57-66. doi:10.1145/3302504.3311800
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6601
Hannezo EB, Heisenberg C-PJ. Mechanochemical feedback loops in development and disease. Cell. 2019;178(1):12-25. doi:10.1016/j.cell.2019.05.052
View | 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: 6884   OA
Avni G, Henzinger TA, Zikelic D. Bidding mechanisms in graph games. In: Vol 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. 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. doi:10.4230/LIPICS.CONCUR.2019.6
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. 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: 6980   OA
Petridou N, Heisenberg C-PJ. Tissue rheology in embryonic organization. The EMBO Journal. 2019;38(20). doi:10.15252/embj.2019102497
View | Files available | DOI | PubMed | Europe PMC
 
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 | 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 | 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). doi:10.1145/3286976
View | DOI
 
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 | Conference Paper | IST-REx-ID: 7159
Ničković D, Qin X, Ferrere T, Mateis C, Deshmukh J. Shape expressions for specifying and extracting signal features. In: 19th International Conference on Runtime Verification. Vol 11757. Springer Nature; 2019:292-309. doi:10.1007/978-3-030-32079-9_17
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7180   OA
Retzer K, Akhmanova M, Konstantinova N, et al. Brassinosteroid signaling delimits root gravitropism via sorting of the Arabidopsis PIN2 auxin transporter. Nature Communications. 2019;10. doi:10.1038/s41467-019-13543-1
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7231   OA
Kong H, Bartocci E, Jiang Y, Henzinger TA. Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 11750. Springer Nature; 2019:123-141. doi:10.1007/978-3-030-29662-9_8
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6752
Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. Journal of the ACM. 2019;66(4). doi:10.1145/3340295
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7421
Toups MA, Rodrigues N, Perrin N, Kirkpatrick M. A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog. Molecular Ecology. 2019;28(8):1877-1889. doi:10.1111/mec.14990
View | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7402   OA
Chatterjee K, Doyen L. Graph planning with expected finite horizon. In: 34th Annual ACM/IEEE Symposium on Logic in Computer Science. IEEE; 2019:1-13. doi:10.1109/lics.2019.8785706
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7399   OA
Andergassen D, Muckenhuber M, Bammer PC, et al. The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes. PLOS Genetics. 2019;15(7):e1008268. doi:10.1371/journal.pgen.1008268
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7414
Knaus L, Tarlungeanu D-C, Novarino G. S.16.03 A homozygous missense mutation in SLC7A5 leads to autism spectrum disorder and microcephaly. European Neuropsychopharmacology. 2019;29(Supplement 6):S11. doi:10.1016/j.euroneuro.2019.09.039
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7394
Benková E, Dagdas Y. Editorial overview: Cell biology in the era of omics? Current Opinion in Plant Biology. 2019;52(12):A1-A2. doi:10.1016/j.pbi.2019.11.002
View | DOI | PubMed | Europe PMC
 
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;39(6):1267-1279. doi:10.1007/s00493-019-3905-7
View | DOI | Download (ext.) | arXiv
 
2019 | Thesis | IST-REx-ID: 6269   OA
Narasimhan M. Clathrin-Mediated Endocytosis, Post-Endocytic Trafficking and Their Regulatory Controls in Plants . IST Austria; 2019. doi:10.15479/at:ista:th1075
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6310   OA
Browning TD, Hu LQ. Counting rational points on biquadratic hypersurfaces. Advances in Mathematics. 2019;349:920-940. doi:10.1016/j.aim.2019.04.031
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6240   OA
Alt J, Erdös L, Krüger TH, Nemish Y. Location of the spectrum of Kronecker random matrices. Annales de l’institut Henri Poincare. 2019;55(2):661-696. doi:10.1214/18-AIHP894
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 5906
Goremykina A, Vasseur R, Serbyn M. Analytically solvable renormalization group for the many-body localization transition. Physical Review Letters. 2019;122(4):040601. doi:10.1103/physrevlett.122.040601
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6175   OA
Wang P, Fu H, Goharshady AK, Chatterjee K, Qin X, Shi W. Cost analysis of nondeterministic probabilistic programs. In: PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2019:204-220. doi:10.1145/3314221.3314581
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 5817
Kavcic B, Sakashita A, Noguchi H, Ziherl P. Limiting shapes of confined lipid vesicles. Soft Matter. 2019;15(4):602-614. doi:10.1039/c8sm01956h
View | DOI
 
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: 5949   OA
Käfer K, Malagon-Vina H, Dickerson D, et al. Disrupted-in-schizophrenia 1 overexpression disrupts hippocampal coding and oscillatory synchronization. Hippocampus. 2019;29(9):802-816. doi:10.1002/hipo.23076
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 | Thesis | IST-REx-ID: 6435   OA
Casillas Perez BE. Collective Defenses of Garden Ants against a Fungal Pathogen. IST Austria; 2019. doi:10.15479/AT:ISTA:6435
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6194   OA
Boccara CN, Nardin M, Stella F, O’Neill J, Csicsvari JL. The entorhinal cognitive map is attracted to goals. Science. 2019;363(6434):1443-1447. doi:10.1126/science.aav4837
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7010   OA
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 | Download (ext.)
 
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 | 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: 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: 6049   OA
De Martino D. Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical. 2019;52(4). doi:10.1088/1751-8121/aaf2dd
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). doi:10.1038/s41377-019-0124-3
View | Files available | DOI | arXiv
 
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 | 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: 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 | 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). doi:10.1038/s41598-019-45579-0
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;4(7):1221–1230. doi:10.1038/s41564-019-0412-y
View | DOI | Download (ext.)
 
2019 | Journal Article | IST-REx-ID: 6621
Wright AE, Darolti I, Bloch NI, et al. On the power to detect rare recombination events. Proceedings of the National Academy of Sciences of the United States of America. 2019;116(26):12607-12608. doi:10.1073/pnas.1905555116
View | DOI
 
2019 | Journal Article | IST-REx-ID: 6638   OA
Silva A, Arroyo Guevara AM, Richter B, Lee O. Graphs with at most one crossing. Discrete Mathematics. 2019;342(11):3201-3207. doi:10.1016/j.disc.2019.06.031
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6657   OA
Danowski P. An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors. VOEB-Mitteilungen. 2019;72(1):59-65. doi:10.31263/voebm.v72i1.2276
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6784   OA
Ruess J, Pleska M, Guet CC, Tkačik G. Molecular noise of innate immunity shapes bacteria-phage ecologies. PLoS Computational Biology. 2019;15(7). doi:10.1371/journal.pcbi.1007168
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6710
Cossard G, Toups MA, Pannell J. Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb. Annals of botany. 2019;123(7):1119-1131. doi:10.1093/aob/mcy183
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6671   OA
Boissonnat J-D, Lieutier A, Wintraecken M. The reach, metric distortion, geodesic convexity and the variation of tangent spaces. Journal of Applied and Computational Topology. 2019;3(1-2):29–58. doi:10.1007/s41468-019-00029-8
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6828   OA
Brown A. Arakawa-Suzuki functors for Whittaker modules. Journal of Algebra. 2019;538:261-289. doi:10.1016/j.jalgebra.2019.07.027
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6936   OA
Ovaskainen O, Rybicki J, Abrego N. What can observational data reveal about metacommunity processes? Ecography. 2019;42(11):1877-1886. doi:10.1111/ecog.04444
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6943   OA
Hörmayer L, Friml J. Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology. 2019;52:124-130. doi:10.1016/j.pbi.2019.08.006
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6835   OA
Destagnol KN, Sofos E. Rational points and prime values of polynomials in moderately many variables. Bulletin des Sciences Mathematiques. 2019;156. doi:10.1016/j.bulsci.2019.102794
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 6897
Zhu Q, Gallemi M, Pospíšil J, Žádníková P, Strnad M, Benková E. Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis. Development. 2019;146(17). doi:10.1242/dev.175919
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6979
Kopf A, Sixt MK. Gut homeostasis: Active migration of intestinal epithelial cells in tissue renewal. Current Biology. 2019;29(20):R1091-R1093. doi:10.1016/j.cub.2019.08.068
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6955   OA
Schmickler CH, Hammer H-W, Volosniev A. Universal physics of bound states of a few charged particles. Physics Letters B. 2019;798. doi:10.1016/j.physletb.2019.135016
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6859
Zhou L, Sazanov LA. Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase. Science. 2019;365(6455). doi:10.1126/science.aaw9144
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7097   OA
Nagano M, Toshima JY, Siekhaus DE, Toshima J. Rab5-mediated endosome formation is regulated at the trans-Golgi network. Communications Biology. 2019;2(1). doi:10.1038/s42003-019-0670-5
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7100   OA
Jeblick M, Leopold NK, Pickl P. Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. Communications in Mathematical Physics. 2019;372(1):1-69. doi:10.1007/s00220-019-03599-x
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7009
Yamada K, Sixt MK. Mechanisms of 3D cell migration. Nature Reviews Molecular Cell Biology. 2019;20(12):738–752. doi:10.1038/s41580-019-0172-9
View | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7035   OA
Geher GP, Titkos T, Virosztek D. Dirac masses and isometric rigidity. In: Kyoto RIMS Kôkyûroku. Vol 2125. Research Institute for Mathematical Sciences, Kyoto University; 2019:34-41.
View | Download (ext.)
 
2019 | Journal Article | IST-REx-ID: 6986   OA
Li P. A colimit of traces of reflection groups. Proceedings of the American Mathematical Society. 2019;147(11):4597-4604. doi:10.1090/proc/14586
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7004   OA
Rapcak M, Soibelman Y, Yang Y, Zhao G. Cohomological Hall algebras, vertex algebras and instantons. Communications in Mathematical Physics. 2019. doi:10.1007/s00220-019-03575-5
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 7213
Bhatia S, Chatterjee B, Nathani D, Kaul M. A persistent homology perspective to the link prediction problem. In: Complex Networks and Their Applications VIII. Vol 881. Springer Nature; 2019:27-39. doi:10.1007/978-3-030-36687-2_3
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7218
Dodier P, Winter F, Auzinger T, et al. Single-stage bone resection and cranioplastic reconstruction: Comparison of a novel software-derived PEEK workflow with the standard reconstructive method. International Journal of Oral and Maxillofacial Surgery. doi:10.1016/j.ijom.2019.11.011
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7220
Dodier P, Auzinger T, Mistelbauer G, et al. Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography. World Neurosurgery. doi:10.1016/j.wneu.2019.11.038
View | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 7136   OA
Skórski M. Strong chain rules for min-entropy under few bits spoiled. In: 2019 IEEE International Symposium on Information Theory. IEEE; 2019. doi:10.1109/isit.2019.8849240
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7143
Sinclair SA, Friml J. Defying gravity: a plant’s quest for moisture. Cell Research. 2019;29:965-966. doi:10.1038/s41422-019-0254-4
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7148
Nakamoto C, Konno K, Miyazaki T, et al. Expression mapping, quantification, and complex formation of GluD1 and GluD2 glutamate receptors in adult mouse brain. Journal of Comparative Neurology. 2019. doi:10.1002/cne.24792
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7117   OA
Hafner C, Schumacher C, Knoop E, Auzinger T, Bickel B, Bächer M. X-CAD: Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics. 2019;38(6). doi:10.1145/3355089.3356576
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7201   OA
Renggli C, Ashkboos S, Aghagolzadeh M, Alistarh D-A, Hoefler T. SparCML: High-performance sparse communication for machine learning. In: International Conference for High Performance Computing, Networking, Storage and Analysis, SC. ACM; 2019. doi:10.1145/3295500.3356222
View | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7181   OA
Garriga E, Di Tommaso P, Magis C, et al. Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology. 2019;37(12):1466-1470. doi:10.1038/s41587-019-0333-6
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7179
Klotz L, Wendler O, Frischknecht R, Shigemoto R, Schulze H, Enz R. Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB journal. 2019;33(12):13734-13746. doi:10.1096/fj.201901543R
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7340   OA
Amin-Wetzel NP, Neidhardt L, Yan Y, Mayer MP, Ron D. Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. eLife. 2019;8. doi:10.7554/eLife.50793
View | DOI | Download (ext.)
 
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: 5856   OA
Moser T, Seiringer R. Energy contribution of a point-interacting impurity in a Fermi gas. Annales Henri Poincare. 2019;20(4):1325–1365. doi:10.1007/s00023-018-00757-0
View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6380   OA
Chatterjee K, Goharshady AK, Okati N, Pavlogiannis A. Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. 2019;3(POPL). doi:10.1145/3290366
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. Run-time optimization for learned controllers through quantitative games. In: 31st International Conference on Computer-Aided Verification. Vol 11561. Springer; 2019:630-649. doi:10.1007/978-3-030-25540-4_36
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 | 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. doi:10.1109/BLOC.2019.8751326
View | DOI | Download (ext.) | arXiv
 
2019 | Conference Paper | IST-REx-ID: 6885   OA
Chatterjee K, Henzinger TA, Otop J. Long-run average behavior of vector addition systems with states. In: Vol 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019. doi:10.4230/LIPICS.CONCUR.2019.27
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6328
Renkawitz J, Kopf A, Stopp JA, et al. Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. 2019;568:546-550. doi:10.1038/s41586-019-1087-5
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. Mixed-time signal temporal logic. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 11750. Springer Nature; 2019:59-75. doi:10.1007/978-3-030-29662-9_4
View | DOI
 
2019 | Thesis | IST-REx-ID: 7186   OA
Schwayer C. Mechanosensation of Tight Junctions Depends on ZO-1 Phase Separation and Flow. IST Austria; 2019. doi:10.15479/AT:ISTA:7186
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6486
Kühnen J, Scarselli D, Hof B. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 2019;141(11):111105. doi:10.1115/1.4043494
View | Files available | DOI | Download (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7422   OA
Sokolowski TR, Paijmans J, Bossen L, et al. eGFRD in all dimensions. The Journal of Chemical Physics. 2019;150(5):054108. doi:10.1063/1.5064867
View | DOI | Download (ext.) | arXiv
 
2019 | Book Chapter | IST-REx-ID: 7410
Bruce AEE, Heisenberg C-PJ. Mechanisms of zebrafish epiboly: A current view. In: Solnica-Krezel L, ed. Gastrulation: From Embryonic Pattern to Form. Vol 136. Current Topics in Developmental Biology. Elsevier; 2019:319-341. doi:10.1016/bs.ctdb.2019.07.001
View | DOI
 
2019 | Journal Article | IST-REx-ID: 7395   OA
Letts JA, Fiedorczuk K, Degliesposti G, Skehel M, Sazanov LA. Structures of respiratory supercomplex I+III2 reveal functional and conformational crosstalk. Molecular Cell. 2019;75(6):1131-1146.e6. doi:10.1016/j.molcel.2019.07.022
View | Files available | DOI | PubMed | Europe PMC
 
2019 | Conference Paper | IST-REx-ID: 6378   OA
Chatterjee K, Goharshady AK, Pourdamghani A. Hybrid Mining: Exploiting blockchain’s computational power for distributed problem solving. In: Proceedings of the 34th ACM Symposium on Applied Computing. Vol Part F147772. ACM; 2019:374-381. doi:10.1145/3297280.3297319
View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 6366   OA
Bellstaedt J, Trenner J, Lippmann R, et al. A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls. Plant Physiology. 2019;180(2):757-766. doi:10.1104/pp.18.01377
View | DOI | Download (ext.) | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7415
Morandell J, Nicolas A, Schwarz LA, Novarino G. S.16.05 Illuminating the role of the e3 ubiquitin ligase cullin3 in brain development and autism. European Neuropsychopharmacology. 2019;29(Supplement 6):S11-S12. doi:10.1016/j.euroneuro.2019.09.040
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6676   OA
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. Why extension-based proofs fail. In: Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. ACM Press; 2019:986-996. doi:10.1145/3313276.3316407
View | DOI | Download (ext.) | arXiv
 
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):22. doi:10.1145/3230649
View | Files available | 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
 

Filters and Search Terms

type<>research_data

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed