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.




4999 Publications

2024 | Conference Paper | IST-REx-ID: 15376 | OA
Auction-based scheduling
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Conference Paper | IST-REx-ID: 15377 | OA
Rabin games and colourful universal trees
R. Majumdar, I. Sağlam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Journal Article | IST-REx-ID: 15301 | OA
Mechanical forces in plant tissue matrix orient cell divisions via microtubule stabilization
L. Hörmayer, J.C. Montesinos López, N. Trozzi, L. Spona, S. Yoshida, P. Marhavá, S. Caballero Mancebo, E. Benková, C.-P.J. Heisenberg, Y. Dagdas, M. Majda, J. Friml, Dev Cell (2024) S1534-5807(24)00177–1.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 | Research Data | IST-REx-ID: 17042 | OA
Raw data to "MAS NMR experiments of corynebacterial cell walls: complementary 1H- and CPMAS CryoProbe-enhanced 13C-detected experiments"
P. Schanda, (2024).
View | Files available | DOI
 
2024 | Conference Paper | IST-REx-ID: 17051 | OA
Trapdoor memory-hard functions
B. Auerbach, C.U. Günther, K.Z. Pietrzak, in:, 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Springer Nature, 2024, pp. 315–344.
[Preprint] View | DOI | Download Preprint (ext.)
 
2024 | Journal Article | IST-REx-ID: 17050 | OA
Runaway transition in irreversible polymer condensation with cyclization
M. Panoukidou, S. Weir, V. Sorichetti, Y.G. Fosado, M. Lenz, D. Michieletto, Physical Review Research 6 (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 | Journal Article | IST-REx-ID: 17048 | OA
The translocation of a chloride channel from the Golgi to the plasma membrane helps plants adapt to salt stress
S. Rajappa, P. Krishnamurthy, H. Huang, D. Yu, J. Friml, J. Xu, P.P. Kumar, Nature Communications 15 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 17052 | OA
Unveiling crucial chemical processing parameters influencing the performance of solution-processed inorganic thermoelectric materials
C. Fiedler, M. Calcabrini, Y. Liu, M. Ibáñez, Angewandte Chemie - International Edition (2024).
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 17049 | OA
Optimal lower bound on eigenvector overlaps for non-Hermitian random matrices
G. Cipolloni, L. Erdös, S.J. Henheik, D.J. Schröder, Journal of Functional Analysis 287 (n.d.).
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Journal Article | IST-REx-ID: 17054 | OA
Multi-state photoluminescent properties of an overcrowded alkene-based molecular motor in aggregates
Y. Shan, J. Sheng, Q. Zhang, M.C.A. Stuart, D.H. Qu, B.L. Feringa, Aggregate (2024).
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Journal Article | IST-REx-ID: 17047 | OA
Dynamics of a rank-one multiplicative perturbation of a unitary matrix
G. Dubach, J. Reker, Random Matrices: Theory and Applications (2024).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Journal Article | IST-REx-ID: 17092 | OA
Intrinsic neural excitability biases allocation and overlap of memory engrams
G. Delamare, D. Feitosa Tomé, C. Clopath, Journal of Neuroscience 44 (2024).
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 17091
Mapping the brain’s gene-regulatory maze
G. Novarino, C. Bock, Science 384 (2024) 860–861.
View | DOI | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 17089 | OA
Phase locking of hippocampal CA3 neurons to distal CA1 theta oscillations selectively predicts memory performance
S.P. Ku, E. Atucha, N. Alavi, H. Mulla-Osman, R. Kayumova, M. Yoshida, J.L. Csicsvari, M.M. Sauvage, Cell Reports 43 (2024).
[Published Version] View | Files available | DOI
 
2024 | Conference Paper | IST-REx-ID: 17093 | OA
Communication-efficient federated learning with data and client heterogeneity
H. Zakerinia, S. Talaei, G. Nadiradze, D.-A. Alistarh, in:, Proceedings of the 27th International Conference on Artificial Intelligence and Statistics, ML Research Press, 2024, pp. 3448–3456.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2024 | Journal Article | IST-REx-ID: 17090
Strong damped Lyman-a absorption in young star-forming galaxies at redshifts 9 to 11
Heintz KE, Watson D, Brammer G, Vejlgaard S, Hutter A, Strait VB, Matthee JJ, Oesch PA, Jakobsson P, Tanvir NR, Laursen P, Naidu RP, Mason CA, Killi M, Jung I, Hsiao TYY, Abdurro’Uf U, Coe D, Haro PA, Finkelstein SL, Toft S. 2024. Strong damped Lyman-a absorption in young star-forming galaxies at redshifts 9 to 11. Science. 384(6698), 890–894.
View | DOI | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 17094
Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design (2024).
[Published Version] View | Files available | DOI | arXiv
 
2024 | Journal Article | IST-REx-ID: 17037
Marginal values of a stochastic game
L. Attia, M. Oliu-Barton, R.J. Saona Urmeneta, Mathematics of Operations Research (2024).
View | DOI
 
2024 | Preprint | IST-REx-ID: 17098 | OA
Deterministic sub-exponential algorithm for discounted-sum games with unary weights
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Preprint | IST-REx-ID: 17099 | OA
Concurrent stochastic games with stateful-discounted and parity objectives: Complexity and algorithms
A. Asadi, K. Chatterjee, R.J. Saona Urmeneta, J. Svoboda, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications