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.
5559 Publications
2022 | Published | Journal Article | IST-REx-ID: 12244 | 
Colombo, Gloria, et al. “A Tool for Mapping Microglial Morphology, MorphOMICs, Reveals Brain-Region and Sex-Dependent Phenotypes.” Nature Neuroscience, vol. 25, no. 10, Springer Nature, 2022, pp. 1379–93, doi:10.1038/s41593-022-01167-6.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Thesis | IST-REx-ID: 12366 |
Redchenko, Elena. Controllable States of Superconducting Qubit Ensembles. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12132.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | 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, doi:10.15479/at:ista:12378.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12272 |
Stopp, Julian A., and Michael K. Sixt. “Plan Your Trip before You Leave: The Neutrophils’ Search-and-Run Journey.” Journal of Cell Biology, vol. 221, no. 8, e202206127, Rockefeller University Press, 2022, doi:10.1083/jcb.202206127.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Thesis | IST-REx-ID: 11932 |
Nardin, Michele. On the Encoding, Transfer, and Consolidation of Spatial Memories. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11932.
[Published Version]
View
| Files available
| DOI
2022 | Draft | Preprint | IST-REx-ID: 11943 |
Velicky, Philipp, et al. “Saturated Reconstruction of Living Brain Tissue.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.03.16.484431.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2022 | Draft | Preprint | IST-REx-ID: 11950 |
Michalska, Julia M., et al. “Uncovering Brain Tissue Architecture across Scales with Super-Resolution Light Microscopy.” BioRxiv, Cold Spring Harbor Laboratory, doi:10.1101/2022.08.17.504272.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 10004 |
Chatterjee, Krishnendu, and Laurent Doyen. “Stochastic Processes with Expected Stopping Time.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470595.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9225 |
Feliciangeli, Dario, et al. “Persistence of the Spectral Gap for the Landau–Pekar Equations.” Letters in Mathematical Physics, vol. 111, 19, Springer Nature, 2021, doi:10.1007/s11005-020-01350-5.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Published | Thesis | IST-REx-ID: 9056 |
Osang, Georg F. Multi-Cover Persistence and Delaunay Mosaics. Institute of Science and Technology Austria, 2021, doi:10.15479/AT:ISTA:9056.
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10041 |
Kamath Hosdurg, Chethan, et al. “Limits on the Adaptive Security of Yao’s Garbling.” 41st Annual International Cryptology Conference, Part II , vol. 12826, Springer Nature, 2021, pp. 486–515, doi:10.1007/978-3-030-84245-1_17.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 10048 |
Kamath Hosdurg, Chethan, et al. “The Cost of Adaptivity in Security Games on Graphs.” 19th Theory of Cryptography Conference 2021, International Association for Cryptologic Research, 2021.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2021 | Published | Conference Paper | IST-REx-ID: 10044 |
Kamath Hosdurg, Chethan, et al. “On Treewidth, Separators and Yao’s Garbling.” 19th Theory of Cryptography Conference 2021, 2021/926, International Association for Cryptologic Research, 2021.
[Preprint]
View
| Files available
| Download Preprint (ext.)
2021 | Published | Thesis | IST-REx-ID: 10429 |
Nadiradze, Giorgi. On Achieving Scalability through Relaxation. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10429.
[Published Version]
View
| Files available
| DOI
2021 | Published | Thesis | IST-REx-ID: 10422 |
Piankov, Anton. Towards Designer Materials Using Customizable Particle Shape. Institute of Science and Technology Austria, 2021, doi:10.15479/at:ista:10422.
[Published Version]
View
| Files available
| DOI
2021 | Published | Conference Paper | IST-REx-ID: 10435 |
Nadiradze, Giorgi, et al. “Asynchronous Decentralized SGD with Quantized and Local Updates.” 35th Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10432 |
Nadiradze, Giorgi, et al. “Elastic Consistency: A Practical Consistency Model for Distributed Stochastic Gradient Descent.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 35, no. 10, 2021, pp. 9037–45.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9468 |
Arroyo Guevara, Alan M., et al. “Extending Drawings of Complete Graphs into Arrangements of Pseudocircles.” SIAM Journal on Discrete Mathematics, vol. 35, no. 2, Society for Industrial and Applied Mathematics, 2021, pp. 1050–76, doi:10.1137/20M1313234.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 10000 |
Schmitt, Heather M., et al. “Increased Susceptibility and Intrinsic Apoptotic Signaling in Neurons by Induced HDAC3 Expression.” Investigative Ophthalmology and Visual Science, vol. 62, no. 10, 14, Association for Research in Vision and Ophthalmology, 2021, doi:10.1167/IOVS.62.10.14.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Conference Paper | IST-REx-ID: 10002 |
Chatterjee, Krishnendu, et al. “Symbolic Time and Space Tradeoffs for Probabilistic Verification.” Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2021, pp. 1–13, doi:10.1109/LICS52264.2021.9470739.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv