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, T., & Weininger, M. (2024). Playing games with your PET: Extending the Partial Exploration Tool to stochastic games. In 36th International Conference on Computer Aided Verification (Vol. 14683, pp. 359–372). Montreal, Canada: Springer Nature. https://doi.org/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, M., & Goodrich, C. P. (2024). Designing athermal disordered solids with automatic differentiation. Communications Materials. Springer Nature. https://doi.org/10.1038/s43246-024-00583-4

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

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

NAGAI, H., Adachi, Y., Nakasugi, T., Takigawa, E., Ui, J., Makino, T., … Nakajima, Y. I. (2024). Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut. BMC Biology. Springer Nature. https://doi.org/10.1186/s12915-024-01956-4

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

Van Vliet, S., Sheng, J., Stindt, C. N., & Feringa, B. L. (2024). All-visible-light-driven salicylidene schiff-base-functionalized artificial molecular motors. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-024-50587-4

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

Schmidt, P., Claessen, R., Higgins, G., Hofer, J., Hansen, J. J., Asenbaum, P., … Aspelmeyer, M. (2024). Remote sensing of a levitated superconductor with a flux-tunable microwave cavity. Physical Review Applied. American Physical Society. https://doi.org/10.1103/PhysRevApplied.22.014078

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

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

Scott, J. A., Zakerinia, H., & Lampert, C. (2024). PEFLL: Personalized federated learning by learning to learn. In 12th International Conference on Learning Representations. Vienna, Austria: OpenReview.

[Published Version] View | Files available | arXiv

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

Gong, L., Zhao, S., Yu, J., Li, J., Arbiol, J., Kallio, T., … Cabot, A. (2024). Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin. Energy Advances. Royal Society of Chemistry. https://doi.org/10.1039/d4ya00334a

[Published Version] View | Files available | DOI

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

Froleyks, N., Yu, E., Biere, A., & Heljanko, K. (2024). Certifying phase abstraction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 14739, pp. 284–303). Nancy, France: Springer Nature. https://doi.org/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, O., Cheung, G. T., & Hippenmeyer, S. (2024). Morphological Analysis of Neurons and Glia Using Mosaic Analysis with Double Markers. In K. Toyooka (Ed.), Neuronal Morphogenesis (1st ed., Vol. 2831, pp. 283–299). New York, NY: Springer Nature. https://doi.org/10.1007/978-1-0716-3969-6_19

View | Files available | DOI | PubMed | Europe PMC

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

Prach, B., Brau, F., Buttazzo, G., & Lampert, C. (2024). 1-Lipschitz layers compared: Memory, speed, and certifiable robustness. In Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (pp. 24574–24583). Seattle, WA, United States: Computer Vision Foundation. https://doi.org/10.1109/CVPR52733.2024.02320

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

André, J., D’Andrea, F., Drobinski, P., & Muller, C. J. (2024). Regimes of precipitation change over Europe and the Mediterranean. Journal of Geophysical Research: Atmospheres. Wiley. https://doi.org/10.1029/2023JD040413

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

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

Das, S., De Roij, M., Bellows, S., Alvarez, M. D., Mutte, S., Kohlen, W., … Borst, J. W. (2024). Quantitative imaging reveals the role of MpARF proteasomal degradation during gemma germination. Plant Communications. Elsevier. https://doi.org/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, T. (2024). Rational singularities for moment maps of totally negative quivers. Transformation Groups. Springer Nature. https://doi.org/10.1007/s00031-024-09873-0

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

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

Bravo, J. P. K., Ramos, D. A., Fregoso Ocampo, R., Ingram, C., & Taylor, D. W. (2024). Plasmid targeting and destruction by the DdmDE bacterial defence system. Nature. Springer Nature. https://doi.org/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, V. (2024). Special cubic zeros and the dual variety. Journal of the London Mathematical Society. Wiley. https://doi.org/10.1112/jlms.12975

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

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

Markov, I., Alimohammadi, K., Frantar, E., & Alistarh, D.-A. (2024). L-GreCo: Layerwise-adaptive gradient compression for efficient data-parallel deep learning. In P. Gibbons, G. Pekhimenko, & C. De Sa (Eds.), Proceedings of Machine Learning and Systems (Vol. 6). Athens, Greece: Association for Computing Machinery.

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

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

Ritzau-Jost, A., Gsell, F., Sell, J., Sachs, S., Montanaro-Punzengruber, J.-C., Kirmann, T., … Hallermann, S. (2024). LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening. Neurology, Neuroimmunology and Neuroinflammation. Wolters Kluwer. https://doi.org/10.1212/NXI.0000000000200284

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

Cecalev, D., Vicoso, B., & Galupa, R. (2024). Compensation of gene dosage on the mammalian X. Development. The Company of Biologists. https://doi.org/10.1242/dev.202891

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

Vanhille-Campos, C. E., Whitley, K. D., Radler, P., Loose, M., Holden, S., & Šarić, A. (2024). Self-organization of mortal filaments and its role in bacterial division ring formation. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-024-02597-8

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

Cremer, S., & Pull, C. (2024). Unconditional versus condition-dependent social immunity. Trends in Parasitology. Elsevier. https://doi.org/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