Please note that IST 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.
2021 | Conference Paper | IST-REx-ID: 9987 |
P. Agarwal, K. Chatterjee, S. Pathak, A. Pavlogiannis, and V. Toman, “Stateless model checking under a reads-value-from equivalence,” in 33rd International Conference on Computer-Aided Verification , Virtual, 2021, vol. 12759, pp. 341–366.View | DOI | Download Published Version (ext.) | arXiv
2021 | Journal Article | IST-REx-ID: 9997 |
L. Schmid, P. Shati, C. Hilbe, and K. Chatterjee, “The evolution of indirect reciprocity under action and assessment generosity,” Scientific Reports, vol. 11, no. 1. Springer Nature, 2021.View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10000 |
H. M. Schmitt et al., “Increased susceptibility and intrinsic apoptotic signaling in neurons by induced HDAC3 expression,” Investigative Ophthalmology and Visual Science, vol. 62, no. 10. Association for Research in Vision and Ophthalmology, 2021.View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
2021 | Journal Article | IST-REx-ID: 10005 |
M. Bulíček, E. Maringová, and J. Málek, “On nonlinear problems of parabolic type with implicit constitutive equations involving flux,” Mathematical Models and Methods in Applied Sciences, vol. 31, no. 09. World Scientific, 2021.View | DOI | Download Preprint (ext.) | arXiv