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.
5507 Publications
2023 | Research Data Reference | IST-REx-ID: 14990 | 
Artefact for: Correct Approximation of Stationary Distributions
T. Meggendorfer, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Meggendorfer, (2023).
2023 | Research Data Reference | IST-REx-ID: 14991 |
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.)
Y.-L. Hwong, M. Colin, P. Aglas, C.J. Muller, S.C. Sherwood, (2023).
2023 | Published | Book Chapter | IST-REx-ID: 14992 |
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
M. Lewin, E.H. Lieb, R. Seiringer, in:, E. Cances, G. Friesecke (Eds.), Density Functional Theory, 1st ed., Springer, 2023, pp. 115–182.
2023 | Published | Conference Paper | IST-REx-ID: 14993 |
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.)
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.
2023 | Research Data Reference | IST-REx-ID: 14994 |
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.)
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
2023 | Research Data Reference | IST-REx-ID: 14995 |
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
2023 | Published | Conference Paper | IST-REx-ID: 15023 |
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 | Research Data Reference | IST-REx-ID: 15027 |
aggregation_data
S. Curk, (2023).
[Published Version]
View
| Files available
| Download Published Version (ext.)
S. Curk, (2023).
2023 | Research Data Reference | IST-REx-ID: 15035 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M. Chalupa, T.A. Henzinger, (2023).
2023 | Submitted | Preprint | IST-REx-ID: 15039 |
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Prach, C. Lampert, ArXiv (n.d.).
2023 | Submitted | Preprint | IST-REx-ID: 15128 |
Mesoscopic eigenvalue statistics for Wigner-type matrices
V. Riabov, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Riabov, ArXiv (n.d.).
2023 | Published | Journal Article | IST-REx-ID: 15173 |
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
| arXiv
M.A. Kwan, A. Sah, M. Sawhney, Comptes Rendus Mathematique 361 (2023) 565–575.
2023 | Published | Conference Paper | IST-REx-ID: 15363 |
Knowledge distillation performs partial variance reduction
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
M. Safaryan, A. Krumes, D.-A. Alistarh, in:, 36th Conference on Neural Information Processing Systems, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 15364 |
Simple, scalable and effective clustering via one-dimensional projections
M. Charikar, L. Hu, M. Henzinger, M. Vötsch, E. Waingarten, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Published Version]
View
| Files available
| arXiv
M. Charikar, L. Hu, M. Henzinger, M. Vötsch, E. Waingarten, in:, 37th Conference on Neural Information Processing Systems, 2023.
2023 | Published | Journal Article | IST-REx-ID: 18179 |
p-adic directions of primitive vectors
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Guilloux, T. Horesh, Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres 2023 (2023) 85–107.
2023 | Submitted | Preprint | IST-REx-ID: 18294 |
Complete intersections of cubic and quadric hypersurfaces over Fq(t)
J. Glas, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
J. Glas, ArXiv (n.d.).
2023 | Published | Thesis | IST-REx-ID: 13286 |
Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14032 |
Superconductivity from a melted insulator in Josephson junction arrays
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.
[Published Version]
View
| Files available
| DOI
| WoS
S. Mukhopadhyay, J.L. Senior, J. Saez Mollejo, D. Puglia, M. Zemlicka, J.M. Fink, A.P. Higginbotham, Nature Physics 19 (2023) 1630–1635.
2023 | Submitted | Preprint | IST-REx-ID: 13312 |
Radio frequency driven superconducting diode and parity conserving Cooper pair transport in a two-dimensional germanium hole gas
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Valentini, O. Sagi, L. Baghumyan, T. de Gijsel, J. Jung, S. Calcaterra, A. Ballabio, J.A. Servin, K. Aggarwal, M. Janik, T. Adletzberger, R.S. Souto, M. Leijnse, J. Danon, C. Schrade, E. Bakkers, D. Chrastina, G. Isella, G. Katsaros, ArXiv (n.d.).
2023 | Research Data Reference | IST-REx-ID: 18634 |
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.)
J.M. Muñoz Hermosilla, (2023).