ISTA Research Explorer

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.

402 Publications

2019 | Journal Article | IST-REx-ID: 7399 |

Andergassen D, Muckenhuber M, Bammer PC, Kulinski TM, Theussl H-C, Shimizu T, Penninger JM, Pauler F, Hudson QJ. 2019. The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes. PLoS Genetics. 15(7), e1008268.

2019 | Research Data | IST-REx-ID: 6074 |

Dotter C, Novarino G. 2019. Supplementary data for the research paper ‘Haploinsufficiency of the intellectual disability gene SETD5 disturbs developmental gene expression and cognition’, Institute of Science and Technology Austria, 10.15479/AT:ISTA:6074.

[Published Version] View | Files available | DOI

2019 | Thesis | IST-REx-ID: 6179 |

Schröder DJ. 2019. From Dyson to Pearcey: Universal statistics in random matrix theory. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2019 | Conference Paper | IST-REx-ID: 6642 |

Dostalík M, Pruša V, Skrivan T. 2019. On diffusive variants of some classical viscoelastic rate-type models. AIP Conference Proceedings. 8th International Conference on Novel Trends in Rheology vol. 2107, 020002.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2019 | Journal Article | IST-REx-ID: 6848 |

Kampjut D, Sazanov LA. 2019. Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. 573(7773), 291–295.

2019 | Journal Article | IST-REx-ID: 6189 |

Agrawal N, Choueiri GH, Hof B. 2019. Transition to turbulence in particle laden flows. Physical Review Letters. 122(11), 114502.

2019 | Thesis | IST-REx-ID: 6825 |

Käfer K. 2019. The hippocampus and medial prefrontal cortex during flexible behavior. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2018 | Book Chapter | IST-REx-ID: 562 |

Dimitrov D, Guillaud L, Eguchi K, Takahashi T. 2018.Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses. In: Neurotrophic Factors. Methods in Molecular Biology, vol. 1727, 201–215.

[Submitted Version] View | Files available | DOI | PubMed | Europe PMC

2018 | Conference Paper | IST-REx-ID: 285 |

Huszár K, Spreer J, Wagner U. 2018. On the treewidth of triangulated 3-manifolds. SoCG: Symposium on Computational Geometry, LIPIcs, vol. 99, 46.

[Submitted Version] View | Files available | DOI | arXiv

2018 | Thesis | IST-REx-ID: 68 |

Zimin A. 2018. Learning from dependent data. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2018 | Journal Article | IST-REx-ID: 6774 |

Filakovský M, Franek P, Wagner U, Zhechev SY. 2018. Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. 2(3–4), 177–231.

[Published Version] View | Files available | DOI

2018 | Conference Paper | IST-REx-ID: 144

Ferrere T, Henzinger TA, Saraç E. 2018. A theory of register monitors. LICS: Logic in Computer Science, ACM/IEEE Symposium on Logic in Computer Science, vol. Part F138033, 394–403.

View | DOI | WoS

2018 | Journal Article | IST-REx-ID: 320 |

Hu H, Roth F, Vandael DH, Jonas PM. 2018. Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons. Neuron. 98(1), 156–165.

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 617 |

Kutzer M, Kurtz J, Armitage S. 2018. Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance. Journal of Evolutionary Biology. 31(1), 159–171.

2018 | Journal Article | IST-REx-ID: 76 |

Lenzen C, Rybicki J. 2018. Near-optimal self-stabilising counting and firing squads. Distributed Computing.

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 279 |

Zapata L, Pich O, Serrano L, Kondrashov F, Ossowski S, Schaefer M. 2018. Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome. Genome Biology. 19, 67.

[Published Version] View | Files available | DOI | WoS

2018 | Conference Paper | IST-REx-ID: 300 |

Micciancio D, Walter M. 2018. On the bit security of cryptographic primitives. Eurocrypt: Advances in Cryptology, LNCS, vol. 10820, 3–28.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

2018 | Journal Article | IST-REx-ID: 159 |

Fehrentz T, Huber F, Hartrampf N, Bruegmann T, Frank J, Fine N, Malan D, Danzl JG, Tikhonov D, Sumser M, Sasse P, Hodson D, Zhorov B, Klocker N, Trauner D. 2018. Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. 14(8), 764–767.

[Submitted Version] View | Files available | DOI | WoS

2018 | Conference Paper | IST-REx-ID: 141 |

Chatterjee K, Henzinger MH, Loitzenbauer V, Oraee S, Toman V. 2018. Symbolic algorithms for graphs and Markov decision processes with fairness objectives. CAV: Computer Aided Verification, LNCS, vol. 10982, 178–197.

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 5861 |

Alanko JH, Sixt MK. 2018. The cell sets the tone. eLife. 7, e37888.

[Published Version] View | Files available | DOI | WoS

2018 | Journal Article | IST-REx-ID: 147 |

Kania U, Nodzyński T, Lu Q, Hicks GR, Nerinckx W, Mishev K, Peurois F, Cherfils J, De RRM, Grones P, Robert S, Russinova E, Friml J. 2018. The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes. The Plant Cell. 30(10), 2553–2572.

2018 | Journal Article | IST-REx-ID: 606 |

Duerinckx M, Fischer JL. 2018. Well-posedness for mean-field evolutions arising in superconductivity. Annales de l’Institut Henri Poincare (C) Non Linear Analysis. 35(5), 1267–1319.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 5971 |

Erdös L, Mühlbacher P. 2018. Bounds on the norm of Wigner-type random matrices. Random matrices: Theory and applications., 1950009.

[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv

2018 | Journal Article | IST-REx-ID: 6010 |

Garrido-Charad F, Vega Zuniga TA, Gutiérrez-Ibáñez C, Fernandez P, López-Jury L, González-Cabrera C, Karten HJ, Luksch H, Marín GJ. 2018. “Shepherd’s crook” neurons drive and synchronize the enhancing and suppressive mechanisms of the midbrain stimulus selection network. Proceedings of the National Academy of Sciences. 115(32), E7615–E7623.

2018 | Thesis | IST-REx-ID: 200 |

Ringbauer H. 2018. Inferring recent demography from spatial genetic structure. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2018 | Thesis | IST-REx-ID: 324 |

Chen C. 2018. Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2018 | Preprint | IST-REx-ID: 6183 |

Alt J, Erdös L, Krüger TH. The Dyson equation with linear self-energy: Spectral bands, edges and cusps. arXiv, 1804.07752.

[Preprint] View | Files available | Download Preprint (ext.) | arXiv

2018 | Journal Article | IST-REx-ID: 286

Ellis T, Field D, Barton NH. 2018. Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering. Molecular Ecology Resources. 18(5), 988–999.

View | Files available | DOI | WoS

2018 | Thesis | IST-REx-ID: 149 |

Alt J. 2018. Dyson equation and eigenvalue statistics of random matrices. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2018 | Thesis | IST-REx-ID: 51 |

Case MJ. 2018. From the left to the right: A tale of asymmetries, environments, and hippocampal development. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2018 | Thesis | IST-REx-ID: 10 |

Laukoter S. 2018. Role of genomic imprinting in cerebral cortex development. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2018 | Thesis | IST-REx-ID: 6263 |

Lukacisinova M. 2018. Genetic determinants of antibiotic resistance evolution. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 1211 |

Budanur NB, Cvitanović P. 2017. Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system. Journal of Statistical Physics. 167(3–4), 636–655.

[Submitted Version] View | Files available | DOI

2017 | Conference Paper | IST-REx-ID: 551 |

Chatterjee K, Ibsen-Jensen R, Nowak M. 2017. Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs. Leibniz International Proceedings in Informatics. MFCS: Mathematical Foundations of Computer Science (SG), LIPIcs, vol. 83, 61.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 610 |

Goaoc X, Mabillard I, Paták P, Patakova Z, Tancer M, Wagner U. 2017. On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result. Israel Journal of Mathematics. 222(2), 841–866.

[Preprint] View | Files available | DOI | Download Preprint (ext.)

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.

[Published Version] View | DOI | PubMed | Europe PMC

2017 | Conference Paper | IST-REx-ID: 6841 |

Martius GS, Lampert C. 2017. Extrapolation and learning equations. 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings. ICLR: International Conference on Learning Representations.

[Preprint] View | Download Preprint (ext.) | arXiv

2017 | Conference Paper | IST-REx-ID: 688 |

Edelsbrunner H, Wagner H. 2017. Topological data analysis with Bregman divergences. Symposium on Computational Geometry, SoCG, LIPIcs, vol. 77, 391–3916.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 714 |

Brailoiu G, Deliu E, Barr J, Console Bram L, Ciuciu A, Abood M, Unterwald E, Brǎiloiu E. 2017. HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens. Drug and Alcohol Dependence. 178, 7–14.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

2017 | Journal Article | IST-REx-ID: 680 |

Chalk MJ, Masset P, Gutkin B, Denève S. 2017. Sensory noise predicts divisive reshaping of receptive fields. PLoS Computational Biology. 13(6), e1005582.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 9506 |

Zilberman D. 2017. An evolutionary case for functional gene body methylation in plants and animals. Genome Biology. 18(1), 87.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2017 | Research Data Reference | IST-REx-ID: 9707 |

Riccio P, Cebrián C, Zong H, Hippenmeyer S, Costantini F. 2017. Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis, Dryad, 10.5061/dryad.pk16b.

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2017 | Thesis | IST-REx-ID: 821 |

Pavlogiannis A. 2017. Algorithmic advances in program analysis and their applications. Institute of Science and Technology Austria.

[Published Version] View | Files available | DOI

2017 | Journal Article | IST-REx-ID: 1407 |

Svoreňová M, Kretinsky J, Chmelik M, Chatterjee K, Cěrná I, Belta C. 2017. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. 23(2), 230–253.

2017 | Journal Article | IST-REx-ID: 1337 |

Ajanki OH, Erdös L, Krüger TH. 2017. Universality for general Wigner-type matrices. Probability Theory and Related Fields. 169(3–4), 667–727.

[Published Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1152 |

Gajda-Zagorska EP, Schaefer R, Smołka M, Pardo D, Alvarez Aramberri J. 2017. A multi objective memetic inverse solver reinforced by local optimization methods. Journal of Computational Science. 18, 85–94.

[Submitted Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1120 |

Li X, Seiringer R, Lemeshko M. 2017. Angular self-localization of impurities rotating in a bosonic bath. Physical Review A. 95(3), 033608.

[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS

2017 | Journal Article | IST-REx-ID: 1110 |

Kuhn B, Nodzyński T, Errafi S, Bucher R, Gupta S, Aryal B, Dobrev P, Bigler L, Geisler M, Zažímalová E, Friml J, Ringli C. 2017. Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity. Scientific Reports. 7, 41906.

[Published Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1104 |

Deny S, Ferrari U, Mace E, Yger P, Caplette R, Picaud S, Tkačik G, Marre O. 2017. Multiplexed computations in retinal ganglion cells of a single type. Nature Communications. 8(1), 1964.

[Published Version] View | Files available | DOI | WoS

2017 | Journal Article | IST-REx-ID: 1063 |

Uecker H. 2017. Evolutionary rescue in randomly mating, selfing, and clonal populations. Evolution. 71(4), 845–858.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

402 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

402 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Export Options