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.




3034 Publications

2020 | Journal Article | IST-REx-ID: 8790 | OA
Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 39 (2020) 4018–4029.
View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 8792 | OA
On a non-isothermal Cahn-Hilliard model based on a microforce balance
A. Marveggio, G. Schimperna, Journal of Differential Equations (n.d.).
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Research Data Reference | IST-REx-ID: 8809 | OA
Data from: Assortative mating, sexual selection and their consequences for gene flow in Littorina
S. Perini, M. Rafajlovic, A.M. Westram, K. Johannesson, R. Butlin, (2020).
View | Files available | DOI | Download Published Version (ext.)
 
2020 | Preprint | IST-REx-ID: 8813 | OA
Novel imprints in mouse blastocysts are predominantly DNA methylation independent
L. Santini, F. Halbritter, F. Titz-Teixeira, T. Suzuki, M. Asami, J. Ramesmayer, X. Ma, A. Lackner, N. Warr, F. Pauler, S. Hippenmeyer, E. Laue, M. Farlik, C. Bock, A. Beyer, A.C.F. Perry, M. Leeb, BioRxiv (n.d.).
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 8817
An inertial subgradient extragradient algorithm extended to pseudomonotone equilibrium problems
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research (2020).
View | DOI
 
2020 | Thesis | IST-REx-ID: 8822
Identification and characterization of the molecular machinery of auxin-dependent canalization during vasculature formation and regeneration
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, IST Austria, 2020.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 8831 | OA
Enhancement of proximity induced superconductivity in planar Germanium
K. Aggarwal, A.C. Hofmann, D. Jirovec, I. Prieto Gonzalez, A. Sammak, M. Botifoll, S. Marti-Sanchez, M. Veldhorst, J. Arbiol, G. Scappucci, G. Katsaros, ArXiv (n.d.).
View | Files available | Download Submitted Version (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 177 | OA
A geometric version of the circle method
T.D. Browning, W. Sawin, Annals of Mathematics 191 (2020) 893–948.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 179 | OA
Density of rational points on a quadric bundle in ℙ3×ℙ3
T.D. Browning, R. Heath Brown, Duke Mathematical Journal 169 (2020) 3099–3165.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7148
Expression mapping, quantification, and complex formation of GluD1 and GluD2 glutamate receptors in adult mouse brain
C. Nakamoto, K. Konno, T. Miyazaki, E. Nakatsukasa, R. Natsume, M. Abe, M. Kawamura, Y. Fukazawa, R. Shigemoto, M. Yamasaki, K. Sakimura, M. Watanabe, Journal of Comparative Neurology 528 (2020) 1003–1027.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7149 | OA
Chromatinopathies: A focus on Cornelia de Lange syndrome
L. Avagliano, I. Parenti, P. Grazioli, E. Di Fede, C. Parodi, M. Mariani, F.J. Kaiser, A. Selicorni, C. Gervasini, V. Massa, Clinical Genetics 97 (2020) 3–11.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7161
Inertial projection-type methods for solving quasi-variational inequalities in real Hilbert spaces
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7166 | OA
Collective force generation by molecular motors is determined by strain-induced unbinding
M.C. Ucar, R. Lipowsky, Nano Letters 20 (2020) 669–676.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2020 | Thesis | IST-REx-ID: 7196 | OA
A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7204 | OA
Root growth adaptation is mediated by PYLs ABA receptor-PP2A protein phosphatase complex
Y. Li, Y. Wang, S. Tan, Z. Li, Z. Yuan, M. Glanc, D. Domjan, K. Wang, W. Xuan, Y. Guo, Z. Gong, J. Friml, J. Zhang, Advanced Science 7 (2020).
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7205 | OA
Is embryo abortion a post-zygotic barrier to gene flow between Littorina ecotypes?
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology 33 (2020) 342–351.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7207 | OA
Reduction in the neuronal surface of post and presynaptic GABA>B< receptors in the hippocampus in a mouse model of Alzheimer's disease
A. Martín-Belmonte, C. Aguado, R. Alfaro-Ruíz, A.E. Moreno-Martínez, L. De La Ossa, J. Martínez-Hernández, A. Buisson, S. Früh, B. Bettler, R. Shigemoto, Y. Fukazawa, R. Luján, Brain Pathology 30 (2020) 554–575.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7212 | OA
Limits on amplifiers of natural selection under death-Birth updating
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020).
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7218
Single-stage bone resection and cranioplastic reconstruction: Comparison of a novel software-derived PEEK workflow with the standard reconstructive method
P. Dodier, F. Winter, T. Auzinger, G. Mistelbauer, J.M. Frischer, W.T. Wang, A. Mallouhi, W. Marik, S. Wolfsberger, L. Reissig, F. Hammadi, C. Matula, A. Baumann, G. Bavinzski, International Journal of Oral and Maxillofacial Surgery 49 (2020) 1007–1015.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7219
Adaptive growth: Shaping auxin-mediated root system architecture
G. Xiao, Y. Zhang, Trends in Plant Science 25 (2020) 121–123.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7220
Novel software-derived workflow in extracranial–intracranial bypass surgery validated by transdural indocyanine green videoangiography
P. Dodier, T. Auzinger, G. Mistelbauer, W.T. Wang, H. Ferraz-Leite, A. Gruber, W. Marik, F. Winter, G. Fischer, J.M. Frischer, G. Bavinzski, World Neurosurgery 134 (2020) e892–e902.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7224 | OA
Habitat fragmentation and species diversity in competitive communities
J. Rybicki, N. Abrego, O. Ovaskainen, Ecology Letters 23 (2020) 506–517.
View | Files available | DOI
 
2020 | Book Chapter | IST-REx-ID: 7227
Zebrafish gastrulation: Putting fate in motion
D.C. Nunes Pinheiro, C.-P.J. Heisenberg, in:, Gastrulation: From Embryonic Pattern to Form, Elsevier, 2020, pp. 343–375.
View | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7234 | OA
Partial loss of actin nucleator actin-related protein 2/3 activity triggers blebbing in primary T lymphocytes
P. Obeidy, L.A. Ju, S.H. Oehlers, N.S. Zulkhernain, Q. Lee, J.L. Galeano Niño, R.Y.Q. Kwan, S. Tikoo, L.L. Cavanagh, P. Mrass, A.J.L. Cook, S.P. Jackson, M. Biro, B. Roediger, M.K. Sixt, W. Weninger, Immunology and Cell Biology 98 (2020) 93–113.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7235 | OA
Divergence of the effective mass of a polaron in the strong coupling limit
E.H. Lieb, R. Seiringer, Journal of Statistical Physics 180 (2020) 23–33.
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7236 | OA
Multiple metrics of latitudinal patterns in insect pollination and herbivory for a tropical‐temperate congener pair
C. Baskett, L. Schroeder, M.G. Weber, D.W. Schemske, Ecological Monographs 90 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7253 | OA
Imprinted Cdkn1c genomic locus cell-autonomously promotes cell survival in cerebral cortex development
S. Laukoter, R.J. Beattie, F. Pauler, N. Amberg, K.I. Nakayama, S. Hippenmeyer, Nature Communications 11 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7262 | OA
Programming temporal morphing of self-actuated shells
R. Guseinov, C. McMahan, J. Perez Rodriguez, C. Daraio, B. Bickel, Nature Communications 11 (2020).
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7272 | OA
Getting to the root of concurrent binary search tree performance
M. Arbel-Raviv, T.A. Brown, A. Morrison, in:, Proceedings of the 2018 USENIX Annual Technical Conference, USENIX Association, 2020, pp. 295–306.
View | Download Published Version (ext.)
 
2020 | Journal Article | IST-REx-ID: 7339 | OA
Microtubule and actin differentially regulate synaptic vesicle cycling to maintain high-frequency neurotransmission
L. Piriya Ananda Babu, H.Y. Wang, K. Eguchi, L. Guillaud, T. Takahashi, Journal of Neuroscience 40 (2020) 131–142.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7343 | OA
Social immunity modulates competition between coinfecting pathogens
B. Milutinovic, M. Stock, A.V. Grasse, E. Naderlinger, C. Hilbe, S. Cremer, Ecology Letters 23 (2020) 565–574.
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7346 | OA
The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game
L. Schmid, K. Chatterjee, S. Schmid, in:, Proceedings of the 23rd International Conference on Principles of Distributed Systems, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7348 | OA
Monitoring event frequencies
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7350 | OA
Thermo-sensitive alternative splicing of FLOWERING LOCUS M is modulated by cyclin-dependent kinase G2
C. Nibau, M. Gallemi, D. Dadarou, J.H. Doonan, N. Cavallari, Frontiers in Plant Science 10 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7364 | OA
nsCouette – A high-performance code for direct numerical simulations of turbulent Taylor–Couette flow
J.M. Lopez Alonso, D. Feldmann, M. Rampp, A. Vela-Martín, L. Shi, M. Avila, SoftwareX 11 (2020).
View | Files available | DOI | arXiv
 
2020 | Journal Article | IST-REx-ID: 7369 | OA
Multiscale relevance and informative encoding in neuronal spike trains
R.J. Cubero, M. Marsili, Y. Roudi, Journal of Computational Neuroscience 48 (2020) 85–102.
View | Files available | DOI
 
 
2020 | Journal Article | IST-REx-ID: 7387 | OA
Diffusion and capture permits dynamic coupling between treadmilling FtsZ filaments and cell division proteins
N.S. Baranova, P. Radler, V.M. Hernández-Rocamora, C. Alfonso, M.D. Lopez Pelegrin, G. Rivas, W. Vollmer, M. Loose, Nature Microbiology (2020).
View | Files available | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7388 | OA
Nondivergence form quasilinear heat equations driven by space-time white noise
M. Gerencser, Annales de l’Institut Henri Poincaré C, Analyse Non Linéaire 37 (2020) 663–682.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7389 | OA
Isometric study of Wasserstein spaces - the real line
G.P. Geher, T. Titkos, D. Virosztek, Transactions of the American Mathematical Society 373 (2020) 5855–5883.
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Book Chapter | IST-REx-ID: 74 | OA
Gromov's waist of non-radial Gaussian measures and radial non-Gaussian measures
A. Akopyan, R. Karasev, in:, B. Klartag, E. Milman (Eds.), Geometric Aspects of Functional Analysis, Springer Nature, 2020, pp. 1–27.
View | DOI | Download Preprint (ext.) | arXiv
 
 
2020 | Journal Article | IST-REx-ID: 7417 | OA
Regulation of acetylation of plant cell wall components is complex and responds to external stimuli
S.A. Sinclair, S. Gille, M. Pauly, U. Krämer, Plant Signaling & Behavior 15 (2020).
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7426
Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020).
View | Files available | DOI
 
2020 | Journal Article | IST-REx-ID: 7427 | OA
Salicylic acid targets protein phosphatase 2A to attenuate growth in plants
S. Tan, M.F. Abas, I. Verstraeten, M. Glanc, G. Molnar, J. Hajny, P. Lasák, I. Petřík, E. Russinova, J. Petrášek, O. Novák, J. Pospíšil, J. Friml, Current Biology 30 (2020) 381–395.e8.
View | Files available | DOI | PubMed | Europe PMC
 
2020 | Journal Article | IST-REx-ID: 7428 | OA
Effect of Zeeman coupling on the Majorana vortex modes in iron-based topological superconductors
A. Ghazaryan, P.L.S. Lopes, P. Hosur, M.J. Gilbert, P. Ghaemi, Physical Review B 101 (2020).
View | DOI | Download Preprint (ext.) | arXiv
 
2020 | Journal Article | IST-REx-ID: 7431 | OA
Decomposing information into copying versus transformation
A. Kolchinsky, B. Corominas-Murtra, Journal of the Royal Society Interface 17 (2020).
View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2020 | Thesis | IST-REx-ID: 7460 | OA
The hole system of triangulated shapes
K. Ölsböck, The Hole System of Triangulated Shapes, IST Austria, 2020.
View | Files available | DOI
 
2020 | Preprint | IST-REx-ID: 7463 | OA View | DOI | Download Preprint (ext.)
 
2020 | Journal Article | IST-REx-ID: 7464 | OA
Structures of immature EIAV Gag lattices reveal a conserved role for IP6 in lentivirus assembly
R.A. Dick, C. Xu, D.R. Morado, V. Kravchuk, C.L. Ricana, T.D. Lyddon, A.M. Broad, J.R. Feathers, M.C. Johnson, V.M. Vogt, J.R. Perilla, J.A.G. Briggs, F.K. Schur, PLOS Pathogens 16 (2020).
View | Files available | DOI | PubMed | Europe PMC
 

Search

Filter Publications