Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4967 Publications


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 | Published | Journal Article | IST-REx-ID: 8682 | OA
Browning, T. D., Boudec, P. L., & Sawin, W. (2023). The Hasse principle for random Fano hypersurfaces. Annals of Mathematics. Princeton University. https://doi.org/10.4007/annals.2023.197.3.3
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 9034 | OA
Wilsch, F. A. (2023). Integral points of bounded height on a log Fano threefold. International Mathematics Research Notices. Oxford Academic. https://doi.org/10.1093/imrn/rnac048
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Epub ahead of print | Journal Article | IST-REx-ID: 9651 | OA
Dymond, M., & Kaluza, V. (2023). Divergence of separated nets with respect to displacement equivalence. Geometriae Dedicata. Springer Nature. https://doi.org/10.1007/s10711-023-00862-3
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 9652 | OA
Dymond, M., & Kaluza, V. (2023). Highly irregular separated nets. Israel Journal of Mathematics. Springer Nature. https://doi.org/10.1007/s11856-022-2448-6
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10016 | OA
Friml, J. (2022). Fourteen stations of auxin. Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory. https://doi.org/10.1101/cshperspect.a039859
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2022 | Epub ahead of print | Journal Article | IST-REx-ID: 10018 | OA
Derenthal, U., & Wilsch, F. A. (2022). Integral points on singular del Pezzo surfaces. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press. https://doi.org/10.1017/S1474748022000482
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10042 | OA
Liu, Y., Calcabrini, M., Yu, Y., Lee, S., Chang, C., David, J., … Ibáñez, M. (2022). Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance. ACS Nano. American Chemical Society . https://doi.org/10.1021/acsnano.1c06720
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10182
Vercellino, I., & Sazanov, L. A. (2022). The assembly, regulation and function of the mitochondrial respiratory chain. Nature Reviews Molecular Cell Biology. Springer Nature. https://doi.org/10.1038/s41580-021-00415-0
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10208 | OA
Goudarzi, S., Sharif, M., & Karimipour, F. (2022). A context-aware dimension reduction framework for trajectory and health signal analyses. Journal of Ambient Intelligence and Humanized Computing. Springer Nature. https://doi.org/10.1007/s12652-021-03569-z
[Submitted Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 10284 | OA
Casillas Perez, B. E., Pull, C., Naiser, F., Naderlinger, E., Matas, J., & Cremer, S. (2022). Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies. Ecology Letters. Wiley. https://doi.org/10.1111/ele.13907
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10335 | OA
Kaluza, V., & Tancer, M. (2022). Even maps, the Colin de Verdière number and representations of graphs. Combinatorica. Springer Nature. https://doi.org/10.1007/s00493-021-4443-7
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10364 | OA
Hashemi, S. A., Mondelli, M., Fazeli, A., Vardy, A., Cioffi, J., & Goldsmith, A. (2022). Parallelism versus latency in simplified successive-cancellation decoding of polar codes. IEEE Transactions on Wireless Communications. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/TWC.2021.3125626
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10411 | OA
Li, L., Gallei, M. C., & Friml, J. (2022). Bending to auxin: Fast acid growth for tropisms. Trends in Plant Science. Cell Press. https://doi.org/10.1016/j.tplants.2021.11.006
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed