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.
9119 Publications
2022 | Conference Paper | IST-REx-ID: 11775 |
Henzinger, Thomas A., et al. “Abstract Monitors for Quantitative Specifications.” 22nd International Conference on Runtime Verification, vol. 13498, Springer Nature, 2022, pp. 200–20, doi:10.1007/978-3-031-17196-3_11.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12052 |
Konstantinova, N., et al. “WAVY GROWTH Arabidopsis E3 Ubiquitin Ligases Affect Apical PIN Sorting Decisions.” Nature Communications, vol. 13, 5147, Springer Nature, 2022, doi:10.1038/s41467-022-32888-8.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11735 |
Chen, Rulin, et al. “Computational Design of High-Level Interlocking Puzzles.” ACM Transactions on Graphics, vol. 41, no. 4, 150, Association for Computing Machinery, 2022, doi:10.1145/3528223.3530071.
[Submitted Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12009 |
Jia, David W., et al. “Developmental Depression-to-Facilitation Shift Controls Excitation-Inhibition Balance.” Communications Biology, vol. 5, 873, Springer Nature, 2022, doi:10.1038/s42003-022-03801-2.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11993 |
Alderighi, Thomas, et al. “State of the Art in Computational Mould Design.” Computer Graphics Forum, vol. 41, no. 6, Wiley, 2022, pp. 435–52, doi:10.1111/cgf.14581.
[Submitted Version]
View
| Files available
| DOI
| WoS