Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
11357 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
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: 17407 |
Designing athermal disordered solids with automatic differentiation
M. Zu, C.P. Goodrich, Communications Materials 5 (2024).
[Published Version]
View
| Files available
| DOI
| arXiv
M. Zu, C.P. Goodrich, Communications Materials 5 (2024).
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
| WoS
| PubMed | Europe PMC
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
| WoS
| 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.)
| WoS
| 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 |
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
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.
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
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 |
Conference Paper |
IST-REx-ID: 17423
Reach for the arcs: Reconstructing surfaces from SDFs via tangent points
S. Sellán, Y. Ren, C. Batty, O. Stein, in:, SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference, Association for Computing Machinery, 2024.
View
| DOI
S. Sellán, Y. Ren, C. Batty, O. Stein, in:, SIGGRAPH ’24: Special Interest Group on Computer Graphics and Interactive Techniques Conference, Association for Computing Machinery, 2024.
2024 |
Published |
Journal Article |
IST-REx-ID: 17424
Computational homogenization for inverse design of surface-based inflatables
Y. Ren, J. Panetta, S. Suzuki, U. Kusupati, F. Isvoranu, M. Pauly, ACM Transactions on Graphics 43 (2024).
View
| DOI
Y. Ren, J. Panetta, S. Suzuki, U. Kusupati, F. Isvoranu, M. Pauly, ACM Transactions on Graphics 43 (2024).
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
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 |
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.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
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
J. André, F. D’Andrea, P. Drobinski, C.J. Muller, Journal of Geophysical Research: Atmospheres 129 (2024).
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
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).
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
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.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| 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
| WoS
| arXiv
V. Wang, Journal of the London Mathematical Society 110 (2024).
2024 |
Published |
Journal Article |
IST-REx-ID: 17449 |
Partial sums of typical multiplicative functions over short moving intervals
M. Pandey, V. Wang, M.W. Xu, Algebra & Number Theory 18 (2024) 389–408.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
M. Pandey, V. Wang, M.W. Xu, Algebra & Number Theory 18 (2024) 389–408.
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: 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.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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.