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.
5915 Publications
2022 | Published | Conference Paper | IST-REx-ID: 12014
List-decodability of Poisson Point Processes
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2559–2564.
View
| DOI
Y. Zhang, S. Vatedka, in:, 2022 IEEE International Symposium on Information Theory, IEEE, 2022, pp. 2559–2564.
2022 | Published | Conference Paper | IST-REx-ID: 12019
List-decodable zero-rate codes for the Z-channel
N. Polyanskii, Y. Zhang, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 2553–2558.
View
| DOI
N. Polyanskii, Y. Zhang, in:, 2022 IEEE International Symposium on Information Theory, Institute of Electrical and Electronics Engineers, 2022, pp. 2553–2558.
2022 | Published | Conference Paper | IST-REx-ID: 12102 | 
Algorithms and hardness results for computing cores of Markov chains
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
A. Ahmadi, K. Chatterjee, A.K. Goharshady, T. Meggendorfer, R. Safavi Hemami, D. Zikelic, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12101 |
Complexity of spatial games
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.
2022 | Published | Conference Paper | IST-REx-ID: 12176 |
Practical statistically-sound proofs of exponentiation in any group
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
C. Hoffmann, P. Hubáček, C. Kamath, K. Klein, K.Z. Pietrzak, in:, Advances in Cryptology – CRYPTO 2022, Springer Nature, 2022, pp. 370–399.
2022 | Published | Conference Paper | IST-REx-ID: 12509 |
An updated survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
[Published Version]
View
| Files available
| DOI
G. Avni, T.A. Henzinger, in:, 47th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2022, p. 3:1-3:6.
2022 | Published | Conference Paper | IST-REx-ID: 12229 |
Bullshark: DAG BFT protocols made practical
A. Spiegelman, N. Giridharan, A. Sonnino, E. Kokoris Kogias, in:, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2022, pp. 2705–2718.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Spiegelman, N. Giridharan, A. Sonnino, E. Kokoris Kogias, in:, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2022, pp. 2705–2718.
2022 | Published | Conference Paper | IST-REx-ID: 12432
Solving the Hamilton cycle problem fast on average
M. Anastos, in:, 63rd Annual IEEE Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2022, pp. 919–930.
View
| DOI
| WoS
M. Anastos, in:, 63rd Annual IEEE Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, 2022, pp. 919–930.
2022 | Published | Journal Article | IST-REx-ID: 11469 |
Localization of a mobile impurity interacting with an Anderson insulator
P. Brighi, A. Michailidis, K. Kirova, D.A. Abanin, M. Serbyn, Physical Review B 105 (2022).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
P. Brighi, A. Michailidis, K. Kirova, D.A. Abanin, 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 | Draft | 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 | Published | Journal Article | IST-REx-ID: 10924 |
Quantum-enabled operation of a microwave-optical interface
R. Sahu, W.J. Hease, A.R. Rueda Sanchez, G.M. Arnold, L. Qiu, J.M. Fink, Nature Communications 13 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
R. Sahu, W.J. Hease, A.R. Rueda Sanchez, G.M. Arnold, L. Qiu, J.M. Fink, Nature Communications 13 (2022).
2022 | Published | Journal Article | IST-REx-ID: 12118 |
Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks
M. Valentini, M. Borovkov, E. Prada, S. Martí-Sánchez, M. Botifoll, A.C. Hofmann, J. Arbiol, R. Aguado, P. San-Jose, G. Katsaros, Nature 612 (2022) 442–447.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
M. Valentini, M. Borovkov, E. Prada, S. Martí-Sánchez, M. Botifoll, A.C. Hofmann, J. Arbiol, R. Aguado, P. San-Jose, G. Katsaros, Nature 612 (2022) 442–447.
2022 | Research Data | IST-REx-ID: 12522 |
Data for "Majorana-like Coulomb spectroscopy in the absence of zero bias peaks"
M. Valentini, P. San-Jose, J. Arbiol, S. Marti-Sanchez, M. Botifoll, (2022).
[Published Version]
View
| Files available
| DOI
M. Valentini, P. San-Jose, J. Arbiol, S. Marti-Sanchez, M. Botifoll, (2022).
2022 | Published | Journal Article | IST-REx-ID: 10850 |
Two-particle bound states at interfaces and corners
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
B. Roos, R. Seiringer, Journal of Functional Analysis 282 (2022).
2022 | Published | Journal Article | IST-REx-ID: 10791 |
Tissue-wide effects override cell-intrinsic gene function in radial neuron migration
A.H. Hansen, F. Pauler, M. Riedl, C. Streicher, A.-M. Heger, S. Laukoter, C.M. Sommer, A. Nicolas, B. Hof, L.H. Tsai, T. Rülicke, S. Hippenmeyer, Oxford Open Neuroscience 1 (2022).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
A.H. Hansen, F. Pauler, M. Riedl, C. Streicher, A.-M. Heger, S. Laukoter, C.M. Sommer, A. Nicolas, B. Hof, L.H. Tsai, T. Rülicke, S. Hippenmeyer, Oxford Open Neuroscience 1 (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.).