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.




4962 Publications

2023 | Research Data Reference | IST-REx-ID: 14990 | OA
Meggendorfer, Tobias. “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7548214.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Hwong, Yi-Ling, Maxime Colin, Philipp Aglas, Caroline J Muller, and Steven C. Sherwood. “Data-Assessing Memory in Convection Schemes Using Idealized Tests.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7757041.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Book Chapter | IST-REx-ID: 14992 | OA
Lewin, Mathieu, Elliott H. Lieb, and Robert Seiringer. “Universal Functionals in Density Functional Theory.” In Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., 115–82. MAMOMO. Springer, 2023. https://doi.org/10.1007/978-3-031-22340-2_3.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 14993 | OA
Currin, Christopher, Mercy Nyamewaa Asiedu , Chris Fourie, Benjamin Rosman, Houcemeddine Turki, Atnafu Lambebo Tonja, Jade Abbott, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” In 1st Workshop on Machine Learning & Global Health. OpenReview, 2023.
[Published Version] View | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14994 | OA
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877790.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877757.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Epub ahead of print | 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, 2023.
[Preprint] View | 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: 15035 | OA
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8191723.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Submitted | Preprint | IST-REx-ID: 15039 | OA
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2311.06103.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Accepted | Conference Paper | IST-REx-ID: 13053 | OA
Peste, Elena-Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert, and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In 11th International Conference on Learning Representations , n.d.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13074 | OA
Peste, Elena-Alexandra. “Efficiency and Generalization of Sparse Neural Networks.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13074.
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13081
Bocanegra, Laura. “Epithelial Dynamics during Mouse Neural Tube Development.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13081.
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 13091 | OA
Browning, Timothy D, and Will Sawin. “Free Rational Curves on Low Degree Hypersurfaces and the Circle Method.” Algebra and Number Theory. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/ant.2023.17.719.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 13092 | OA
Nan, Bingfei, Xuan Song, Cheng Chang, Ke Xiao, Yu Zhang, Linlin Yang, Sharona Horta, et al. “Bottom-up Synthesis of SnTe-Based Thermoelectric Composites.” ACS Applied Materials and Interfaces. American Chemical Society, 2023. https://doi.org/10.1021/acsami.3c00625.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 13093 | OA
Nan, Bingfei, Mengyao Li, Yu Zhang, Ke Xiao, Khak Ho Lim, Cheng Chang, Xu Han, et al. “Engineering of Thermoelectric Composites Based on Silver Selenide in Aqueous Solution and Ambient Temperature.” ACS Applied Electronic Materials. American Chemical Society, 2023. https://doi.org/10.1021/acsaelm.3c00055.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13094 | OA
Azadbakht, Ali, Billie Meadowcroft, Thijs Varkevisser, Anđela Šarić, and Daniela J. Kraft. “Wrapping Pathways of Anisotropic Dumbbell Particles by Giant Unilamellar Vesicles.” Nano Letters. American Chemical Society, 2023. https://doi.org/10.1021/acs.nanolett.3c00375.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13095 | OA
Troussicot, Laura, Alicia Vallet, Mikael Molin, Björn M. Burmann, and Paul Schanda. “Disulfide-Bond-Induced Structural Frustration and Dynamic Disorder in a Peroxiredoxin from MAS NMR.” Journal of the American Chemical Society. American Chemical Society, 2023. https://doi.org/10.1021/jacs.3c01200.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13096 | OA
Degen, Morris, José Carlos Santos, Kristyna Pluhackova, Gonzalo Cebrero, Saray Ramos, Gytis Jankevicius, Ella Hartenian, et al. “Structural Basis of NINJ1-Mediated Plasma Membrane Rupture in Cell Death.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-023-05991-z.
[Published Version] View | Files available | DOI | WoS
 
2023 | Published | Journal Article | IST-REx-ID: 13097 | OA
Wilson, Alexia C, and Lora B. Sweeney. “Spinal Cords: Symphonies of Interneurons across Species.” Frontiers in Neural Circuits. Frontiers, 2023. https://doi.org/10.3389/fncir.2023.1146449.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed