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.
7110 Publications
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: 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 | Submitted | 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 | 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 | Published | Journal Article | IST-REx-ID: 11182 |
Quantifying the probing and selection of microenvironmental pores by motile immune cells
J. Kroll, M.J.A. Ruiz-Fernandez, M.B. Braun, J. Merrin, J. Renkawitz, Current Protocols 2 (2022).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
J. Kroll, M.J.A. Ruiz-Fernandez, M.B. Braun, J. Merrin, J. Renkawitz, Current Protocols 2 (2022).
2022 | Published | Conference Paper | IST-REx-ID: 17084 |
Hardness of token swapping on trees
O. Aichholzer, E.D. Demaine, M. Korman, A. Lubiw, J. Lynch, Z. Masárová, M. Rudoy, V. Vassilevska Williams, N. Wein, in:, 30th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
| arXiv
O. Aichholzer, E.D. Demaine, M. Korman, A. Lubiw, J. Lynch, Z. Masárová, M. Rudoy, V. Vassilevska Williams, N. Wein, in:, 30th Annual European Symposium on Algorithms, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Published | Journal Article | IST-REx-ID: 11938 |
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, Journal of Graph Algorithms and Applications 26 (2022) 225–240.
[Published Version]
View
| Files available
| DOI
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, Journal of Graph Algorithms and Applications 26 (2022) 225–240.
2022 | Submitted | Preprint | IST-REx-ID: 12750 |
Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
P. Brighi, M. Ljubotina, M. Serbyn, ArXiv (n.d.).
2022 | Submitted | 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 | Published | Journal Article | IST-REx-ID: 11442 |
Closed-loop control of direct ink writing via reinforcement learning
M. Piovarci, M. Foshey, J. Xu, T. Erps, V. Babaei, P. Didyk, S. Rusinkiewicz, W. Matusik, B. Bickel, ACM Transactions on Graphics 41 (2022).
[Submitted Version]
View
| Files available
| DOI
| arXiv
M. Piovarci, M. Foshey, J. Xu, T. Erps, V. Babaei, P. Didyk, S. Rusinkiewicz, W. Matusik, B. Bickel, ACM Transactions on Graphics 41 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10604 |
Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics, and disease control
M. Turelli, N.H. Barton, Evolution Letters 6 (2022) 92–105.
[Published Version]
View
| Files available
| DOI
| WoS
M. Turelli, N.H. Barton, Evolution Letters 6 (2022) 92–105.
2022 | Published | Journal Article | IST-REx-ID: 10713 |
Cell division in tissues enables macrophage infiltration
M. Akhmanova, S. Emtenani, D. Krueger, A. György, M. Pereira Guarda, M. Vlasov, F. Vlasov, A. Akopian, A. Ratheesh, S. De Renzis, D.E. Siekhaus, Science 376 (2022) 394–396.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
M. Akhmanova, S. Emtenani, D. Krueger, A. György, M. Pereira Guarda, M. Vlasov, F. Vlasov, A. Akopian, A. Ratheesh, S. De Renzis, D.E. Siekhaus, Science 376 (2022) 394–396.
2022 | Research Data Reference | IST-REx-ID: 11686 |
Wolbachia frequency data from: Why did the Wolbachia transinfection cross the road? Drift, deterministic dynamics and disease control
M. Turelli, N.H. Barton, (2022).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Turelli, N.H. Barton, (2022).
2022 | Published | Journal Article | IST-REx-ID: 10920 |
Dynamics of hole singlet-triplet qubits with large g-factor differences
D. Jirovec, P.M. Mutter, A.C. Hofmann, A. Crippa, M. Rychetsky, D.L. Craig, J. Kukucka, F. Martins, A. Ballabio, N. Ares, D. Chrastina, G. Isella, G. Burkard, G. Katsaros, Physical Review Letters 128 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
D. Jirovec, P.M. Mutter, A.C. Hofmann, A. Crippa, M. Rychetsky, D.L. Craig, J. Kukucka, F. Martins, A. Ballabio, N. Ares, D. Chrastina, G. Isella, G. Burkard, G. Katsaros, Physical Review Letters 128 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11460 |
WDFY3 mutation alters laminar position and morphology of cortical neurons
Z.A. Schaaf, L. Tat, N. Cannizzaro, R. Green, T. Rülicke, S. Hippenmeyer, K.S. Zarbalis, Molecular Autism 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
Z.A. Schaaf, L. Tat, N. Cannizzaro, R. Green, T. Rülicke, S. Hippenmeyer, K.S. Zarbalis, Molecular Autism 13 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12051 |
The human RNA polymerase I structure reveals an HMG-like docking domain specific to metazoans
J.L. Daiß, M. Pilsl, K. Straub, A. Bleckmann, M. Höcherl, F.B. Heiss, G. Abascal-Palacios, E.P. Ramsay, K. Tluckova, J.-C. Mars, T. Fürtges, A. Bruckmann, T. Rudack, C. Bernecky, V. Lamour, K. Panov, A. Vannini, T. Moss, C. Engel, Life Science Alliance 5 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
J.L. Daiß, M. Pilsl, K. Straub, A. Bleckmann, M. Höcherl, F.B. Heiss, G. Abascal-Palacios, E.P. Ramsay, K. Tluckova, J.-C. Mars, T. Fürtges, A. Bruckmann, T. Rudack, C. Bernecky, V. Lamour, K. Panov, A. Vannini, T. Moss, C. Engel, Life Science Alliance 5 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11337 |
Entanglement and precession in two-dimensional dynamical quantum phase transitions
S. De Nicola, A. Michailidis, M. Serbyn, Physical Review B 105 (2022).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. De Nicola, A. Michailidis, M. Serbyn, Physical Review B 105 (2022).
2022 | Published | Journal Article | IST-REx-ID: 11470 |
Propagation of many-body localization in an Anderson insulator
P. Brighi, A.A. Michailidis, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Brighi, A.A. Michailidis, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
2022 | Research Data | IST-REx-ID: 18291 |
Dynamics of Hole Singlet-Triplet Qubits with Large 𝑔-Factor Differences
G. Katsaros, D. Jirovec, (2022).
View
| Files available
| DOI
G. Katsaros, D. Jirovec, (2022).
2022 | Published | Journal Article | IST-REx-ID: 11489 |
The hydrophilic loop of Arabidopsis PIN1 auxin efflux carrier harbors hallmarks of an intrinsically disordered protein
V. Bilanovičová, N. Rýdza, L. Koczka, M. Hess, E. Feraru, J. Friml, T. Nodzyński, International Journal of Molecular Sciences 23 (2022) 6352.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
V. Bilanovičová, N. Rýdza, L. Koczka, M. Hess, E. Feraru, J. Friml, T. Nodzyński, International Journal of Molecular Sciences 23 (2022) 6352.