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 | OA
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
 

2022 | Journal Article | IST-REx-ID: 12052 | OA
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
 

2022 | Journal Article | IST-REx-ID: 11735 | OA
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
 

2022 | Journal Article | IST-REx-ID: 12009 | OA
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
 

2022 | Journal Article | IST-REx-ID: 11993 | OA
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
 

Search

Filter Publications