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 |

Playing games with your PET: Extending the Partial Exploration Tool to stochastic games
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.

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

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

Designing athermal disordered solids with automatic differentiation
M. Zu, C.P. Goodrich, Communications Materials 5 (2024).

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

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

Highly regenerative species-specific genes improve age-associated features in the adult Drosophila midgut
H. NAGAI, Y. Adachi, T. Nakasugi, E. Takigawa, J. Ui, T. Makino, M. Miura, Y.I. Nakajima, BMC Biology 22 (2024).

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

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

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

Remote sensing of a levitated superconductor with a flux-tunable microwave cavity
P. Schmidt, R. Claessen, G. Higgins, J. Hofer, J.J. Hansen, P. Asenbaum, M. Zemlicka, K. Uhl, R. Kleiner, R. Gross, H. Huebl, M. Trupke, M. Aspelmeyer, Physical Review Applied 22 (2024).

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

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

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

[Published Version] View | Files available | arXiv

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

Influence of the catalyst surface chemistry on the electrochemical self-coupling of biomass-derived benzaldehyde into hydrobenzoin
L. Gong, S. Zhao, J. Yu, J. Li, J. Arbiol, T. Kallio, M. Calcabrini, P.R. Martínez-Alanis, M. Ibáñez, A. Cabot, Energy Advances 3 (2024) 2287–2294.

[Published Version] View | Files available | DOI

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

Certifying phase abstraction
N. Froleyks, E. Yu, A. Biere, K. Heljanko, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2024, pp. 284–303.

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

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

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

View | Files available | DOI | PubMed | Europe PMC

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

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

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

Regimes of precipitation change over Europe and the Mediterranean
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).

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

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

Quantitative imaging reveals the role of MpARF proteasomal degradation during gemma germination
S. Das, M. De Roij, S. Bellows, M.D. Alvarez, S. Mutte, W. Kohlen, E. Farcot, D. Weijers, J.W. Borst, Plant Communications 5 (2024).

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

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

Rational singularities for moment maps of totally negative quivers
T. Vernet, Transformation Groups (2024).

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

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

Plasmid targeting and destruction by the DdmDE bacterial defence system
J.P.K. Bravo, D.A. Ramos, R. Fregoso Ocampo, C. Ingram, D.W. Taylor, Nature 630 (2024) 961–967.

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

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

Special cubic zeros and the dual variety
V. Wang, Journal of the London Mathematical Society 110 (2024).

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

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

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

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

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

LGI1 autoantibodies enhance synaptic transmission by presynaptic Kv1 loss and increased action potential broadening
A. Ritzau-Jost, F. Gsell, J. Sell, S. Sachs, J.-C. Montanaro-Punzengruber, T. Kirmann, S. Maaß, S.R. Irani, C. Werner, C. Geis, M. Sauer, R. Shigemoto, S. Hallermann, Neurology, Neuroimmunology and Neuroinflammation 11 (2024) e200284.

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

Compensation of gene dosage on the mammalian X
D. Cecalev, B. Vicoso, R. Galupa, Development 151 (2024).

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

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

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

Unconditional versus condition-dependent social immunity
S. Cremer, C. Pull, Trends in Parasitology 40 (2024) 780–787.

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