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.
9470 Publications
2024 |Submitted| Conference Paper | IST-REx-ID: 17053
Froleyks, N., Yu, E., & Biere, A. (n.d.). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany.
View
2024 |Published| Journal Article | IST-REx-ID: 17326 | 
Bhattacharya, S., Das, S. B., Bugnet, L. A., Panda, S., & Hanasoge, S. M. (2024). Detectability of axisymmetric magnetic fields from the core to the surface of oscillating post-main-sequence stars. Astrophysical Journal. IOP Publishing. https://doi.org/10.3847/1538-4357/ad4708
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 17402 |
Meggendorfer, T., & Weininger, M. (2024). Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In 36th International Conference on Computer Aided Verification (Vol. 14683, pp. 359–372). Montreal, Canada: Springer Nature. https://doi.org/10.1007/978-3-031-65633-0_16
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Journal Article | IST-REx-ID: 17396 |
Quishpe-Vásquez, C., Oliva, P., López-Barrera, E. A., & Casallas Garcia, A. (2024). Wildfires impact on PM2.5 concentration in galicia Spain. Journal of Environmental Management. Elsevier. https://doi.org/10.1016/j.jenvman.2024.122093
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2024 |Published| Journal Article | IST-REx-ID: 17408 |
NAGAI, H., Adachi, Y., Nakasugi, T., Takigawa, E., Ui, J., Makino, T., … Nakajima, Y. I. (2024). Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut. BMC Biology. Springer Nature. https://doi.org/10.1186/s12915-024-01956-4
[Published Version]
View
| Files available
| DOI