ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

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

6436 Publications

2023 | Published | Journal Article | IST-REx-ID: 13179 |

CQS: A formally-verified framework for fair and abortable synchronization
N. Koval, D. Khalanskiy, D.-A. Alistarh, Proceedings of the ACM on Programming Languages 7 (2023).

[Published Version] View | Files available | DOI

2023 | Published | Journal Article | IST-REx-ID: 13180 |

Local solubility for a family of quadrics over a split quadric surface
T.D. Browning, J. Lyczak, R. Sarapin, Involve 16 (2023) 331–342.

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

2023 | Published | Journal Article | IST-REx-ID: 13197 |

Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts
G.M. Grosjean, S.R. Waitukaitis, Physical Review Materials 7 (2023).

[Submitted Version] View | Files available | DOI | WoS | arXiv

2023 | Published | Journal Article | IST-REx-ID: 13202 |

Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons
K. Eguchi, E. Le Monnier, R. Shigemoto, The Journal of Neuroscience 43 (2023) 4197–4216.

2023 | Published | Journal Article | IST-REx-ID: 13207 |

Boundary superconductivity in the BCS model
C. Hainzl, B. Roos, R. Seiringer, Journal of Spectral Theory 12 (2023) 1507–1540.

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

2023 | Published | Journal Article | IST-REx-ID: 13209 |

Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen
J. Xia, M. Kong, Z. Yang, L. Sun, Y. Peng, Y. Mao, H. Wei, W. Ying, Y. Gao, J. Friml, J. Weng, X. Liu, L. Sun, S. Tan, Plant Communications 4 (2023).

2023 | Published | Journal Article | IST-REx-ID: 13212 |

Distinct functions of TIR1 and AFB1 receptors in auxin signalling.
H. Chen, L. Li, M. Zou, L. Qi, J. Friml, Molecular Plant 16 (2023) 1117–1119.

2023 | Published | Journal Article | IST-REx-ID: 13213 |

Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots
C. Chen, Y. Zhang, J. Cai, Y. Qiu, L. Li, C. Gao, Y. Gao, M. Ke, S. Wu, C. Wei, J. Chen, T. Xu, J. Friml, J. Wang, R. Li, D. Chao, B. Zhang, X. Chen, Z. Gao, Plant Physiology 192 (2023) 2243–2260.

2023 | Published | Journal Article | IST-REx-ID: 13214 |

Nitrate, auxin and cytokinin - a trio to tango
R. Abualia, S. Riegler, E. Benková, Cells 12 (2023).

2023 | Published | Journal Article | IST-REx-ID: 13216 |

Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane
R. Bunting, F. Wodaczek, T. Torabi, B. Cheng, Journal of the American Chemical Society 145 (2023) 14894–14902.

2023 | Published | Conference Paper | IST-REx-ID: 13221 |

Safety and liveness of quantitative automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 34th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

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

2023 | Published | Journal Article | IST-REx-ID: 13225 |

Correlation energy of a weakly interacting Fermi gas with large interaction potential
N.P. Benedikter, M. Porta, B. Schlein, R. Seiringer, Archive for Rational Mechanics and Analysis 247 (2023).

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

2023 | Published | Journal Article | IST-REx-ID: 13226 |

Weak Edgeworth expansion for the mean-field Bose gas
L. Bossmann, S.P. Petrat, Letters in Mathematical Physics 113 (2023).

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

2023 | Published | Journal Article | IST-REx-ID: 13227 |

Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours
F. Hassani, M. Peruzzo, L. Kapoor, A. Trioni, M. Zemlicka, J.M. Fink, Nature Communications 14 (2023).

2023 | Published | Conference Paper | IST-REx-ID: 13228 |

Runtime monitoring of dynamic fairness properties
T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–614.

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

2023 | Published | Journal Article | IST-REx-ID: 13229 |

Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes
S. Shamipour, L. Hofmann, I. Steccari, R. Kardos, C.-P.J. Heisenberg, PLoS Biology 21 (2023) e3002146.

2023 | Published | Journal Article | IST-REx-ID: 13230 |

Environmental dynamics shape perceptual decision bias
J.A. Charlton, W.F. Mlynarski, Y.H. Bai, A.M. Hermundstad, R.L.T. Goris, PLoS Computational Biology 19 (2023).

2023 | Published | Journal Article | IST-REx-ID: 13231 |

X-ray Thomson scattering spectra from density functional theory molecular dynamics simulations based on a modified Chihara formula
M. Schörner, M. Bethkenhagen, T. Döppner, D. Kraus, L.B. Fletcher, S.H. Glenzer, R. Redmer, Physical Review E 107 (2023).

2023 | Published | Journal Article | IST-REx-ID: 13232 |

Design and immunogenicity of SARS-CoV-2 DNA vaccine encoding RBD-PVXCP fusion protein
D. Dormeshkin, M. Katsin, M. Stegantseva, S. Golenchenko, M. Shapira, S. Dubovik, D. Lutskovich, A. Kavaleuski, A. Meleshko, Vaccines 11 (2023).

2023 | Published | Journal Article | IST-REx-ID: 13233 |

Finite-range bias in fitting three-body loss to the zero-range model
S. Agafonova, M. Lemeshko, A. Volosniev, Physical Review A 107 (2023).

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

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Institute of Science and Technology Austria (ISTA)

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

6436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options