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.




5730 Publications

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 | 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, LO, United States.
[Published Version] View | Files available | arXiv
 
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 | Published | Journal Article | IST-REx-ID: 15173 | OA
Kwan, M. A., Sah, A., & Sawhney, M. (2023). Enumerating matroids and linear spaces. Comptes Rendus Mathematique. Academie des Sciences. https://doi.org/10.5802/crmath.423
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 15363 | OA
Safaryan, M., Krumes, A., & Alistarh, D.-A. (2023). Knowledge distillation performs partial variance reduction. In 36th Conference on Neural Information Processing Systems (Vol. 36). New Orleans, LA, United States.
[Published Version] View | Files available | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 15364 | OA
Charikar, M., Hu, L., Henzinger, M., Vötsch, M., & Waingarten, E. (2023). Simple, scalable and effective clustering via one-dimensional projections. In 37th Conference on Neural Information Processing Systems (Vol. 36). New Orleans, LA, United States.
[Published Version] View | Files available | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 18179 | OA
Guilloux, A., & Horesh, T. (2023). p-adic directions of primitive vectors. Publications Mathématiques de Besançon - Algèbre et Théorie Des Nombres. Presses Universitaires de Franche-Comté. https://doi.org/10.5802/pmb.50
[Published Version] View | Files available | DOI | arXiv
 
2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15
[Published Version] View | Files available | DOI
 
2023 | Draft | Preprint | IST-REx-ID: 14644 | OA
Tluckova, K., Testa Salmazo, A. P., & Bernecky, C. (n.d.). Mechanism of mammalian transcriptional repression by noncoding RNA. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:14644
[Submitted Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 12890 | OA
Klausen, F. R., & Lauritsen, A. B. (2023). Stochastic cellular automaton model of culture formation. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.108.054307
[Preprint] View | Files available | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 14655 | OA
Sorichetti, V., & Lenz, M. (2023). Transverse fluctuations control the assembly of semiflexible filaments. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.131.228401
[Preprint] View | DOI | Download Preprint (ext.) | PubMed | Europe PMC | arXiv
 
2023 | Research Data | IST-REx-ID: 12869 | OA
Klausen, F. R., & Lauritsen, A. B. (2023). Research data for: A stochastic cellular automaton model of culture formation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12869
[Published Version] View | Files available | DOI
 
2023 | Published | Journal Article | IST-REx-ID: 12789 | OA
Mujica, N., & Waitukaitis, S. R. (2023). Accurate determination of the shapes of granular charge distributions. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.107.034901
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
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 | PubMed | Europe PMC
 
2023 | Published | Journal Article | IST-REx-ID: 13231 | OA
Schörner, M., Bethkenhagen, M., Döppner, T., Kraus, D., Fletcher, L. B., Glenzer, S. H., & Redmer, R. (2023). X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.107.065207
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 12545 | OA
Rojas Vega, M. N., De Castro, P., & Soto, R. (2023). Wetting dynamics by mixtures of fast and slow self-propelled particles. Physical Review E. American Physical Society. https://doi.org/10.1103/PhysRevE.107.014608
[Preprint] View | DOI | Download Preprint (ext.) | WoS | PubMed | Europe PMC | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed