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.




4839 Publications

2023 | Research Data Reference | IST-REx-ID: 14990 | OA
T. Meggendorfer, “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Y.-L. Hwong, M. Colin, P. Aglas, C. J. Muller, and S. C. Sherwood, “Data-assessing memory in convection schemes using idealized tests.” Zenodo, 2023.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Published | Book Chapter | IST-REx-ID: 14992 | OA
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 | OA
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 | OA
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 | OA
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 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 | OA
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.
[Preprint] View | Download Preprint (ext.) | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
S. Curk, “aggregation_data.” Figshare, 2023.
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Research Data Reference | IST-REx-ID: 15035 | OA
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 | OA
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: 8682 | OA
T. D. Browning, P. L. Boudec, and W. Sawin, “The Hasse principle for random Fano hypersurfaces,” Annals of Mathematics, vol. 197, no. 3. Princeton University, pp. 1115–1203, 2023.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 9034 | OA
F. A. Wilsch, “Integral points of bounded height on a log Fano threefold,” International Mathematics Research Notices, vol. 2023, no. 8. Oxford Academic, pp. 6780–6808, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 9651 | OA
M. Dymond and V. Kaluza, “Divergence of separated nets with respect to displacement equivalence,” Geometriae Dedicata. Springer Nature, 2023.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 
2023 | Published | Journal Article | IST-REx-ID: 9652 | OA
M. Dymond and V. Kaluza, “Highly irregular separated nets,” Israel Journal of Mathematics, vol. 253. Springer Nature, pp. 501–554, 2023.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10016 | OA
J. Friml, “Fourteen stations of auxin,” Cold Spring Harbor Perspectives in Biology, vol. 14, no. 5. Cold Spring Harbor Laboratory, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 
2022 | Epub ahead of print | Journal Article | IST-REx-ID: 10018 | OA
U. Derenthal and F. A. Wilsch, “Integral points on singular del Pezzo surfaces,” Journal of the Institute of Mathematics of Jussieu. Cambridge University Press, 2022.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 
2022 | Published | Journal Article | IST-REx-ID: 10042 | OA
Y. Liu et al., “Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance,” ACS Nano, vol. 16, no. 1. American Chemical Society , pp. 78–88, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10182
I. Vercellino and L. A. Sazanov, “The assembly, regulation and function of the mitochondrial respiratory chain,” Nature Reviews Molecular Cell Biology, vol. 23. Springer Nature, pp. 141–161, 2022.
View | DOI | WoS | PubMed | Europe PMC
 
2022 | Published | Journal Article | IST-REx-ID: 10208 | OA
S. Goudarzi, M. Sharif, and F. Karimipour, “A context-aware dimension reduction framework for trajectory and health signal analyses,” Journal of Ambient Intelligence and Humanized Computing, vol. 13. Springer Nature, pp. 2621–2635, 2022.
[Submitted Version] View | Files available | DOI | WoS
 
2022 | Published | Journal Article | IST-REx-ID: 10284 | OA
B. E. Casillas Perez, C. Pull, F. Naiser, E. Naderlinger, J. Matas, and S. Cremer, “Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies,” Ecology Letters, vol. 25, no. 1. Wiley, pp. 89–100, 2022.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed