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.
348 Publications
2022 | Published | Journal Article | IST-REx-ID: 11462
Combining of synthetic VHH and immune scFv libraries for pregnancy-associated glycoproteins ELISA development
D. Dormeshkin, M. Shapira, A. Karputs, A. Kavaleuski, I. Kuzminski, E. Stepanova, A. Gilep, Applied Microbiology and Biotechnology 106 (2022) 5093–5103.
View
| DOI
| WoS
| PubMed | Europe PMC
D. Dormeshkin, M. Shapira, A. Karputs, A. Kavaleuski, I. Kuzminski, E. Stepanova, A. Gilep, Applied Microbiology and Biotechnology 106 (2022) 5093–5103.
2022 | Published | Journal Article | IST-REx-ID: 11556 | 
Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics
A. Kalinov, A.I. Osinskiy, S.A. Matveev, W. Otieno, N.V. Brilliantov, Journal of Computational Physics 467 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Kalinov, A.I. Osinskiy, S.A. Matveev, W. Otieno, N.V. Brilliantov, Journal of Computational Physics 467 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 11839 |
Almost-orthogonal layers for efficient general-purpose Lipschitz networks
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, in:, Computer Vision – ECCV 2022, Springer Nature, 2022, pp. 350–365.
2022 | Published | Journal Article | IST-REx-ID: 12307
Tangible topology through the lens of limits
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.
View
| DOI
B.A. Shipman, E.R. Stephenson, PRIMUS 32 (2022) 593–609.
2022 | Submitted | Preprint | IST-REx-ID: 12860 |
Towards differential relational privacy and its use in question answering
S. Bombari, A. Achille, Z. Wang, Y.-X. Wang, Y. Xie, K.Y. Singh, S. Appalaraju, V. Mahadevan, S. Soatto, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Bombari, A. Achille, Z. Wang, Y.-X. Wang, Y. Xie, K.Y. Singh, S. Appalaraju, V. Mahadevan, S. Soatto, ArXiv (n.d.).
2022 | Published | Journal Article | IST-REx-ID: 11438 |
Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters
V. Li, F.R. Diorico, O. Hosten, Physical Review Applied 17 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
V. Li, F.R. Diorico, O. Hosten, Physical Review Applied 17 (2022).
2022 | Published | Thesis | IST-REx-ID: 12390 |
Translation-invariant quantum systems with effectively broken symmetry
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
M. Brooks, Translation-Invariant Quantum Systems with Effectively Broken Symmetry, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12358 |
Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting
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
G. Sperl, Homogenizing Yarn Simulations: Large-Scale Mechanics, Small-Scale Detail, and Quantitative Fitting, Institute of Science and Technology Austria, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 11775 |
Abstract monitors for quantitative specifications
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 22nd International Conference on Runtime Verification, Springer Nature, 2022, pp. 200–220.
2022 | Published | Journal Article | IST-REx-ID: 11447 |
Relation between the number of peaks and the number of reciprocal sign epistatic interactions
R.J. Saona Urmeneta, F. Kondrashov, K. Khudiakova, Bulletin of Mathematical Biology 84 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
R.J. Saona Urmeneta, F. Kondrashov, K. Khudiakova, Bulletin of Mathematical Biology 84 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 11459 |
Differential cost analysis with simultaneous potentials and anti-potentials
D. Zikelic, B.-Y.E. Chang, P. Bolignano, F. Raimondi, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 442–457.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D. Zikelic, B.-Y.E. Chang, P. Bolignano, F. Raimondi, in:, Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2022, pp. 442–457.
2022 | Submitted | Preprint | IST-REx-ID: 12677 |
Repeated prophet inequality with near-optimal bounds
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Mohammadi, R.J. Saona Urmeneta, ArXiv (n.d.).
2022 | Published | Journal Article | IST-REx-ID: 9311 |
Finite-memory strategies in POMDPs with long-run average objectives
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, R.J. Saona Urmeneta, B. Ziliotto, Mathematics of Operations Research 47 (2022) 100–119.
2022 | Published | Thesis | IST-REx-ID: 12368 |
Remodeling of E-cadherin-mediated contacts via cortical flows
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
F.N. Arslan, Remodeling of E-Cadherin-Mediated Contacts via Cortical Flows, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 12072 |
Existence and density problems in Diophantine geometry: From norm forms to Campana points
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
A.L. Shute, Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points, Institute of Science and Technology Austria, 2022.
2022 | Published | Thesis | IST-REx-ID: 11777 |
High-dimensional expansion and crossing numbers of simplicial complexes
Wild, Pascal, High-dimensional expansion and crossing numbers of simplicial complexes. 2022
[Published Version]
View
| Files available
| DOI
Wild, Pascal, High-dimensional expansion and crossing numbers of simplicial complexes. 2022
2022 | Published | Journal Article | IST-REx-ID: 11448 |
Heterogeneity of the GFP fitness landscape and data-driven protein design
L. Gonzalez Somermeyer, A. Fleiss, A.S. Mishin, N.G. Bozhanova, A.A. Igolkina, J. Meiler, M.-E. Alaball Pujol, E.V. Putintseva, K.S. Sarkisyan, F. Kondrashov, ELife 11 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
L. Gonzalez Somermeyer, A. Fleiss, A.S. Mishin, N.G. Bozhanova, A.A. Igolkina, J. Meiler, M.-E. Alaball Pujol, E.V. Putintseva, K.S. Sarkisyan, F. Kondrashov, ELife 11 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 12102 |
Algorithms and hardness results for computing cores of Markov chains
Ahmadi, Ali, Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 250. 2022
[Published Version]
View
| Files available
| DOI
Ahmadi, Ali, Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 250. 2022
2022 | Published | Thesis | 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 | Thesis | IST-REx-ID: 10799 |
Robustness and fairness in machine learning
N.H. Konstantinov, Robustness and Fairness in Machine Learning, Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
N.H. Konstantinov, Robustness and Fairness in Machine Learning, Institute of Science and Technology Austria, 2022.