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.
5560 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
| arXiv
T. Meggendorfer, M. Weininger, in:, 36th International Conference on Computer Aided Verification, Springer Nature, 2024, pp. 359–372.
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).
[Published Version]
View
| Files available
| DOI
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).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
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.)
| arXiv
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).
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
J.A. Scott, H. Zakerinia, C. Lampert, in:, 12th International Conference on Learning Representations, OpenReview, 2024.
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
| arXiv
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.
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
| DOI
| PubMed | Europe PMC
O. Miranda, G.T. Cheung, S. Hippenmeyer, in:, K. Toyooka (Ed.), Neuronal Morphogenesis, 1st ed., Springer Nature, New York, NY, 2024, pp. 283–299.
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
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).
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.)
T. Vernet, Transformation Groups (2024).
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.
View
| DOI
| PubMed | Europe PMC
J.P.K. Bravo, D.A. Ramos, R. Fregoso Ocampo, C. Ingram, D.W. Taylor, Nature 630 (2024) 961–967.
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
| arXiv
V. Wang, Journal of the London Mathematical Society 110 (2024).
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
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.
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).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
D. Cecalev, B. Vicoso, R. Galupa, Development 151 (2024).
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17459 |

Langerhans cells: Central players in the pathophysiology of atopic dermatitis
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology (2024).
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
Y. Pan, M. Hochgerner, M.A. Cichon, T. Benezeder, T. Bieber, P. Wolf, Journal of the European Academy of Dermatology and Venereology (2024).
2024 | Published | Journal Article | IST-REx-ID: 17463 |

De novo design of allosterically switchable protein assemblies
A. Pillai, A. Idris, A. Philomin, C. Weidle, R. Skotheim, P.J.Y. Leung, A. Broerman, C. Demakis, A.J. Borst, F.M. Praetorius, D. Baker, Nature 632 (2024) 911–920.
[Published Version]
View
| Files available
| DOI
A. Pillai, A. Idris, A. Philomin, C. Weidle, R. Skotheim, P.J.Y. Leung, A. Broerman, C. Demakis, A.J. Borst, F.M. Praetorius, D. Baker, Nature 632 (2024) 911–920.
2024 | Submitted | Preprint | IST-REx-ID: 17468 |

Individual Marcus-type kinetics controls singlet and triplet oxygen evolution from superoxide
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, ChemRxiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
S. Mondal, H.T.K. Nguyen, R. Hauschild, S.A. Freunberger, ChemRxiv (n.d.).
2024 | Published | Journal Article | IST-REx-ID: 17475 |

Exponentially many graphs are determined by their spectrum
I. Koval, M.A. Kwan, Quarterly Journal of Mathematics 75 (2024) 869–899.
[Published Version]
View
| Files available
| DOI
| arXiv
I. Koval, M.A. Kwan, Quarterly Journal of Mathematics 75 (2024) 869–899.
2024 | Published | Journal Article | IST-REx-ID: 17476
No extraordinary χ(3) in lead-halide perovskites: Placing an upper bound on Kerr nonlinearity by means of time-resolved interferometry
D. Lorenc, A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Physical Review Materials 8 (2024).
View
| DOI
D. Lorenc, A. Zhumekenov, O.M. Bakr, Z. Alpichshev, Physical Review Materials 8 (2024).
2024 | Published | Journal Article | IST-REx-ID: 17477 |

Bilayer crystals of trapped ions for quantum information processing
S. Hawaldar, P. Shahi, A.L. Carter, A.M. Rey, J.J. Bollinger, A. Shankar, Physical Review X 14 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
S. Hawaldar, P. Shahi, A.L. Carter, A.M. Rey, J.J. Bollinger, A. Shankar, Physical Review X 14 (2024).
2024 | Published | Thesis | IST-REx-ID: 17485 |

Compressing large neural networks : Algorithms, systems and scaling laws
E. Frantar, Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.
[Published Version]
View
| Files available
| DOI
E. Frantar, Compressing Large Neural Networks : Algorithms, Systems and Scaling Laws, Institute of Science and Technology Austria, 2024.