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 | 
B. Kragl and S. Qadeer, “The Civl verifier,” in Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, Virtual, 2021, vol. 2, pp. 143–152.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 11522 |
M. Gronke 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, pp. 3697–3709, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Conference Paper | IST-REx-ID: 11771 |
M. H. Henzinger and X. Wu, “Upper and lower bounds for fully retroactive graph problems,” in 17th International Symposium on Algorithms and Data Structures, Virtual, 2021, vol. 12808, pp. 471–484.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 9097 |
R. Pandey, Y. Al-Nuaimi, R. K. Mishra, S. K. Spurgeon, and M. Goodfellow, “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. Springer Nature, 2021.
[Published Version]
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 12309 |
M. Verzobio, “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, pp. 129–168, 2021.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv