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 | Conference Paper | IST-REx-ID: 6887 | OA
K. Chatterjee, W. Dvorák, M. H. Henzinger, and A. Svozil, “Near-linear time algorithms for Streett objectives in graphs and MDPs,” in Leibniz International Proceedings in Informatics, Amsterdam, Netherlands, 2019, vol. 140.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 7035 | OA
G. P. Geher, T. Titkos, and D. Virosztek, “Dirac masses and isometric rigidity,” in Kyoto RIMS Kôkyûroku, Kyoto, Japan, 2019, vol. 2125, pp. 34–41.
[Submitted Version] View | Download Submitted Version (ext.)
 
2019 | Conference Paper | IST-REx-ID: 8175 | OA
D. Betea, J. Bouttier, P. Nejjar, and M. Vuletíc, “New edge asymptotics of skew Young diagrams via free boundaries,” in Proceedings on the 31st International Conference on Formal Power Series and Algebraic Combinatorics, Ljubljana, Slovenia, 2019.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 9460 | OA
M. Y. Kim et al., “DNA demethylation by ROS1a in rice vegetative cells promotes methylation in sperm,” Proceedings of the National Academy of Sciences, vol. 116, no. 19. National Academy of Sciences, pp. 9652–9657, 2019.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 12190
E. J. Lawrence et al., “Natural variation in TBP-ASSOCIATED FACTOR 4b controls meiotic crossover and germline transcription in Arabidopsis,” Current Biology, vol. 29, no. 16. Elsevier BV, p. 2676–2686.e3, 2019.
View | DOI | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 105 | OA
A. Marsh, G. Novarino, P. Lockhart, and R. Leventer, “CUGC for pontocerebellar hypoplasia type 9 and spastic paraplegia-63,” European Journal of Human Genetics, vol. 27. Springer Nature, pp. 161–166, 2019.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 65 | OA
K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic porous media equations,” Journal of Differential Equations, vol. 266, no. 6. Elsevier, pp. 3732–3763, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 5907 | OA
R. Mócsai et al., “N-glycans of the microalga Chlorella vulgaris are of the oligomannosidic type but highly methylated,” Scientific Reports, vol. 9, no. 1. Nature Publishing Group, 2019.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 6028 | OA
M. Gerencser and M. Hairer, “A solution theory for quasilinear singular SPDEs,” Communications on Pure and Applied Mathematics, vol. 72, no. 9. Wiley, pp. 1983–2005, 2019.
[Published Version] View | Files available | DOI | WoS
 
2019 | Journal Article | IST-REx-ID: 6467 | OA
C. Fraisse and J. J. Welch, “The distribution of epistasis on simple fitness landscapes,” Biology Letters, vol. 15, no. 4. Royal Society of London, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6506 | OA
L. Noda-García et al., “Chance and pleiotropy dominate genetic diversity in complex bacterial environments,” Nature Microbiology, vol. 4, no. 7. Springer Nature, pp. 1221–1230, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2019 | Journal Article | IST-REx-ID: 6566 | OA
M. Ibáñez et al., “Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks,” ACS Nano, vol. 13, no. 6. American Chemical Society, pp. 6572–6580, 2019.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6634 | OA
A. Akopyan, A. Hubard, and R. Karasev, “Lower and upper bounds for the waists of different spaces,” Topological Methods in Nonlinear Analysis, vol. 53, no. 2. Akademicka Platforma Czasopism, pp. 457–490, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 6821 | OA
M. R. Yourick et al., “Diurnal variation in opsin expression and common housekeeping genes necessitates comprehensive normalization methods for quantitative real-time PCR analyses,” Molecular Ecology Resources, vol. 19, no. 6. Wiley, pp. 1447–1460, 2019.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6828 | OA
A. Brown, “Arakawa-Suzuki functors for Whittaker modules,” Journal of Algebra, vol. 538. Elsevier, pp. 261–289, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 6837
S. Tavano and C.-P. J. Heisenberg, “Migrasomes take center stage,” Nature Cell Biology, vol. 21, no. 8. Springer Nature, pp. 918–920, 2019.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6859
L. Zhou and L. A. Sazanov, “Structure and conformational plasticity of the intact Thermus thermophilus V/A-type ATPase,” Science, vol. 365, no. 6455. AAAS, 2019.
View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7000 | OA
Y. Shehu, O. S. Iyiola, X.-H. Li, and Q.-L. Dong, “Convergence analysis of projection method for variational inequalities,” Computational and Applied Mathematics, vol. 38, no. 4. Springer Nature, 2019.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 6586 | OA
M. Ibáñez et al., “Ligand-mediated band engineering in bottom-up assembled SnTe nanocomposites for thermoelectric energy conversion,” Journal of the American Chemical Society, vol. 141, no. 20. American Chemical Society, pp. 8025–8029, 2019.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7179 | OA
L. Klotz, O. Wendler, R. Frischknecht, R. Shigemoto, H. Schulze, and R. Enz, “Localization of group II and III metabotropic glutamate receptors at pre- and postsynaptic sites of inner hair cell ribbon synapses,” FASEB Journal, vol. 33, no. 12. FASEB, pp. 13734–13746, 2019.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7421
M. A. Toups, N. Rodrigues, N. Perrin, and M. Kirkpatrick, “A reciprocal translocation radically reshapes sex‐linked inheritance in the common frog,” Molecular Ecology, vol. 28, no. 8. Wiley, pp. 1877–1889, 2019.
View | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 7412 | OA
D. Achlioptas, F. Iliopoulos, and V. Kolmogorov, “A local lemma for focused stochastical algorithms,” SIAM Journal on Computing, vol. 48, no. 5. SIAM, pp. 1583–1602, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 7397 | OA
J. M. Lopez Alonso, G. H. Choueiri, and B. Hof, “Dynamics of viscoelastic pipe flow at low Reynolds numbers in the maximum drag reduction limit,” Journal of Fluid Mechanics, vol. 874. CUP, pp. 699–719, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 6186 | OA
G. Cipolloni, L. Erdös, T. H. Krüger, and D. J. Schröder, “Cusp universality for random matrices, II: The real symmetric case,” Pure and Applied Analysis , vol. 1, no. 4. MSP, pp. 615–707, 2019.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2019 | Thesis | IST-REx-ID: 6681 | OA
S. Y. Zhechev, “Algorithmic aspects of homotopy theory and embeddability,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 
2019 | Journal Article | IST-REx-ID: 7093 | OA
K. Huszár, J. Spreer, and U. Wagner, “On the treewidth of triangulated 3-manifolds,” Journal of Computational Geometry, vol. 10, no. 2. Computational Geometry Laborartoy, pp. 70–98, 2019.
[Published Version] View | Files available | DOI | arXiv
 
2019 | Journal Article | IST-REx-ID: 6014 | OA
A. Varshney and V. Steinberg, “Elastic alfven waves in elastic turbulence,” Nature Communications, vol. 10. Springer Nature, 2019.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 10878 | OA
F. Flandoli, E. Priola, and G. A. Zanco, “A mean-field model with discontinuous coefficients for neurons with spatial interaction,” Discrete and Continuous Dynamical Systems, vol. 39, no. 6. American Institute of Mathematical Sciences, pp. 3037–3067, 2019.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 27 | OA
N. Amberg, S. Laukoter, and S. Hippenmeyer, “Epigenetic cues modulating the generation of cell type diversity in the cerebral cortex,” Journal of Neurochemistry, vol. 149, no. 1. Wiley, pp. 12–26, 2019.
[Published Version] View | Files available | DOI | WoS
 
2019 | Conference Paper | IST-REx-ID: 14191 | OA
F. Locatello, A. Yurtsever, O. Fercoq, and V. Cevher, “Stochastic Frank-Wolfe for composite convex minimization,” in Advances in Neural Information Processing Systems, Vancouver, Canada, 2019, vol. 32, pp. 14291–14301.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2019 | Journal Article | IST-REx-ID: 7399 | OA
D. Andergassen et al., “The Airn lncRNA does not require any DNA elements within its locus to silence distant imprinted genes,” PLoS Genetics, vol. 15, no. 7. Public Library of Science, 2019.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Research Data | IST-REx-ID: 6074 | OA
C. Dotter and G. Novarino, “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, 2019.
[Published Version] View | Files available | DOI
 
2019 | Thesis | IST-REx-ID: 6179 | OA
D. J. Schröder, “From Dyson to Pearcey: Universal statistics in random matrix theory,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6642 | OA
M. Dostalík, V. Pruša, and T. Skrivan, “On diffusive variants of some classical viscoelastic rate-type models,” in AIP Conference Proceedings, Zlin, Czech Republic, 2019, vol. 2107.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Journal Article | IST-REx-ID: 6848 | OA
D. Kampjut and L. A. Sazanov, “Structure and mechanism of mitochondrial proton-translocating transhydrogenase,” Nature, vol. 573, no. 7773. Springer Nature, pp. 291–295, 2019.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2019 | Journal Article | IST-REx-ID: 6189 | OA
N. Agrawal, G. H. Choueiri, and B. Hof, “Transition to turbulence in particle laden flows,” Physical Review Letters, vol. 122, no. 11. American Physical Society, 2019.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2019 | Thesis | IST-REx-ID: 6825 | OA
K. Käfer, “The hippocampus and medial prefrontal cortex during flexible behavior,” Institute of Science and Technology Austria, 2019.
[Published Version] View | Files available | DOI
 
2018 | Book Chapter | IST-REx-ID: 562 | OA
D. Dimitrov, L. Guillaud, K. Eguchi, and T. Takahashi, “Culture of mouse giant central nervous system synapses and application for imaging and electrophysiological analyses,” in Neurotrophic Factors, vol. 1727, S. D. Skaper, Ed. Springer, 2018, pp. 201–215.
[Submitted Version] View | Files available | DOI | PubMed | Europe PMC
 
2018 | Conference Paper | IST-REx-ID: 285 | OA
K. Huszár, J. Spreer, and U. Wagner, “On the treewidth of triangulated 3-manifolds,” presented at the SoCG: Symposium on Computational Geometry, Budapest, Hungary, 2018, vol. 99.
[Submitted Version] View | Files available | DOI | arXiv
 
2018 | Thesis | IST-REx-ID: 68 | OA
A. Zimin, “Learning from dependent data,” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Journal Article | IST-REx-ID: 6774 | OA
M. Filakovský, P. Franek, U. Wagner, and S. Y. Zhechev, “Computing simplicial representatives of homotopy group elements,” Journal of Applied and Computational Topology, vol. 2, no. 3–4. Springer, pp. 177–231, 2018.
[Published Version] View | Files available | DOI
 
2018 | Conference Paper | IST-REx-ID: 144
T. Ferrere, T. A. Henzinger, and E. Saraç, “A theory of register monitors,” presented at the LICS: Logic in Computer Science, Oxford, UK, 2018, vol. Part F138033, pp. 394–403.
View | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 320 | OA
H. Hu, F. Roth, D. H. Vandael, and P. M. Jonas, “Complementary tuning of Na+ and K+ channel gating underlies fast and energy-efficient action potentials in GABAergic interneuron axons,” Neuron, vol. 98, no. 1. Elsevier, pp. 156–165, 2018.
[Published Version] View | Files available | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 617 | OA
M. Kutzer, J. Kurtz, and S. Armitage, “Genotype and diet affect resistance, survival, and fecundity but not fecundity tolerance,” Journal of Evolutionary Biology, vol. 31, no. 1. Wiley, pp. 159–171, 2018.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 76 | OA
C. Lenzen and J. Rybicki, “Near-optimal self-stabilising counting and firing squads,” Distributed Computing. Springer, 2018.
[Published Version] View | Files available | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 279 | OA
L. Zapata, O. Pich, L. Serrano, F. Kondrashov, S. Ossowski, and M. Schaefer, “Negative selection in tumor genome evolution acts on essential cellular functions and the immunopeptidome,” Genome Biology, vol. 19. BioMed Central, 2018.
[Published Version] View | Files available | DOI | WoS
 
2018 | Conference Paper | IST-REx-ID: 300 | OA
D. Micciancio and M. Walter, “On the bit security of cryptographic primitives,” presented at the Eurocrypt: Advances in Cryptology, Tel Aviv, Israel, 2018, vol. 10820, pp. 3–28.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2018 | Journal Article | IST-REx-ID: 159 | OA
T. Fehrentz et al., “Optical control of L-type Ca2+ channels using a diltiazem photoswitch,” Nature Chemical Biology, vol. 14, no. 8. Nature Publishing Group, pp. 764–767, 2018.
[Submitted Version] View | Files available | DOI | WoS
 
2018 | Conference Paper | IST-REx-ID: 141 | OA
K. Chatterjee, M. H. Henzinger, V. Loitzenbauer, S. Oraee, and V. Toman, “Symbolic algorithms for graphs and Markov decision processes with fairness objectives,” presented at the CAV: Computer Aided Verification, Oxford, United Kingdom, 2018, vol. 10982, pp. 178–197.
[Published Version] View | Files available | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 5861 | OA
J. H. Alanko and M. K. Sixt, “The cell sets the tone,” eLife, vol. 7. eLife Sciences Publications, 2018.
[Published Version] View | Files available | DOI | WoS
 
2018 | Journal Article | IST-REx-ID: 147 | OA
U. Kania et al., “The inhibitor Endosidin 4 targets SEC7 domain-type ARF GTPase exchange factors and interferes with sub cellular trafficking in eukaryotes,” The Plant Cell, vol. 30, no. 10. Oxford University Press, pp. 2553–2572, 2018.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Journal Article | IST-REx-ID: 606 | OA
M. Duerinckx and J. L. Fischer, “Well-posedness for mean-field evolutions arising in superconductivity,” Annales de l’Institut Henri Poincare (C) Non Linear Analysis, vol. 35, no. 5. Elsevier, pp. 1267–1319, 2018.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | arXiv
 
2018 | Journal Article | IST-REx-ID: 5971 | OA
L. Erdös and P. Mühlbacher, “Bounds on the norm of Wigner-type random matrices,” Random matrices: Theory and applications. World Scientific Publishing, 2018.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2018 | Journal Article | IST-REx-ID: 6010 | OA
F. Garrido-Charad et al., ““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, vol. 115, no. 32. National Academy of Sciences, pp. E7615–E7623, 2018.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2018 | Thesis | IST-REx-ID: 200 | OA
H. Ringbauer, “Inferring recent demography from spatial genetic structure,” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 324 | OA
C. Chen, “Synaptotagmins ensure speed and efficiency of inhibitory neurotransmitter release,” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Preprint | IST-REx-ID: 6183 | OA
J. Alt, L. Erdös, and T. H. Krüger, “The Dyson equation with linear self-energy: Spectral bands, edges and  cusps,” arXiv. .
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2018 | Journal Article | IST-REx-ID: 286
T. Ellis, D. Field, and N. H. Barton, “Efficient inference of paternity and sibship inference given known maternity via hierarchical clustering,” Molecular Ecology Resources, vol. 18, no. 5. Wiley, pp. 988–999, 2018.
View | Files available | DOI | WoS
 
2018 | Thesis | IST-REx-ID: 149 | OA
J. Alt, “Dyson equation and eigenvalue statistics of random matrices,” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 51 | OA
M. J. Case, “From the left to the right: A tale of asymmetries, environments, and hippocampal development,” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 10 | OA
S. Laukoter, “Role of genomic imprinting in cerebral cortex development,” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2018 | Thesis | IST-REx-ID: 6263 | OA
M. Lukacisinova, “Genetic determinants of antibiotic resistance evolution,” Institute of Science and Technology Austria, 2018.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1211 | OA
N. B. Budanur and P. Cvitanović, “Unstable manifolds of relative periodic orbits in the symmetry reduced state space of the Kuramoto–Sivashinsky system,” Journal of Statistical Physics, vol. 167, no. 3–4. Springer, pp. 636–655, 2017.
[Submitted Version] View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 551 | OA
K. Chatterjee, R. Ibsen-Jensen, and M. Nowak, “Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs,” in Leibniz International Proceedings in Informatics, Aalborg, Denmark, 2017, vol. 83.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 610 | OA
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result,” Israel Journal of Mathematics, vol. 222, no. 2. Springer, pp. 841–866, 2017.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2017 | Journal Article | IST-REx-ID: 643
W. Sun, M.-Z. Zhai, Q. Zhou, C. Qian, and C. Jiang, “Effects of B vitamins overload on plasma insulin level and hydrogen peroxide generation in rats,” Chinese Journal of Physiology, vol. 60, no. 4. Chinese Physiological Society, pp. 207–214, 2017.
[Published Version] View | DOI | PubMed | Europe PMC
 
2017 | Conference Paper | IST-REx-ID: 6841 | OA
G. S. Martius and C. Lampert, “Extrapolation and learning equations,” in 5th International Conference on Learning Representations, ICLR 2017 - Workshop Track Proceedings, Toulon, France, 2017.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2017 | Conference Paper | IST-REx-ID: 688 | OA
H. Edelsbrunner and H. Wagner, “Topological data analysis with Bregman divergences,” presented at the Symposium on Computational Geometry, SoCG, Brisbane, Australia, 2017, vol. 77, pp. 391–3916.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 714 | OA
G. Brailoiu et al., “HIV Tat excites D1 receptor-like expressing neurons from rat nucleus accumbens,” Drug and Alcohol Dependence, vol. 178. Elsevier, pp. 7–14, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 680 | OA
M. J. Chalk, P. Masset, B. Gutkin, and S. Denève, “Sensory noise predicts divisive reshaping of receptive fields,” PLoS Computational Biology, vol. 13, no. 6. Public Library of Science, 2017.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 9506 | OA
D. Zilberman, “An evolutionary case for functional gene body methylation in plants and animals,” Genome Biology, vol. 18, no. 1. Springer Nature, 2017.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2017 | Research Data Reference | IST-REx-ID: 9707 | OA
P. Riccio, C. Cebrián, H. Zong, S. Hippenmeyer, and F. Costantini, “Data from: Ret and Etv4 promote directed movements of progenitor cells during renal branching morphogenesis.” Dryad, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2017 | Thesis | IST-REx-ID: 821 | OA
A. Pavlogiannis, “Algorithmic advances in program analysis and their applications,” Institute of Science and Technology Austria, 2017.
[Published Version] View | Files available | DOI
 
