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.

6469 Publications

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

Koval, Nikita, et al. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages, vol. 7, 116, Association for Computing Machinery , 2023, doi:10.1145/3591230.

[Published Version] View | Files available | DOI

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

Browning, Timothy D., et al. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve, vol. 16, no. 2, Mathematical Sciences Publishers, 2023, pp. 331–42, doi:10.2140/involve.2023.16.331.

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

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

Grosjean, Galien M., and Scott R. Waitukaitis. “Asymmetries in Triboelectric Charging: Generalizing Mosaic Models to Different-Material Samples and Sliding Contacts.” Physical Review Materials, vol. 7, no. 6, 065601, American Physical Society, 2023, doi:10.1103/physrevmaterials.7.065601.

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

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

Eguchi, Kohgaku, et al. “Nanoscale Phosphoinositide Distribution on Cell Membranes of Mouse Cerebellar Neurons.” The Journal of Neuroscience, vol. 43, no. 23, Society for Neuroscience, 2023, pp. 4197–216, doi:10.1523/JNEUROSCI.1514-22.2023.

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

Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications, vol. 4, no. 6, 100632, Elsevier , 2023, doi:10.1016/j.xplc.2023.100632.

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

Chen, C., et al. “Multi-Copper Oxidases SKU5 and SKS1 Coordinate Cell Wall Formation Using Apoplastic Redox-Based Reactions in Roots.” Plant Physiology, vol. 192, no. 3, American Society of Plant Biologists, 2023, pp. 2243–60, doi:10.1093/plphys/kiad207.

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

Abualia, R., et al. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells, vol. 12, no. 12, 1613, MDPI, 2023, doi:10.3390/cells12121613.

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

Bunting, Rhys, et al. “Reactivity of Single-Atom Alloy Nanoparticles: Modeling the Dehydrogenation of Propane.” Journal of the American Chemical Society, vol. 145, no. 27, American Chemical Society, 2023, pp. 14894–902, doi:10.1021/jacs.3c04030.

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

Benedikter, Niels P., et al. “Correlation Energy of a Weakly Interacting Fermi Gas with Large Interaction Potential.” Archive for Rational Mechanics and Analysis, vol. 247, no. 4, 65, Springer Nature, 2023, doi:10.1007/s00205-023-01893-6.

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

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

Bossmann, Lea, and Sören P. Petrat. “Weak Edgeworth Expansion for the Mean-Field Bose Gas.” Letters in Mathematical Physics, vol. 113, no. 4, 77, Springer Nature, 2023, doi:10.1007/s11005-023-01698-4.

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

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

Henzinger, Thomas A., et al. “Runtime Monitoring of Dynamic Fairness Properties.” FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, Association for Computing Machinery, 2023, pp. 604–14, doi:10.1145/3593013.3594028.

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

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

Shamipour, Shayan, et al. “Yolk Granule Fusion and Microtubule Aster Formation Regulate Cortical Granule Translocation and Exocytosis in Zebrafish Oocytes.” PLoS Biology, vol. 21, no. 6, Public Library of Science, 2023, p. e3002146, doi:10.1371/journal.pbio.3002146.

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

Charlton, Julie A., et al. “Environmental Dynamics Shape Perceptual Decision Bias.” PLoS Computational Biology, vol. 19, no. 6, e1011104, Public Library of Science, 2023, doi:10.1371/journal.pcbi.1011104.

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

Schörner, Maximilian, et al. “X-Ray Thomson Scattering Spectra from Density Functional Theory Molecular Dynamics Simulations Based on a Modified Chihara Formula.” Physical Review E, vol. 107, no. 6, 065207, American Physical Society, 2023, doi:10.1103/PhysRevE.107.065207.

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

Dormeshkin, Dmitri, et al. “Design and Immunogenicity of SARS-CoV-2 DNA Vaccine Encoding RBD-PVXCP Fusion Protein.” Vaccines, vol. 11, no. 6, 1014, MDPI, 2023, doi:10.3390/vaccines11061014.

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

Agafonova, Sofya, et al. “Finite-Range Bias in Fitting Three-Body Loss to the Zero-Range Model.” Physical Review A, vol. 107, no. 6, L061304, American Physical Society, 2023, doi:10.1103/PhysRevA.107.L061304.

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

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

Kueffner, Konstantin, et al. “Into the Unknown: Active Monitoring of Neural Networks (Extended Version).” International Journal on Software Tools for Technology Transfer, vol. 25, Springer Nature, 2023, pp. 575–92, doi:10.1007/s10009-023-00711-4.

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

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

Liu, Yu, et al. “Surface Chemistry and Band Engineering in AgSbSe₂: Toward High Thermoelectric Performance.” ACS Nano, vol. 17, no. 12, American Chemical Society, 2023, pp. 11923–11934, doi:10.1021/acsnano.3c03541.

View | DOI | WoS | PubMed | Europe PMC

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

Zheng, Da Wei, and Monika Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” International Conference on Integer Programming and Combinatorial Optimization, vol. 13904, Springer Nature, 2023, pp. 453–65, doi:10.1007/978-3-031-32726-1_32.

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

Michaels, Thomas C. T., et al. “Amyloid Formation as a Protein Phase Transition.” Nature Reviews Physics, vol. 5, Springer Nature, 2023, pp. 379–397, doi:10.1038/s42254-023-00598-9.

View | DOI | WoS

Institute of Science and Technology Austria (ISTA)

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

6469 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).

6469 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options