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.

6122 Publications


2017 | Technical Report | IST-REx-ID: 6426 | OA
Henzinger TA, Kragl B, Qadeer S. 2017. Synchronizing the asynchronous, IST Austria, 28p.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 643
Sun W, Zhai M-Z, Zhou Q, Qian C, Jiang C. 2017. Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats. Chinese Journal of Physiology. 60(4), 207–214.
View | DOI | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 642 | OA
Gerencser M, Gyöngy I. 2017. Localization errors in solving stochastic partial differential equations in the whole space. Mathematics of Computation. 86(307), 2373–2397.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 1029 | OA
Lukacisin M, Landon M, Jajoo R. 2017. Sequence-specific thermodynamic properties of nucleic acids influence both transcriptional pausing and backtracking in yeast. PLoS One. 12(3), e0174066.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 644 | OA
Kolmogorov V, Krokhin A, Rolinek M. 2017. The complexity of general-valued CSPs. SIAM Journal on Computing. 46(3), 1087–1110.
View | Files available | DOI | Download Preprint (ext.)
 

2017 | Conference Paper | IST-REx-ID: 645 | OA
Ashok P, Chatterjee K, Daca P, Kretinsky J, Meggendorfer T. 2017. Value iteration for long run average reward in markov decision processes. CAV: Computer Aided Verification, LNCS, vol. 10426, 201–221.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 646 | OA
Kuske J, Swoboda P, Petra S. 2017. A novel convex relaxation for non binary discrete tomography. SSVM: Scale Space and Variational Methods in Computer Vision, LNCS, vol. 10302, 235–246.
View | DOI | Download Submitted Version (ext.)
 

2017 | Book Chapter | IST-REx-ID: 649
Maas J. 2017.Entropic Ricci curvature for discrete spaces. In: Modern Approaches to Discrete Curvature. LNCS, vol. 2184, 159–174.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 650 | OA
Skórski M. 2017. A cryptographic view of regularity lemmas: Simpler unified proofs and refined bounds. TAMC: Theory and Applications of Models of Computation, LNCS, vol. 10185, 586–599.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 648 | OA
Skórski M. 2017. On the complexity of breaking pseudoentropy. TAMC: Theory and Applications of Models of Computation, LNCS, vol. 10185, 600–613.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 2016 | OA
Martin Del Campo Sanchez A, Cepeda Humerez SA, Uhler C. 2017. Exact goodness-of-fit testing for the Ising model. Scandinavian Journal of Statistics. 44(2), 285–306.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 656
Novarino G. 2017. Modeling Alzheimer’s disease in mice with human neurons. Science Translational Medicine. 9(381), eaam9867.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 657 | OA
Möller B, Ten Hove C, Xiang D, Williams N, López L, Yoshida S, Smit M, Datla R, Weijers D. 2017. Auxin response cell autonomously controls ground tissue initiation in the early arabidopsis embryo. PNAS. 114(12), E2533–E2539.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 658 | OA
Der R, Martius GS. 2017. Self organized behavior generation for musculoskeletal robots. Frontiers in Neurorobotics. 11(MAR), 00008.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 659 | OA
Kage F, Winterhoff M, Dimchev V, Müller J, Thalheim T, Freise A, Brühmann S, Kollasser J, Block J, Dimchev GA, Geyer M, Schnittler H, Brakebusch C, Stradal T, Carlier M, Sixt MK, Käs J, Faix J, Rottner K. 2017. FMNL formins boost lamellipodial force generation. Nature Communications. 8, 14832.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 660 | OA
Rickman J, Düllberg CF, Cade N, Griffin L, Surrey T. 2017. Steady state EB cap size fluctuations are determined by stochastic microtubule growth and maturation. PNAS. 114(13), 3427–3432.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 651
Hof B. 2017. Fluid dynamics: Water flows out of touch. Nature. 541(7636), 161–162.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 6517 | OA
Fulek R. 2017. Embedding graphs into embedded graphs. ISAAC: International Symposium on Algorithms and Computation vol. 92, 34.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6519 | OA
Chatterjee K, Dvorák W, Henzinger M, Loitzenbauer V. 2017. Improved set-based symbolic algorithms for parity games. CSL: Conference on Computer Science Logic vol. 82, 18.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 652
Der R, Martius GS. 2017. Dynamical self consistency leads to behavioral development and emergent social interactions in robots. ICDL EpiRob: International Conference on Development and Learning and Epigenetic Robotics , 7846789.
View | DOI
 

2017 | Conference Paper | IST-REx-ID: 6526 | OA
Skórski M. 2017. On the complexity of estimating Rènyi divergences. 2017 IEEE International Symposium on Information Theory (ISIT). ISIT: International Symposium on Information Theory, 8006529.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 6527 | OA
Alwen JF, Blocki J, Harsha B. 2017. Practical graphs for optimal side-channel resistant memory-hard functions. Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. CCS: Conference on Computer and Communications Security, 1001–1017.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 653 | OA
Makohon Moore A, Zhang M, Reiter J, Božić I, Allen B, Kundu D, Chatterjee K, Wong F, Jiao Y, Kohutek Z, Hong J, Attiyeh M, Javier B, Wood L, Hruban R, Nowak M, Papadopoulos N, Kinzler K, Vogelstein B, Iacobuzio Donahue C. 2017. Limited heterogeneity of known driver gene mutations among the metastases of individual patients with pancreatic cancer. Nature Genetics. 49(3), 358–366.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 654 | OA
Kicheva A, Rivron N. 2017. Creating to understand – developmental biology meets engineering in Paris. Development. 144(5), 733–736.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 655 | OA
Renault T, Abraham A, Bergmiller T, Paradis G, Rainville S, Charpentier E, Guet CC, Tu Y, Namba K, Keener J, Minamino T, Erhardt M. 2017. Bacterial flagella grow through an injection diffusion mechanism. eLife. 6, e23136.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 662 | OA
Shi L, Hof B, Rampp M, Avila M. 2017. Hydrodynamic turbulence in quasi Keplerian rotating flows. Physics of Fluids. 29(4), 044107.
View | DOI | Download Submitted Version (ext.)
 

2017 | Conference Paper | IST-REx-ID: 663 | OA
Kong H, Bogomolov S, Schilling C, Jiang Y, Henzinger TA. 2017. Safety verification of nonlinear hybrid systems based on invariant clusters. Proceedings of the 20th International Conference on Hybrid Systems. HSCC: Hybrid Systems Computation and Control , 163–172.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 665
Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multidrug efflux pump AcrAB TolC underlies long lived phenotypic heterogeneity. Science. 356(6335), 311–315.
View | Files available | DOI
 

2017 | Research Data | IST-REx-ID: 5560 | OA
Bergmiller T, Andersson AM, Tomasek K, Balleza E, Kiviet D, Hauschild R, Tkačik G, Guet CC. 2017. Biased partitioning of the multi-drug efflux pump AcrAB-TolC underlies long-lived phenotypic heterogeneity, IST Austria, doi:10.15479/AT:ISTA:53.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 667
Novarino G. 2017. The antisocial side of antibiotics. Science Translational Medicine. 9(387), 2786.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 670 | OA
Schreck C, Rohmer D, Hahmann S. 2017. Interactive paper tearing. Computer Graphics Forum. 36(2), 95–106.
View | DOI | Download Published Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 671 | OA
Hilbe C, Martinez V, Chatterjee K, Nowak M. 2017. Memory-n strategies of direct reciprocity. PNAS. 114(18), 4715–4720.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 672 | OA
Vaahtomeri K, Brown M, Hauschild R, de Vries I, Leithner AF, Mehling M, Kaufmann W, Sixt MK. 2017. Locally triggered release of the chemokine CCL21 promotes dendritic cell transmigration across lymphatic endothelia. Cell Reports. 19(5), 902–909.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 6679 | OA
Hashemi SA, Mondelli M, Hassani H, Urbanke R, Gross W. 2017. Partitioned list decoding of polar codes: Analysis and improvement of finite length performance. 2017 IEEE Global Communications Conference. GLOBECOM: Global Communications Conference, 1–7.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 668 | OA
Horsthemke M, Bachg A, Groll K, Moyzio S, Müther B, Hemkemeyer S, Wedlich Söldner R, Sixt MK, Tacke S, Bähler M, Hanley P. 2017. Multiple roles of filopodial dynamics in particle capture and phagocytosis and phenotypes of Cdc42 and Myo10 deletion. Journal of Biological Chemistry. 292(17), 7258–7273.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 669 | OA
Synek L, Vukašinović N, Kulich I, Hála M, Aldorfová K, Fendrych M, Žárský V. 2017. EXO70C2 is a key regulatory factor for optimal tip growth of pollen. Plant Physiology. 174(1), 223–240.
View | Files available | DOI | PubMed | Europe PMC
 

