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
A framework for grassroots research collaboration in machine learning and global health
C. Currin, M.N. Asiedu , C. Fourie, B. Rosman, H. Turki, A. Lambebo Tonja, J. Abbott, M. Ajala, S.A. Adedayo, C.C. Emezue, D. Machangara, in:, 1st Workshop on Machine Learning & Global Health, OpenReview, 2023.
[Published Version] View | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties
R. Majumdar, K. Mallik, M. Rychlicki, A.-K. Schmuck, S. Soudjani, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Lincheck: A practical framework for testing concurrent data structures on JVM
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Epub ahead of print | Conference Paper | IST-REx-ID: 15023 | OA
Compositional policy learning in stochastic control systems with formal guarantees
D. Zikelic, M. Lechner, A. Verma, K. Chatterjee, T.A. Henzinger, in:, 37th Conference on Neural Information Processing Systems, 2023.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 15027 | OA
aggregation_data
S. Curk, (2023).
[Published Version] View | Files available | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, (2023).
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Submitted | Preprint | IST-REx-ID: 15039 | OA
1-Lipschitz neural networks are more expressive with N-activations
B. Prach, C. Lampert, ArXiv (n.d.).
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 8682 | OA
The Hasse principle for random Fano hypersurfaces
T.D. Browning, P.L. Boudec, W. Sawin, Annals of Mathematics 197 (2023) 1115–1203.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 9034 | OA
Integral points of bounded height on a log Fano threefold
F.A. Wilsch, International Mathematics Research Notices 2023 (2023) 6780–6808.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Epub ahead of print | Journal Article | IST-REx-ID: 9651 | OA
Divergence of separated nets with respect to displacement equivalence
M. Dymond, V. Kaluza, Geometriae Dedicata (2023).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 9652 | OA
Highly irregular separated nets
M. Dymond, V. Kaluza, Israel Journal of Mathematics 253 (2023) 501–554.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10016 | OA
Fourteen stations of auxin
J. Friml, Cold Spring Harbor Perspectives in Biology 14 (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
Integral points on singular del Pezzo surfaces
U. Derenthal, F.A. Wilsch, Journal of the Institute of Mathematics of Jussieu (2022).
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10042 | OA
Defect engineering in solution-processed polycrystalline SnSe leads to high thermoelectric performance
Y. Liu, M. Calcabrini, Y. Yu, S. Lee, C. Chang, J. David, T. Ghosh, M.C. Spadaro, C. Xie, O. Cojocaru-Mirédin, J. Arbiol, M. Ibáñez, ACS Nano 16 (2022) 78–88.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10182
The assembly, regulation and function of the mitochondrial respiratory chain
I. Vercellino, L.A. Sazanov, Nature Reviews Molecular Cell Biology 23 (2022) 141–161.
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10208 | OA
A context-aware dimension reduction framework for trajectory and health signal analyses
S. Goudarzi, M. Sharif, F. Karimipour, Journal of Ambient Intelligence and Humanized Computing 13 (2022) 2621–2635.
[Submitted Version] View | Files available | DOI | WoS
 

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

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

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

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

Filters and Search Terms

department=IST

Search

Filter Publications

Display / Sort

Export / Embed