2017 | Journal Article | IST-REx-ID: 1407 | OA
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, and C. Belta, “Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games,” Nonlinear Analysis: Hybrid Systems, vol. 23, no. 2. Elsevier, pp. 230–253, 2017.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2017 | Journal Article | IST-REx-ID: 1337 | OA
O. H. Ajanki, L. Erdös, and T. H. Krüger, “Universality for general Wigner-type matrices,” Probability Theory and Related Fields, vol. 169, no. 3–4. Springer, pp. 667–727, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1152 | OA
E. P. Gajda-Zagorska, R. Schaefer, M. Smołka, D. Pardo, and J. Alvarez Aramberri, “A multi objective memetic inverse solver reinforced by local optimization methods,” Journal of Computational Science, vol. 18. Elsevier, pp. 85–94, 2017.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1120 | OA
X. Li, R. Seiringer, and M. Lemeshko, “Angular self-localization of impurities rotating in a bosonic bath,” Physical Review A, vol. 95, no. 3. American Physical Society, 2017.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 1110 | OA
B. Kuhn et al., “Flavonol-induced changes in PIN2 polarity and auxin transport in the Arabidopsis thaliana rol1-2 mutant require phosphatase activity,” Scientific Reports, vol. 7. Nature Publishing Group, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1104 | OA
S. Deny et al., “Multiplexed computations in retinal ganglion cells of a single type,” Nature Communications, vol. 8, no. 1. Nature Publishing Group, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 1063 | OA
H. Uecker, “Evolutionary rescue in randomly mating, selfing, and clonal populations,” Evolution, vol. 71, no. 4. Wiley-Blackwell, pp. 845–858, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 
2017 | Journal Article | IST-REx-ID: 1017 | OA
M. Breuss, I. Leca, T. Gstrein, A. H. Hansen, and D. Keays, “Tubulins and brain development: The origins of functional specification,” Molecular and Cellular Neuroscience, vol. 84. Academic Press, pp. 58–67, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 736 | OA
M. Rubio et al., “The number and distribution of AMPA receptor channels containing fast kinetic GluA3 and GluA4 subunits at auditory nerve synapses depend on the target cells,” Brain Structure and Function, vol. 222, no. 8. Springer, pp. 3375–3393, 2017.
[Published Version] View | Files available | DOI | WoS
 
2017 | Conference Paper | IST-REx-ID: 917 | OA
P. Swoboda, J. Kuske, and B. Savchynskyy, “A dual ascent framework for Lagrangean decomposition of combinatorial problems,” presented at the CVPR: Computer Vision and Pattern Recognition, Honolulu, HA, United States, 2017, vol. 2017, pp. 4950–4960.
[Submitted Version] View | Files available | DOI | WoS
 
2017 | Journal Article | IST-REx-ID: 744 | OA
T. Priklopil, K. Chatterjee, and M. Nowak, “Optional interactions and suspicious behaviour facilitates trustful cooperation in prisoners dilemma,” Journal of Theoretical Biology, vol. 433. Elsevier, pp. 64–72, 2017.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 747 | OA
E. Brǎiloiu et al., “Modulation of cardiac vagal tone by bradykinin acting on nucleus ambiguus,” Neuroscience, vol. 365. Elsevier, pp. 23–32, 2017.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 
2017 | Journal Article | IST-REx-ID: 627 | OA
C. Jiang et al., “Dietary menthol-induced TRPM8 activation enhances WAT ‘browning’ and ameliorates diet-induced obesity,” Oncotarget, vol. 8, no. 43. Impact Journals, pp. 75114–75126, 2017.
[Published Version] View | Files available | DOI
 
2017 | Conference Paper | IST-REx-ID: 432 | OA
H. Zhang, J. Li, K. Kara, D.-A. Alistarh, J. Liu, and C. Zhang, “ZipML: Training linear models with end-to-end low precision, and a little bit of deep learning,” in Proceedings of Machine Learning Research, Sydney, Australia, 2017, vol. 70, pp. 4035–4043.
[Submitted Version] View | Files available
 
2017 | Book Chapter | IST-REx-ID: 424 | OA
X. Goaoc, P. Paták, Z. Patakova, M. Tancer, and U. Wagner, “Bounding helly numbers via betti numbers,” in A Journey through Discrete Mathematics: A Tribute to Jiri Matousek, M. Loebl, J. Nešetřil, and R. Thomas, Eds. Springer, 2017, pp. 407–447.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1083
S. Booker et al., “KCTD12 auxiliary proteins modulate kinetics of GABAB receptor-mediated inhibition in Cholecystokinin-containing interneurons,” Cerebral Cortex, vol. 27, no. 3. Oxford University Press, pp. 2318–2334, 2016.
View | DOI
 
2016 | Conference Paper | IST-REx-ID: 1095 | OA
A. Haas et al., “Local linearizability for concurrent container-type data structures,” in Leibniz International Proceedings in Informatics, Quebec City; Canada, 2016, vol. 59.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1137 | OA
Salzer E, Çaǧdaş D, Hons M, Mace E, Garncarz W, Petronczki O, Platzer R, Pfajfer L, Bilic I, Ban S, Willmann K, Mukherjee M, Supper V, Hsu H, Banerjee P, Sinha P, Mcclanahan F, Zlabinger G, Pickl W, Gribben J, Stockinger H, Bennett K, Huppa J, Dupré L, Sanal Ö, Jäger U, Sixt MK, Tezcan I, Orange J, Boztug K. 2016. RASGRP1 deficiency causes immunodeficiency with impaired cytoskeletal dynamics. Nature Immunology. 17(12), 1352–1360.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2016 | Conference Paper | IST-REx-ID: 1140 | OA
K. Chatterjee, W. Dvoák, M. H. Henzinger, and V. Loitzenbauer, “Model and objective separation with conditional lower bounds: disjunction is harder than conjunction,” in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, USA, 2016, pp. 197–206.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1157 | OA
J. Lee and K. Schnelli, “Tracy-widom distribution for the largest eigenvalue of real sample covariance matrices with general population,” Annals of Applied Probability, vol. 26, no. 6. Institute of Mathematical Statistics, pp. 3786–3839, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1179 | OA
K. Z. Pietrzak and S. Maciej, “Pseudoentropy: Lower-bounds for chain rules and transformations,” presented at the TCC: Theory of Cryptography Conference, Beijing, China, 2016, vol. 9985, pp. 183–203.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1231 | OA
J. F. Alwen, B. Chen, C. Kamath Hosdurg, V. Kolmogorov, K. Z. Pietrzak, and S. Tessaro, “On the complexity of scrypt and proofs of space in the parallel random oracle model,” presented at the EUROCRYPT: Theory and Applications of Cryptographic Techniques, Vienna, Austria, 2016, vol. 9666, pp. 358–387.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1241 | OA
H. Uecker and J. Hermisson, “The role of recombination in evolutionary rescue,” Genetics, vol. 202, no. 2. Genetics Society of America, pp. 721–732, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1244 | OA
P. Recouvreux, T. R. Sokolowski, A. Grammoustianou, P. Tenwolde, and M. Dogterom, “Chimera proteins with affinity for membranes and microtubule tips polarize in the membrane of fission yeast cells,” PNAS, vol. 113, no. 7. National Academy of Sciences, pp. 1811–1816, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1331 | OA
P. Zwack et al., “Cytokinin response factor 6 represses cytokinin-associated genes during oxidative stress,” Plant Physiology, vol. 172, no. 2. American Society of Plant Biologists, pp. 1249–1258, 2016.
[Published Version] View | DOI | Download Published Version (ext.)
 
2016 | Conference Paper | IST-REx-ID: 1340 | OA
K. Hansen, R. Ibsen-Jensen, and M. Koucký, “The big match in small space,” presented at the SAGT: Symposium on Algorithmic Game Theory, Liverpool, United Kingdom, 2016, vol. 9928, pp. 64–76.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1372 | OA
M. Pernisová et al., “Cytokinins influence root gravitropism via differential regulation of auxin transporter expression and localization in Arabidopsis,” New Phytologist, vol. 212, no. 2. Wiley-Blackwell, pp. 497–509, 2016.
[Submitted Version] View | Files available | DOI
 

Filters and Search Terms

type%3C%3Eresearch_data

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed