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.




6772 Publications

2023 | Published | Journal Article | IST-REx-ID: 12421 | OA
Fäßler F, Javoor M, Schur FK. Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. 2023;51(1):87-99. doi:10.1042/bst20220221
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Conference Paper | IST-REx-ID: 14692 | OA
Auerbach B, Hoffmann C, Pascual Perez G. Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In: 21st International Conference on Theory of Cryptography. Vol 14371. Springer Nature; 2023:301-330. doi:10.1007/978-3-031-48621-0_11
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14691 | OA
Auerbach B, Cueto Noval M, Pascual Perez G, Pietrzak KZ. On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In: 21st International Conference on Theory of Cryptography. Vol 14371. Springer Nature; 2023:271-300. doi:10.1007/978-3-031-48621-0_10
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 12787 | OA
Svoboda J, Tkadlec J, Kaveh K, Chatterjee K. Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. 2023;479(2271). doi:10.1098/rspa.2022.0685
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14954 | OA
Montagna F, Mastakouri AA, Eulig E, et al. Assumption violations in causal discovery and the robustness of score matching. In: 37th Conference on Neural Information Processing Systems. Vol 36. Neural Information Processing Systems Foundation; 2023. doi:10.52202/075280-2050
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 15023 | OA
Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. Compositional policy learning in stochastic control systems with formal guarantees. In: 37th Conference on Neural Information Processing Systems. Neural Information Processing Systems Foundation; 2023.
[Published Version] View | Files available | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14953 | OA
Zhu Z, Locatello F, Cevher V. Sample complexity bounds for score-matching: Causal discovery and generative modeling. In: 37th Conference on Neural Information Processing Systems. Vol 36. Neural Information Processing Systems Foundation; 2023:3325-3337. doi:10.52202/075280-0147
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi:10.1007/978-3-031-37703-7_17
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13228 | OA
Henzinger TA, Karimi M, Kueffner K, Mallik K. Runtime monitoring of dynamic fairness properties. In: FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency. Association for Computing Machinery; 2023:604-614. doi:10.1145/3593013.3594028
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger TA, Kueffner K, Mallik K. Monitoring algorithmic fairness under partial observations. In: 23rd International Conference on Runtime Verification. Vol 14245. Springer Nature; 2023:291-311. doi:10.1007/978-3-031-44267-4_15
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 12859 | OA
Bombari S, Kiyani S, Mondelli M. Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels. In: Proceedings of the 40th International Conference on Machine Learning. Vol 202. ML Research Press; 2023:2738-2776.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk S. aggregation_data. 2023.
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 23012 | OA
Lemoult G. Directed percolation and puff jamming near the transition to pipe turbulence. 2023. doi:10.5281/zenodo.10308791
View | Files available | DOI | Download None (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 22961 | OA
Zupancic M, Keimpema E, Tretiakov E, et al. Glutamate and GABA neurons share cascading Onecut3/NAV2-driven differentiation trajectories in the developing hypothalamus. 2023. doi:10.6084/m9.figshare.22680433
View | Files available | DOI | Download None (ext.)
 
2023 | Published | Journal Article | IST-REx-ID: 14514 | OA
Binysh J, Chakraborty I, Chubynsky MV, et al. Modeling Leidenfrost levitation of soft elastic solids. Physical Review Letters. 2023;131(16). doi:10.1103/PhysRevLett.131.168201
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Research Data Reference | IST-REx-ID: 14919 | OA
Shaw T, Buri P, McCarthy M, Miles E, Pellicciotti F. Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. 2023. doi:10.5281/ZENODO.8277285
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 23030 | OA
Shaw TE, Buri P, McCarthy M, Miles ES, Pelliciotti F. Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. 2023. doi:10.5281/zenodo.8277284
View | Files available | DOI | Download None (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 23031 | OA
Muñoz Hermosilla JM. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. 2023. doi:10.5281/zenodo.8005257
View | Files available | DOI | Download None (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 18634 | OA
Muñoz Hermosilla JM. A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. 2023. doi:10.5281/ZENODO.8005257
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 23032 | OA
Sarkisyan K. A hybrid pathway for self-sustained luminescence - Raw data. 2023. doi:10.6084/m9.figshare.24772872
View | Files available | DOI | Download None (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed