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