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.
231 Publications
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 11932 |
M. Nardin, “On the encoding, transfer, and consolidation of spatial memories,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 11945 |
R. Schulz, “Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12072 |
A. L. Shute, “Existence and density problems in Diophantine geometry: From norm forms to Campana points,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Conference Paper |
IST-REx-ID: 12102 |
A. Ahmadi, K. Chatterjee, A. K. Goharshady, T. Meggendorfer, R. Safavi Hemami, and D. Zikelic, “Algorithms and hardness results for computing cores of Markov chains,” in 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Madras, India, 2022, vol. 250.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 12117 |
V. Hübschmann, M. Korkut, and S. Siegert, “Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay,” STAR Protocols, vol. 3, no. 4. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 12291 |
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12358 |
G. Sperl, “Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12364 |
C. Dotter, “Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12366 |
E. Redchenko, “Controllable states of superconducting Qubit ensembles,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12368 |
F. N. Arslan, “Remodeling of E-cadherin-mediated contacts via cortical flows,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12378 |
G. Colombo, “MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12390 |
M. Brooks, “Translation-invariant quantum systems with effectively broken symmetry,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12401 |
S. Tasciyan, “Role of microenvironment heterogeneity in cancer cell invasion,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 |
Submitted |
Preprint |
IST-REx-ID: 12677 |
K. Chatterjee, M. Mohammadi, and R. J. Saona Urmeneta, “Repeated prophet inequality with near-optimal bounds,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |
Submitted |
Preprint |
IST-REx-ID: 12750 |
P. Brighi, M. Ljubotina, and M. Serbyn, “Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |
Submitted |
Preprint |
IST-REx-ID: 12860 |
S. Bombari et al., “Towards differential relational privacy and its use in question answering,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10665 |
T. A. Henzinger, M. Lechner, and D. Zikelic, “Scalable verification of quantized neural networks,” in Proceedings of the AAAI Conference on Artificial Intelligence, Virtual, 2021, vol. 35, no. 5A, pp. 3787–3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10666 |
M. Lechner, R. Hasani, R. Grosu, D. Rus, and T. A. Henzinger, “Adversarial training is not ready for robot learning,” in 2021 IEEE International Conference on Robotics and Automation, Xi’an, China, 2021, pp. 4140–4147.
View
| Files available
| DOI
| Download None (ext.)
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10667 |
M. Lechner, Ð. Žikelić, K. Chatterjee, and T. A. Henzinger, “Infinite time horizon safety of Bayesian neural networks,” in 35th Conference on Neural Information Processing Systems, Virtual, 2021.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv