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, Christopher, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” 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
Majumdar, Rupak, et al. A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. Zenodo, 2023, doi:10.5281/ZENODO.7877790.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi: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, Dorde, et al. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” 37th Conference on Neural Information Processing Systems, 2023.
[Preprint] View | Download Preprint (ext.) | arXiv
 

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

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa, Marek, and Thomas A. Henzinger. Monitoring Hyperproperties with Prefix Transducers. Zenodo, 2023, doi:10.5281/ZENODO.8191723.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Submitted | Preprint | IST-REx-ID: 15039 | OA
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, 2311.06103, doi:10.48550/ARXIV.2311.06103.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 8682 | OA
Browning, Timothy D., et al. “The Hasse Principle for Random Fano Hypersurfaces.” Annals of Mathematics, vol. 197, no. 3, Princeton University, 2023, pp. 1115–203, doi: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, Florian Alexander. “Integral Points of Bounded Height on a Log Fano Threefold.” International Mathematics Research Notices, vol. 2023, no. 8, Oxford Academic, 2023, pp. 6780–808, doi: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, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.” Geometriae Dedicata, 15, Springer Nature, 2023, doi: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, Michael, and Vojtech Kaluza. “Highly Irregular Separated Nets.” Israel Journal of Mathematics, vol. 253, Springer Nature, 2023, pp. 501–54, doi:10.1007/s11856-022-2448-6.
[Submitted Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10016 | OA
Friml, Jiří. “Fourteen Stations of Auxin.” Cold Spring Harbor Perspectives in Biology, vol. 14, no. 5, a039859, Cold Spring Harbor Laboratory, 2022, doi: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, Ulrich, and Florian Alexander Wilsch. “Integral Points on Singular Del Pezzo Surfaces.” Journal of the Institute of Mathematics of Jussieu, Cambridge University Press, 2022, doi:10.1017/S1474748022000482.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10042 | OA
Liu, Yu, et al. “Defect Engineering in Solution-Processed Polycrystalline SnSe Leads to High Thermoelectric Performance.” ACS Nano, vol. 16, no. 1, American Chemical Society , 2022, pp. 78–88, doi:10.1021/acsnano.1c06720.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10182
Vercellino, Irene, and Leonid A. Sazanov. “The Assembly, Regulation and Function of the Mitochondrial Respiratory Chain.” Nature Reviews Molecular Cell Biology, vol. 23, Springer Nature, 2022, pp. 141–161, doi:10.1038/s41580-021-00415-0.
View | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10208 | OA
Goudarzi, Samira, et al. “A Context-Aware Dimension Reduction Framework for Trajectory and Health Signal Analyses.” Journal of Ambient Intelligence and Humanized Computing, vol. 13, Springer Nature, 2022, pp. 2621–2635, doi:10.1007/s12652-021-03569-z.
[Submitted Version] View | Files available | DOI | WoS
 

2022 | Published | Journal Article | IST-REx-ID: 10284 | OA
Casillas Perez, Barbara E., et al. “Early Queen Infection Shapes Developmental Dynamics and Induces Long-Term Disease Protection in Incipient Ant Colonies.” Ecology Letters, vol. 25, no. 1, Wiley, 2022, pp. 89–100, doi:10.1111/ele.13907.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2022 | Published | Journal Article | IST-REx-ID: 10335 | OA
Kaluza, Vojtech, and Martin Tancer. “Even Maps, the Colin de Verdière Number and Representations of Graphs.” Combinatorica, vol. 42, Springer Nature, 2022, pp. 1317–45, doi:10.1007/s00493-021-4443-7.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Journal Article | IST-REx-ID: 10364 | OA
Hashemi, Seyyed Ali, et al. “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, 2022, pp. 3909–20, doi: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, Lanxin, et al. “Bending to Auxin: Fast Acid Growth for Tropisms.” Trends in Plant Science, vol. 27, no. 5, Cell Press, 2022, pp. 440–49, doi: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: MLA

Export / Embed