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
CoCoA: Concurrent continuous group key agreement
J. Alwen, B. Auerbach, M. Cueto Noval, K. Klein, G. Pascual Perez, K.Z. Pietrzak, M. Walter, in:, Advances in Cryptology – EUROCRYPT 2022, Springer Nature, Cham, 2022, pp. 815–844.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2022 | Published | Conference Paper | IST-REx-ID: 11145 | OA
List-decodability with large radius for Reed-Solomon codes
A. Ferber, M.A. Kwan, L. Sauermann, in:, 62nd Annual IEEE Symposium on Foundations of Computer Science, IEEE, 2022, pp. 720–726.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10775 | OA
List-decodability with large radius for Reed-Solomon codes
A. Ferber, M.A. Kwan, L. Sauermann, IEEE Transactions on Information Theory 68 (2022) 3823–3828.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 11553 | OA
The dynamics of complex box mappings
T. Clark, K. Drach, O. Kozlovski, S.V. Strien, Arnold Mathematical Journal 8 (2022) 319–410.
[Published Version] View | Files available | DOI
 
2022 | Published | Journal Article | IST-REx-ID: 11636 | OA
The Bertini irreducibility theorem for higher codimensional slices
P. Kmentt, A.L. Shute, Finite Fields and Their Applications 83 (2022).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Conference Paper | IST-REx-ID: 12102 | OA
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
 
2022 | Published | Conference Paper | IST-REx-ID: 12176 | OA
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
 
2022 | Published | Conference Paper | IST-REx-ID: 12509 | OA
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
 
2022 | Published | Conference Paper | IST-REx-ID: 12229 | OA
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
 
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
 
2022 | Published | Journal Article | IST-REx-ID: 11469 | OA
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
 
2022 | Published | Journal Article | IST-REx-ID: 11470 | OA
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
 
2022 | Draft | Preprint | IST-REx-ID: 12750 | OA
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
 
2022 | Published | Journal Article | IST-REx-ID: 10924 | OA
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
 
2022 | Published | Journal Article | IST-REx-ID: 12118 | OA
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
 
2022 | Research Data | IST-REx-ID: 12522 | OA
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
 
2022 | Published | Journal Article | IST-REx-ID: 10850 | OA
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
 
2022 | Published | Journal Article | IST-REx-ID: 10791 | OA
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
 
2022 | Published | Conference Paper | IST-REx-ID: 12000 | OA
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
 
2022 | Published | Journal Article | IST-REx-ID: 12511 | OA
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
 

Search

Filter Publications

Display / Sort

Export / Embed