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 | 
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
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.
2020 | Journal Article | IST-REx-ID: 8792 |
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
A. Marveggio, G. Schimperna, Journal of Differential Equations (n.d.).
2020 | Research Data Reference | IST-REx-ID: 8809 |
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.)
S. Perini, M. Rafajlovic, A.M. Westram, K. Johannesson, R. Butlin, (2020).
2020 | Preprint | IST-REx-ID: 8813 |
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
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.).
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
Y. Shehu, O.S. Iyiola, D.V. Thong, N.T.C. Van, Mathematical Methods of Operations Research (2020).
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
J. Hajny, Identification and Characterization of the Molecular Machinery of Auxin-Dependent Canalization during Vasculature Formation and Regeneration, IST Austria, 2020.
2020 | Preprint | IST-REx-ID: 8831 |
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
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.).
2020 | Journal Article | IST-REx-ID: 177 |
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
T.D. Browning, W. Sawin, Annals of Mathematics 191 (2020) 893–948.
2020 | Journal Article | IST-REx-ID: 179 |
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
T.D. Browning, R. Heath Brown, Duke Mathematical Journal 169 (2020) 3099–3165.
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
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.
2020 | Journal Article | IST-REx-ID: 7149 |
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
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.
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
Y. Shehu, A. Gibali, S. Sagratella, Journal of Optimization Theory and Applications 184 (2020) 877–894.
2020 | Journal Article | IST-REx-ID: 7166 |
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
M.C. Ucar, R. Lipowsky, Nano Letters 20 (2020) 669–676.
2020 | Thesis | IST-REx-ID: 7196 |
A role of graphs in evolutionary processes
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
View
| Files available
| DOI
J. Tkadlec, A Role of Graphs in Evolutionary Processes, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 7204 |
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
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).
2020 | Journal Article | IST-REx-ID: 7205 |
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
K. Johannesson, Z. Zagrodzka, R. Faria, A.M. Westram, R.K. Butlin, Journal of Evolutionary Biology 33 (2020) 342–351.
2020 | Journal Article | IST-REx-ID: 7207 |
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
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.
2020 | Journal Article | IST-REx-ID: 7212 |
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
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, PLoS Computational Biology 16 (2020).
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
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.
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
G. Xiao, Y. Zhang, Trends in Plant Science 25 (2020) 121–123.