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.




6587 Publications

2023 | Published | Conference Paper | IST-REx-ID: 14989 | OA
Parakeet: Practical key transparency for end-to-end eEncrypted messaging
H. Malvai, E. Kokoris Kogias, A. Sonnino, E. Ghosh, E. Oztürk, K. Lewi, S. Lawlor, in:, Proceedings of the 2023 Network and Distributed System Security Symposium, Internet Society, 2023.
[Published Version] View | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14990 | OA
Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Data-assessing memory in convection schemes using idealized tests
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Book Chapter | IST-REx-ID: 14992 | OA
Universal Functionals in Density Functional Theory
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14993 | OA
A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version] View | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14994 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
aggregation_data
S. Curk, (2023).
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Journal Article | IST-REx-ID: 15173 | OA
Enumerating matroids and linear spaces
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Poster | IST-REx-ID: 15292 | OA
Unified treatment of contact, friction and shock-propagation in rigid body animation
Y.-L. Chen, M. Ly, C. Wojtan, Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation, ACM, 2023.
View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 17074 | OA
Validity of Bogoliubov’s approximation fortranslation-invariant Bose gases
M. Brooks, R. Seiringer, Probability and Mathematical Physics 3 (2023) 939–1000.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 17079 | OA
Characteristic polynomials of random truncations: Moments, duality and asymptotics
A. Serebryakov, N. Simm, G. Dubach, Random Matrices: Theory and Applications 12 (2023).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Submitted | Preprint | IST-REx-ID: 17100 | OA
Prophet inequalities: Separating random order from order selection
G. Giambartolomei, F.M.-T. Frederik Mallmann-Trenn, R.J. Saona Urmeneta, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
earlier version | 2023 | Draft | Preprint | IST-REx-ID: 17173 | OA
Multi-point functional central limit theorem for Wigner Matrices
J. Reker, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
earlier version | 2023 | Draft | Preprint | IST-REx-ID: 17174 | OA
Prethermalization for deformed Wigner Matrices
L. Erdös, S.J. Henheik, J. Reker, V. Riabov, ArXiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 18634 | OA
A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen
J.M. Muñoz Hermosilla, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Journal Article | IST-REx-ID: 18942 | OA
Chloroplast auxin efflux mediated by ABCB28 and ABCB29 fine-tunes salt and drought stress responses in Arabidopsis
P. Tamizhselvan, S. Madhavan, C. Constan-Aguilar, E.R. Elrefaay, J. Liu, A. Pěnčík, O. Novák, A. Cairó, M. Hrtyan, M. Geisler, V.B. Tognetti, Plants 13 (2023).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 18959
Dynamische Systeme
M.-C. Arnaud, M. Hutchings, V. Kaloshin, Oberwolfach Reports 20 (2023) 1671–1730.
View | DOI
 
earlier version | 2023 | Published | Conference Paper | IST-REx-ID: 19985
Weighted acket selection for rechargeable links in cryptocurrency networks: Complexity and approximation
S. Schmid, J. Svoboda, M.X. Yeo, in:, 30th International Colloquium on Structural Information and Communication Complexity, Springer Nature, 2023, pp. 576–594.
View | Files available | DOI | WoS
 
2023 | Draft | Preprint | IST-REx-ID: 20572 | OA
Multivariate Dirichlet moments and a polychromatic Ewens sampling formula
L. Dello Schiavo, F. Quattrocchi, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed