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.
491 Publications
2023 |
Published |
Book Chapter |
IST-REx-ID: 14757
Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression
A. Villalba Requena, N. Amberg, S. Hippenmeyer, in:, W. Huttner (Ed.), Neocortical Neurogenesis in Development and Evolution, Wiley, 2023, pp. 169–191.
View
| DOI
A. Villalba Requena, N. Amberg, S. Hippenmeyer, in:, W. Huttner (Ed.), Neocortical Neurogenesis in Development and Evolution, Wiley, 2023, pp. 169–191.
2023 |
Published |
Conference Paper |
IST-REx-ID: 14758 |
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
[Published Version]
View
| Files available
| DOI
| WoS
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, in:, 35th International Conference on Computer Aided Verification, Springer Nature, 2023, pp. 3–15.
2023 |
Published |
Journal Article |
IST-REx-ID: 14854 |
Ubiquity of bound states for the strongly coupled polaron
D.J. Mitrouskas, R. Seiringer, Pure and Applied Analysis 5 (2023) 973–1008.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D.J. Mitrouskas, R. Seiringer, Pure and Applied Analysis 5 (2023) 973–1008.
2023 |
Epub ahead of print |
Journal Article |
IST-REx-ID: 14868 |
High-precision mapping of nuclear pore-chromatin interactions reveals new principles of genome organization at the nuclear envelope
S. Tyagi, J.S. Capitanio, J. Xu, F. Chen, R. Sharma, J. Huang, M. Hetzer, ELife (2023).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
S. Tyagi, J.S. Capitanio, J. Xu, F. Chen, R. Sharma, J. Huang, M. Hetzer, ELife (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 14920 |
Fast symbolic algorithms for mega-regular games under strong transition fairness
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
[Published Version]
View
| Files available
| DOI
| arXiv
T. Banerjee, R. Majumdar, K. Mallik, A.-K. Schmuck, S. Soudjani, TheoretiCS 2 (2023).
2023 |
Published |
Journal Article |
IST-REx-ID: 14985 |
Lattice expansion enables interstitial doping to achieve a high average ZT in n‐type PbS
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
[Published Version]
View
| Files available
| DOI
Z. Liu, T. Hong, L. Xu, S. Wang, X. Gao, C. Chang, X. Ding, Y. Xiao, L. Zhao, Interdisciplinary Materials 2 (2023) 161–170.
2023 |
Published |
Conference Paper |
IST-REx-ID: 15363 |
Knowledge distillation performs partial variance reduction
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.
2023 |
Published |
Conference Paper |
IST-REx-ID: 13120 |
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14697 |
Neutrophils on the hunt : Migratory strategies employed by neutrophils to fulfill their effector function
J.A. Stopp, Neutrophils on the Hunt : Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
J.A. Stopp, Neutrophils on the Hunt : Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 12964 |
Mechanochemical pattern formation across biological scales
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
D.R. Boocock, Mechanochemical Pattern Formation across Biological Scales, Institute of Science and Technology Austria, 2023.
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 12809 |
Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
C. Alcarva, Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning, Institute of Science and Technology Austria, 2023.
2022 |
Published |
Journal Article |
IST-REx-ID: 11449 |
Simultaneous brain cell type and lineage determined by scRNA-seq reveals stereotyped cortical development
D.J. Anderson, F. Pauler, A. Mckenna, J. Shendure, S. Hippenmeyer, M.S. Horwitz, Cell Systems 13 (2022) 438–453.e5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
D.J. Anderson, F. Pauler, A. Mckenna, J. Shendure, S. Hippenmeyer, M.S. Horwitz, Cell Systems 13 (2022) 438–453.e5.
2022 |
Published |
Book Chapter |
IST-REx-ID: 11456
Proteomic Analysis of C. Elegans Neurons Using TurboID-Based Proximity Labeling
M. Artan, M. de Bono, in:, D. Yamamoto (Ed.), Behavioral Neurogenetics, Springer Nature, New York, 2022, pp. 277–294.
View
| DOI
M. Artan, M. de Bono, in:, D. Yamamoto (Ed.), Behavioral Neurogenetics, Springer Nature, New York, 2022, pp. 277–294.
2022 |
Published |
Journal Article |
IST-REx-ID: 11460 |
WDFY3 mutation alters laminar position and morphology of cortical neurons
Z.A. Schaaf, L. Tat, N. Cannizzaro, R. Green, T. Rülicke, S. Hippenmeyer, K.S. Zarbalis, Molecular Autism 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Z.A. Schaaf, L. Tat, N. Cannizzaro, R. Green, T. Rülicke, S. Hippenmeyer, K.S. Zarbalis, Molecular Autism 13 (2022).
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 11473 |
Polarons in Bose gases and polar crystals: Some rigorous energy estimates
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
K. Mysliwy, Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates, Institute of Science and Technology Austria, 2022.
2022 |
Published |
Journal Article |
IST-REx-ID: 11588 |
Single platelet and megakaryocyte morpho-dynamics uncovered by multicolor reporter mouse strains in vitro and in vivo
L. Nicolai, R. Kaiser, R. Escaig, M.L. Hoffknecht, A. Anjum, A. Leunig, J. Pircher, A. Ehrlich, M. Lorenz, H. Ishikawa-Ankerhold, W.C. Aird, S. Massberg, F.R. Gärtner, Haematologica 107 (2022) 1669–1680.
[Published Version]
View
| Files available
| DOI
| WoS
L. Nicolai, R. Kaiser, R. Escaig, M.L. Hoffknecht, A. Anjum, A. Leunig, J. Pircher, A. Ehrlich, M. Lorenz, H. Ishikawa-Ankerhold, W.C. Aird, S. Massberg, F.R. Gärtner, Haematologica 107 (2022) 1669–1680.
2022 |
Published |
Journal Article |
IST-REx-ID: 11648 |
Structures of multisubunit membrane complexes with the CRYO ARM 200
C. Gerle, J. Kishikawa, T. Yamaguchi, A. Nakanishi, M.O. Çoruh, F. Makino, T. Miyata, A. Kawamoto, K. Yokoyama, K. Namba, G. Kurisu, T. Kato, Microscopy 71 (2022) 249–261.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
C. Gerle, J. Kishikawa, T. Yamaguchi, A. Nakanishi, M.O. Çoruh, F. Makino, T. Miyata, A. Kawamoto, K. Yokoyama, K. Namba, G. Kurisu, T. Kato, Microscopy 71 (2022) 249–261.
2022 |
Draft |
Journal Article |
IST-REx-ID: 11658 |
Depth in arrangements: Dehn–Sommerville–Euler relations with applications
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Leibniz International Proceedings on Mathematics (n.d.).
[Submitted Version]
View
| Files available
R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, Leibniz International Proceedings on Mathematics (n.d.).
2022 |
Published |
Journal Article |
IST-REx-ID: 11701 |
Nonlinear parabolic stochastic evolution equations in critical spaces Part I. Stochastic maximal regularity and local existence
A. Agresti, M. Veraar, Nonlinearity 35 (2022) 4100–4210.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
A. Agresti, M. Veraar, Nonlinearity 35 (2022) 4100–4210.
2022 |
Published |
Journal Article |
IST-REx-ID: 11843 |
Type 1 piliated uropathogenic Escherichia coli hijack the host immune response by binding to CD14
K. Tomasek, A.F. Leithner, I. Glatzová, M.S. Lukesch, C.C. Guet, M.K. Sixt, ELife 11 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
K. Tomasek, A.F. Leithner, I. Glatzová, M.S. Lukesch, C.C. Guet, M.K. Sixt, ELife 11 (2022).