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.




6293 Publications

2025 | Published | Journal Article | IST-REx-ID: 19936 | OA
RefinedProsa: Connecting response-time analysis with C verification for interrupt-free schedulers
K. Bedarkar, L. Elbeheiry, M.J. Sammler, L. Gäher, B. Brandenburg, D. Dreyer, D. Garg, Proceedings of the ACM on Programming Languages 9 (2025) 73–97.
[Published Version] View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 19937
Simplet-based signatures and approximation in simplicial complexes: Frequency, degree, and centrality
M. Mahini, H. Beigy, S. Qadami, M. Saghafian, Information Sciences 719 (2025).
View | DOI | WoS
 
2025 | Research Data | IST-REx-ID: 19956 | OA
Arginine Dynamics Probed by Magic-Angle Spinning NMR with a Specific Isotope-Labeling Scheme
P. Schanda, (2025).
View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 19963 | OA | PlanS
PSME3 regulates migration and differentiation of myoblasts
K.D. Kuhn, U.H. Cho, M. Hetzer, Life Science Alliance 8 (2025).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19964 | OA
A candidate giant planet companion to the massive, young White Dwarf GALEX J071816.4+373139 informs the occurrence of giant planets orbiting B stars
S. Cheng, K.C. Schlaufman, I. Caiazzo, The Astronomical Journal 170 (2025).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19965 | OA
Unilateral incentive alignment in two-agent stochastic games
A. Mcavoy, U.M. Sehwag, C. Hilbe, K. Chatterjee, W. Barfuss, Q. Su, N.E. Leonard, J.B. Plotkin, Proceedings of the National Academy of Sciences 122 (2025).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 19966 | OA
Multiple ionic memories in asymmetric nanochannels revealed by mem-spectrometry
S. Jouveshomme, M. Lizée, P. Robin, L. Bocquet, New Journal of Physics 27 (2025).
[Published Version] View | Files available | DOI | WoS
 
2025 | Published | Journal Article | IST-REx-ID: 19967 | OA
The ionizing photon production efficiency of star-forming galaxies at z ∼ 4–10
Llerena M, Pentericci L, Napolitano L, Mascia S, Amorín R, Calabrò A, Castellano M, Cleri NJ, Giavalisco M, Grogin NA, Hathi NP, Hirschmann M, Koekemoer AM, Nanayakkara T, Pacucci F, Shen L, Wilkins SM, Yoon I, Yung LYA, Bhatawdekar R, Lucas RA, Wang X, Arrabal Haro P, Bagley MB, Finkelstein SL, Kartaltepe JS, Merlin E, Papovich C, Pirzkal N, Santini P. 2025. The ionizing photon production efficiency of star-forming galaxies at z ∼ 4–10. Astronomy & Astrophysics. 698, A302.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19968
Machine learning analysis of the factors influencing university-industry collaborations
C. Plata, A. Casallas Garcia, in:, 85th Annual Meeting of the Academy of Management, Academy of Management, 2025.
View | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 19969 | OA | PlanS
Near-optimal leader election in population protocols on graphs
D.-A. Alistarh, J. Rybicki, S. Voitovych, Distributed Computing 38 (2025) 207–245.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 19982 | OA
Fully dynamic approximate minimum cut in subpolynomial time per operation
A. El-Hayek, M. Henzinger, J. Li, in:, Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2025, pp. 750–784.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2025 | Published | Journal Article | IST-REx-ID: 19998 | OA | PlanS
Technology roadmap of micro/nanorobots
Ju X et al. 2025. Technology roadmap of micro/nanorobots. ACS Nano. 19(27), 24174–24334.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 20002 | OA | PlanS
Visualization of a multi-turnover Cas9 after product release
K. Kiernan, D.W. Taylor, Nature Communications 16 (2025).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2025 | Published | Journal Article | IST-REx-ID: 20003 | OA | PlanS
Lattice Bose polarons at strong coupling and quantum criticality
R. Al Hyder, V.E. Colussi, M. Čufar, J. Brand, A. Recati, G.M. Bruun, Scipost Physics 19 (2025).
[Published Version] View | Files available | DOI | WoS | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 20004 | OA
Levels in arrangements: Linear relations, the g-matrix, and applications to crossing numbers
E. Streltsova, U. Wagner, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 20005 | OA
On spheres with k points inside
H. Edelsbrunner, A. Garber, M. Saghafian, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 20006 | OA
Banana trees for the persistence in time series experimentally
L. Ost, S. Cultrera di Montesano, H. Edelsbrunner, in:, 41st International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 20007 | OA
Smoothed analysis for graph isomorphism
M. Anastos, M.A. Kwan, B. Moore, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 2098–2106.
[Published Version] View | Files available | DOI | arXiv
 
2025 | Published | Conference Paper | IST-REx-ID: 20008 | OA
Hardness of 4-colouring G-colourable graphs
S. Avvakumov, M. Filakovský, J. Opršal, G. Tasinato, U. Wagner, in:, Proceedings of the 57th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2025, pp. 72–83.
[Published Version] View | Files available | DOI
 
2025 | Published | Journal Article | IST-REx-ID: 20009 | OA | PlanS
Sex chromosome evolution in action in fourspine sticklebacks
B. Vicoso, Trends in Ecology and Evolution 40 (2025) 728–730.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications

Display / Sort

Export / Embed