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.
5672 Publications
2022 | Published | Journal Article | IST-REx-ID: 17061 | 
Evolutionary instability of selfish learning in repeated games
A. McAvoy, J. Kates-Harbeck, K. Chatterjee, C. Hilbe, PNAS Nexus 1 (2022).
[Published Version]
View
| Files available
| DOI
| arXiv
A. McAvoy, J. Kates-Harbeck, K. Chatterjee, C. Hilbe, PNAS Nexus 1 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12280 |
Direct reciprocity between individuals that use different strategy spaces
L. Schmid, C. Hilbe, K. Chatterjee, M. Nowak, PLOS Computational Biology 18 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
L. Schmid, C. Hilbe, K. Chatterjee, M. Nowak, PLOS Computational Biology 18 (2022).
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 | Conference Paper | IST-REx-ID: 12101 |
Complexity of spatial games
Chatterjee, Krishnendu, Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 250. 2022
[Published Version]
View
| Files available
| DOI
Chatterjee, Krishnendu, Complexity of spatial games. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science 250. 2022
2022 | Published | Conference Paper | IST-REx-ID: 10774 |
Flavors of sequential information flow
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
2022 | Published | Conference Paper | IST-REx-ID: 10891
Quantitative monitoring of software
T.A. Henzinger, in:, Software Verification, Springer Nature, 2022, pp. 3–6.
View
| DOI
| WoS
T.A. Henzinger, in:, Software Verification, Springer Nature, 2022, pp. 3–6.
2022 | Published | Journal Article | IST-REx-ID: 12147 |
Closed-form continuous-time neural networks
R. Hasani, M. Lechner, A. Amini, L. Liebenwein, A. Ray, M. Tschaikowski, G. Teschl, D. Rus, Nature Machine Intelligence 4 (2022) 992–1003.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Hasani, M. Lechner, A. Amini, L. Liebenwein, A. Ray, M. Tschaikowski, G. Teschl, D. Rus, Nature Machine Intelligence 4 (2022) 992–1003.
2022 | Published | Journal Article | IST-REx-ID: 12510 |
GoTube: Scalable statistical verification of continuous-depth models
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.A. Gruenbacher, M. Lechner, R. Hasani, D. Rus, T.A. Henzinger, S.A. Smolka, R. Grosu, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 6755–6764.
2022 | Published | Conference Paper | IST-REx-ID: 12010 |
Latent imagination facilitates zero-shot transfer in autonomous racing
A. Brunnbauer, L. Berducci, A. Brandstatter, M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–7520.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Brunnbauer, L. Berducci, A. Brandstatter, M. Lechner, R. Hasani, D. Rus, R. Grosu, in:, 2022 International Conference on Robotics and Automation, IEEE, 2022, pp. 7513–7520.
2022 | Draft | Preprint | IST-REx-ID: 11366 |
Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, 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 | Journal Article | IST-REx-ID: 11402 |
Graph planning with expected finite horizon
K. Chatterjee, L. Doyen, Journal of Computer and System Sciences 129 (2022) 1–21.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, L. Doyen, Journal of Computer and System Sciences 129 (2022) 1–21.
2022 | Published | Journal Article | IST-REx-ID: 12214 |
The isometry group of Wasserstein spaces: The Hilbertian case
G.P. Gehér, T. Titkos, D. Virosztek, Journal of the London Mathematical Society 106 (2022) 3865–3894.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G.P. Gehér, T. Titkos, D. Virosztek, Journal of the London Mathematical Society 106 (2022) 3865–3894.
2022 | Published | Journal Article | IST-REx-ID: 11734 |
Molecular framework integrating nitrate sensing in root and auxin-guided shoot adaptive responses
Abualia, Rashed, Molecular framework integrating nitrate sensing in root and auxin-guided shoot adaptive responses. Proceedings of the National Academy of Sciences of the United States of America 119 (31). 2022
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Abualia, Rashed, Molecular framework integrating nitrate sensing in root and auxin-guided shoot adaptive responses. Proceedings of the National Academy of Sciences of the United States of America 119 (31). 2022
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.