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.
320 Publications
2021 | Conference Paper | IST-REx-ID: 10688 | 
Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, vol. 2, TU Wien Academic Press, 2021, pp. 143–152, doi:10.34727/2021/isbn.978-3-85448-046-4_23.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 11522 |
Gronke, Max, et al. “Lyman-α Transmission Properties of the Intergalactic Medium in the CoDaII Simulation.” Monthly Notices of the Royal Astronomical Society, vol. 508, no. 3, Oxford University Press, 2021, pp. 3697–709, doi:10.1093/mnras/stab2762.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11771 |
Henzinger, Monika H., and Xiaowei Wu. “Upper and Lower Bounds for Fully Retroactive Graph Problems.” 17th International Symposium on Algorithms and Data Structures, vol. 12808, Springer Nature, 2021, pp. 471–484, doi:10.1007/978-3-030-83508-8_34.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 9097 |
Pandey, Rakesh, et al. “Role of Subnetworks Mediated by TNF α, IL-23/IL-17 and IL-15 in a Network Involved in the Pathogenesis of Psoriasis.” Scientific Reports, vol. 11, 2204, Springer Nature, 2021, doi:10.1038/s41598-020-80507-7.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 12309 |
Verzobio, Matteo. “Primitive Divisors of Elliptic Divisibility Sequences for Elliptic Curves with J=1728.” Acta Arithmetica, vol. 198, no. 2, Institute of Mathematics, Polish Academy of Sciences, 2021, pp. 129–68, doi:10.4064/aa191016-30-7.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Abstract | IST-REx-ID: 12909 |
Schlögl, Alois, et al. “Managing Software on a Heterogenous HPC Cluster.” ASHPC21 – Austrian-Slovenian HPC Meeting 2021, University of Ljubljana, 2021, p. 5, doi:10.3359/2021hpc.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2021 | Journal Article | IST-REx-ID: 9333 |
Mitrouskas, David Johannes. “A Note on the Fröhlich Dynamics in the Strong Coupling Limit.” Letters in Mathematical Physics, vol. 111, 45, Springer Nature, 2021, doi:10.1007/s11005-021-01380-7.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Journal Article | IST-REx-ID: 9910 |
Slavskii, Sergei A., et al. “The Limits of Normal Approximation for Adult Height.” European Journal of Human Genetics, vol. 29, no. 7, Springer Nature, 2021, pp. 1082–91, doi:10.1038/s41431-021-00836-7.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10033 |
Ho, Quoc P. “The Atiyah-Bott Formula and Connectivity in Chiral Koszul Duality.” Advances in Mathematics, vol. 392, 107992, Elsevier, 2021, doi:10.1016/j.aim.2021.107992.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Journal Article | IST-REx-ID: 10176 |
Runkel, Ingo, and Lorant Szegedy. “Topological Field Theory on R-Spin Surfaces and the Arf-Invariant.” Journal of Mathematical Physics, vol. 62, no. 10, 102302, AIP Publishing, 2021, doi:10.1063/5.0037826.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv