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, T. (2023). Artefact for: Correct Approximation of Stationary Distributions. Zenodo. 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, Y.-L., Colin, M., Aglas, P., Muller, C. J., & Sherwood, S. C. (2023). Data-assessing memory in convection schemes using idealized tests. Zenodo. 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, M., Lieb, E. H., & Seiringer, R. (2023). Universal Functionals in Density Functional Theory. In E. Cances & G. Friesecke (Eds.), Density Functional Theory (1st ed., pp. 115–182). Springer. 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, C., Asiedu , M. N., Fourie, C., Rosman, B., Turki, H., Lambebo Tonja, A., … Machangara, D. (2023). A framework for grassroots research collaboration in machine learning and global health. In 1st Workshop on Machine Learning & Global Health. Kigali, Rwanda: OpenReview.
[Published Version] View | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14994 | OA
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. Zenodo. 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, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo. 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, 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, LO, United States.
[Preprint] View | 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: 15035 | OA
Chalupa, M., & Henzinger, T. A. (2023). Monitoring hyperproperties with prefix transducers. Zenodo. 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, B., & Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv. 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, E.-A., Vladu, A., Kurtic, E., Lampert, C., & Alistarh, D.-A. (n.d.). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda .
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13074 | OA
Peste, E.-A. (2023). Efficiency and generalization of sparse neural networks. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13074
[Published Version] View | Files available | DOI
 
2023 | Published | Thesis | PhD | IST-REx-ID: 13081
Bocanegra, L. (2023). Epithelial dynamics during mouse neural tube development. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13081
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 13091 | OA
Browning, T. D., & Sawin, W. (2023). Free rational curves on low degree hypersurfaces and the circle method. Algebra and Number Theory. Mathematical Sciences Publishers. 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, B., Song, X., Chang, C., Xiao, K., Zhang, Y., Yang, L., … Cabot, A. (2023). Bottom-up synthesis of SnTe-based thermoelectric composites. ACS Applied Materials and Interfaces. American Chemical Society. 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, B., Li, M., Zhang, Y., Xiao, K., Lim, K. H., Chang, C., … Cabot, A. (2023). Engineering of thermoelectric composites based on silver selenide in aqueous solution and ambient temperature. ACS Applied Electronic Materials. American Chemical Society. 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, A., Meadowcroft, B., Varkevisser, T., Šarić, A., & Kraft, D. J. (2023). Wrapping pathways of anisotropic dumbbell particles by Giant Unilamellar Vesicles. Nano Letters. American Chemical Society. 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, L., Vallet, A., Molin, M., Burmann, B. M., & Schanda, P. (2023). Disulfide-bond-induced structural frustration and dynamic disorder in a peroxiredoxin from MAS NMR. Journal of the American Chemical Society. American Chemical Society. 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, M., Santos, J. C., Pluhackova, K., Cebrero, G., Ramos, S., Jankevicius, G., … Hiller, S. (2023). Structural basis of NINJ1-mediated plasma membrane rupture in cell death. Nature. Springer Nature. 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, A. C., & Sweeney, L. B. (2023). Spinal cords: Symphonies of interneurons across species. Frontiers in Neural Circuits. Frontiers. 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: APA

Export / Embed