Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
5749 Publications
2022 | Published | Journal Article | IST-REx-ID: 11353 | 
Dissipative quantum feedback in measurements using a parametrically coupled microcavity
L. Qiu, G. Huang, I. Shomroni, J. Pan, P. Seidler, T.J. Kippenberg, PRX Quantum 3 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
L. Qiu, G. Huang, I. Shomroni, J. Pan, P. Seidler, T.J. Kippenberg, PRX Quantum 3 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10702 |
Blood-based epigenome-wide analyses of cognitive abilities
McCartney DL, Hillary RF, Conole ELS, Banos DT, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Maniega SM, Valdés-Hernández MDC, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2022. Blood-based epigenome-wide analyses of cognitive abilities. Genome Biology. 23(1), 26.
[Published Version]
View
| Files available
| DOI
| WoS
McCartney DL, Hillary RF, Conole ELS, Banos DT, Gadd DA, Walker RM, Nangle C, Flaig R, Campbell A, Murray AD, Maniega SM, Valdés-Hernández MDC, Harris MA, Bastin ME, Wardlaw JM, Harris SE, Porteous DJ, Tucker-Drob EM, McIntosh AM, Evans KL, Deary IJ, Cox SR, Robinson MR, Marioni RE. 2022. Blood-based epigenome-wide analyses of cognitive abilities. Genome Biology. 23(1), 26.
2022 | Published | Journal Article | IST-REx-ID: 12142 |
Liability-scale heritability estimation for biobank studies of low-prevalence disease
S.E. Ojavee, Z. Kutalik, M.R. Robinson, The American Journal of Human Genetics 109 (2022) 2009–2017.
[Published Version]
View
| Files available
| DOI
| WoS
S.E. Ojavee, Z. Kutalik, M.R. Robinson, The American Journal of Human Genetics 109 (2022) 2009–2017.
2022 | Published | Journal Article | IST-REx-ID: 10889 |
Electron microscopic visualization of single molecules by tag-mediated metal particle labeling
Shigemoto, Ryuichi, Electron microscopic visualization of single molecules by tag-mediated metal particle labeling. Microscopy 71 (Supplement_1). 2022
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
Shigemoto, Ryuichi, Electron microscopic visualization of single molecules by tag-mediated metal particle labeling. Microscopy 71 (Supplement_1). 2022
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 | Journal Article | IST-REx-ID: 12209 |
Morphogen gradient orchestrates pattern-preserving tissue morphogenesis via motility-driven unjamming
D.C. Nunes Pinheiro, R. Kardos, E.B. Hannezo, C.-P.J. Heisenberg, Nature Physics 18 (2022) 1482–1493.
[Published Version]
View
| Files available
| DOI
| WoS
D.C. Nunes Pinheiro, R. Kardos, E.B. Hannezo, C.-P.J. Heisenberg, Nature Physics 18 (2022) 1482–1493.
2022 | Published | Conference Paper | IST-REx-ID: 11355 |
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
[Published Version]
View
| Files available
| DOI
| WoS
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
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 | Journal Article | IST-REx-ID: 12226 |
Strand asymmetry influences mismatch resolution during single-strand annealing
V. Pokusaeva, A.R. Diez, L. Espinar, A.T. Pérez, G.J. Filion, Genome Biology 23 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
V. Pokusaeva, A.R. Diez, L. Espinar, A.T. Pérez, G.J. Filion, Genome Biology 23 (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: 11552 |
Femtosecond rotational dynamics of D2 molecules in superfluid helium nanodroplets
J. Qiang, L. Zhou, P. Lu, K. Lin, Y. Ma, S. Pan, C. Lu, W. Jiang, F. Sun, W. Zhang, H. Li, X. Gong, I.S. Averbukh, Y. Prior, C.A. Schouder, H. Stapelfeldt, I. Cherepanov, M. Lemeshko, W. Jäger, J. Wu, Physical Review Letters 128 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
J. Qiang, L. Zhou, P. Lu, K. Lin, Y. Ma, S. Pan, C. Lu, W. Jiang, F. Sun, W. Zhang, H. Li, X. Gong, I.S. Averbukh, Y. Prior, C.A. Schouder, H. Stapelfeldt, I. Cherepanov, M. Lemeshko, W. Jäger, J. Wu, Physical Review Letters 128 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11998 |
A simple model for high rotational excitations of molecules in a superfluid
Cherepanov, Igor, A simple model for high rotational excitations of molecules in a superfluid. New Journal of Physics 24 (7). 2022
[Published Version]
View
| Files available
| DOI
| WoS
Cherepanov, Igor, A simple model for high rotational excitations of molecules in a superfluid. New Journal of Physics 24 (7). 2022
2022 | Published | Journal Article | IST-REx-ID: 12150 |
Artificial neural network states for nonadditive systems
W. Rzadkowski, M. Lemeshko, J.H. Mentink, Physical Review B 106 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
W. Rzadkowski, M. Lemeshko, J.H. Mentink, Physical Review B 106 (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 | Journal Article | IST-REx-ID: 10802 |
Fairness-aware PAC learning from corrupted data
N.H. Konstantinov, C. Lampert, Journal of Machine Learning Research 23 (2022) 1–60.
[Published Version]
View
| Files available
| arXiv
N.H. Konstantinov, C. Lampert, Journal of Machine Learning Research 23 (2022) 1–60.
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 | Conference Paper | IST-REx-ID: 12000 |
Sound and complete certificates for auantitative termination analysis of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
[Published Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.
2022 | Published | Journal Article | IST-REx-ID: 12511 |
Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.
2022 | Draft | Preprint | IST-REx-ID: 14600 |
Learning control policies for stochastic systems with reach-avoid guarantees
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, T.A. Henzinger, K. Chatterjee, ArXiv (n.d.).
2022 | Draft | Preprint | IST-REx-ID: 14601 |
Learning stabilizing policies in stochastic control systems
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).