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, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. Portland Press. https://doi.org/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. (2023). Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 301–330). Springer Nature. https://doi.org/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, K. Z. (2023). On the cost of post-compromise security in concurrent Continuous Group-Key Agreement. In 21st International Conference on Theory of Cryptography (Vol. 14371, pp. 271–300). Taipei, Taiwan: Springer Nature. https://doi.org/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. (2023). Coexistence times in the Moran process with environmental heterogeneity. Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. The Royal Society. https://doi.org/10.1098/rspa.2022.0685
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14954 | OA
Montagna, F., Mastakouri, A. A., Eulig, E., Noceti, N., Rosasco, L., Janzing, D., … Locatello, F. (2023). Assumption violations in causal discovery and the robustness of score matching. In 37th Conference on Neural Information Processing Systems (Vol. 36). New Orleans, LA, United States: Neural Information Processing Systems Foundation. https://doi.org/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, T. A. (2023). Compositional policy learning in stochastic control systems with formal guarantees. In 37th Conference on Neural Information Processing Systems. New Orleans, LA, United States: Neural Information Processing Systems Foundation.
[Published Version] View | Files available | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14953 | OA
Zhu, Z., Locatello, F., & Cevher, V. (2023). Sample complexity bounds for score-matching: Causal discovery and generative modeling. In 37th Conference on Neural Information Processing Systems (Vol. 36, pp. 3325–3337). New Orleans, LA, United States: Neural Information Processing Systems Foundation. https://doi.org/10.52202/075280-0147
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/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, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Runtime monitoring of dynamic fairness properties. In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency (pp. 604–614). Chicago, IL, United States: Association for Computing Machinery. https://doi.org/10.1145/3593013.3594028
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger, T. A., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness under partial observations. In 23rd International Conference on Runtime Verification (Vol. 14245, pp. 291–311). Thessaloniki, Greece: Springer Nature. https://doi.org/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. (2023). 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, pp. 2738–2776). Honolulu, HI, United States: ML Research Press.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk, S. (2023). aggregation_data. Figshare.
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 23012 | OA
Lemoult, G. (2023). Directed percolation and puff jamming near the transition to pipe turbulence. Zenodo. https://doi.org/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., Bhandari, P., Eder, S., Lev, I., … Harkany, T. (2023). Glutamate and GABA neurons share cascading Onecut3/NAV2-driven differentiation trajectories in the developing hypothalamus. Repository. https://doi.org/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, M. V., Diaz Melian, V. L., Waitukaitis, S. R., Sprittles, J. E., & Souslov, A. (2023). Modeling Leidenfrost levitation of soft elastic solids. Physical Review Letters. American Physical Society. https://doi.org/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. (2023). Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. Zenodo. https://doi.org/10.5281/ZENODO.8277285
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 23030 | OA
Shaw, T. E., Buri, P., McCarthy, M., Miles, E. S., & Pelliciotti, F. (2023). Air temperature and near-surface meteorology datasets on three Swiss glaciers - Extreme 2022 Summer. Zenodo. https://doi.org/10.5281/zenodo.8277284
View | Files available | DOI | Download None (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 23031 | OA
Muñoz Hermosilla, J. M. (2023). A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. Zenodo. https://doi.org/10.5281/zenodo.8005257
View | Files available | DOI | Download None (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 18634 | OA
Muñoz Hermosilla, J. M. (2023). A 3D glacier dynamics-line plume model to estimate the frontal ablation of Hansbreen. Zenodo. https://doi.org/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. (2023). A hybrid pathway for self-sustained luminescence - Raw data. Figshare. https://doi.org/10.6084/m9.figshare.24772872
View | Files available | DOI | Download None (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed