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.
232 Publications
2022 | Published | Journal Article | IST-REx-ID: 11448 | 
Gonzalez Somermeyer, Louisa, et al. “Heterogeneity of the GFP Fitness Landscape and Data-Driven Protein Design.” ELife, vol. 11, 75842, eLife Sciences Publications, 2022, doi:10.7554/elife.75842.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 11459 |
Zikelic, Dorde, et al. “Differential Cost Analysis with Simultaneous Potentials and Anti-Potentials.” Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 442–57, doi:10.1145/3519939.3523435.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Published | Journal Article | IST-REx-ID: 11462
Dormeshkin, Dmitri, et al. “Combining of Synthetic VHH and Immune ScFv Libraries for Pregnancy-Associated Glycoproteins ELISA Development.” Applied Microbiology and Biotechnology, vol. 106, Springer Nature, 2022, pp. 5093–103, doi:10.1007/s00253-022-12022-w.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 | Published | Thesis | IST-REx-ID: 11473 |
Mysliwy, Krzysztof. Polarons in Bose Gases and Polar Crystals: Some Rigorous Energy Estimates. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11473.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 11476 |
Alwen, Joël, et al. “CoCoA: Concurrent Continuous Group Key Agreement.” Advances in Cryptology – EUROCRYPT 2022, vol. 13276, Springer Nature, 2022, pp. 815–844, doi:10.1007/978-3-031-07085-3_28.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Research Data | IST-REx-ID: 11542 |
Schulz, Rouven. Source Data (Chimeric GPCRs Mimic Distinct Signaling Pathways and Modulate Microglia Responses). Institute of Science and Technology Austria, 2022, doi:10.15479/AT:ISTA:11542.
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 11556 |
Kalinov, Aleksei, et al. “Direct Simulation Monte Carlo for New Regimes in Aggregation-Fragmentation Kinetics.” Journal of Computational Physics, vol. 467, 111439, Elsevier, 2022, doi:10.1016/j.jcp.2022.111439.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Research Data | IST-REx-ID: 11653 |
Elkrewi, Marwan N. Data from Elkrewi, Khauratovich, Toups et Al. 2022, “ZW Sex-Chromosome Evolution and Contagious Parthenogenesis in Artemia Brine Shrimp.” Institute of Science and Technology Austria, 2022, doi:10.15479/AT:ISTA:11653.
[Published Version]
View
| Files available
| DOI
2022 | Submitted | Journal Article | IST-REx-ID: 11658 |
Biswas, Ranita, et al. “Depth in Arrangements: Dehn–Sommerville–Euler Relations with Applications.” Leibniz International Proceedings on Mathematics, Schloss Dagstuhl - Leibniz Zentrum für Informatik.
[Submitted Version]
View
| Files available
2022 | Submitted | Journal Article | IST-REx-ID: 11660 |
Biswas, Ranita, et al. “A Window to the Persistence of 1D Maps. I: Geometric Characterization of Critical Point Pairs.” LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
[Submitted Version]
View
| Files available
2022 | Published | Journal Article | IST-REx-ID: 11732 |
Henheik, Sven Joscha, and Asbjørn Bækgaard Lauritsen. “The BCS Energy Gap at High Density.” Journal of Statistical Physics, vol. 189, 5, Springer Nature, 2022, doi:10.1007/s10955-022-02965-9.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
Henzinger, Thomas A., et al. “Abstract Monitors for Quantitative Specifications.” 22nd International Conference on Runtime Verification, vol. 13498, Springer Nature, 2022, pp. 200–20, doi:10.1007/978-3-031-17196-3_11.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Published | Thesis | IST-REx-ID: 11777 |
Wild, Pascal. High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes. Institute of Science and Technology, 2022, doi:10.15479/at:ista:11777.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 11839 |
Prach, Bernd, and Christoph Lampert. “Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks.” Computer Vision – ECCV 2022, vol. 13681, Springer Nature, 2022, pp. 350–65, doi:10.1007/978-3-031-19803-8_21.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Published | Thesis | IST-REx-ID: 11879 |
Artner, Christina. Modulation of Auxin Transport via ZF Proteins Adjust Plant Response to High Ambient Temperature. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:11879.
[Published Version]
View
| Files available
| DOI
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 | Published | Thesis | 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, doi:10.15479/at:ista:11945.
[Published Version]
View
| Files available
| DOI
2022 | Published | Thesis | 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, doi:10.15479/at:ista:12072.
[Published Version]
View
| Files available
| DOI
2022 | Published | Conference Paper | IST-REx-ID: 12102 |
Ahmadi, Ali, et al. “Algorithms and Hardness Results for Computing Cores of Markov Chains.” 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 250, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.FSTTCS.2022.29.
[Published Version]
View
| Files available
| DOI
2022 | Published | Journal Article | IST-REx-ID: 12117 |
Hübschmann, Verena, et al. “Assessing Human IPSC-Derived Microglia Identity and Function by Immunostaining, Phagocytosis, Calcium Activity, and Inflammation Assay.” STAR Protocols, vol. 3, no. 4, 101866, Elsevier, 2022, doi:10.1016/j.xpro.2022.101866.
[Published Version]
View
| Files available
| DOI