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 |
Nardin, Michele. “On the Encoding, Transfer, and Consolidation of Spatial Memories.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11932.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 11945 |
Schulz, Rouven. “Chimeric G Protein-Coupled Receptors Mimic Distinct Signaling Pathways and Modulate Microglia Function.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11945.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12072 |
Shute, Alec L. “Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12072.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Conference Paper |
IST-REx-ID: 12102 |
Ahmadi, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi Hemami, and Dorde 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, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Journal Article |
IST-REx-ID: 12117 |
Hübschmann, Verena, Medina Korkut, and Sandra Siegert. “Assessing Human IPSC-Derived Microglia Identity and Function by Immunostaining, Phagocytosis, Calcium Activity, and Inflammation Assay.” STAR Protocols. Elsevier, 2022. https://doi.org/10.1016/j.xpro.2022.101866.
[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 |
Journal Article |
IST-REx-ID: 12307
Shipman, Barbara A., and Elizabeth R Stephenson. “Tangible Topology through the Lens of Limits.” PRIMUS. Taylor & Francis, 2022. https://doi.org/10.1080/10511970.2021.1872750.
View
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12358 |
Sperl, Georg. “Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12103.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12364 |
Dotter, Christoph. “Transcriptional Consequences of Mutations in Genes Associated with Autism Spectrum Disorder.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12094.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12366 |
Redchenko, Elena. “Controllable States of Superconducting Qubit Ensembles.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12132.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12368 |
Arslan, Feyza N. “Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12153.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12378 |
Colombo, Gloria. “MorphOMICs, a Tool for Mapping Microglial Morphology, Reveals Brain Region- and Sex-Dependent Phenotypes.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12378.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12390 |
Brooks, Morris. “Translation-Invariant Quantum Systems with Effectively Broken Symmetry.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12390.
[Published Version]
View
| Files available
| DOI
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 12401 |
Tasciyan, Saren. “Role of Microenvironment Heterogeneity in Cancer Cell Invasion.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12401.
[Published Version]
View
| Files available
| DOI
2022 |
Submitted |
Preprint |
IST-REx-ID: 12677 |
Chatterjee, Krishnendu, Mona Mohammadi, and Raimundo J Saona Urmeneta. “Repeated Prophet Inequality with Near-Optimal Bounds.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2209.14368.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |
Submitted |
Preprint |
IST-REx-ID: 12750 |
Brighi, Pietro, Marko Ljubotina, and Maksym Serbyn. “Hilbert Space Fragmentation and Slow Dynamics in Particle-Conserving Quantum East Models.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2210.15607.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |
Submitted |
Preprint |
IST-REx-ID: 12860 |
Bombari, Simone, Alessandro Achille, Zijian Wang, Yu-Xiang Wang, Yusheng Xie, Kunwar Yashraj Singh, Srikar Appalaraju, Vijay Mahadevan, and Stefano Soatto. “Towards Differential Relational Privacy and Its Use in Question Answering.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2203.16701.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10665 |
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10666 |
Lechner, Mathias, Ramin Hasani, Radu Grosu, Daniela Rus, and Thomas A Henzinger. “Adversarial Training Is Not Ready for Robot Learning.” In 2021 IEEE International Conference on Robotics and Automation, 4140–47. ICRA, 2021. https://doi.org/10.1109/ICRA48506.2021.9561036.
View
| Files available
| DOI
| Download None (ext.)
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10667 |
Lechner, Mathias, Ðorđe Žikelić, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021. https://doi.org/10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv