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 | 
T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Abstract monitors for quantitative specifications,” in 22nd International Conference on Runtime Verification, Tbilisi, Georgia, 2022, vol. 13498, pp. 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12052 |
N. Konstantinova et al., “WAVY GROWTH Arabidopsis E3 ubiquitin ligases affect apical PIN sorting decisions,” Nature Communications, vol. 13. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11735 |
R. Chen, Z. Wang, P. Song, and B. Bickel, “Computational design of high-level interlocking puzzles,” ACM Transactions on Graphics, vol. 41, no. 4. Association for Computing Machinery, 2022.
[Submitted Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12009 |
D. W. Jia, T. P. Vogels, and R. P. Costa, “Developmental depression-to-facilitation shift controls excitation-inhibition balance,” Communications biology, vol. 5. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11993 |
T. Alderighi, L. Malomo, T. Auzinger, B. Bickel, P. Cignoni, and N. Pietroni, “State of the art in computational mould design,” Computer Graphics Forum, vol. 41, no. 6. Wiley, pp. 435–452, 2022.
[Submitted Version]
View
| Files available
| DOI
| WoS