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.

2535 Publications


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 | 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
 

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 | 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
 

2019 | Journal Article | IST-REx-ID: 5907   OA
Mócsai R, Figl R, Troschl C, Strasser R, Svehla E, Windwarder M, Thader A, Altmann F. 2019. N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated. Scientific Reports. 9(1), 331.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5680
Andalo C, Burrus M, Paute S, Lauzeral C, Field D. 2019. Prevalence of legitimate pollinators and nectar robbers and the consequences for fruit set in an Antirrhinum majus hybrid zone. Botany Letters. 166(1), 80–92.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6025   OA
Capek D, Smutny M, Tichy AM, Morri M, Janovjak HL, Heisenberg C-PJ. 2019. Light-activated Frizzled7 reveals a permissive role of non-canonical wnt signaling in mesendoderm cell migration. eLife. 8, e42093.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6032   OA
Kazda A, Kolmogorov V, Rolinek M. 2019. Even delta-matroids and the complexity of planar boolean CSPs. ACM Transactions on Algorithms. 15(2), 22.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6049   OA
De Martino D. 2019. Feedback-induced self-oscillations in large interacting systems subjected to phase transitions. Journal of Physics A: Mathematical and Theoretical. 52(4), 045002.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6102   OA
Le Feber B, Sipe JE, Wulf M, Kuipers L, Rotenberg N. 2019. A full vectorial mapping of nanophotonic light fields. Light: Science and Applications. 8(1), 28.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6087
Xia P, Gütl DJ, Zheden V, Heisenberg C-PJ. 2019. Lateral inhibition in cell specification mediated by mechanical signals modulating TAZ activity. Cell. 176(6), 1379–1392.e14.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6190
Roblek M, Protsyuk D, Becker PF, Stefanescu C, Gorzelanny C, Glaus Garzon JF, Knopfova L, Heikenwalder M, Luckow B, Schneider SW, Borsig L. 2019. CCL2 is a vascular permeability factor inducing CCR2-dependent endothelial retraction during lung metastasis. Molecular Cancer Research. 17(3), 783–793.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6260   OA
Oochi A, Hajny J, Fukui K, Nakao Y, Gallei MC, Quareshy M, Takahashi K, Kinoshita T, Harborough S, Kepinski S, Kasahara H, Napier R, Friml J, Hayashi K. 2019. Pinstatic acid promotes auxin transport by inhibiting PIN internalization. Plant Physiology. 180(2), 1152–1165.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6412   OA
Moussa HF, Bsteh D, Yelagandula R, Pribitzer C, Stecher K, Bartalska K, Michetti L, Wang J, Zepeda-Martinez JA, Elling U, Stuckey JI, James LI, Frye SV, Bell O. 2019. Canonical PRC1 controls sequence-independent propagation of Polycomb-mediated gene silencing. Nature Communications. 10(1), 1931.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6467
Fraisse C, Welch JJ. 2019. The distribution of epistasis on simple fitness landscapes. Biology Letters. 15(4), 0881.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6366   OA
Bellstaedt J, Trenner J, Lippmann R, Poeschl Y, Zhang X, Friml J, Quint M, Delker C. 2019. A mobile auxin signal connects temperature sensing in cotyledons with growth responses in hypocotyls. Plant Physiology. 180(2), 757–766.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6556   OA
Huszár K, Spreer J. 2019. 3-manifold triangulations with small treewidth. 35th International Symposium on Computational Geometry (SoCG 2019). SoCG: Symposium on Computational GeometryLeibniz International Proceedings in Informatics (LIPIcs) vol. 129. 44:1-44:20.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6575   OA
Choi S, Turner CJ, Pichler H, Ho WW, Michailidis A, Papić Z, Serbyn M, Lukin MD, Abanin DA. 2019. Emergent SU(2) dynamics and perfect quantum many-body scars. Physical Review Letters. 122(22), 220603.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6607   OA
Nguyen CH, Glüxam T, Schlerka A, Bauer K, Grandits AM, Hackl H, Dovey O, Zöchbauer-Müller S, Cooper JL, Vassiliou GS, Stoiber D, Wieser R, Heller G. 2019. SOCS2 is part of a highly prognostic 4-gene signature in AML and promotes disease aggressiveness. Scientific Reports. 9(1), 9139.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6506   OA
Noda-García L, Davidi D, Korenblum E, Elazar A, Putintseva E, Aharoni A, Tawfik DS. 2019. Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. 4(7), 1221–1230.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6513
Guiu J, Hannezo EB, Yui S, Demharter S, Ulyanchenko S, Maimets M, Jørgensen A, Perlman S, Lundvall L, Mamsen LS, Larsen A, Olesen RH, Andersen CY, Thuesen LL, Hare KJ, Pers TH, Khodosevich K, Simons BD, Jensen KB. 2019. Tracing the origin of adult intestinal stem cells. Nature. 570, 107–111.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6621
Wright AE, Darolti I, Bloch NI, Oostra V, Sandkam BA, Buechel SD, Kolm N, Breden F, Vicoso B, Mank JE. 2019. On the power to detect rare recombination events. Proceedings of the National Academy of Sciences of the United States of America. 116(26), 12607–12608.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6638   OA
Silva A, Arroyo Guevara AM, Richter B, Lee O. 2019. Graphs with at most one crossing. Discrete Mathematics. 342(11), 3201–3207.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6657   OA
Danowski P. 2019. An Austrian proposal for the classification of Open Access Tuples (COAT) - distinguish different open access types beyond colors. VOEB-Mitteilungen. 72(1), 59–65.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6784   OA
Ruess J, Pleska M, Guet CC, Tkačik G. 2019. Molecular noise of innate immunity shapes bacteria-phage ecologies. PLoS Computational Biology. 15(7), e1007168.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6796   OA
Stella F, Urdapilleta E, Luo Y, Treves A. 2019. Partial coherence and frustration in self-organizing spherical grids. Hippocampus.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6710
Cossard G, Toups MA, Pannell J. 2019. Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb. Annals of botany. 123(7), 1119–1131.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6671   OA
Boissonnat J-D, Lieutier A, Wintraecken M. 2019. The reach, metric distortion, geodesic convexity and the variation of tangent spaces. Journal of Applied and Computational Topology. 3(1–2), 29–58.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6676   OA
Alistarh D-A, Aspnes J, Ellen F, Gelashvili R, Zhu L. 2019. Why extension-based proofs fail. Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing  - STOC 2019. SoCG 2019: Symposium on Computational Geometry 986–996.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 6828   OA
Brown A. 2019. Arakawa-Suzuki functors for Whittaker modules. Journal of Algebra. 538, 261–289.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6931   OA
Nowak T, Rybicki J. 2019. Byzantine approximate agreement on graphs. 33rd International Symposium on Distributed Computing. DISC: International Symposium on Distributed Computing, LIPIcs, vol. 146. 29:1--29:17.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6936   OA
Ovaskainen O, Rybicki J, Abrego N. 2019. What can observational data reveal about metacommunity processes? Ecography. 42(11), 1877–1886.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6943   OA
Hörmayer L, Friml J. 2019. Targeted cell ablation-based insights into wound healing and restorative patterning. Current Opinion in Plant Biology. 52, 124–130.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6830
Contreras X, Hippenmeyer S. 2019. Memo1 tiles the radial glial cell grid. Neuron. 103(5), 750–752.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 6835   OA
Destagnol KN, Sofos E. 2019. Rational points and prime values of polynomials in moderately many variables. Bulletin des Sciences Mathematiques. 156, 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. 2019. Root gravity response module guides differential growth determining both root bending and apical hook formation in Arabidopsis. Development. 146(17), dev175919.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6979
Kopf A, Sixt MK. 2019. Gut homeostasis: Active migration of intestinal epithelial cells in tissue renewal. Current Biology. 29(20), R1091–R1093.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6955   OA
Schmickler CH, Hammer H-W, Volosniev A. 2019. Universal physics of bound states of a few charged particles. Physics Letters B. 798, 135016.
View | Files available | DOI | arXiv
 

2019 | Journal Article | IST-REx-ID: 6859
Zhou L, Sazanov LA. 2019. Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase. Science. 365(6455), eaaw9144.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7097   OA
Nagano M, Toshima JY, Siekhaus DE, Toshima J. 2019. Rab5-mediated endosome formation is regulated at the trans-Golgi network. Communications Biology. 2(1), 419.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7100   OA
Jeblick M, Leopold NK, Pickl P. 2019. Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. Communications in Mathematical Physics. 372(1), 1–69.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 7105
Yolland L, Burki M, Marcotti S, Luchici A, Kenny FN, Davis JR, Serna-Morales E, Müller J, Sixt MK, Davidson A, Wood W, Schumacher LJ, Endres RG, Miodownik M, Stramer BM. 2019. Persistent and polarized global actin flow is essential for directionality during cell migration. Nature Cell Biology. 21(11), 1370–1381.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7009
Yamada K, Sixt MK. 2019. Mechanisms of 3D cell migration. Nature Reviews Molecular Cell Biology. 20(12), 738–752.
View | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7035   OA
Geher GP, Titkos T, Virosztek D. 2019. Dirac masses and isometric rigidity. Kyoto RIMS Kôkyûroku. Research on isometries as preserver problems and related topics vol. 2125. 34–41.
View | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 6986   OA
Li P. 2019. A colimit of traces of reflection groups. Proceedings of the American Mathematical Society. 147(11), 4597–4604.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7004   OA
Rapcak M, Soibelman Y, Yang Y, Zhao G. 2019. Cohomological Hall algebras, vertex algebras and instantons. Communications in Mathematical Physics.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 7213
Bhatia S, Chatterjee B, Nathani D, Kaul M. 2019. A persistent homology perspective to the link prediction problem. Complex Networks and their applications VIII. , SCI, vol. 881. 27–39.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 7218
Dodier P, Winter F, Auzinger T, Mistelbauer G, Frischer JM, Wang WT, Mallouhi A, Marik W, Wolfsberger S, Reissig L, Hammadi F, Matula C, Baumann A, Bavinzski G. 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.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7220
Dodier P, Auzinger T, Mistelbauer G, Wang WT, Ferraz-Leite H, Gruber A, Marik W, Winter F, Fischer G, Frischer JM, Bavinzski G. Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography. World Neurosurgery.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7225   OA
Merrin J. 2019. Frontiers in microfluidics, a teaching resource review. Bioengineering. 6(4), 109.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7136   OA
Skórski M. 2019. Strong chain rules for min-entropy under few bits spoiled. 2019 IEEE International Symposium on Information Theory. ISIT: International Symposium on Information Theory
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7143
Sinclair SA, Friml J. 2019. Defying gravity: a plant’s quest for moisture. Cell Research. 29, 965–966.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 7148
Nakamoto C, Konno K, Miyazaki T, Nakatsukasa E, Natsume R, Abe M, Kawamura M, Fukazawa Y, Shigemoto R, Yamasaki M, Sakimura K, Watanabe M. 2019. Expression mapping, quantification, and complex formation of GluD1 and GluD2 glutamate receptors in adult mouse brain. Journal of Comparative Neurology.
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. 2019. X-CAD: Optimizing CAD Models with Extended Finite Elements. ACM Transactions on Graphics. 38(6), 157.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 7201   OA
Renggli C, Ashkboos S, Aghagolzadeh M, Alistarh D-A, Hoefler T. 2019. SparCML: High-performance sparse communication for machine learning. International Conference for High Performance Computing, Networking, Storage and Analysis, SC. SC: Conference for High Performance Computing, Networking, Storage and Analysis
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7181   OA
Garriga E, Di Tommaso P, Magis C, Erb I, Mansouri L, Baltzis A, Laayouni H, Kondrashov F, Floden E, Notredame C. 2019. Large multiple sequence alignments with a root-to-leaf regressive method. Nature Biotechnology. 37(12), 1466–1470.
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. 2019. Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses. FASEB journal. 33(12), 13734–13746.
View | DOI | PubMed | Europe PMC
 

