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.
403 Publications
2019 | Conference Paper | IST-REx-ID: 14191 | 
Locatello, F., Yurtsever, A., Fercoq, O., & Cevher, V. (2019). Stochastic Frank-Wolfe for composite convex minimization. In Advances in Neural Information Processing Systems (Vol. 32, pp. 14291–14301). Vancouver, Canada.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2019 | Journal Article | IST-REx-ID: 7399 |
Andergassen, D., Muckenhuber, M., Bammer, P. C., Kulinski, T. M., Theussl, H.-C., Shimizu, T., … Hudson, Q. J. (2019). The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes. PLoS Genetics. Public Library of Science. https://doi.org/10.1371/journal.pgen.1008268
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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. https://doi.org/10.15479/AT:ISTA:6074
[Published Version]
View
| Files available
| DOI
2019 | Thesis | IST-REx-ID: 6179 |
Schröder, D. J. (2019). From Dyson to Pearcey: Universal statistics in random matrix theory. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:th6179
[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. In AIP Conference Proceedings (Vol. 2107). Zlin, Czech Republic: AIP Publishing. https://doi.org/10.1063/1.5109493
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Journal Article | IST-REx-ID: 6848 |
Kampjut, D., & Sazanov, L. A. (2019). Structure and mechanism of mitochondrial proton-translocating transhydrogenase. Nature. Springer Nature. https://doi.org/10.1038/s41586-019-1519-2
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Journal Article | IST-REx-ID: 6189 |
Agrawal, N., Choueiri, G. H., & Hof, B. (2019). Transition to turbulence in particle laden flows. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.122.114502
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
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. https://doi.org/10.15479/AT:ISTA:6825
[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 S. D. Skaper (Ed.), Neurotrophic Factors (Vol. 1727, pp. 201–215). Springer. https://doi.org/10.1007/978-1-4939-7571-6_15
[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 (Vol. 99). Presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2018.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. https://doi.org/10.15479/AT:ISTA:TH1048
[Published Version]
View
| Files available
| DOI
2018 | Journal Article | IST-REx-ID: 6774 |
Filakovský, M., Franek, P., Wagner, U., & Zhechev, S. Y. (2018). Computing simplicial representatives of homotopy group elements. Journal of Applied and Computational Topology. Springer. https://doi.org/10.1007/s41468-018-0021-5
[Published Version]
View
| Files available
| DOI
2018 | Conference Paper | IST-REx-ID: 144
Ferrere, T., Henzinger, T. A., & Saraç, E. (2018). A theory of register monitors (Vol. Part F138033, pp. 394–403). Presented at the LICS: Logic in Computer Science, Oxford, UK: IEEE. https://doi.org/10.1145/3209108.3209194
View
| DOI
| WoS
2018 | Journal Article | IST-REx-ID: 320 |
Hu, H., Roth, F., Vandael, D. H., & Jonas, P. M. (2018). Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2018.02.024
[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. Wiley. https://doi.org/10.1111/jeb.13211
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2018 | Journal Article | IST-REx-ID: 76 |
Lenzen, C., & Rybicki, J. (2018). Near-optimal self-stabilising counting and firing squads. Distributed Computing. Springer. https://doi.org/10.1007/s00446-018-0342-6
[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. BioMed Central. https://doi.org/10.1186/s13059-018-1434-0
[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 (Vol. 10820, pp. 3–28). Presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel: Springer. https://doi.org/10.1007/978-3-319-78381-9_1
[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., … Trauner, D. (2018). Optical control of L-type Ca2+ channels using a diltiazem photoswitch. Nature Chemical Biology. Nature Publishing Group. https://doi.org/10.1038/s41589-018-0090-8
[Submitted Version]
View
| Files available
| DOI
| WoS
2018 | Conference Paper | IST-REx-ID: 141 |
Chatterjee, K., Henzinger, M. H., Loitzenbauer, V., Oraee, S., & Toman, V. (2018). Symbolic algorithms for graphs and Markov decision processes with fairness objectives (Vol. 10982, pp. 178–197). Presented at the CAV: Computer Aided Verification, Oxford, United Kingdom: Springer. https://doi.org/10.1007/978-3-319-96142-2_13
[Published Version]
View
| Files available
| DOI
| WoS