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.
5658 Publications
2021 | Published | Conference Paper | IST-REx-ID: 9296 | 
On compatible matchings
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
O. Aichholzer, A.M. Arroyo Guevara, Z. Masárová, I. Parada, D. Perz, A. Pilz, J. Tkadlec, B. Vogtenhuber, in:, 15th International Conference on Algorithms and Computation, Springer Nature, 2021, pp. 221–233.
2021 | Published | Journal Article | IST-REx-ID: 9928 |
Geometric superinductance qubits: Controlling phase delocalization across a single Josephson junction
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, PRX Quantum 2 (2021) 040341.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Peruzzo, F. Hassani, G. Szep, A. Trioni, E. Redchenko, M. Zemlicka, J.M. Fink, PRX Quantum 2 (2021) 040341.
2021 | Published | Thesis | IST-REx-ID: 9920 |
Geometric superinductors and their applications in circuit quantum electrodynamics
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
M. Peruzzo, Geometric Superinductors and Their Applications in Circuit Quantum Electrodynamics, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 10631 |
Excited rotational states of molecules in a superfluid
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, S.H. Albrechtsen, A.V. Muñoz, L. Christiansen, H. Stapelfeldt, M. Lemeshko, Physical Review A 104 (2021).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
I. Cherepanov, G. Bighin, C.A. Schouder, A.S. Chatterley, S.H. Albrechtsen, A.V. Muñoz, L. Christiansen, H. Stapelfeldt, M. Lemeshko, Physical Review A 104 (2021).
2021 | Published | Journal Article | IST-REx-ID: 9912 |
Scattering in quantum dots via noncommutative rational functions
L. Erdös, T.H. Krüger, Y. Nemish, Annales Henri Poincaré 22 (2021) 4205–4269.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Erdös, T.H. Krüger, Y. Nemish, Annales Henri Poincaré 22 (2021) 4205–4269.
2021 | Published | Journal Article | IST-REx-ID: 9550 |
Equipartition principle for Wigner matrices
Z. Bao, L. Erdös, K. Schnelli, Forum of Mathematics, Sigma 9 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
Z. Bao, L. Erdös, K. Schnelli, Forum of Mathematics, Sigma 9 (2021).
2021 | Published | Journal Article | IST-REx-ID: 15013 |
Spectral radius of random matrices with independent entries
J. Alt, L. Erdös, T.H. Krüger, Probability and Mathematical Physics 2 (2021) 221–280.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Probability and Mathematical Physics 2 (2021) 221–280.
2021 | Published | Thesis | IST-REx-ID: 9022 |
Fluctuations in the spectrum of random matrices
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
G. Cipolloni, Fluctuations in the Spectrum of Random Matrices, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 8601 |
Edge universality for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2021).
2021 | Published | Journal Article | IST-REx-ID: 8988 |
In vitro reconstitution reveals phosphoinositides as cargo-release factors and activators of the ARF6 GAP ADAP1
Düllberg, Christian F, In vitro reconstitution reveals phosphoinositides as cargo-release factors and activators of the ARF6 GAP ADAP1. Proceedings of the National Academy of Sciences of the United States of America 118 (1). 2021
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
Düllberg, Christian F, In vitro reconstitution reveals phosphoinositides as cargo-release factors and activators of the ARF6 GAP ADAP1. Proceedings of the National Academy of Sciences of the United States of America 118 (1). 2021
2021 | Published | Journal Article | IST-REx-ID: 8997 |
Minimal biophysical model of combined antibiotic action
B. Kavcic, G. Tkačik, M.T. Bollenbach, PLOS Computational Biology 17 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
B. Kavcic, G. Tkačik, M.T. Bollenbach, PLOS Computational Biology 17 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10271 |
Uncovering Key Metabolic Determinants of the Drug Interactions Between Trimethoprim and Erythromycin in Escherichia coli
Q. Qi, S.A. Angermayr, M.T. Bollenbach, Frontiers in Microbiology 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Q. Qi, S.A. Angermayr, M.T. Bollenbach, Frontiers in Microbiology 12 (2021).
2021 | Published | Journal Article | IST-REx-ID: 10674 |
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Aghajohari, G. Avni, T.A. Henzinger, Logical Methods in Computer Science 17 (2021) 10:1-10:23.
2021 | Published | Journal Article | IST-REx-ID: 8793 |
Optimal strategies for selecting coordinators
M. Zeiner, U. Schmid, K. Chatterjee, Discrete Applied Mathematics 289 (2021) 392–415.
[Published Version]
View
| Files available
| DOI
| WoS
M. Zeiner, U. Schmid, K. Chatterjee, Discrete Applied Mathematics 289 (2021) 392–415.
2021 | Published | Journal Article | IST-REx-ID: 9239 |
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, Đ. Žikelić, Journal of Computer and System Sciences 119 (2021) 133–144.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
G. Avni, T.A. Henzinger, Đ. Žikelić, Journal of Computer and System Sciences 119 (2021) 133–144.
2021 | Published | Journal Article | IST-REx-ID: 10191 |
The reads-from equivalence for the TSO and PSO memory models
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
[Published Version]
View
| Files available
| DOI
| arXiv
T.L. Bui, K. Chatterjee, T. Gautam, A. Pavlogiannis, V. Toman, Proceedings of the ACM on Programming Languages 5 (2021).
2021 | Published | Conference Paper | IST-REx-ID: 9987 |
Stateless model checking under a reads-value-from equivalence
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, V. Toman, in:, 33rd International Conference on Computer-Aided Verification , Springer Nature, 2021, pp. 341–366.
2021 | Published | Journal Article | IST-REx-ID: 9293 |
Algorithms and conditional lower bounds for planning problems
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvořák, M. Henzinger, A. Svozil, Artificial Intelligence 297 (2021).
2021 | Published | Thesis | IST-REx-ID: 10199 |
Improved verification techniques for concurrent systems
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
[Published Version]
View
| Files available
| DOI
V. Toman, Improved Verification Techniques for Concurrent Systems, Institute of Science and Technology Austria, 2021.
2021 | Published | Journal Article | IST-REx-ID: 9640 |
Fast and strong amplifiers of natural selection
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Nature Communications 12 (2021).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
J. Tkadlec, A. Pavlogiannis, K. Chatterjee, M.A. Nowak, Nature Communications 12 (2021).