2019 | Journal Article | IST-REx-ID: 6486
Kühnen J, Scarselli D, Hof B. 2019. Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. 141(11), 111105.
View | Files available | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 7340   OA
Amin-Wetzel NP, Neidhardt L, Yan Y, Mayer MP, Ron D. 2019. Unstructured regions in IRE1α specify BiP-mediated destabilisation of the luminal domain dimer and repression of the UPR. eLife. 8, e50793.
View | DOI | Download (ext.)
 

2019 | Journal Article | IST-REx-ID: 5945
Petkova MD, Tkacik G, Bialek W, Wieschaus EF, Gregor T. 2019. Optimal decoding of cellular identities in a genetic network. Cell. 176(4), 844–855.e15.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5678   OA
Edelsbrunner H, Nikitenko A. 2019. Poisson–Delaunay Mosaics of Order k. Discrete and Computational Geometry. 62(4), 865–878.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 5856   OA
Moser T, Seiringer R. 2019. Energy contribution of a point-interacting impurity in a Fermi gas. Annales Henri Poincare. 20(4), 1325–1365.
View | Files available | DOI | arXiv
 

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. Proceedings of the 34th ACM Symposium on Applied Computing. ACM Symposium on Applied Computing vol. Part F147772. 374–381.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6380   OA
Chatterjee K, Goharshady AK, Okati N, Pavlogiannis A. 2019. Efficient parameterized algorithms for data packing. Proceedings of the ACM on Programming Languages. 3(POPL), 53.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6455
Telley L, Agirman G, Prados J, Amberg N, Fièvre S, Oberst P, Bartolini G, Vitali I, Cadilhac C, Hippenmeyer S, Nguyen L, Dayer A, Jabaudon D. 2019. Temporal patterning of apical progenitors and their daughter neurons in the developing neocortex. Science. 364(6440), eaav2522.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 6462   OA
Avni G, Bloem R, Chatterjee K, Henzinger TA, Konighofer B, Pranger S. 2019. Run-time optimization for learned controllers through quantitative games. 31st International Conference on Computer-Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 11561. 630–649.
View | Files available | DOI
 

2019 | Conference Paper | IST-REx-ID: 6493   OA
Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561. 297–314.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6563   OA
Filakovský M, Vokřínek L. 2019. Are two given maps homotopic? An algorithmic viewpoint. Foundations of Computational Mathematics.
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6056   OA
Chatterjee K, Goharshady AK, Pourdamghani A. 2019. Probabilistic smart contracts: Secure randomness on the blockchain. IEEE International Conference on Blockchain and Cryptocurrency. IEEE International Conference on Blockchain and Cryptocurrency
View | DOI | Download (ext.) | arXiv
 

2019 | Conference Paper | IST-REx-ID: 6885   OA
Chatterjee K, Henzinger TA, Otop J. 2019. Long-run average behavior of vector addition systems with states. CONCUR: International Conference on Concurrency Theory, LIPIcs, vol. 140.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6328
Renkawitz J, Kopf A, Stopp JA, de Vries I, Driscoll MK, Merrin J, Hauschild R, Welf ES, Danuser G, Fiolka R, Sixt MK. 2019. Nuclear positioning facilitates amoeboid migration along the path of least resistance. Nature. 568, 546–550.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 6900   OA
Cepeda Humerez SA, Ruess J, Tkačik G. 2019. Estimating information in time-varying signals. PLoS computational biology. 15(9), e1007290.
View | Files available | DOI | PubMed | Europe PMC
 

2019 | Conference Paper | IST-REx-ID: 7232
Ferrere T, Maler O, Nickovic D. 2019. Mixed-time signal temporal logic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). FORMATS: Formal Modeling and Anaysis of Timed Systems, LNCS, vol. 11750. 59–75.
View | DOI
 

2019 | Journal Article | IST-REx-ID: 27   OA
Amberg N, Laukoter S, Hippenmeyer S. 2019. Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex. Journal of Neurochemistry. 149(1), 12–26.
View | Files available | DOI
 

2019 | Journal Article | IST-REx-ID: 301   OA
Gerencser M, Gyöngy I. 2019. A Feynman–Kac formula for stochastic Dirichlet problems. Stochastic Processes and their Applications. 129(3), 995–1012.
View | DOI | Download (ext.) | arXiv
 

2019 | Journal Article | IST-REx-ID: 5908
Lee E, Vanneste S, Pérez-Sancho J, Benitez-Fuente F, Strelau M, Macho AP, Botella MA, Friml J, Rosado A. 2019. Ionic stress enhances ER–PM connectivity via phosphoinositide-associated SYT1 contact site expansion in Arabidopsis. Proceedings of the National Academy of Sciences of the United States of America. 116(4), 1420–1429.
View | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed