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.
9114 Publications
2022 | Conference Paper | IST-REx-ID: 11775 | 
Henzinger TA, Mazzocchi NA, Sarac NE. 2022. Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 13498, 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12052 |
Konstantinova N, Hörmayer L, Glanc M, Keshkeih R, Tan S, Di Donato M, Retzer K, Moulinier-Anzola J, Schwihla M, Korbei B, Geisler M, Friml J, Luschnig C. 2022. WAVY GROWTH Arabidopsis E3 ubiquitin ligases affect apical PIN sorting decisions. Nature Communications. 13, 5147.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Journal Article | IST-REx-ID: 11735 |
Chen R, Wang Z, Song P, Bickel B. 2022. Computational design of high-level interlocking puzzles. ACM Transactions on Graphics. 41(4), 150.
[Submitted Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 12009 |
Jia DW, Vogels TP, Costa RP. 2022. Developmental depression-to-facilitation shift controls excitation-inhibition balance. Communications biology. 5, 873.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11993 |
Alderighi T, Malomo L, Auzinger T, Bickel B, Cignoni P, Pietroni N. 2022. State of the art in computational mould design. Computer Graphics Forum. 41(6), 435–452.
[Submitted Version]
View
| Files available
| DOI
| WoS