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.




6767 Publications

2023 | Draft | Preprint | IST-REx-ID: 18294 | OA [Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 23142 | OA
QComp LRA results
K. Grover, M. Weiniger, J. Kretinsky, (2023).
View | Files available | DOI | Download None (ext.)
 
earlier version | 2023 | Published | Conference Paper | IST-REx-ID: 14417 | OA
Entropic risk for turn-based stochastic games
C. Baier, K. Chatterjee, T. Meggendorfer, J. Piribauer, in:, 48th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
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
 
earlier version | 2023 | Draft | Preprint | IST-REx-ID: 17173 | OA [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
 
earlier version | 2023 | Published | Conference Paper | IST-REx-ID: 14922 | OA
Concentration without independence via information measures
A.R. Esposito, M. Mondelli, in:, Proceedings of 2023 IEEE International Symposium on Information Theory, IEEE, 2023, pp. 400–405.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
earlier version | 2023 | Published | Conference Paper | IST-REx-ID: 14083 | OA
Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13276 | OA
A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D
L. Rammelmüller, D. Huber, A. Volosniev, SciPost Physics Codebases (2023).
[Published Version] View | Files available | DOI | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 13275 | OA
Codebase release 1.0 for FermiFCI
L. Rammelmüller, D. Huber, A. Volosniev, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
earlier version | 2023 | Published | Conference Paper | IST-REx-ID: 13236 | OA
Multiplicative auction algorithm for approximate maximum weight bipartite matching
D.W. Zheng, M. Henzinger, in:, International Conference on Integer Programming and Combinatorial Optimization, Springer Nature, 2023, pp. 453–465.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
 
 
earlier version | 2023 | Draft | Preprint | IST-REx-ID: 14732 | OA
Genetic load, eco-evolutionary feedback and extinction in a metapopulation
O.O. Olusanya, K. Khudiakova, H. Sachdeva, BioRxiv (n.d.).
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14812 | OA [Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data | IST-REx-ID: 13126 | OA [Published Version] View | Files available | DOI
 
 
2023 | Research Data Reference | IST-REx-ID: 14892 | OA View | Files available | DOI | Download None (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 23183 | OA
Bubaak at SV-COMP 2024
M. Chalupa, (2023).
View | Files available | DOI | Download None (ext.)
 
2023 | Published | Thesis | PhD | IST-REx-ID: 12491 | OA
Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography
B. Zens, Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography, Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed