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 |

T. Meggendorfer and M. Weininger, “Playing games with your PET: Extending the Partial Exploration Tool to stochastic games,” in 36th International Conference on Computer Aided Verification, Montreal, Canada, 2024, vol. 14683, pp. 359–372.

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

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

M. Zu and C. P. Goodrich, “Designing athermal disordered solids with automatic differentiation,” Communications Materials, vol. 5. Springer Nature, 2024.

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

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

H. NAGAI et al., “Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut,” BMC Biology, vol. 22. Springer Nature, 2024.

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

S. Van Vliet, J. Sheng, C. N. Stindt, and B. L. Feringa, “All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors,” Nature Communications, vol. 15. Springer Nature, 2024.

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

P. Schmidt et al., “Remote sensing of a levitated superconductor with a flux-tunable microwave cavity,” Physical Review Applied, vol. 22. American Physical Society, 2024.

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

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

J. A. Scott, H. Zakerinia, and C. Lampert, “PEFLL: Personalized federated learning by learning to learn,” in 12th International Conference on Learning Representations, Vienna, Austria, 2024.

[Published Version] View | Files available | arXiv

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

L. Gong 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, pp. 2287–2294, 2024.

[Published Version] View | Files available | DOI

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

N. Froleyks, E. Yu, A. Biere, and K. Heljanko, “Certifying phase abstraction,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Nancy, France, 2024, vol. 14739, pp. 284–303.

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

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

O. Miranda, G. T. Cheung, and S. Hippenmeyer, “Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers,” in Neuronal Morphogenesis, 1st ed., vol. 2831, K. Toyooka, Ed. New York, NY: Springer Nature, 2024, pp. 283–299.

View | Files available | DOI | PubMed | Europe PMC

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

B. Prach, F. Brau, G. Buttazzo, and C. Lampert, “1-Lipschitz layers compared: Memory, speed, and certifiable robustness,” in Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, Seattle, WA, United States, 2024, pp. 24574–24583.

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

J. André, F. D’Andrea, P. Drobinski, and C. J. Muller, “Regimes of precipitation change over Europe and the Mediterranean,” Journal of Geophysical Research: Atmospheres, vol. 129, no. 15. Wiley, 2024.

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

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

S. Das et al., “Quantitative imaging reveals the role of MpARF proteasomal degradation during gemma germination,” Plant Communications, vol. 5, no. 11. Elsevier, 2024.

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

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

T. Vernet, “Rational singularities for moment maps of totally negative quivers,” Transformation Groups. Springer Nature, 2024.

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

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

J. P. K. Bravo, D. A. Ramos, R. Fregoso Ocampo, C. Ingram, and D. W. Taylor, “Plasmid targeting and destruction by the DdmDE bacterial defence system,” Nature, vol. 630, no. 8018. Springer Nature, pp. 961–967, 2024.

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

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

V. Wang, “Special cubic zeros and the dual variety,” Journal of the London Mathematical Society, vol. 110, no. 3. Wiley, 2024.

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

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

I. Markov, K. Alimohammadi, E. Frantar, and D.-A. Alistarh, “L-GreCo: Layerwise-adaptive gradient compression for efficient data-parallel deep learning,” in Proceedings of Machine Learning and Systems , Athens, Greece, 2024, vol. 6.

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

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

A. Ritzau-Jost 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, p. e200284, 2024.

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

D. Cecalev, B. Vicoso, and R. Galupa, “Compensation of gene dosage on the mammalian X,” Development, vol. 151, no. 15. The Company of Biologists, 2024.

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

C. E. Vanhille-Campos, K. D. Whitley, P. Radler, M. Loose, S. Holden, and A. Šarić, “Self-organization of mortal filaments and its role in bacterial division ring formation,” Nature Physics, vol. 20. Springer Nature, pp. 1670–1678, 2024.

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

S. Cremer and C. Pull, “Unconditional versus condition-dependent social immunity,” Trends in Parasitology, vol. 40, no. 9. Elsevier, pp. 780–787, 2024.

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