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 | 
M. Lewin, E. H. Lieb, and R. Seiringer, “Universal Functionals in Density Functional Theory,” in Density Functional Theory, 1st ed., E. Cances and G. Friesecke, Eds. Springer, 2023, pp. 115–182.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 14993 |
C. Currin et al., “A framework for grassroots research collaboration in machine learning and global health,” in 1st Workshop on Machine Learning & Global Health, Kigali, Rwanda, 2023.
[Published Version]
View
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14994 |
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, and S. Soudjani, “A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Research Data Reference | IST-REx-ID: 14995 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Published | Conference Paper | IST-REx-ID: 15023 |
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, and T. A. Henzinger, “Compositional policy learning in stochastic control systems with formal guarantees,” in 37th Conference on Neural Information Processing Systems, New Orleans, LO, United States, 2023.
[Published Version]
View
| Files available
| arXiv
2023 | Research Data Reference | IST-REx-ID: 15035 |
M. Chalupa and T. A. Henzinger, “Monitoring hyperproperties with prefix transducers.” Zenodo, 2023.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2023 | Submitted | Preprint | IST-REx-ID: 15039 |
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 15173 |
M. A. Kwan, A. Sah, and M. Sawhney, “Enumerating matroids and linear spaces,” Comptes Rendus Mathematique, vol. 361, no. G2. Academie des Sciences, pp. 565–575, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 15363 |
M. Safaryan, A. Krumes, and D.-A. Alistarh, “Knowledge distillation performs partial variance reduction,” in 36th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023, vol. 36.
[Published Version]
View
| Files available
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 15364 |
M. Charikar, L. Hu, M. Henzinger, M. Vötsch, and E. Waingarten, “Simple, scalable and effective clustering via one-dimensional projections,” in 37th Conference on Neural Information Processing Systems, New Orleans, LA, United States, 2023, vol. 36.
[Published Version]
View
| Files available
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 18179 |
A. Guilloux and T. Horesh, “p-adic directions of primitive vectors,” Publications mathématiques de Besançon - Algèbre et Théorie des nombres, vol. 2023. Presses Universitaires de Franche-Comté, pp. 85–107, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Published | Conference Paper | IST-REx-ID: 12856 |
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.
[Published Version]
View
| Files available
| DOI
2023 | Draft | Preprint | IST-REx-ID: 14644 |
K. Tluckova, A. P. Testa Salmazo, and C. Bernecky, “Mechanism of mammalian transcriptional repression by noncoding RNA.” Institute of Science and Technology Austria.
[Submitted Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12890 |
F. R. Klausen and A. B. Lauritsen, “Stochastic cellular automaton model of culture formation,” Physical Review E, vol. 108, no. 5. American Physical Society, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 14655 |
V. Sorichetti and M. Lenz, “Transverse fluctuations control the assembly of semiflexible filaments,” Physical Review Letters, vol. 131, no. 22. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
2023 | Research Data | IST-REx-ID: 12869 |
F. R. Klausen and A. B. Lauritsen, “Research data for: A stochastic cellular automaton model of culture formation.” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Published | Journal Article | IST-REx-ID: 12789 |
N. Mujica and S. R. Waitukaitis, “Accurate determination of the shapes of granular charge distributions,” Physical Review E, vol. 107, no. 3. American Physical Society, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 14514 |
J. Binysh et al., “Modeling Leidenfrost levitation of soft elastic solids,” Physical Review Letters, vol. 131, no. 16. American Physical Society, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Published | Journal Article | IST-REx-ID: 13231 |
M. Schörner et al., “X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula,” Physical Review E, vol. 107, no. 6. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Published | Journal Article | IST-REx-ID: 12545 |
M. N. Rojas Vega, P. De Castro, and R. Soto, “Wetting dynamics by mixtures of fast and slow self-propelled particles,” Physical Review E, vol. 107, no. 1. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv