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.

6293 Publications

2024 | Published | Conference Paper | IST-REx-ID: 17402 |

Meggendorfer, Tobias, and Maximilian Weininger. “Playing Games with Your PET: Extending the Partial Exploration Tool to Stochastic Games.” 36th International Conference on Computer Aided Verification, vol. 14683, Springer Nature, 2024, pp. 359–72, doi:10.1007/978-3-031-65633-0_16.

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

2024 | Published | Journal Article | IST-REx-ID: 17407 |

Zu, Mengjie, and Carl Peter Goodrich. “Designing Athermal Disordered Solids with Automatic Differentiation.” Communications Materials, vol. 5, 141, Springer Nature, 2024, doi:10.1038/s43246-024-00583-4.

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

2024 | Published | Journal Article | IST-REx-ID: 17408 |

NAGAI, HIROKI, et al. “Highly Regenerative Species-Specific Genes Improve Age-Associated Features in the Adult Drosophila Midgut.” BMC Biology, vol. 22, 157, Springer Nature, 2024, doi:10.1186/s12915-024-01956-4.

2024 | Published | Journal Article | IST-REx-ID: 17409 |

Van Vliet, Sven, et al. “All-Visible-Light-Driven Salicylidene Schiff-Base-Functionalized Artificial Molecular Motors.” Nature Communications, vol. 15, 6461, Springer Nature, 2024, doi:10.1038/s41467-024-50587-4.

2024 | Published | Journal Article | IST-REx-ID: 17410 |

Schmidt, Philip, et al. “Remote Sensing of a Levitated Superconductor with a Flux-Tunable Microwave Cavity.” Physical Review Applied, vol. 22, 014078, American Physical Society, 2024, doi:10.1103/PhysRevApplied.22.014078.

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

2024 | Published | Conference Paper | IST-REx-ID: 17411 |

Scott, Jonathan A., et al. “PEFLL: Personalized Federated Learning by Learning to Learn.” 12th International Conference on Learning Representations, OpenReview, 2024.

[Published Version] View | Files available | arXiv

2024 | Published | Journal Article | IST-REx-ID: 17412 |

Gong, Li, et al. “Influence of the Catalyst Surface Chemistry on the Electrochemical Self-Coupling of Biomass-Derived Benzaldehyde into Hydrobenzoin.” Energy Advances, vol. 3, no. 9, Royal Society of Chemistry, 2024, pp. 2287–94, doi:10.1039/d4ya00334a.

[Published Version] View | Files available | DOI

2024 | Published | Conference Paper | IST-REx-ID: 17413 |

Froleyks, Nils, et al. “Certifying Phase Abstraction.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 14739, Springer Nature, 2024, pp. 284–303, doi:10.1007/978-3-031-63498-7_17.

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

2024 | Published | Book Chapter | IST-REx-ID: 17425

Miranda, Osvaldo, et al. “Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers.” Neuronal Morphogenesis, edited by Kazuhito Toyooka, 1st ed., vol. 2831, Springer Nature, 2024, pp. 283–99, doi:10.1007/978-1-0716-3969-6_19.

View | Files available | DOI | PubMed | Europe PMC

2024 | Published | Conference Paper | IST-REx-ID: 17426 |

Prach, Bernd, et al. “1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness.” Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Computer Vision Foundation, 2024, pp. 24574–83, doi:10.1109/CVPR52733.2024.02320.

2024 | Published | Journal Article | IST-REx-ID: 17435 |

André, Julie, et al. “Regimes of Precipitation Change over Europe and the Mediterranean.” Journal of Geophysical Research: Atmospheres, vol. 129, no. 15, e2023JD040413, Wiley, 2024, doi:10.1029/2023JD040413.

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

2024 | Published | Journal Article | IST-REx-ID: 17436 |

Das, Shubhajit, et al. “Quantitative Imaging Reveals the Role of MpARF Proteasomal Degradation during Gemma Germination.” Plant Communications, vol. 5, no. 11, 101039, Elsevier, 2024, doi:10.1016/j.xplc.2024.101039.

[Published Version] View | Files available | DOI | PubMed | Europe PMC

2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17437 |

Vernet, Tanguy. “Rational Singularities for Moment Maps of Totally Negative Quivers.” Transformation Groups, Springer Nature, 2024, doi:10.1007/s00031-024-09873-0.

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

2024 | Published | Journal Article | IST-REx-ID: 17442 |

Bravo, Jack Peter Kelly, et al. “Plasmid Targeting and Destruction by the DdmDE Bacterial Defence System.” Nature, vol. 630, no. 8018, Springer Nature, 2024, pp. 961–67, doi:10.1038/s41586-024-07515-9.

[Submitted Version] View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC

2024 | Published | Journal Article | IST-REx-ID: 17447 |

Wang, Victor. “Special Cubic Zeros and the Dual Variety.” Journal of the London Mathematical Society, vol. 110, no. 3, e12975, Wiley, 2024, doi:10.1112/jlms.12975.

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

2024 | Published | Conference Paper | IST-REx-ID: 17456 |

Markov, Ilia, et al. “L-GreCo: Layerwise-Adaptive Gradient Compression for Efficient Data-Parallel Deep Learning.” Proceedings of Machine Learning and Systems , edited by P. Gibbons et al., vol. 6, Association for Computing Machinery, 2024.

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

2024 | Published | Journal Article | IST-REx-ID: 17457 |

Ritzau-Jost, Andreas, et al. “LGI1 Autoantibodies Enhance Synaptic Transmission by Presynaptic Kv1 Loss and Increased Action Potential Broadening.” Neurology, Neuroimmunology and Neuroinflammation, vol. 11, no. 5, Wolters Kluwer, 2024, p. e200284, doi:10.1212/NXI.0000000000200284.

2024 | Published | Journal Article | IST-REx-ID: 17458 |

Cecalev, Daniela, et al. “Compensation of Gene Dosage on the Mammalian X.” Development, vol. 151, no. 15, dev202891, The Company of Biologists, 2024, doi:10.1242/dev.202891.

2024 | Published | Journal Article | IST-REx-ID: 17460 |

Vanhille-Campos, Christian Eduardo, et al. “Self-Organization of Mortal Filaments and Its Role in Bacterial Division Ring Formation.” Nature Physics, vol. 20, Springer Nature, 2024, pp. 1670–78, doi:10.1038/s41567-024-02597-8.

2024 | Published | Journal Article | IST-REx-ID: 17461 |

Cremer, Sylvia, and Christopher Pull. “Unconditional versus Condition-Dependent Social Immunity.” Trends in Parasitology, vol. 40, no. 9, Elsevier, 2024, pp. 780–87, doi:10.1016/j.pt.2024.07.014.

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Research Groups

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

6293 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options