Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6092 Publications

2022 | Published | Conference Paper | IST-REx-ID: 11476 | OA
Alwen, J., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., Pietrzak, K. Z., & Walter, M. (2022). CoCoA: Concurrent continuous group key agreement. In Advances in Cryptology – EUROCRYPT 2022 (Vol. 13276, pp. 815–844). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-07085-3_28
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 11145 | OA
Ferber, A., Kwan, M. A., & Sauermann, L. (2022). List-decodability with large radius for Reed-Solomon codes. In 62nd Annual IEEE Symposium on Foundations of Computer Science (Vol. 2022, pp. 720–726). Denver, CO, United States: IEEE. https://doi.org/10.1109/FOCS52979.2021.00075
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10775 | OA
Ferber, A., Kwan, M. A., & Sauermann, L. (2022). List-decodability with large radius for Reed-Solomon codes. IEEE Transactions on Information Theory. IEEE. https://doi.org/10.1109/TIT.2022.3148779
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 11553 | OA
Clark, T., Drach, K., Kozlovski, O., & Strien, S. V. (2022). The dynamics of complex box mappings. Arnold Mathematical Journal. Springer Nature. https://doi.org/10.1007/s40598-022-00200-7
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 11636 | OA
Kmentt, P., & Shute, A. L. (2022). The Bertini irreducibility theorem for higher codimensional slices. Finite Fields and Their Applications. Elsevier. https://doi.org/10.1016/j.ffa.2022.102085
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12102 | OA
Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi Hemami, R., & Zikelic, D. (2022). Algorithms and hardness results for computing cores of Markov chains. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 12176 | OA
Hoffmann, C., Hubáček, P., Kamath, C., Klein, K., & Pietrzak, K. Z. (2022). Practical statistically-sound proofs of exponentiation in any group. In Advances in Cryptology – CRYPTO 2022 (Vol. 13508, pp. 370–399). Santa Barbara, CA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-15979-4_13
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
Avni, G., & Henzinger, T. A. (2022). An updated survey of bidding games on graphs. In 47th International Symposium on Mathematical Foundations of Computer Science (Vol. 241, p. 3:1-3:6). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.MFCS.2022.3
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 12229 | OA
Spiegelman, A., Giridharan, N., Sonnino, A., & Kokoris Kogias, E. (2022). Bullshark: DAG BFT protocols made practical. In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (pp. 2705–2718). Los Angeles, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3548606.3559361
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12432
Anastos, M. (2022). Solving the Hamilton cycle problem fast on average. In 63rd Annual IEEE Symposium on Foundations of Computer Science (Vol. 2022–October, pp. 919–930). Denver, CO, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/FOCS54457.2022.00091
View | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 11469 | OA
Brighi, P., Michailidis, A., Kirova, K., Abanin, D. A., & Serbyn, M. (2022). Localization of a mobile impurity interacting with an Anderson insulator. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.105.224208
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 11470 | OA
Brighi, P., Michailidis, A. A., Abanin, D. A., & Serbyn, M. (2022). Propagation of many-body localization in an Anderson insulator. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.105.l220203
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Draft | Preprint | IST-REx-ID: 12750 | OA
Brighi, P., Ljubotina, M., & Serbyn, M. (n.d.). Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. arXiv. https://doi.org/10.48550/arXiv.2210.15607
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10924 | OA
Sahu, R., Hease, W. J., Rueda Sanchez, A. R., Arnold, G. M., Qiu, L., & Fink, J. M. (2022). Quantum-enabled operation of a microwave-optical interface. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-022-28924-2
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 12118 | OA
Valentini, M., Borovkov, M., Prada, E., Martí-Sánchez, S., Botifoll, M., Hofmann, A. C., … Katsaros, G. (2022). Majorana-like Coulomb spectroscopy in the absence of zero-bias peaks. Nature. Springer Nature. https://doi.org/10.1038/s41586-022-05382-w
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 
2022 | Research Data | IST-REx-ID: 12522 | OA
Valentini, M., San-Jose, P., Arbiol, J., Marti-Sanchez, S., & Botifoll, M. (2022). Data for “Majorana-like Coulomb spectroscopy in the absence of zero bias peaks.” Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12102
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 10850 | OA
Roos, B., & Seiringer, R. (2022). Two-particle bound states at interfaces and corners. Journal of Functional Analysis. Elsevier. https://doi.org/10.1016/j.jfa.2022.109455
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10791 | OA
Hansen, A. H., Pauler, F., Riedl, M., Streicher, C., Heger, A.-M., Laukoter, S., … Hippenmeyer, S. (2022). Tissue-wide effects override cell-intrinsic gene function in radial neuron migration. Oxford Open Neuroscience. Oxford University Press. https://doi.org/10.1093/oons/kvac009
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2022 | Published | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer. https://doi.org/10.1007/978-3-031-13185-1_4
[Published Version] View | Files available | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
Lechner, M., Zikelic, D., Chatterjee, K., & Henzinger, T. A. (2022). Stability verification in stochastic control systems via neural network supermartingales. Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v36i7.20695
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed