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, Joël, et al. “CoCoA: Concurrent Continuous Group Key Agreement.” Advances in Cryptology – EUROCRYPT 2022, vol. 13276, Springer Nature, 2022, pp. 815–844, doi: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, Asaf, et al. “List-Decodability with Large Radius for Reed-Solomon Codes.” 62nd Annual IEEE Symposium on Foundations of Computer Science, vol. 2022, IEEE, 2022, pp. 720–26, doi: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, Asaf, et al. “List-Decodability with Large Radius for Reed-Solomon Codes.” IEEE Transactions on Information Theory, vol. 68, no. 6, IEEE, 2022, pp. 3823–28, doi: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, Trevor, et al. “The Dynamics of Complex Box Mappings.” Arnold Mathematical Journal, vol. 8, no. 2, Springer Nature, 2022, pp. 319–410, doi:10.1007/s40598-022-00200-7.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 11636 | OA
Kmentt, Philip, and Alec L. Shute. “The Bertini Irreducibility Theorem for Higher Codimensional Slices.” Finite Fields and Their Applications, vol. 83, no. 10, 102085, Elsevier, 2022, doi:10.1016/j.ffa.2022.102085.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12102 | OA
Ahmadi, Ali, et al. “Algorithms and Hardness Results for Computing Cores of Markov Chains.” 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, vol. 250, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.FSTTCS.2022.29.
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 12176 | OA
Hoffmann, Charlotte, et al. “Practical Statistically-Sound Proofs of Exponentiation in Any Group.” Advances in Cryptology – CRYPTO 2022, vol. 13508, Springer Nature, 2022, pp. 370–99, doi: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, Guy, and Thomas A. Henzinger. “An Updated Survey of Bidding Games on Graphs.” 47th International Symposium on Mathematical Foundations of Computer Science, vol. 241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 3:1-3:6, doi:10.4230/LIPIcs.MFCS.2022.3.
[Published Version] View | Files available | DOI
 
2022 | Published | Conference Paper | IST-REx-ID: 12229 | OA
Spiegelman, Alexander, et al. “Bullshark: DAG BFT Protocols Made Practical.” Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2022, pp. 2705–2718, doi:10.1145/3548606.3559361.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12432
Anastos, Michael. “Solving the Hamilton Cycle Problem Fast on Average.” 63rd Annual IEEE Symposium on Foundations of Computer Science, vol. 2022–October, Institute of Electrical and Electronics Engineers, 2022, pp. 919–30, doi:10.1109/FOCS54457.2022.00091.
View | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 11469 | OA
Brighi, Pietro, et al. “Localization of a Mobile Impurity Interacting with an Anderson Insulator.” Physical Review B, vol. 105, no. 22, 224208, American Physical Society, 2022, doi: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, Pietro, et al. “Propagation of Many-Body Localization in an Anderson Insulator.” Physical Review B, vol. 105, no. 22, L220203, American Physical Society, 2022, doi:10.1103/physrevb.105.l220203.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Draft | Preprint | IST-REx-ID: 12750 | OA
Brighi, Pietro, et al. “Hilbert Space Fragmentation and Slow Dynamics in Particle-Conserving Quantum East Models.” ArXiv, 2210.15607, doi:10.48550/arXiv.2210.15607.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10924 | OA
Sahu, Rishabh, et al. “Quantum-Enabled Operation of a Microwave-Optical Interface.” Nature Communications, vol. 13, 1276, Springer Nature, 2022, doi: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, Marco, et al. “Majorana-like Coulomb Spectroscopy in the Absence of Zero-Bias Peaks.” Nature, vol. 612, no. 7940, Springer Nature, 2022, pp. 442–47, doi: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, Marco, et al. Data for “Majorana-like Coulomb Spectroscopy in the Absence of Zero Bias Peaks.” Institute of Science and Technology Austria, 2022, doi:10.15479/AT:ISTA:12102.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 10850 | OA
Roos, Barbara, and Robert Seiringer. “Two-Particle Bound States at Interfaces and Corners.” Journal of Functional Analysis, vol. 282, no. 12, 109455, Elsevier, 2022, doi:10.1016/j.jfa.2022.109455.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10791 | OA
Hansen, Andi H., et al. “Tissue-Wide Effects Override Cell-Intrinsic Gene Function in Radial Neuron Migration.” Oxford Open Neuroscience, vol. 1, no. 1, kvac009, Oxford University Press, 2022, doi:10.1093/oons/kvac009.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2022 | Published | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee, Krishnendu, et al. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.” Proceedings of the 34th International Conference on Computer Aided Verification, vol. 13371, Springer, 2022, pp. 55–78, doi: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, Mathias, et al. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.” Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 7, Association for the Advancement of Artificial Intelligence, 2022, pp. 7326–36, doi:10.1609/aaai.v36i7.20695.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed