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, Florian, et al. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.” Biochemical Society Transactions, vol. 51, no. 1, Portland Press, 2023, pp. 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, Benedikt, et al. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” 21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 301–30, 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, Benedikt, et al. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.” 21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 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, Jakub, et al. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 479, no. 2271, 20220685, The Royal Society, 2023, doi:10.1098/rspa.2022.0685.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Conference Paper | IST-REx-ID: 14954 | OA
Montagna, Francesco, et al. “Assumption Violations in Causal Discovery and the Robustness of Score Matching.” 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, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 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, Zhenyu, et al. “Sample Complexity Bounds for Score-Matching: Causal Discovery and Generative Modeling.” 37th Conference on Neural Information Processing Systems, vol. 36, Neural Information Processing Systems Foundation, 2023, pp. 3325–37, doi:10.52202/075280-0147.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 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, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi:10.1145/3593013.3594028.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.” 23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 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, Simone, et al. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” Proceedings of the 40th International Conference on Machine Learning, vol. 202, ML Research Press, 2023, pp. 2738–76.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk, Samo. Aggregation_data. Figshare, 2023.
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 23012 | OA
Lemoult, Grégoire. Directed Percolation and Puff Jamming near the Transition to Pipe Turbulence. Zenodo, 2023, doi:10.5281/zenodo.10308791.
View | Files available | DOI | Download None (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 22961 | OA
Zupancic, Maja, et al. Glutamate and GABA Neurons Share Cascading Onecut3/NAV2-Driven Differentiation Trajectories in the Developing Hypothalamus. Repository, 2023, doi:10.6084/m9.figshare.22680433.
View | Files available | DOI | Download None (ext.)
 
2023 | Published | Journal Article | IST-REx-ID: 14514 | OA
Binysh, Jack, et al. “Modeling Leidenfrost Levitation of Soft Elastic Solids.” Physical Review Letters, vol. 131, no. 16, 168201, American Physical Society, 2023, 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, Thomas, et al. Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer. Zenodo, 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, Thomas E., et al. Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer. Zenodo, 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, José M. A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen. Zenodo, 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, José M. A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen. Zenodo, 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, Karen. A Hybrid Pathway for Self-Sustained Luminescence - Raw Data. Figshare, 2023, doi:10.6084/m9.figshare.24772872.
View | Files available | DOI | Download None (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed