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
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
 

2022 | Published | Journal Article | IST-REx-ID: 10335 | OA
V. Kaluza and M. Tancer, “Even maps, the Colin de Verdière number and representations of graphs,” Combinatorica, vol. 42. Springer Nature, pp. 1317–1345, 2022.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10364 | OA
S. A. Hashemi, M. Mondelli, A. Fazeli, A. Vardy, J. Cioffi, and A. Goldsmith, “Parallelism versus latency in simplified successive-cancellation decoding of polar codes,” IEEE Transactions on Wireless Communications, vol. 21, no. 6. Institute of Electrical and Electronics Engineers, pp. 3909–3920, 2022.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10411 | OA
L. Li, M. C. Gallei, and J. Friml, “Bending to auxin: Fast acid growth for tropisms,” Trends in Plant Science, vol. 27, no. 5. Cell Press, pp. 440–449, 2022.
[Submitted Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed