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, Manjunath Javoor, and Florian KM Schur. “Deciphering the Molecular Mechanisms of Actin Cytoskeleton Regulation in Cell Migration Using Cryo-EM.” Biochemical Society Transactions. Portland Press, 2023. 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, Benedikt, Charlotte Hoffmann, and Guillermo Pascual Perez. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” In 21st International Conference on Theory of Cryptography, 14371:301–30. Springer Nature, 2023. 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, Benedikt, Miguel Cueto Noval, Guillermo Pascual Perez, and Krzysztof Z Pietrzak. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.” In 21st International Conference on Theory of Cryptography, 14371:271–300. Springer Nature, 2023. 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, Jakub, Josef Tkadlec, Kamran Kaveh, and Krishnendu Chatterjee. “Coexistence Times in the Moran Process with Environmental Heterogeneity.” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences. The Royal Society, 2023. 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, Francesco, Atalanti A. Mastakouri, Elias Eulig, Nicoletta Noceti, Lorenzo Rosasco, Dominik Janzing, Bryon Aragam, and Francesco Locatello. “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. https://doi.org/10.52202/075280-2050.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 15023 | OA
Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “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, Zhenyu, Francesco Locatello, and Volkan Cevher. “Sample Complexity Bounds for Score-Matching: Causal Discovery and Generative Modeling.” In 37th Conference on Neural Information Processing Systems, 36:3325–37. Neural Information Processing Systems Foundation, 2023. https://doi.org/10.52202/075280-0147.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 13310 | OA
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. 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, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Runtime Monitoring of Dynamic Fairness Properties.” In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 604–14. Association for Computing Machinery, 2023. 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, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.” In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023. 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, Simone, Shayan Kiyani, and Marco Mondelli. “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, 202:2738–76. ML Research Press, 2023.
[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. https://doi.org/10.5281/zenodo.10308791.
View | Files available | DOI | Download None (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 22961 | OA
Zupancic, Maja, Erik Keimpema, Evgenii Tretiakov, Pradeep Bhandari, Stephanie Eder, Itamar Lev, Wolfgang Härtig, Manuel Zimmer, Frederic Clotman, and Tibor Harkany. “Glutamate and GABA Neurons Share Cascading Onecut3/NAV2-Driven Differentiation Trajectories in the Developing Hypothalamus.” Repository, 2023. 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, Jack, Indrajit Chakraborty, Mykyta V. Chubynsky, Vicente L Diaz Melian, Scott R Waitukaitis, James E. Sprittles, and Anton Souslov. “Modeling Leidenfrost Levitation of Soft Elastic Solids.” Physical Review Letters. American Physical Society, 2023. 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, Thomas, Pascal Buri, Michael McCarthy, Evan Miles, and Francesca Pellicciotti. “Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer.” Zenodo, 2023. 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, Thomas E., Pascal Buri, Michael McCarthy, Evan S. Miles, and Francesca Pelliciotti. “Air Temperature and Near-Surface Meteorology Datasets on Three Swiss Glaciers - Extreme 2022 Summer.” Zenodo, 2023. 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, José M. “A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen.” Zenodo, 2023. 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, José M. “A 3D Glacier Dynamics-Line Plume Model to Estimate the Frontal Ablation of Hansbreen.” Zenodo, 2023. 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, Karen. “A Hybrid Pathway for Self-Sustained Luminescence - Raw Data.” Figshare, 2023. https://doi.org/10.6084/m9.figshare.24772872.
View | Files available | DOI | Download None (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed