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.




5473 Publications

2024 | Published | Conference Paper | IST-REx-ID: 18120 | OA
J. A. Scott and Á. Cahill, “Improved modelling of federated datasets using mixtures-of-Dirichlet-multinomials,” in Proceedings of the 41st International Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 44012–44037.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18121 | OA
A. S. Moakhar, E. B. Iofinova, E. Frantar, and D.-A. Alistarh, “SPADE: Sparsity-guided debugging for deep neural networks,” in Proceedings of the 41st International Conference on Machine Learning, Vienna, Austria, 2024, vol. 235, pp. 45955–45987.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2024 | Published | Thesis | IST-REx-ID: 18129
M. Janik, “Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 18132 | OA
J. Glas, “Counting rational points over function fields,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Thesis | IST-REx-ID: 18135 | OA
A. B. Lauritsen, “Energies of dilute Fermi gases and universalities in BCS theory,” Institute of Science and Technology Austria, 2024.
[Published Version] View | Files available | DOI
 
2024 | Submitted | Preprint | IST-REx-ID: 18144 | OA
M. Janik et al., “Strong charge-photon coupling in planar germanium enabled by granular  aluminium superinductors,” arXiv. .
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18154 | OA
J. Löwit, “On modulo ℓ cohomology of p-adic Deligne–Lusztig varieties for GLn,” Journal of Algebra, vol. 663. Elsevier, pp. 81–118, 2024.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18155 | OA
K. Chatterjee, A. K. Goharshady, E. Goharshady, M. Karrabi, and D. Zikelic, “Sound and complete witnesses for template-based verification of LTL properties on polynomial programs,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Milan, Italy, 2024, vol. 14933, pp. 600–619.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18156 | OA
M. Henzinger, A. R. Sricharan, and T. A. Steiner, “Private counting of distinct elements in the turnstile model and extensions,” in International Conference on Approximation Algorithms for Combinatorial Optimization Problems , London, United Kingdom, 2024, vol. 317.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18157 | OA
F. R. Brunck and M. A. Kwan, “Books, Hallways, and social butterflies: A note on sliding block puzzles,” Mathematical Intelligencer. Springer Nature, 2024.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18158 | OA
L. Dello Schiavo, R. Herry, and K. Suzuki, “Wasserstein geometry and Ricci curvature bounds for Poisson spaces,” Journal de l’Ecole Polytechnique - Mathematiques, vol. 11. Ecole Polytechnique, pp. 957–1010, 2024.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18159 | OA
S. Akshay, K. Chatterjee, T. Meggendorfer, and D. Zikelic, “Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties,” in Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, Jeju, Korea, 2024, pp. 3–12.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2024 | Published | Conference Paper | IST-REx-ID: 18160 | OA
K. Chatterjee, E. Goharshady, M. Karrabi, P. Novotný, and D. Zikelic, “Solving long-run average reward robust MDPs via stochastic games,” in 33rd International Joint Conference on Artificial Intelligence, Jeju, South Korea, 2024, pp. 6707–6715.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2024 | In Press | Book Chapter | IST-REx-ID: 18167
U. Guillerm, I. Sučec, and P. Schanda, “Generation of TIM chaperone substrate complexes,” in Methods in Enzymology, Elsevier.
View | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18168 | OA
D. Wu et al., “Unveiling the dynamic self-assembly of a recombinant dragline-silk-mimicking protein,” Biomacromolecules, vol. 25, no. 3. American Chemical Society, pp. 1759–1774, 2024.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 18169
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “VAMOS: Middleware for best-effort third-party monitoring,” Science of Computer Programming, vol. 240. Elsevier, 2024.
[Published Version] View | Files available | DOI
 
2024 | Published | Journal Article | IST-REx-ID: 18170 | OA
A. N. Herdina et al., “Bridging basic science and applied diagnostics: Comprehensive viral diagnostics enabled by graphene-based electronic biosensor technology advancements,” Biosensors and Bioelectronics, vol. 267. Elsevier, 2024.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18171
A. Basu, A. Singh, S. Sehgal, T. Madaan, and N. G. Prasad, “Starvation increases susceptibility to bacterial infection and promotes systemic pathogen proliferation in Drosophila melanogaster females,” Journal of Invertebrate Pathology, vol. 207. Elsevier, 2024.
View | DOI | PubMed | Europe PMC
 
2024 | Published | Journal Article | IST-REx-ID: 18172 | OA | PlanS
E. J. Hatt et al., “Asteroseismic signatures of core magnetism and rotation in hundreds of low-luminosity red giants,” Monthly Notices of the Royal Astronomical Society, vol. 534, no. 2. Oxford Academic, pp. 1060–1076, 2024.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Published | Journal Article | IST-REx-ID: 18173 | OA
J. Glas, “Rational points on complete intersections of cubic and quadric hypersurfaces over Fq(t),” Journal of the London Mathematical Society, vol. 110, no. 4. London Mathematical Society, 2024.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed