ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2022 | Journal Article | IST-REx-ID: 10411 |

Bending to auxin: Fast acid growth for tropisms
L. Li, M.C. Gallei, J. Friml, Trends in Plant Science 27 (2022) 440–449.

2022 | Journal Article | IST-REx-ID: 14282

Reconfigurable asymmetric protein assemblies through implicit negative design
D.D. Sahtoe, F.M. Praetorius, A. Courbet, Y. Hsia, B.I.M. Wicky, N.I. Edman, L.M. Miller, B.J.R. Timmermans, J. Decarreau, H.M. Morris, A. Kang, A.K. Bera, D. Baker, Science 375 (2022).

View | DOI | PubMed | Europe PMC

2022 | Research Data Reference | IST-REx-ID: 14520 |

Compact vacuum gap transmon qubits: Selective and sensitive probes for superconductor surface losses
M. Zemlicka, E. Redchenko, M. Peruzzo, F. Hassani, A. Trioni, S. Barzanjeh, J.M. Fink, (2022).

[Published Version] View | Files available | DOI | Download Published Version (ext.)

2022 | Journal Article | IST-REx-ID: 11403

Measuring airborne nanoplastics using aerosol physics
A. Stöllner, Nature Reviews Earth and Environment 3 (2022) 360.

View | DOI | WoS

2022 | Journal Article | IST-REx-ID: 10791 |

Tissue-wide effects override cell-intrinsic gene function in radial neuron migration
A.H. Hansen, F. Pauler, M. Riedl, C. Streicher, A.-M. Heger, S. Laukoter, C.M. Sommer, A. Nicolas, B. Hof, L.H. Tsai, T. Rülicke, S. Hippenmeyer, Oxford Open Neuroscience 1 (2022).

[Published Version] View | Files available | DOI

2022 | Conference Paper | IST-REx-ID: 12000 |

Sound and complete certificates for auantitative termination analysis of probabilistic programs
K. Chatterjee, A.K. Goharshady, T. Meggendorfer, D. Zikelic, in:, Proceedings of the 34th International Conference on Computer Aided Verification, Springer, 2022, pp. 55–78.

[Published Version] View | Files available | DOI | WoS

2022 | Journal Article | IST-REx-ID: 12511 |

Stability verification in stochastic control systems via neural network supermartingales
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, Proceedings of the AAAI Conference on Artificial Intelligence 36 (2022) 7326–7336.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2022 | Preprint | IST-REx-ID: 14601 |

Learning stabilizing policies in stochastic control systems
D. Zikelic, M. Lechner, K. Chatterjee, T.A. Henzinger, ArXiv (n.d.).

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2022 | Journal Article | IST-REx-ID: 10851 |

Detecting induced p±ip pairing at the Al-InAs interface with a quantum microwave circuit
D.T. Phan, J.L. Senior, A. Ghazaryan, M. Hatefipour, W.M. Strickland, J. Shabani, M. Serbyn, A.P. Higginbotham, Physical Review Letters 128 (2022).

2022 | Book Chapter | IST-REx-ID: 12294

An LC-MS/MS Assay for Enzymatic Characterization of Methylthioalkylmalate Synthase (MAMS) Involved in Glucosinolate Biosynthesis
R. Kumar, M. Reichelt, N.C. Bisht, in:, J. Jez (Ed.), Biochemical Pathways and Environmental Responses in Plants: Part A, Elsevier, 2022, pp. 49–69.

View | DOI | PubMed | Europe PMC