2017 | Conference Paper | IST-REx-ID: 6729 | OA
Mondelli M, Hassani SH, Urbanke R. 2017. Construction of polar codes with sublinear complexity. 2017 IEEE International Symposium on Information Theory . ISIT: International Symposium on Information Theory, 1853–1857.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 673 | OA
Altmeyer S, Lueptow R. 2017. Wave propagation reversal for wavy vortices in wide gap counter rotating cylindrical Couette flow. Physical Review E - Statistical, Nonlinear, and Soft Matter Physics. 95(5), 053103.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 6730 | OA
Kudekar S, Kumar S, Mondelli M, Pfister HD, Sasoglu E, Urbanke RL. 2017. Reed–Muller codes achieve capacity on erasure channels. IEEE Transactions on Information Theory. 63(7), 4298–4316.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Conference Paper | IST-REx-ID: 6731 | OA
Mondelli M, Hassani H, Maric I, Hui D, Hong S-N. 2017. Capacity-achieving rate-compatible polar codes for general channels. 2017 IEEE Wireless Communications and Networking Conference Workshops . WCNCW: Wireless communications and networking conference workshops, 7919107.
View | DOI | Download Preprint (ext.) | arXiv
 

2017 | Journal Article | IST-REx-ID: 674
Schwarz J, Bierbaum V, Vaahtomeri K, Hauschild R, Brown M, de Vries I, Leithner AF, REVERSAT A, Merrin J, Tarrant T, Bollenbach MT, Sixt MK. 2017. Dendritic cells interpret haptotactic chemokine gradients in a manner governed by signal to noise ratio and dependent on GRK6. Current Biology. 27(9), 1314–1325.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 675
Haase J, Bagiante S, Sigg H, Van Bokhoven J. 2017. Surface enhanced infrared absorption of chemisorbed carbon monoxide using plasmonic nanoantennas. Optics Letters. 42(10), 1931–1934.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 678
Petridou N, Spiro ZP, Heisenberg C-PJ. 2017. Multiscale force sensing in development. Nature Cell Biology. 19(6), 581–588.
View | DOI
 

2017 | Journal Article | IST-REx-ID: 679 | OA
Ebner F, Sedlyarov V, Tasciyan S, Ivin M, Kratochvill F, Gratz N, Kenner L, Villunger A, Sixt MK, Kovarik P. 2017. The RNA-binding protein tristetraprolin schedules apoptosis of pathogen-engaged neutrophils during bacterial infection. The Journal of Clinical Investigation. 127(6), 2051–2065.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2017 | Journal Article | IST-REx-ID: 680 | OA
Chalk MJ, Masset P, Gutkin B, Denève S. 2017. Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. 13(6), e1005582.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 681 | OA
Chatterjee K, Doyen L, Filiot E, Raskin J. 2017. Doomsday equilibria for omega-regular games. Information and Computation. 254, 296–315.
View | DOI | Download Submitted Version (ext.)
 

2017 | Journal Article | IST-REx-ID: 677 | OA
Lademann C, Renkawitz J, Pfander B, Jentsch S. 2017. The INO80 complex removes H2A.Z to promote presynaptic filament formation during homologous recombination. Cell Reports. 19(7), 1294–1303.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 682 | OA
Ukai H, Kawahara A, Hirayama K, Case MJ, Aino S, Miyabe M, Wakita K, Oogi R, Kasayuki M, Kawashima S, Sugimoto S, Chikamatsu K, Nitta N, Koga T, Shigemoto R, Takai T, Ito I. 2017. PirB regulates asymmetries in hippocampal circuitry. PLoS One. 12(6), e0179377.
View | Files available | DOI
 

2017 | Conference Paper | IST-REx-ID: 683 | OA
Lubiw A, Masárová Z, Wagner U. 2017. A proof of the orbit conjecture for flipping edge labelled triangulations. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 77, 49.
View | Files available | DOI
 

2017 | Journal Article | IST-REx-ID: 685 | OA
Briscoe J, Kicheva A. 2017. The physics of development 100 years after D’Arcy Thompson’s “on growth and form”. Mechanisms of Development. 145, 26–31.
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications